>>569
>Mizarを使ったジョルダンの曲線定理の証明
>http://www.cs.shinshu-u.ac.jp/~okazaki/TPP2012shidama.pdf
>こういう話の方が面白そう。数学セミナー時枝号はそっちがメインの特集だった。

これは、もと弥勒菩薩こともと天皇陛下
スレ主です

同意です
伝統ある数学セミナー誌に
ブラックなクソ記事書いた時枝さん
その虚報に乗せられて、うごめく数学科のオチコボレ亡者たち
まさに地獄図です
この落とし前をどうするのかな？ｗ