数学における AI の活用

テレンス・タオ氏による市民講演（https://www.maths.ox.ac.uk/node/68243）の動画がアップロードされていました。
動画の 18:13 あたりから数学における AI の活用（数学の形式化、証明支援系への応用など）への言及があって大変興味深いです。

----
第46回情報理論とその応用シンポジウム（SITA2023）
中正和久, 萩原学「自動証明と周辺技術がもたらす情 もっとみる

"あえて外した"

grace をとても大切に聴いていたときのことを思い出します。

劇場アニメ「ルックバック」
https://lookback-anime.com/

舞台挨拶レポート
https://natalie.mu/comic/news/582982

物理と数学（３）

今年度に依頼された一般向けの公開講座のため、色々と構想を練っていたのですが、最終的には大幅には予定を変更して、

Q1:「力」にはどんな性質がある？

Q2: 「運動」と「力」はどんな関係？

Q3: 「ブラックホール」と「ラマヌジャン」の不思議な関係？

という$${3}$$つの謎を解き明かす、というシナリオに決定しました。

解説ありきの説明不足・過多で不完全なスライドではありますが、興味をも

suwi に改名してから 2 年経ったらしい。恐れ入ります。

新学期が始まってから怒涛のように月日が経ちました。日々を振り返る時間を取ることができるのは夏休みになってからになりそうです。

近況（2024.04.04）

新学期が始まりました。今年は自分にとって最後の入学式からちょうど十年目らしい。教員として新入生をお迎えするのが楽しみ。

今年度からは学内の新しい業務が割り振られるため、今まで以上に効率的に仕事を捌いていきたい。タスクは生じた瞬間に倒していくよう肝に銘じます。

自動車学校に引き続き通っているのですが、無事に仮免許を取得することができました。これからは忙しくなるのでペースが多少落ちますが、五月中の

台湾の皆様の無事を祈っています。信頼できる義援金・寄付金窓口が見つかり次第支援したい。
https://www3.nhk.or.jp/news/html/20240403/k10014411141000.html
https://jp.taiwantoday.tw/

「物性から出てきた考え方が素粒子の標準理論に」

超伝導のことを何も知らずに生きてきたのですが、すべては繋がっていたんですね……。何もわからず聞いているだけでも楽しい。

高校理科から最先端研究へ～つながるサイエンス～「物理－超伝導編」
PART1 https://www.youtube.com/watch?v=evwq_zjT3pw
PART2 https://www.youtube.com/watch?v=0tE-F2MQRzY
PART3 もっとみる

もっと褒めてくれ

好き

近況（2024.02.25）

年末年始は 2 週間ほど完全な休暇を取ってリフレッシュしたのですが、年明けから 2 月半ばまでにすべての貯蓄を使い果たしました。

私立大学の入試が概ね終了し、今日から国立大学の前期入試が始まるようです。不慮の事故に注意して、すべての方が全力を尽くせますように。

年度内のあれやこれやを振り返る書類に追われています。今年度は有難いことに潤沢な研究費を頂きながら活動できたので、ここ 5 年間で最も多

物理と数学（２）

イントロダクションミレニアム懸賞問題

2000年3月24日、数学における7つの重要未解決問題

ヤン-ミルズ方程式と質量ギャップ問題
リーマン予想
P≠NP予想
ナビエ–ストークス方程式の解の存在と滑らかさ
ホッジ予想
ポアンカレ予想（解決済み）
バーチ・スウィンナートン＝ダイアー予想

に対してクレイ数学研究所は100万ドルの懸賞金を掛けた。

これらのうち、ヤン-ミルズ方程式と質量ギャップ問

働き始めてもうすぐ N 年が経ちますが、怒涛の年度末でした。大きな事故なく終わってよかった。最近はようやく自動車学校に通い始めました。

すべての受験生が全力を尽くせるように我々も尽力します。

受講生の皆様へのクリスマスプレゼントは行列の対角化計算ドリルセットです。もう年末は働かない。

Google DeepMind の研究者らによる大規模言語モデルを利用した新しいシステム "FunSearch" が大変話題のようです。どんな未解決問題が解けたのか、ちょっとサーベイしておきたい。

近況（2023.12.18）

立て続けにインフルエンザと新型コロナの感染を経験してなかなかしんどい思いをしました。幸い重い症状はなく現在は元気です。冬場は乾燥で喉が弱りがちなので、皆様もどうかご自愛ください。

源泉かけ流しの風呂がついた部屋を予約してちょっと背伸びした温泉旅行を楽しんできました。当日は予想以上の嬉しいサプライズが続き、とても楽しい時間が過ごせて大満足。非日常の贅沢のためにこれからも日常をコツコツ頑張っていきま