The Nomura Institute of Glycosciece Blog

量子力学を圏論で定式化しているBob Coeckeが新しいAIの開発をはじめたようです。Relational Intelligenceと名付けているもので現在のAIのようにニューラルネットを使うのではなく、圏論などをベースにしたネットワークで推論するAIです。何をどう推論しているかが可視化できて量子コンピュータにもそのまま全く変更なしで載せられるAIをめざしているようです。これは先日紹介したLanyon AIのLEANなどをベースにしているものと似ていますが、圏論のRelational String Diagramを使うというアプローチのようです。

We launched Relational Intelligence.https://t.co/oIu9JTtQ2m
Why? Current language models are powerful but unexplainable. For one thing, they are locked into GPUs with no path to quantum hardware, with no path to efficiency, with no path to scalability…
How? The same structure… pic.twitter.com/kUcdbW8rhQ

— bOb cOeCke (@coecke) June 30, 2026

関連する動画も公開されています。

Bob Coecke: From Quantum Picturalism to Education, Cognition, AI, and Music
https://youtu.be/gjEYwi7kWg8

ポドキャストも今月公開されました。
Episode 146: Relational Intelligence and Quantum Entertainment with Bob Coecke
https://ep.entangledthings.com/19581866

いつも紹介している英国The Royal Institutionの動画ですが、最新の動画は進化に関する最新の手法と知見をまとめていて面白そうです。ロンドンの自然史博物館の先生による講演で、最新の化石の三次元分析法を駆使して環境と進化の相互作用をどんどん明らかにしている仕事の紹介です。地球温暖化が生物の進化速度にどのように影響するかという重要な問題に関する研究も紹介されています。ネコとイヌの進化をくらべるとなぜネコはほとんど進化していないのにイヌは様々な種類に進化しているのか？恐竜の進化速度と、恐竜の子孫である鳥の進化速度をくらべると鳥の進化がおどろくほど遅いのは何故か？ワニはなんで昔からほとんど形態が変化していないのか？などなど、進化を学ぶものが一度は疑問に思うのですが、答えをきいたことが無い疑問が回答されていてとても良い動画だと思います。これは観る値打ちのある動画ですのでお勧めします。例によってLanguage reactorの機能拡張などを使って日本語訳を表示させながら視聴するのもよいですし、最後に私がはりつけているように生成AIで要約してもらったり、文字起こし用のブラウザ機能拡張たとえばGlaspで講演内容を全部書きだしてもらってそれを翻訳するのもよいでしょう。YouTube動画のAIを使った視聴法についてはこちらの過去記事のリンクをご覧ください。

AIを使ってYouTubeの科学動画（英語版など）を効率的に視聴しましょう！第2回

さて、今日紹介する動画です。埋め込んでおきます。

The hidden rule behind all evolution | with biologist Anjali Goswami
https://youtu.be/UMjoNUb2A0I

最後にGeminiによる講演の要約も貼り付けておきます。進化生物学を学んでいる大学生向けに要約してもらいました。ざっと読んでみて、面白そうだったら動画を視聴するとよいでしょう。［］内の数字は動画の再生位置を分:秒で示したものです。元の回答にはurlリンクがあったのですがそれは省いてあります。

2. 進化生物学を学ぶ大学生向けの内容要約

本講演は、生物の形態進化におけるテンポ（進化速度）とモード（進化様式）を制御する内因的要因（発生・解剖学的制約・遺伝的相関）と外因的要因（環境・気候・生態的ニッチ）の相互作用を、幾何学的形態測定学および最新のフェノミクス（Phenomics）の手法を用いて包括的に論じたものです。

Ⅰ. 発生的・機能的制約と形態多様性

アイソメトリー vs アロメトリー [09:25]
ネコ科（Felidae）：頭骨の発達において成長に伴う相対比例の変化が少ない「アイソメトリー（等比成長）」を示す。また肉食への過度な適応（裂肉歯以降の臼歯の喪失）という機能的制約により、形態的・生態的進化の自由度が著しく低い。
イヌ科（Canidae）：成長過程で吻部が伸びる「アロメトリー（異比成長）」を示す。この発生プロセスの柔軟性が、人工選択（ブリーディング）における劇的な形態多様化を可能にした。

Ⅱ. 形質相関と「Fly in the Tube」モデル [16:25]

* 表現型形質間には遺伝的連鎖や発生経路の共有による強い共変異（Covariance）が存在する。
* これにより、理論上可能な表現型空間（Morphospace）の大部分は占有されず、進化の軌跡は狭い領域（チューブ状）に制限される。
* この制約こそが、有袋類のフクロオオカミ（Thylacine）と有胎盤類のオオカミ（Wolf）に見られるような収斂進化（Convergence）が頻発するメカニズムである。

Ⅲ. 進化的フェノミクス（Evolutionary Phenomics / Fionomix）の展開 [23:40]

* 従来の線形計測や少数ランドマークに基づく幾何学的形態測定学（Geometric Morphometrics）から、3D表面スキャン・CTデータを活用したセミランドマーク自動配置法およびAI学習モデル（自動化パイプライン）への移行。
* 海底堆積物コア中の微化石（有孔虫）の高処理3D解析により、地質学的時間軸における気候変動に伴うリアルタイムの種分化プロセス（Speciation）の視覚化・定量化に成功 [32:00]

Ⅳ. 大進化（Macroevolution）パターンの検証

*鳥類と非鳥類恐竜の頭骨進化 [36:03]：高次元形態空間の解析結果、鳥類は非鳥類恐竜に比べて頭骨の進化速度が著しく遅い。鳥類の頭骨は「拡大した脳＋クチバシ」という基本構造に特化し、摂食やディスプレー機能を他の器官や軟組織に依存しているためである。
*哺乳類の形態進化と適応放散 [39:06]：哺乳類頭骨の平均的形態（Morphospaceの中心）はキツネ型に収斂する。進化速度の分岐には、生態（水生・草食）、発達様式（早成性/晩成性）、社会性、日周性が強く寄与しており、水棲化（クジラ類）や高い社会性・早成性を持つ系統で進化速度が顕著に増大する。

Ⅴ. 気候変動と進化速度・絶滅リスク [43:12]
* 過去200億〜数億年規模の気候データ（気温および気温変化速度）と系統推定量を用いた進化モデルの適合度検証を実施。
* 多くの系統（鳥類、ヘビ、有袋類等）において、単なる環境温度の絶対値ではなく「気候変化の速度（Rate of climate change）」が形態進化のテンポを駆動する主要因となっている。
* 現在進行中の生物多様性減退速度は、地質時代最大の温暖化イベントである古第三紀始新世極大温暖化（PETM: Paleocene-Eocene Thermal Maximum）[48:56] を遥かに上回るスピードであり、第6の大量絶滅（Mass Extinction）の閾値に達しつつあることを警告している。

話題の証明支援システム　LEANについての本やサイトの紹介です。
望月先生のABC予想の証明の正しさをチェックするプロジェクトが使っているLEANについての本が評判になっています。The Proof in the Codeという本です。
https://www.quantabooks.org/books/the-proof-in-the-code/

もともとLEANはMicrosoftのLeo de Mouraによって開発されたプログラムです。Microsoft WordやWindowsなどのプログラムのコードにバグがないか、セキュリティ脆弱性がないか、そして設計どおりに動作するかをチェックするプログラムとして開発されました。LEANはあまり使われていなかったようですが、数学者がこれが数学の証明のチェックに使えるのに気付き、現在の証明支援システムに育て上げたのだそうです。ものすごく面白い本のようで多くの人の賛辞が上のサイトにのっています。

このLEANの公式サイトはこちらです。https://lean-lang.org/

無料のエディタであるVS Codeの機能拡張としてインストールしてセットアップして使うようです。
日本語で参考になるサイトがありました。
https://aconite-ac.github.io/
こちらはLEAN関連の、日本語の情報を中心にまとめてくださっているサイトです。ご自身の哲学探究サイト『束跡』をホストしているサイトでもあるのでとても興味のもてる内容のようです。LEAN関係の部分を以下に引用しておきます。

・Theorem Proving in Lean 4 日本語訳 : Leanのチュートリアルドキュメント「Theorem Proving in Lean 4」の非公式日本語訳です。
・Leanのインストール方法・elanとLakeの使い方 : Leanのインストール方法・elanとLakeの使い方をまとめた非公式資料です。

外部リンク
日本語情報

LEAN JA : Lean言語の日本語コミュニティです。豊富なリンク集が掲載されています。Discordサーバーもあります。
Lean by Example : LEAN JA管理者の北窓氏による、Lean言語とその主要なライブラリの使い方を豊富なコード例とともに解説した日本語資料です。

英語情報もまとまっているので役立ちます。是非参考になさってください。

今日のKindleの日替わりセールに広中平祐さんの「学問の発見」
があって499円で売っていたので購入しました。これはブルーバックス版で2018年の広中先生の序文が新しく付け加わっています。ちょうどAIの勃興する前にでたブルーバックス版です。この本の文庫版は昔読んで持っていたのですが蔵書整理で捨てました。今Kindle版であらためて読んでみると、AI時代の今だからこそ、読んでおきたい本だと思います。今日中は499円で購入できるのでよかったら買ってみてください。他に面白い話満載ですが、岡潔先生の神がかりてきな講演会の話や岡先生が、フィールズ賞を受賞することになった研究テーマの解決につながる示唆を与えてくれた話などもあります。

あと、国立国会図書館デジタルコレクションで読める広中先生の本をいくつかあげておきます。番号は前に紹介した時のものです。他の本も紹介したのですが、例の4・22事変で館内限定化されて読めなくなっています。今読める本をいくつか追加していますので読んでみてください。

368) 江崎玲於奈, 広中平祐 著『日本を語る』,毎日新聞社,1977.3. 国立国会図書館デジタルコレクション https://dl.ndl.go.jp/pid/12589479 (参照 2025-07-25)

82) 同じくフィールズ賞受賞者の広中平祐さんの発想法についての本です。
広中平祐 著『「可変思考」で創造しよう : 頭にカツを入れる超発想法』,光文社,1987.3. 国立国会図書館デジタルコレクション https://dl.ndl.go.jp/pid/12675364

536) 広中平祐 著『湧源国家論 : 豊かさの後に何を創造するのか』,PHP研究所,1988.2. 国立国会図書館デジタルコレクション https://dl.ndl.go.jp/pid/13067283 (参照 2026-08-06)

537) 広中平祐 著『雲の如く』,旺文社,1986.1. 国立国会図書館デジタルコレクション https://dl.ndl.go.jp/pid/12256638 (参照 2026-08-06) 広中先生のお母さんについての本です。

538) 広中平祐 著『広中平祐の数学教室 : 誰でも数学が好きになれる』上,サンケイ出版,1985.10. 国立国会図書館デジタルコレクション https://dl.ndl.go.jp/pid/12608171 (参照 2026-08-06)

539) 広中平祐 著『広中平祐の数学教室 : 誰でも数学が好きになれる』下,サンケイ出版,1985.11. 国立国会図書館デジタルコレクション https://dl.ndl.go.jp/pid/12608169 (参照 2026-08-06)

東大の先生たちが、高校生向けに研究を紹介してくれるオープンキャンパスの講演会の動画が今年も公開されはじめました。いくつか紹介します。

東京大学理学部オープンキャンパス2026 オンデマンド講演会「宇宙と重力の謎に挑む-理論物理学の最前線-」高橋 卓弥 特任研究員
https://youtu.be/gzt6_n0ITzI

東京大学理学部オープンキャンパス2026 オンデマンド講演会「時空を聴く、宇宙を知るー重力波でたどる宇宙論ー」度會 大貴 特任研究員
https://youtu.be/fq1p8FToSNs

あと、今日と明日開催のオープンキャンパスの講演も面白そうです。
https://www.s.u-tokyo.ac.jp/ja/event/open-campus/2026/
こちらから視聴できます。
明日のライブ配信はこちらから視聴できます。
https://www.youtube.com/live/iQSTVmWbYj4
今日のライブ配信はこちら。
https://www.youtube.com/live/cvcy-oDXfeQ