腰リールカンファレンスのレポートが。行きたかったなぁ。大森さんのレポートはいつも助かります。 「ほかの方法だと，いいと言われた製品を買って使うだけ。一方，腰リールは自分でどんどん好きなようにカスタマイズできる。いわば消費者ではなく生産者側に…

日経コンピューターNo.657(2006.7.24)の特集2「バグ・ゼロを目指す『形式手法』」を読みました。これまで形式手法と言われてもなかなかピンとこなかったのですが、システムを状態遷移マシンとみなして各状態の事前条件と事後条件を明記し、（ツールで）遷移…

おなかすいた。