<< 12月 2010 | ホーム | 2月 2011 >>

めも

Google APIs & Developer Products

タグ :

めも

Theorem Proving Tools for Program Analysis

タグ :

10,000km

10 ヶ月弱で 10,000km 突破。昔に比べたらのんびりペースだけど、普通はこんなものか。

タグ :

読了。

タグ :

セレンディピティ・マシン、David Green 著、羽山博 訳、インプレス

読了。

タグ :

No Image

読了。

タグ :

読了。

タグ :

No Image

読了。

タグ :

No Image

読了。

タグ :

No Image

読了。

タグ :

読了。

タグ :

新年

あけました。今年も相変わらずポストは少ないと思うけどよろしくお願いします。

タグ :