@kusano_k

教授に「論文はプログラムのように書けば良い」と言われたことがある。いろいろ定義して、関数（補題）を作って、それらを組み合わせて主定理を導くと。TopCoderのプログラムを書くときは論文のように、きっちりと証明をしながら書こう。