プログラムの設計論㉛_零の発見