問題を定式化出来ない奴が問題を解けるわけがない