0190名無しんぼ@お腹いっぱい垢版 | 大砲2018/12/13(木) 12:15:16.39ID:uN2r7I1E0 >>178 ちょうど今、東ロボ君プロジェクトの責任者である新井紀子教授の講演を聴いたのだが、 まさに君のような人を新井教授は切って捨てていたよ。曰く「5000円の羽根布団を50万円で買ってしまう人」 東ロボ君は元々ゲーデル完全な問題しか解けない。研究者の努力で、実数体だけの問題には対応させたが、 整数の問題や述語論理の問題は全く解けないとのことだ。