>>560
今は数学の証明に対する一般論をする段階じゃなく、論文のデバッグのお話なんだよね。分かりにくいコーディングだと簡単な論理でも読みにくいっしょ？そういうことよ