京都大学の先生が、次のような本のドラフト版を公開されています。 とてもよさそうな本です。是非、サイトを訪れて読んでみてください。 サイトにある「本書の成り立ち」の項目によると、神谷先生が京都大学で行ってきた講義「脳情報学…
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の日本語訳を作ってくれている方があるというツイートを先日みかけました。残念ながらさっきツイートを検索し…