m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ ラムダ計算 多圏 やっぱり多圏の議論をしないとどうにもならない、と感じる。ラムダ計算は、「タプルを出さないのが粋」みたいな風潮にもウンザリ。タプルを扱うなら、項レベルでペア構文 (E, F) は必要だ。これを、カンマが二項演算子と解釈する。ただし、カンマは左結合的で適用よりは結合度（優先順位）が弱いとする。 x, y, z は (x, y), z f x, y は (f x), y f (x, y) はそのまんま 次に、.1と.2という多相なドット演算子を導入して、 (E, F).1 → E (E, F).2 → F と書き換え規則を導入する。射影（を表すラムダ項）は次のように定義できる。 prj1 := λz… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160225%2F1456366923" title="ラムダ計算の重箱の隅(?)：タプルと成分 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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-25 11:22:03 rich https://m-hiyama-memo.hatenablog.jp/entry/20160225/1456366923 1.0 100%