🔼対話篇 with Google Gemini
🔗➡️DwG-1-21：構造的積極的分離理論(S-TPD)
🔽DwG-3-対話篇：構造的積極的分離理論の説明と普及(分冊版)目次
🔽DwG-3-対話篇：構造的積極的分離理論の説明と普及(合冊版)
🔗構造的積極的分離理論
🔗Metamath束
🔗CToL：人生の型
🔗LogiCraft
概要
Metamath束を用いた構造的積極的分離理論の数理的定義を基に、歴史上の偉人の言葉の解釈を考えたり、各積極的分離レベルにおける分離が「積極的」なものになる確率を高めるためのアルゴリズムを考えたり、「積極的分離レベル4において一意に定められるべきものは何か？」という問いについて考えたりする、AIとの対話ログです。合冊版と分冊版があります。