京都大学の先生が、次のような本のドラフト版を公開されています。 とてもよさそうな本です。是非、サイトを訪れて読んでみてください。 サイトにある「本書の成り立ち」の項目によると、神谷先生が京都大学で行ってきた講義「脳情報学…
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王者のネタにも「圏論」が?!…
以前紹介したことがあるMITの初心者向け講義の教科書 Mathematics for Computer Scienceの日本語訳を作ってくれている方があるというツイートを先日みかけました。残念ながらさっきツイートを検索し…
Infinity (ℵ₀+ℵ₀=ℵ₀) https://youtu.be/FldD3v2zTMM 以前紹介したRobin Wilsonさんの動画シリーズSum Storiesの最終回です。ハイゼンベルクとボルンが行列力学…
以前の記事で紹介した立川裕二先生の数学セミナー（日本評論社）での連載「場の量子論の数学をめぐって」の原稿をまとめたpdf(連載記事は、日本評論社の校正がはいっているので記事とは少し違うところがあると思われます）が公開され…