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