面積問題への対策(あるいは無策) (A21) - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2019-01-08
意味不明な言葉達 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2018-11-15
お絵描き証明の例 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2016-02-24
$`\varphi : A\Rightarrow(B\Rightarrow C) \longrightarrow (A\land B)\Rightarrow C`$
関数なら:
$`f : A\Rightarrow(B\Rightarrow C) \rightarrow (A\times B)\Rightarrow C`$
証明オブジェクトとしてのラムダ項 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2017-08-25