プログラミングと、数学の証明には、非常に大きな、相関関係がある。それが、カリーハワードの結果、だったか。そのことは、ちょっと意外に思われる。プログラムは、いーかげんで、証明は、なにか「厳密」な、なにか、のように思われているから。 数学の証明…