2011年8月6日土曜日

ねじまき少女

私が遊んでいる間、代わりに仕事をしてもらうため、 自宅ワークステーションのアイドリング中の演算能力を寄付するよう設定。 GPGPU に対応しているプロジェクトから、 たんぱく質構造予測(GPUGrid)と素数探求(PrimeGrid)の2つを選んだ。

「数学基礎論講義」(田中一之(編著)・鹿島亮・角田法也・菊池誠/日本評論社) 、 3.2「ゲーデルの完全性定理」の終わりまで。 「ねじまき少女 (下)」(P.バチガルピ著/田中一江・金子浩訳/ハヤカワ文庫)、読了。 「ツァラトゥストラ (上)」(F.ニーチェ著/丘沢静也訳/光文社古典新訳文庫)、開始。