他の回はこちらから。 フィクションとは何か―ごっこ遊びと芸術― 作者:ケンダル・ウォルトン 名古屋大学出版会 Amazon 恐怖についてはこのあたりの回で触れたが、その伏線回収の章である。そこで私はアダルトビデオを見たときの性的興奮という例も出したが、…

こちらなどの復習編 コンビネータ コンビネータの導出は普通の命題論理の自然演繹と比較するとわかりやすいのではないかとなったので、載せときます。 だいたい同じですな。 項を隠す 型付ラムダ計算で にあたるのは であろう。つまり、 という型を持ったな…