カリフ制再興 ―― 未完のプロジェクト、その歴史・理念・未来作者: 中田考出版社/メーカー: 書肆心水発売日: 2015/02/20メディア: 単行本この商品を含むブログ (4件) を見るコンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-作者:…