帰着と変形

Mikio Kubo
理論家のための証明ツールである「帰着」と「変形」が，実際問題を短時間で簡単に解決するための重要なテクニックだということを話しています．
#帰着 #変形 #最適化

いいなと思ったら応援しよう！