関数化マクロオペレーター ?(E) Eをユニット定数を渡して評価する関数に変える ?(E) := λu:I.E 定数化マクロオペレーター !(E) 引数0個の関数を定数にする。 !(E) := E・! デカルトペア・マクロオペレータ λt:T.(E・t F・t) セルフ・シミュレーター 外部圏の…

『ストリート・オブ・ファイヤー』（Streets of Fire）は、1984年の映画。1984というと、千葉県に一人でプラプラしていた頃か。このとき、ダイアン・レインは19歳だったそうだ。役名マッコイという女性兵士が出てくる。エイミー・マディガンという女優さんだ…

0引数関数と定数は同じなのか？ ：圏的ラムダ計算の立場から考える 我ながら、めちゃくちゃチャンと書いてある。

なんだこれ？