今までの数々の失敗に懲りず、また危険な話題に手を出します。「プログラミング」といったときに、バリバリの「企業エンジニア」と、バリバリの「個人ハッカー」では、指すものが全く違うような気がします（このエントリでいう「企業エンジニア」「個人ハッ…

http://d.hatena.ne.jp/lethevert/20070807/p3この手の話は（特にJavaで）よく目にする or 耳にするのですが、そもそもequalsはバイナリメソッドの典型なので、いわゆるオブジェクト指向（特に実装の継承）と相容れない（二引数関数なのに、どちらに属するか…

http://arton.no-ip.info/diary/20070808.html#p01前にオープンキャンパスで某ロボットに「フィボナッチ踊り」をさせようと提案して却下されました。面白いと思うのですが、駄目でしょうか？（←駄目です）ちなみに、今の高校数学のカリキュラムには三項間漸…

http://itpro.nikkeibp.co.jp/article/COLUMN/20070802/278931/?ST=develop出ました。ホーア論理の話です。参考リンクにある京都賞受賞記念講演なども面白いかと思います。記事にもある「形式的手法（数学的証明）によるプログラム検証」は、「バグがないこ…