Coqの構文は読み辛いので紛れのないS式で書いてくれ，とか思うんですが．Haskellの instance 宣言あたりも，依存 => が入ると常識人の限界を超えてると思う．

http://bpstore.nikkeibp.co.jp/mokuji/lin013.html 日経Linux 2000年10月号 「Linuxの謎を解き明かす」「カーネル2.4が実現する世界」 忘れもしない，これだ．これだよ．なつかしいーーー しかしTurbo Linuxを（Windows 98 SEとの）デュアルブートで入れる…

こいつをインストールした． http://www.forest.impress.co.jp/article/2005/03/07/tbtray.html 窓の杜 - 【NEWS】「Thunderbird」をタスクトレイに常駐できるようにする支援ソフト

世の大学生は私よりもう少し余裕のあるスケジュールで動いてるような気がするんだが，こう言って堕落の誘惑に負けないようにしています... （応用）化学科の学生さんたちのご苦労を思え！ 医学科でも可．

昨日アカウントを作っていただいたので，先ほど常用しているECCSのアドレスへの転送の手続きを取った．knoda@atomtrap.（アルファベットのティー）.u-tokyo.ac.jp である．WEBサイトのドメイン名ultracold と違うのがあれなんだが，研究室がサーバを持ってい…

こないだの日曜にブイヨンやコーンスターチや昆布を（物理実験のために！）買いに行った根津の赤札堂はとてもいい感じの店だった．生活感があって心が和む．小石川のセイフーはどうも非人間的な印象が強くて... 方向が全く違うが，これから浅野キャンパスに…

やはり休日はよいですね．風呂に入って全身を洗う余裕があるなんて素敵だ．ここ数日，髪と（ごにょごにょな部分）を洗うだけで済ませていたので... 追記： 昼寝までしちゃったよ．わーいわーい 追記^2： 池袋でショッピングまでしちゃったよ*1．わーいわーい…