量子力学を圏論で定式化している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…
WindowsでLinuxを使いたいという人むけの、入門書が無料ダウンロード可能です。 普通にUbuntuなどを使っている非Windowsユーザーにも参考になると思います。 ダウンロードには特に登録など不要で、リンクをク…
東大の先生たちが、高校生向けに研究を紹介してくれるオープンキャンパスの講演会の動画が今年も公開されはじめました。いくつか紹介します。 東京大学理学部オープンキャンパス2026 オンデマンド講演会「宇宙と重力の謎に挑む-理…
前に創薬でプログラミング言語Rをどう活用するかについての動画を紹介したことがあります。R in PharmaというYouTubeチャンネルの動画です。 その最新動画シリーズR/Pharma GenAI Day 2026で…
ABC予想の証明を証明支援システムのLEANで検証しているLANAプロジェクトについて、先日紹介しました（末尾参照）。このプロジェクトのメンバーの加藤先生がでておられる動画が、とてもわかりやすくて おすすめです。さっきま…
カタストロフィーの理論についてはこのブログでたびたび触れています。ChatGPTやGeminiに、カタストロフィーの理論は今、どのように評価されているのかをきいてみました。最近の文献や動画を探してもらったのですが、結構応…
ABC予想の証明をLEANでチェックして万人がみとめられるようにできるかを検討しているLANAプロジェクトの進捗状況がわかる発表会が7月17日に開催されました。動画を埋め込んでおきます。 IUT理論のコンピューター検証に…
NHKの番組 『歴史探偵』で宮本武蔵をやっていました。 ”7/15(水)午後10:00 歴史探偵「宮本武蔵 最強伝説の真実」” まだ見ていない方は、NHK ONEでやっていますが、地上波での再放送が 7月20日(月)午後…