研究室の環境を少し整える。バグ発見するのだが、そういえばどこかで……と思って Gentoo の Bugzilla を見ると発見したりして、そこにあるパッチを当ててクローズしたり。パッチがあるのに当てて動作検証してコミットしないのは、なんか貢献してくれる人に申…

論文の校正。次こんな論文(=科学史とか科学哲学とかの)書くとしたら何年後か分からないので記念に別刷り頼もうかと思うのだが、表紙付き30部で15000円からとけっこうなお値段。実はまだ小松先生にも論文ゆっくりと見せていないので、今回できたら渡すつもり。…