2008-09-22から1日間の記事一覧

形式手法のサンプルの愚

形式手法がなかなかはやらない。俺はサンプルが悪いのだと思う。いつも通常の開発でもできそうなものばかり。この歯痒さは超能力がいつも手品でできることしかできないトホホ感に近い。あっと驚くサンプルがほしい

G・マイケルの二度あることは三度ある

天才トラックメーカ兼天才歌手、ジョージマイケル、またもトイレで逮捕(二度目) ジョージ・マイケル、再び公園のトイレで逮捕 ジョージ・マイケルが金曜日(9月19日)、ロンドンの公園内にある公衆トイレで逮捕された。ジョージが公園のトイレで逮捕される…