2015-06-30から1日間の記事一覧

積んどくリスト(2015/6/30)

その数式、プログラムできますか? 【読み始め】証明支援系から関数型言語に関心が向いた際に読んだ「コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-」の関係かと思って買ったんだけど、ちょっとイメージとは違ったかな。OCam…

リストも更新

どんだけ積み上がってたんや…