参考：ラムダ計算の自然性とお絵描き - 檜山正幸のキマイラ飼育記 (はてなBlog) 続きの記事2つあり。内容： 記法と設定と法則 タイトニング カーブに沿ったスライディング 真っすぐなスライディング 定義の確認 カリー化 Φ 射のボックス積 f□g hom(p, Y), ho…