>>179
人は帰納的に考え、プログラムは演繹的に記述されるわけか。