2006-12-10から1日間の記事一覧

といいつつ非公式研究室紹介ページを作ってる。

なんだろうね。ほかの研究室紹介にあってうちに無い紹介を補間してくよ。

証明をtexに落とすことの楽しさ。

頭使わないで、作業は進むので楽しい。

again

計算機室で印刷が出来ない。なにがまずいのか。