感想が書けるほど知見がないし、理解しているわけでもないので、メモです。 コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-作者: 照井一成出版社/メーカー: 青土社発売日: 2015/02/24メディア: 単行本この商品を含むブログ (8…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。