スレタイ 箱入り無数目を語る部屋13

Mizarを使ったジョルダンの曲線定理の証明
http://www.cs.shinshu-u.ac.jp/~okazaki/TPP2012shidama.pdf

こういう話の方が面白そう。数学セミナー時枝号はそっちがメインの特集だった。