量子力学を圏論で定式化しているBob Coeckeが新しいAIの開発をはじめたようです。Relational Intelligenceと名付けているもので現在のAIのようにニューラルネットを使うのではなく、圏論などをベー…
The Nomura Institute of Glycosciece Blog
野村一也 「科学を学ぶ人のために」 九大野村研ホームページの拡張版です
量子力学を圏論で定式化しているBob Coeckeが新しいAIの開発をはじめたようです。Relational Intelligenceと名付けているもので現在のAIのようにニューラルネットを使うのではなく、圏論などをベー…
話題の証明支援システム LEANについての本やサイトの紹介です。 望月先生のABC予想の証明の正しさをチェックするプロジェクトが使っているLEANについての本が評判になっています。The Proof in the Cod…
今日のKindleの日替わりセールに広中平祐さんの「学問の発見」 があって499円で売っていたので購入しました。これはブルーバックス版で2018年の広中先生の序文が新しく付け加わっています。ちょうどAIの勃興する前にでた…
東大の先生たちが、高校生向けに研究を紹介してくれるオープンキャンパスの講演会の動画が今年も公開されはじめました。いくつか紹介します。 東京大学理学部オープンキャンパス2026 オンデマンド講演会「宇宙と重力の謎に挑む-理…
物理学に使える新しい画期的なAIが登場したそうです。Lanyon AIというものです。宣伝の文章が以下にのっています。このLanyon AIというのはMathematicaで有名なWolframの共同研究者でWolfra…
京都大学の先生が、次のような本のドラフト版を公開されています。 とてもよさそうな本です。是非、サイトを訪れて読んでみてください。 サイトにある「本書の成り立ち」の項目によると、神谷先生が京都大学で行ってきた講義「脳情報学…
ABC予想の証明を証明支援システムのLEANで検証しているLANAプロジェクトについて、先日紹介しました（末尾参照）。このプロジェクトのメンバーの加藤先生がでておられる動画が、とてもわかりやすくて おすすめです。さっきま…
国立国会図書館デジタルコレクションで読める本の紹介(第44回） です。先日の利根川進さんの記事で紹介した本に通し番号をふったものからはじめています。利根川進さんの奥様の吉成真由美さんの著書もそのあとに追加しています。 5…
7月18日のこのブログで、Bobさんの記事を紹介しました。 【Linux限定】ropenblasでRを楽々高速化 https://qiita.com/bob3bob3/items/5562c3eb84a9f89824d4…
カタストロフィーの理論についてはこのブログでたびたび触れています。ChatGPTやGeminiに、カタストロフィーの理論は今、どのように評価されているのかをきいてみました。最近の文献や動画を探してもらったのですが、結構応…