Yesod 1.0 公開を記念して開催された Yesod 1.0 勉強会（http://partake.in/events/76f421e7-c3ca-49bf-b28e-f9ede8032f0b）です。 抜けている発言などあったらどんどん追加してください！ 続きを読む
きょうはえいぷりーるふーるやー 続きを読む
『ゲーデル問題』という用語について、林さんと蔓葉さんの議論のまとめ。 ゲーデルの不完全性定理以外の業績についてのつぶやきも収集しました。 続きを読む
