読了。

コメント追加

投稿者 kw : 2010年4月15日 20:55:00 JST #

もともと腰の具合がよくないんだけど、2 年くらい前から特によくなくて腰痛がひどくなることがたびたび。普段から姿勢とか気を付けるようにしてて最近は落ち着いてたのに、昼頃うっかり変な姿勢で作業したせいで再発。こうなるとどんな姿勢をしていても痛いのでどうにもならず。何日か経てば治まるはずだけど。

コメント追加

投稿者 kw : 2010年4月14日 20:44:00 JST #

いろいろ思うことはあったけど車が替わりました。相変わらず MT 車だけど、あらゆることが変わってまだまだ慣れません。前の車の総走行距離は約 117,800 km。最近はあまりドライブ行ってなかったけどよく走ってくれました。新しい車も今まで通り大切に乗りたいね。

(追記：2010/04/04 10:38) クラッチの感触と半クラの位置が全然違って結構大変。シートとハンドルの位置合わせももうちょっとやったほうがいいかも。

コメント追加

投稿者 kw : 2010年4月3日 19:13:00 JST #

読了。

コメント追加

投稿者 kw : 2010年4月1日 21:00:00 JST #

読了。

コメント追加

投稿者 kw : 2010年3月31日 22:05:00 JST #

Robin Milner 教授が亡くなられたようです。僕は学生時代に pi-calculus をいろいろとごにょごにょしていたし、D 論もそれで書いたので非常に残念です。bigraphs は全然手を出せていないけど少し勉強しようかな。

ご冥福をお祈りします。

コメント追加

投稿者 kw : 2010年3月24日 23:54:00 JST #

読了。

コメント追加

投稿者 kw : 2010年3月23日 21:09:00 JST #