- 214 名前：a4 [2018/09/20(木) 12:32:08.79 ID:+LGO6BcT.net]
- >>201
はい。強い興味があります。自動定理証明とかは調べたことはあるんですが、coqは
知りませんでした。僕は高校の頃は、リーマン予想を数学基礎論から追う数学者に
なりたいと思ってました。でも、今の専攻は量子コンピュータと人工生命です。
このスレでも人工生命からできた人工知能を用いて、数学の難問に挑みます。
あなたが仲間になってソフトの使い方などを教えていただけるのであれば幸いです。
