「雑談しながら思ったこと」： type of types とかラムダキューブについて教えてもらった。これは面白いネタなので、別エントリ（来年？）にして書くかも。 ラムダキューブについては、稲葉（k.inaba）さんが説明してくださったのですが、その一部 -- 型パラ…

僕は、節目だの区切りだのはどうでもいいんだけど、それでもいちおう、あけましておめでとうございます。昨日、1月5日、近所の商店街を歩いて、電車で30分くらいの所を往復した。たったそれだけの外出のあいだに、2回も「よいお年を」という挨拶を耳にした。…