一週間ぐらい前にchurch数のことがわかったときには
SICPも二章に入って、最初の盛り上がりがやってきたヨ!
なんつって喜んでエントリ書きかけてたんだけど、今となってはどうでもよくなってきた。むしろラムダに傾いたっていうか、TuringとChurchの狭間での髭剃りのほうが気になる。
関数型言語に目覚めた30代におくるラムダッシュ!bluetoothで剃った髭の数を最寄りのフィボナッチ数でお知らせ!みたいなITシェーバーだったらコンテンツマッチ広告といえるじゃろが、444じゃなぁ、、、世界が驚いてもナナロク世代は驚かん(しかもナナロク世代じゃないし)
haskellでchurch数を後でちゃんと読む。