「名誉教授」のスレ 9

>>760
>勲章をもらって初めて
>まわりから数学者だったんだと
>認められる人がいてもよい

文化勲章レベルならそうだろうが、普通の勲章なら誰も気にかけないよ
秋だけでも４千人も叙勲されるんだから

毎年東大に3000人くらい入学するが、入れる気がしないw

勲章は毎年８千人だよ
東大入学より簡単かもねｗ

テレンス・タオが Math2.0という題目の講演をしてるね
https://www.youtube.com/watch?v=aHpPoNNTOKY

イマジネーション豊かにAIを利用することで、新たな数学が開けることに期待している

Caltech Mathathonの試みもどうなるか興味深い
すでに解決された問題の証明を、AIを使って人間に理解しやすいものにできるかという挑戦で、
「AIを使った人間の数学理解の強化」を課題にしている

日経平均午前2246円安、キオクシアついに1万円割れ　Apple下落も重荷

上院テキサス州でタラリコ候補当確（ABC）

米中間選挙 トランプ共和敗北
高市に逆風だろう

https://www.nikkei.com/article/DGXZQOGN30CTH0Q6A031C2000000/
【速報中】民主の新星タラリコ氏、テキサス上院選を制す　共和牙城で38年ぶり
米中間選挙2026
2026年11月4日 日経

【正午】若年層が民主に傾斜、29歳以下は7割が支持　出口調査分析

日本もン年後には反自民の野党が過半数とって
自民維新国民が少数野党に転落するかね？

ビジネス保守の国賊は要らない

トランプ氏「選挙結果受け入れる」　アメリカ中間選挙

>>769
>日本もン年後には反自民の野党が過半数とって

15年前には民主党が自民党から政権を奪ったんだが、、、
そんなことも忘れるポンコツ脳こそ要らないｗ

トランプのオウンゴールだろう

関税政策もたいがいだったが、イラン戦争で石油価格を上げたのが致命的だった
アメリカ人は金にうるさいからねｗ

トランプ外交はどう変わるか

くらだん

>>771
そして今、自民党がポンコツ（笑）

>>765
>テレンス・タオが Math2.0という題目の講演をしてるね
>イマジネーション豊かにAIを利用することで、新たな数学が開けることに期待している

それいいね さすが テレンス・タオだね
下記のスライド図が面白い “big picture”、”メンタルピクチャー”の時代が来たようだ（＾＾

https://i.imgur.com/rgPzpJj.png
youtube t=540 Terence Tao Math 2.0 261103
https://youtu.be/aHpPoNNTOKY?t=540
SAIR
Outline
00:00 Why mathematics is moving from Math 1.0 toward Math 2.0
04:04 From proof scarcity to proof abundance
07:05 Looking beyond problem-solving and social-media success stories
10:48 Experimental mathematics and data-driven discovery
15:16 Pure and applied math: why understanding matters
21:27 Answers without insight and the search for fruitful problems
24:51 Using AI to strengthen human understanding in Math 2.0

(参考)
<big picture>
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元20250223
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ
形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論だ
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*)MPーー形式化ー＞FT
のことである

今時自民党支持する奴って、バカか
バカをたぶらかす極悪人かのどっちか

>>776　高卒で数学終わった一般人の君には全く無関係

今時てw
いつなら良かったのか…。