技術書ランキング
タグ一覧
Home
>
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
著者: 照井一成
Amazonで見る
紹介記事
D言語で作ってみる定理証明支援系(1) 型を作る
👍 7
コンピュータは数学者になれるのか？①
👍 3
関連するタグ
math
dlang
数学
