現代数学の系譜工学物理雑談古典ガロア理論も読む44

現代数学の系譜工学物理雑談古典ガロア理論も読む44at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む44 - 暇つぶし2ch363:現代数学の系譜工学物理雑談古典ガロア理論も読む
17/10/09 17:02:48.80 Lw7abe+X.net
>>333
>充足可能性判定のアルゴリズムは古くて新しい技術である
うん、それ21世紀では、数学というより、コンピュータサイエンス（ソフトウェア科学）（下記）かな（＾＾
（参考）
URLﾘﾝｸ(bach.istc.kobe-u.ac.jp)

次ページ

続きを表示

1を表示