地下室の酒気帯び日記

_ 運転中の「携帯」、３６４５人を検挙　道交法改正初日

普通車の反則金は日産のページによると6000円。

ということは1日の反則金合計を概算すると6000x3645=21870000円なり。

ところで、自転車乗りながら携帯使っている人を最近よく見かけるんだけど、あれは非常に危険に感じるのでついでに取り締まってほしい。特にらいさん家の周辺。

_ [言葉] by Albert Einstein

If you can't explain something to a six-year-old,

you really don't understand it yourself.

[CODE COMPLETE 2 (p.45)より引用]

_ IQ vs. Votes

アメリカの州の平均IQと投票結果の図。

この図のデータの信憑性とかよくわからないし、そもそもIQをたいして信用していないけど面白い。

_ 追記: データとかでたらめらしいです。やられたよ！

_ ブッシュが愛される理由

ブッシュ否定派の意見ばかりだと偏るのでこういった意見にも目を通しておくことは重要かも。

_ ロリコンの法則

女子高生を好きになったらロリコンと判断される年になりました。

_ [言葉] by Steve McConnell

Remember to program into the language, rather than programming in it.

[CODE COMPLETE 2 (p.70)より引用]

_ [言葉] by R.Buckminster Fuller

When I am working on a problem I never think about beauty. I think only how to

solve the problem. But when I have finished, if the solution is not beautiful,

I know it is wrong.

[CODE COMPLETE 2 (p.80)より引用]

_ [Programming] Koders - Source Code Search Engine

オープンソースコード検索エンジン。

多くの言語に対応していてかなり良さげ。ここによると企業のファイアウォールの内部で動作するバージョンを作っている最中らしい。今後自分の会社にも導入されて社内製品のコード検索に利用できるとしたらかなりうれしいかも。

高林さんのgonzuiも同じようなコンセプトだと思うけど、どういった区別化をしていくのだろうか。(via /.jp)

Koders is a search engine for source code. It enables developers to easily
search and browse source code in thousands of projects hosted at hundreds of
open source repositories.

_ たれ目

_ [Programming] Spec#

Design by Contract in C#といったもののようだ。

「達人プログラマー」を読んだ人やJavaでiContractのようなツールを使って契約ベースのプログラミングをしたことある人ならば、コードに対する事前条件・事後条件の価値がすぐわかるでしょうというようなことが参照元に記述されている。達人プログラマーの「第4章 契約による設計」(p.110-)に概要が載っているので興味ある人は読んでみては。

VC++とかにも欲しいところなんだけど、似たようなものは既にあるのかな？

The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. The system consists of:

* A programming methodology, which includes a sound treatment of object invariants in object-oriented programs.

* The Spec# programming language, which is a superset of C# and adds things like non-null types, checked exceptions, method contracts (like pre- and postconditions), and object invariants.

* The Spec# compiler, which is integrated into the Microsoft Visual Studio development environment, statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the specifications in metadata for consumption by the program verifier.

* The Spec# static program verifier, which translates programs into logical verification conditions, which are passed to an automatic theorem prover.

* An interface to the SpecExplorer tool for test generation and model-based testing.

[Spec# Overviewより引用]

_ Google Scholar

Googleの新検索サービス。トップページには以下の文が書かれている。

Stand on the shoulders of giants.

これはIsaac Newtonの次の言葉から引用したものらしい。

"If I have seen further, it is by standing on the shoulders of giants."

この検索サービスは広範な研究分野からピアレビュー文書、論文、文献、前刷り、要約、技術報告書のような学術的文献を検索するのに特化したもののようだ。検索結果にはリンクした文献の著者、掲載された出版物の名前なども出力されているあたりはなかなか便利なのではないだろうか。

(via Google Blog)

_ [本] 11月読んだ本

池谷 裕二氏の『進化しすぎた脳 中高生と語る「大脳生理学」の最前線』が特におすすめ。

・プログラマの「本懐」 ~アーキテクトという選択, [本棚]

・記憶力を強くするー最新脳科学が語る記憶のしくみと鍛え方, [本棚]

・進化しすぎた脳 中高生と語る「大脳生理学」の最前線, [本棚]

・物は言いよう, [本棚]

・エンジニアよ 挑戦せよ。, [本棚]

・川崎和男 ドリームデザイナー -課外授業ようこそ先輩・別冊, [本棚]

・Effective Java プログラミング言語ガイド, [本棚]