[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
918(1): 2019/09/09(月)14:34 ID:uwfnXwUu(22/60) AAS
ちなみに東ロボ君は量化子消去法とか
結構難しい数学（数理論理学）を使ってますね
外部ﾘﾝｸ:scienceandtechnology.jp
ただ、これは数学の問題を解く以外では必要ない技なんで
多くのAI研究者の関心事ではないでしょうね
上下前次1-新書関写板覧索設栞歴
あと 84 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.016s