量子力学を圏論で定式化しているBob Coeckeが新しいAIの開発をはじめたようです。Relational Intelligenceと名付けているもので現在のAIのようにニューラルネットを使うのではなく、圏論などをベー…
The Nomura Institute of Glycosciece Blog
野村一也 「科学を学ぶ人のために」 九大野村研ホームページの拡張版です
量子力学を圏論で定式化しているBob Coeckeが新しいAIの開発をはじめたようです。Relational Intelligenceと名付けているもので現在のAIのようにニューラルネットを使うのではなく、圏論などをベー…
いつも紹介している英国The Royal Institutionの動画ですが、最新の動画は進化に関する最新の手法と知見をまとめていて面白そうです。ロンドンの自然史博物館の先生による講演で、最新の化石の三次元分析法を駆使し…
文献管理ソフトZoteroとGoogleのNotebookLMが連携できたら便利です。Zoteroにあるpdfを一発で、NotebookLMにアップロードできたら自分専用の文献データで信頼できるハルシネーションなしのCh…
前に創薬でプログラミング言語Rをどう活用するかについての動画を紹介したことがあります。R in PharmaというYouTubeチャンネルの動画です。 その最新動画シリーズR/Pharma GenAI Day 2026で…
ABC予想の証明を証明支援システムのLEANで検証しているLANAプロジェクトについて、先日紹介しました（末尾参照）。このプロジェクトのメンバーの加藤先生がでておられる動画が、とてもわかりやすくて おすすめです。さっきま…
去年9月に公開されるとアナウンスされていて、公開日が何度も変更されていた新しい量子力学の教科書が、ようやくオープンアクセスで公開されました。Springer Natureのサイトから、PDFとEPUB形式でダウンロードで…
カタストロフィーの理論についてはこのブログでたびたび触れています。ChatGPTやGeminiに、カタストロフィーの理論は今、どのように評価されているのかをきいてみました。最近の文献や動画を探してもらったのですが、結構応…
ABC予想の証明をLEANでチェックして万人がみとめられるようにできるかを検討しているLANAプロジェクトの進捗状況がわかる発表会が7月17日に開催されました。動画を埋め込んでおきます。 IUT理論のコンピューター検証に…
NHKの番組 『歴史探偵』で宮本武蔵をやっていました。 ”7/15(水)午後10:00 歴史探偵「宮本武蔵 最強伝説の真実」” まだ見ていない方は、NHK ONEでやっていますが、地上波での再放送が 7月20日(月)午後…
AlphaFoldの登場以来、アミノ酸配列が知られているほとんどのタンパク質の予測立体構造が、データベースに記載されているという時代になりました。これを利用して、自分が調べているタンパク質の立体構造と、似た立体構造をもつ…