教授のニュース

私のゼミの教授が「ジョルダンの定理」をMizarで完全証明したそうな。

http://www.shinmai.co.jp/news/20050928/KT050928FTI090001000022.htm

ゼミにいながら私は数学・mizarについてはサパーリなので詳しくは良く分からないが、１４年間の歳月を費やしたというだけでも十分にすごい。

そして、数学者なのに数学以外のことも指導できる（「ベンチャー起業論」なんてのもやっていたりする！）知識の広さは尊敬する。