入門Git購入しました。# 戸田書店にて発見これ、凄く良いです。メンテナが日本語で書いたフリーソフトウェアの書籍って初なのでしょうか。 色々試すナニで pending な tarfs が云々、って位試したい今日この頃 Dybvig 教授の本に行列とベクトルの乗算なナニ…

Exercise 2.24 のつづき 直前エントリにて substitution なオブジェクトには置き換え対象の term と置換後の symbol が入ってて、渡された symbol と term の symbol が eqv? だったら置き換える、という理解。 と思ったんですが、逆かな、って思いはじめて…

Exercise 2.24 のつづき 今日の晩メシ担当らしい。作成開始するまでの間で全体見つつ substitution を整理してみる。とりあえず最終的に作成する subst-in-term 手続きはイメージ的には以下なカンジになるのだろうか。 (define subst-in-term (lambda (s t) …

日本 Android の会の幹事になってしまいました。 # 追記：幹事になったのではなくって、幹事な ML に # 入れて頂いた、というのが事実でした