昨日話題にした型推論とかの関係で、最近また、ソフトウェアの設計・実装に論理をどう応用できるか、とか考えています。まー、応用できるのは当然、つうか、現在のコンピュータシステム自体が論理（数学基礎論）の応用みたいなもんですが、もう少し日常的な…

今朝のNHK教育の子供番組で、皇帝円舞曲という曲をやっていた。長男：「おとうさん、この曲いいよね」父親：「そうか」長男：「この曲はお酒にいいよ」父親：「？」長男：「皇帝円舞曲、お酒にあうでしょ、やっぱり」父親：「？？」長男：「あー、おとうさん…