m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 多圏 モノイド圏 論理 ラムダ計算 多圏 シーケント計算 ラムダ計算 結合 カット 変数と式の置換（substitution） 全体のモノイド積 マージ なし カリー化 含意導入 ラムダ抽象 アンカリー化 含意消去 評価 部分的モノイド積 連言導入 ペアリング 部分的モノイド積の逆 連言消去 アンペアリング スワップ 換構造規則 変数の出現位置の置き換え 単位対象I Iの導入・消去 I上を走る変数の規則 対角 増構造規則 変数の複数回出現 こうして見ると、ラムダ項だけのラムダ計算は色々と不備があることが分かる。シーケント計算に埋め込まないとキレイに解釈できない。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160229%2F1456716834" title="Poly(C)の構成の方法 (4) - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2016-02-29 12:33:54 rich https://m-hiyama-memo.hatenablog.jp/entry/20160229/1456716834 1.0 100%