プログラミングって何なんだろう。日常生活の現象を仕様に置き換えることすら一般的に出来ないのに。論理学の発展不足の問題なのか、人間の問題なのか