日曜日にCSNagoyaのSICP勉強会に参加していて、タワー記法が出てきた流れで、だ(と思う)という話をしたら、id:yoshihiro503さんとid:mzpさんから意外とよい反応をいただいた。 証明をちゃんとつけてなかったのだけど、帰り道で考えていたらわりと簡単に証明…