Podcast Dialogue の開始について

僕は、これまで、NotebookLMが生成する「音声概要」が気に入っていて、「Deep Dive Audio」という名前で、MaruLaboのコンテンツに積極的に利用してきました。ただ、それ以外は、AIが生成したコンテンツをそのまま利用することは避けてきました。

「Dialogue」は、そうした僕なりの自主規制を破ったもので、主要に、僕とAIとの「対話」から生成されたコンテンツで構成されています。後日、稿を改めて、その背景を説明したいと思っています。

2026年10月のDialogue

黒い見出しをクリックすると、それぞれのPodcast の再生リストにジャンぴします。

1. 新しい物理理論の登場とAI

2026年9月のDialogue

1. AI定理証明の数学的基礎

2. 同一性の認識と型の理論の成立

3. プログラム開発と形式手法