本を探す
Scrapbox
「照井一成」の検索結果
コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-
岸リトル
