先週末の読書会で，「参照透明性(referential transparency)という用語は どこから来たの？」という話題があった．

Matzにっき(2006-07-15) LLが本当に役に立つのは「でかくて汁もしたたるような」日常の問題ではないかと。私が関数言語にそそられない理由のひとつが、例題が地に足がついてないように感じられること。 耳痛し．．．「でかくても汁もしたたるような」日常の…

論理の基礎勉強を始めた(なんで学生のときにちゃんと勉強しておかなかったのだろう)．ところが実は何からあるいは何処から始めればよいのかが全然解らないのである．教科書をじっくり読めばいいはず．なのだが，用語や概念の区別，構文と意味の分離の意図，…

Matzにっき(2006-06-29)を読んでふと思い浮かんだ言葉．