Google APIs & Developer Products
Theorem Proving Tools for Program Analysis
10 ヶ月弱で 10,000km 突破。昔に比べたらのんびりペースだけど、普通はこんなものか。
読了。
セレンディピティ・マシン、David Green 著、羽山博 訳、インプレス
あけました。今年も相変わらずポストは少ないと思うけどよろしくお願いします。