今回のラムダ期の課題は、デカルト閉とは限らない非標準な状況でのセマンティック駆動なラムダ計算かな。セマンティック駆動なラムダ計算とは、まず意味領域があって、その意味領域における計算をするためにラムダ式やシーケントを手段として使う計算法のこ…

小説や映画の話じゃないですよ、昨日に続いて「お花見の桜」の話。ここ20年は桜の名所に居るんですが、その前も桜と縁がありました。一時期、上野公園のそばに仕事場があったのです。お花見のシーズン、不忍池から動物園や美術館があるほうに上野公園をズー…