imperativeプログラマとfunctionalプログラミングについてよく議論するのだが，うまく説明できない(つまり自分でもよく理解できない)ことが多すぎる．いつも私が抽象的な議論，言葉の定義，感覚的で曖昧な表現に終始してまうことで議論が噛み合わない．Hacke…

(用語、概念をいいかげんに使っているので絶対に真にうけないこと!!) (マシン語を知らない子ども達 - UEI shi3zの日記とこれに対する反響を読んで書いたものです)あまりにも当たり前過ぎて21世紀に入ってから言葉にしたことはあまりないのですが，当然のこと…

プログラムは計算機を前提に書かれるのだから、計算機の構造と動作を理解していることは重要であることは間違いない。プログラムは仕様を満すために書かれるのだから、仕様の形式的記述と検証について理解していることは重要(かもしれない)。