私のゼミの教授が「ジョルダンの定理」をMizarで完全証明したそうな。http://www.shinmai.co.jp/news/20050928/KT050928FTI090001000022.htmゼミにいながら私は数学・mizarについてはサパーリなので詳しくは良く分からないが、１４年間の歳月を費やしたとい…

とりあえず、救急患者を検索するところは出来上がり。 職員を病院から呼び出す部分も、データの検索・生成はほぼ完成で、残るはメール送信の部分。 （ログ機能とかもまだだけど・・・）自宅のLinuxをPostfixでメールサーバ立ててあるので（立てたことはここ…

マトン食べに行くのに学割使ってみた。 学生の特権！

遅い夏休みなので都内の同級生とマトンを食べてきた。 学部の科目にある「オートマトン」にかけて「イートマトン」というわけだ。 わざわざマトンだけ食べにノコノコと出かけていった。この年でリアル同級生がいるということも、同級生が年上であるというこ…