coqを使うと証明駆動開発ができるらしい。 以下でインストール方法が説明されている。 http://d.hatena.ne.jp/yoshihiro503/20070706以下でWindows版をDLできる。 http://coq.inria.fr/download以下に投稿サイトがある。 http://as305.dyndns.org/aps/ Coqで…

2/2から２週間検査入院していた。 高額医療請求を先にしていたので、食費10400円、負担金81304円の93704円だった。 １月でも１０万円あれば大丈夫かな？

http://www.keyholetv.jp/

http://pc.watch.impress.co.jp/docs/news/20110202_424412.html 約１万円。ほしいかも。

Lee Copelandさんの基調講演の最後のお言葉、"The best way to predict the future is to invent it"、未来を予言するには発明してしまえばいい

MacBook Air 11インチ欲しい！かい？ Macがマッキントッシュだった頃より前のAppleIIの時代からApple製品は使ったことがないな。 最近はGUI付きのUnixマシンとしてRubistで人気あるみたいだけどね。