ABC予想の証明を証明支援システムのLEANで検証しているLANAプロジェクトについて、先日紹介しました（末尾参照）。このプロジェクトのメンバーの加藤先生がでておられる動画が、とてもわかりやすくて おすすめです。さっきま…
The Nomura Institute of Glycosciece Blog
野村一也 「科学を学ぶ人のために」 九大野村研ホームページの拡張版です
ABC予想の証明を証明支援システムのLEANで検証しているLANAプロジェクトについて、先日紹介しました（末尾参照）。このプロジェクトのメンバーの加藤先生がでておられる動画が、とてもわかりやすくて おすすめです。さっきま…
国立国会図書館デジタルコレクションで読める本の紹介(第44回） です。先日の利根川進さんの記事で紹介した本に通し番号をふったものからはじめています。利根川進さんの奥様の吉成真由美さんの著書もそのあとに追加しています。 5…
7月18日のこのブログで、Bobさんの記事を紹介しました。 【Linux限定】ropenblasでRを楽々高速化 https://qiita.com/bob3bob3/items/5562c3eb84a9f89824d4…
カタストロフィーの理論についてはこのブログでたびたび触れています。ChatGPTやGeminiに、カタストロフィーの理論は今、どのように評価されているのかをきいてみました。最近の文献や動画を探してもらったのですが、結構応…
ABC予想の証明をLEANでチェックして万人がみとめられるようにできるかを検討しているLANAプロジェクトの進捗状況がわかる発表会が7月17日に開催されました。動画を埋め込んでおきます。 IUT理論のコンピューター検証に…
圏論の本や動画をいくつか紹介します。次の加藤先生のブルーバックスの紹介動画と視聴者からの質問回答の動画はとてもよいと思います。 『【ゼロからの圏論入門】いま最も注目される「未来の数学」／M-1王者のネタにも「圏論」が?!…
福岡には夏がきたみたいです！ 昨日の夕方、夕日が射している庭は光の具合が「梅雨明け！しました」といっているみたいでした。 今朝も梅雨明け空で、入道雲がわいています。今日は七夕ですが晴れるでしょうか？ 近所を散歩して撮った…
The Royal Institutionで開催されたマルチバースの解説動画がとても面白そうです。 Quantum Paradoxes: 5 Ways to Test the Multiverse | Maria Vio…
以前紹介したことがあるMITの初心者向け講義の教科書 Mathematics for Computer Scienceの日本語訳を作ってくれている方があるというツイートを先日みかけました。残念ながらさっきツイートを検索し…
去年 奈良で開催された高エネルギー加速器研究機構KEKの一般向け講演会の動画が公開されました。3本あって短い講演で一般向け（多分、小学校高学年以上むけ）なので茶の間で楽しみながら聴ける講演会です。 たとえばこんな講演があ…