国立情報学研究所の先生が型付きラムダ計算についての難問を解決したそうで。未解決問題22問のリストがあって、このリスト中の問題解決は世界初だって。スゲー！型付きラムダ計算の未解決問題集 http://tlca.di.unito.it/opltlca/一問目は 1958年 Haskell Cu…

スニペット使ってますか？ cw 大好きです。 シングルトンのスニペットがあればいいなぁと思いつつ、そうそうシングルトンを使うわけでもないので今日まで放置でしたが、大量のシングルトンが必要になって(つっこまないで(^^;)ついに書きました。 書いたとい…