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

Go to Qiita Advent Calendar Top

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

@meta77
人工知能に関する話題、数学基礎論、数理論理学、計算理論、確率統計、圏論、量子計算などが好きです。
須原浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
@sudasuda