結局、自動化はムリだと思うな。
しかし、ジャッジをサポートするツールはいくらでも作れると思う。

それにつけても、各種経済学っていつもいつも経済を数式にモデル化したがるけど、
それよりもプログラムとしてモデル化、シミュレーションしたほうが遥かに分かりやすくて
高度な分析できるんだから、まずは数学の前にプログラミングやってみてよと言いたい。