m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 シリーズの第6回で「大枠と方針」とは、だいぶ話が前後してますが、ここであらためて述べておきます。短い記事です。ハブ記事： 宇宙のラムダ計算 宇宙のラムダ計算の大枠と方針に関するキーワード〈重要語句〉は次です。 型付きラムダ計算 依存型理論 集合論的インフラストラクチャ セマンティクス主導 集合論的プラトニズム 宇宙のラムダ計算は、なにはともあれ型付きラムダ計算です。型付きラムダ計算は、下部構造として型システム／型理論を必要とします。宇宙のラムダ計算が採用する型理論は依存型理論です。依存型理論は単純型理論を包摂します。また、Propositions-as-Types の立場により述語論理も包摂し… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2026%2F04%2F15%2F124213" title="宇宙のラムダ計算 6： 大枠と方針 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2026-04-15 12:42:13 rich https://m-hiyama.hatenablog.com/entry/2026/04/15/124213 1.0 100%