ガロア第一論文と乗数イデアル他関連資料スレ18 (667ﾚｽ)
上下前次1-新
402: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/28(月)14:04 ID:XNYL5Isk(2/2) AAS
つづき
なぜサザエさんと、サンドウィッチマンが最高だったのか
サザエさんや漫才が、なぜ中学受験勉強の良い休憩になったのか。
それらの共通点は、時間として区切りやすい点でした。普通の漫画だったら、次のストーリーが気になり、次も……と読みたくなりますが、サザエさんは4コマ完結です。
お笑いも同様でした。他の動画に比べて、漫才の動画だとだいたい5分ほどで一区切りで、動画時間が事前に決まっていて、その動画内でしっかりと満足感を得られました。
適度な笑いとリラックスできる時間、そして何より時間の区切りがつけやすいコンテンツを選ぶことで、メリハリのある勉強生活を送ることができたのです。
省16
403: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/30(水)10:00 ID:2NlqhhKB(1/2) AAS
これ、面白い
外部ﾘﾝｸ:news.yahoo.co.jp
news.yahoo
メタ社員の「給与テーブル」一覧表。このソーシャルメディア大手はAIエンジニアやリサーチャーに、いくら支払っているのか？（海外）
7/30(水) BUSINESS INSIDER JAPAN
メタ（Meta）などの企業が6桁半ば（数千万円）の給与を提示するようになり、AI人材獲得競争が激化してきた。
連邦政府への提出書類には、メタのリサーチャー、エンジニア、その他の従業員の給与テーブルが記載されている。
メタでもっとも高給取りとなるリサーチエンジニアの基本給は、44 万ドル（約6380万円）に及ぶ。
メタのソフトウェアエンジニアの年収は、最大48万ドル（約6960万円、1ドル=145円換算：以下同）に及ぶ。マシンラーニング関連職種では最大44万ドル（約6380万円）だ。プロダクトデザイナーやリサーチャーでさえ、20万ドル（約2900万円）を超えることは珍しくない。
次ページは：人工知能：メタでもっとも高給取りのリサーチエンジニアの年収は44万ドルだ
省1
404: 07/30(水)12:18 ID:2NlqhhKB(2/2) AAS
これ面白い
外部ﾘﾝｸ:zenn.dev
Googleによる Deep Research の新手法、OpenAI超え
2025/07/29
ナレッジセンス - AI知見共有ブログ
Atsushi Kadowaki
この記事は、「Deep Research」の新手法「Test-Time Diffusion Deep Researcher（TTD-DR）」の論文[1]について、日本語で簡単にまとめたものです。
「TTD-DR」は、Deep Researchの精度を上げるための新しい手法です。 Google Cloud の研究者らによって2025年7月に提案されました。
405: 08/01(金)09:45 ID:N5g2niEk(1) AAS
うーむ
外部ﾘﾝｸ:www.yomiuri.co.jp
読売新聞
小中学生の学力、大きく低下「コロナ禍の制限が影響の可能性」…文科省が経年変化分析
2025/08/01 05:00
文部科学省は３１日、２０２４年度に実施した学力の「経年変化分析調査（抽出）」の結果を公表した。小学校の国語と算数、中学校の国語と数学、英語の５教科のうち、４教科で前回２１年度調査から学力を表すスコアが大きく低下した。
保護者に対するアンケートで、子どものスマートフォン利用時間が「２時間以上」だと回答したのは、小学６年で２５・８％（前回比１１・１ポイント増）、中学３年で５３・３％（同１１・９ポイント増）に上昇した。
文科省の担当者は「コロナ禍で、中学３年は小学校の高学年時に英語の話し合い活動が制限された。小学６年は低学年時の休校で学習習慣に影響が出た可能性がある」としている。
406(2): 08/01(金)10:56 ID:s+XIBA1E(1) AAS
＞これ、面白い
おまえつまんない
高卒は数学あきらめろ
407(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/03(日)08:55 ID:NbGdsnnL(1/4) AAS
これ面白い
外部ﾘﾝｸ:jp.ricoh.com
リコーのAI
リコーのAI開発の最前線：企業のAI活用を広げる「マルチモーダルLLM」
若き開発者たちがAI技術で描く未来の"はたらく"とは 20250217
024年10月、リコーは経済産業省と国立研究開発法人新エネルギー・産業技術総合開発機構（NEDO）が実施する国内生成AI開発力強化プロジェクト「GENIAC※1」に採択され、マルチモーダルLLM（LMM）の本格開発に乗り出した
リコーのAI開発は1990年代にスタート。画像認識技術を生かした深層学習AIなどの開発を進め、2022年からはいち早く大規模言語モデル（LLM）の研究・開発を行い、日本語モデルなどのリコー独自のLLMを発表するなど、お客様のご要望に応じて提供できるさまざまなAIの基盤開発やサービス展開を進めてきた
今回は、GENIACの支援のもと開発が進むマルチモーダルLLMの特徴や、マルチモーダルLLMが実現する未来の働き方について、開発を手がけるデジタル戦略部デジタル技術開発センターの木下 彰氏、金箱 裕介氏に話を聞いた
文章以外の情報も理解できるマルチモーダルLLM
マルチモーダルLLMとは、テキストや画像、音声、動画など、複数の形式のデータを一度に処理できるAI技術のこと。従来のLLM（大規模言語モデル）が、基本的にテキストでの入出力のみに対応している一方で、マルチモーダルLLMは、より多様なデータでの入出力が可能だ。画像や図表などを含む企業内の多様なドキュメントを読み取れるため、企業知の幅広い活用や、生産性向上の効果が期待されている
省5
408(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/03(日)09:25 ID:NbGdsnnL(2/4) AAS
>>406
> 高卒は数学あきらめろ
おサル>>10？
AI時代 数学AIが出てくれば、高卒でも 数学科のオチコボレさんより上では？
あたかも、昔コンピュータの円周率計算で、人の手計算より ずっと多くの桁まで計算可能になった 黎明期のごとし
いま、計算の達人 ガウスいても エクセル使う高卒に敵わないだろう
と、同じように おサルの時代は 「数学とは厳密なり〜！」が数学科で重視された時代があっただろう
これから数学AIが出てきた時代には、それだけじゃぁ 伍者以外の何者でも無いと思うよ
(参考)>>7-9
・＜数学と厳密＞ 渕野
省19
409: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/03(日)09:27 ID:NbGdsnnL(3/4) AAS
>>408 タイポ訂正
これから数学AIが出てきた時代には、それだけじゃぁ 伍者以外の何者でも無いと思うよ
↓
これから数学AIが出てきた時代には、それだけじゃぁ 落伍者以外の何者でも無いと思うよ
分ると思うが
410: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/03(日)09:30 ID:NbGdsnnL(4/4) AAS
>>408 追加
外部ﾘﾝｸ:japan.zdnet.com
ZDNET Japan CIO／経営
OpenAIのAIモデル、国際数学オリンピックで金メダル級の成績--なぜ画期的なのか？
Webb Wright （Special to ZDNET.com） 翻訳校正： 編集部 2025-07-22 09:29
OpenAIは、複雑な数学問題を推論によって解決するAIモデルの開発競争において、新たな節目を迎えた。
同社は米国時間7月18日、自社のAIモデルの1つが、世界で最も権威があり、かつ難易度が高いとされる国際数学オリンピック（IMO）において、金メダルレベルの成績を収めたと発表した。
特筆すべきは、今回金メダルレベルの成績を収めたAIモデルが、IMOの問題を解くためだけに特化して設計されたものではないという点である。これまでのAIシステム、たとえば2016年に世界トップの囲碁プレーヤーを打ち破ったことで知られるDeepMindの「AlphaGo」などは、非常に限定されたタスク領域において、膨大なデータセットを用いて訓練されていた。それに対して、今回の勝利モデルは汎用（はんよう）的な推論能力を持つよう設計されており、自然言語を用いて問題を系統的に考察する。
省3
411: 08/03(日)11:24 ID:KnuX/usk(1/4) AAS
>>408
＞数学AIが出てくれば、高卒でも 数学科のオチコボレさんより上では？
妄想 高卒はAIの出力が理解できないから無駄
＞「数学とは厳密なり〜！」が数学科で重視された時代があっただろう
＞これから数学AIが出てきた時代には、それだけじゃぁ・・・
厳密＝「数学書に書かれている文章の論理を理解すること」
文章も論理的に読めない高卒ゴキブリは
大学数学あきらめて、残り少ない人生、碁でも打ってろ
412: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/03(日)13:48 ID:5gYUuxLa(1) AAS
数学も似たようなものかな
AIをどう活かすか
外部ﾘﾝｸ:type.jp
エンジニアtype
AI時代に「技術力」は再定義されるのか。まつもとゆきひろが明かす不変の三要素
NEW! 2025.08.01 取材・文／今中康達（編集部）
真の技術力は、いつの時代でも変わらない
ーーでは、これからの時代の「技術力」とはどのような能力を指すと思いますか？
「技術を用いて問題を解決する能力」だと思います。
この能力は、単なるプログラミングスキルではなく、いくつかの能力が集まって成り立つ複合的な力です。具体的には、問いを立てる能力、選択肢の中から最善を選んで決断する能力、責任を取る能力などに細分化できます。
省7
413: 08/03(日)15:52 ID:KnuX/usk(2/4) AAS
日本語も正しく読めない書けない論盲ゴキブリ ◆yH25M02vWFhP にAIなんか使えない
Grokでも分かることを論盲ゴキブリは否定する 正真正銘の池沼
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
集合論ZFにおいて、A のべき集合を P(A) とし、
x⊂Ax と x∈P(A) が同値であることを証明します。
証明
x⊂Ax ならば x∈P(A)
P(A) は A のべき集合であり、定義により P(A)={x∣x⊂A} です。
したがって、x⊂Ax ならば、x は A の部分集合であり、
定義から x∈P(A) です。
省5
414: 08/03(日)15:53 ID:KnuX/usk(3/4) AAS
集合論ZFにおいて、A のべき集合を P(A) とし、
x⊂Ax と x∈P(A) が同値であることを証明します。
証明
x⊂A ならば x∈P(A)
P(A) は A のべき集合であり、定義により P(A)={x∣x⊂A} です。
したがって、x⊂Ax ならば、x は A の部分集合であり、
定義から x∈P(A) です。
x∈P(A) ならば x⊂A
逆に、x∈P(A) ならば、P(A) の定義により x⊂A です。
これは、P(A) が A のすべての部分集合からなる集合であるためです。
省2
415: 08/03(日)16:55 ID:KnuX/usk(4/4) AAS
ゴキブリ ◆yH25M02vWFhPには
１．「問いを立てる能力」がない
そもそも高校卒業程度の数学しか知らないのだから
２．「数ある選択肢の中から最善を選び、決断する能力」がない
そもそも論理が全然わからないのだから
３．「責任を取る能力」がない
そもそも自分が罰を受けることを全く想定せず
ただただ罰を受けることから逃げ回るゴキブリだから
416: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/05(火)07:33 ID:IEbiea/f(1) AAS
”米テック、好決算でも9万人削減 AIで高まる技術者選別の荒波”
AIを使いこなせる人は 多分 必要だが
AIで代用できるレベルの人は、不要だってことか
外部ﾘﾝｸ:www.nikkei.com
nikkei.com
米テック、好決算でも9万人削減 AIで高まる技術者選別の荒波
生成AI
2025年8月5日 4:00 [会員限定記事]
人工知能（AI）の開発を主導してきた米国を中心とするテクノロジー企業で、人員削減が加速している。1〜7月には前年同期と比べて4割近く多い約9万人が、解雇やレイオフの対象となった。テック企業は急成長を続けているが、AIがエンジニアなどの仕事を肩代わりできるようになったことで過剰となった人材の整理が進んでいる。
AI推進役のテック企業が人員削減
省1
417: 08/05(火)07:49 ID:osKwU2Wb(1) AAS
AIすら使えない ◆yH25M02vWFhP は全く不要
いまどき論理も分からんとか白知だろ
418(2): 08/10(日)11:07 ID:inVgR9CA(1) AAS
白痴
419: 08/10(日)11:36 ID:OtMPcEWQ(1/2) AAS
やまいだれは省略
知能が低いのは遺伝であって病気ではないから（笑）
◆yH25M02vWFhP は肉体労働者なんだから
数学のような知的遊戯は一切あきらめろ
420(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)12:28 ID:f12p+Q2v(1/4) AAS
これ面白い
外部ﾘﾝｸ:xtech.nikkei.com
AI最前線
数学とAI、Terence Taoが語る未来
PFN岡野原氏によるAI解説：第122回
岡野原 大輔 Preferred Networks 共同創業者 代表取締役 最高技術責任者
2025.08.08
現代最高峰の数学者の一人である米University of California Los Angeles教授のTerence Tao（テレンス・タオ）氏は、数論から偏微分方程式、調和解析、組合せ論に至るまで、幅広い分野で世界的な成果を残してきた。
その彼が、AIが様々なことができるようになってきた中で、数学でAIをどのように活用できるのかについてLex Fridman氏のポッドキャストで述べている1）。Tao氏は以前より積極的にAIを数学の研究に使えるかを試している。
ここでは、数学の最前線の分野にAIがどのように使われているのか、今後どのような展望があるのかを通じて、今後のAIがどのように知的作業を必要とする分野で使われていくのかについて論じていきたい。
省6
421(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)18:01 ID:f12p+Q2v(2/4) AAS
>>418
ID:inVgR9CA は、御大か
復帰ご苦労様です
数学板のお天気日誌も復活ですね （＾＾
下記のICM2030招致が実現するといいですね
検索すると、教育シンポジュウム2024年３月の記事がありますね
なるほどね
外部ﾘﾝｸ:www.mathsoc.jp
一般社団法人 日本数学会
ICM2030招致委員会
省13
上下前次1-新書関写板覧索設栞歴
あと 246 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.085s*