代入を導入することによって置き換えモデルが適用できなくなったので，いわゆる環境モデルを導入しましたというお話． 環境モデルの元では，関数(原文ではprocedure)定義はlambdaのシンタックスシュガー． (define (square x) (* x x)) は実際には環境で (de…

simple-hatena-modeを使っているんですけど，simple-hatena-go-forwardとかを使うと，とりあえずバッファが開くじゃないですか．例えば2008-02-29.txtとか． で，それを誤ってセーブしちゃうじゃないですか．スペース一個だけある状態とかで． で，その状態…

もう一本論文書かない？とか言われましたけど，「できれば静かに隠居などしたいんです!」っていったら隠居させてくれたよ!!先生大好き!! これによって，ぼくの研究活動は(おそらく)3月中旬で終了することになったりしました． そういうわけですから，今は研…