実は私は食べてないのだが、それはそうとして、そのティラミスの素材が北海道産だというのはどうすれば検証できるのだろうか。プログラマーとしては検証というのがどうしても気になる。
プログラムは想定通りに動くことを検証することがもちろん重要なのだが、動作したらいいというものではなく、それはロジカルに説明できるようなものでなければならない。プログラミングというのが理屈の塊みたいなものだから、それを作るスキルがあれば動作も説明できて当然と思われるかもしれないが、世の中には理屈が分からないけど動くという不思議なプログラムもたくさんあるのだ。情報科学もいつの間にか魔法の世界に突入しているのである。