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

[0333 １３２人目の素数さん 2017/10/09(月) 16:05:57.85 ID:6BAl0MDz]

余談
＞枯れた技術

充足可能性判定のアルゴリズムは古くて新しい技術である
https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C