コンピュータは数学者になれるのか？① - Qiita

コンピュータは数学者になれるのか？①likers

メタ@kyogoku_meta
人工知能、数学基礎論、数理論理学、計算理論などが好きです。
須原浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
@sudasuda