2002-10-29 [長年日記]
λ. 読書
- 『オフィス北極星 6』
- 『オフィス北極星 7』
- 『オフィス北極星 8』
- 『オフィス北極星 9』
- 真刈信二[著], 中山 昌亮[イラスト]
λ. 萩野服部研
SICPは問題2.1.11まで進んだ。
ところで、λm.λn.nm で church numerals の巾乗が定義できる事は、それなりに面白い事実だと思うのだけど、あまり興味を持ってはもらえなかった模様。
λ. 夢
夕食後にまどろんでいたら、許しがたい侮辱を受ける夢を見た。感情的な反論をしてしまったけど、あのような悪意を前に感情的な対処は愚かだった。というか夢で良かった……