プログラムの設計論⑱_プログラムは証明のない定理のようなもの