人気エントリー一覧

皆様新年あけましておめでとうございます。抱負とかは、公言しないほうが実現確率が高まるらしいのであえて言わない。

さて、去年アクセスが多かったエントリをリストしようと思う。

1. モナドとは何か - 私の見方
2. モデル検査の「モデル」とは
3. 87クロッカーズ
4. MacBook Pro Retinaモデルを購入した
5. ゲーデルの不完全性定理からP≠NP問題にアプローチする

今年もよろしくお願いします。