ジョルダンの曲線定理
2005年10月2日 平均的な日完全証明成功の模様↓
http://e-learn.mine.nu/mizar/jordancurve.htm
…凡人には証明方法の端緒すら想像がつかない訳で…。
○[メモ]
良さげなフレーズを見つけたので、とりあえずメモ。
人を妬むな
人を恨むな
人に屈せず
我を信じて
人智を尽くして
天命を待ち
それでもどうにもならなければ
それはどうにでもなっていいことだ
○[げいむ]
新宿カーニバルのロケテへ行くが…どうにでもなりそうで、実際は
どうにでもならないんだろうなぁ…的な出来具合に落胆。
開発の中の人も、やる気があるのか無いのかがすこぶる不明。
(出来具合を見る限り、無さそうとしか判断できないが…)
その代わり、意外と面白い「らしい」ときメモオンラインのβテスター
にでも応募しようかと思う次第。
http://e-learn.mine.nu/mizar/jordancurve.htm
…凡人には証明方法の端緒すら想像がつかない訳で…。
○[メモ]
良さげなフレーズを見つけたので、とりあえずメモ。
人を妬むな
人を恨むな
人に屈せず
我を信じて
人智を尽くして
天命を待ち
それでもどうにもならなければ
それはどうにでもなっていいことだ
○[げいむ]
新宿カーニバルのロケテへ行くが…どうにでもなりそうで、実際は
どうにでもならないんだろうなぁ…的な出来具合に落胆。
開発の中の人も、やる気があるのか無いのかがすこぶる不明。
(出来具合を見る限り、無さそうとしか判断できないが…)
その代わり、意外と面白い「らしい」ときメモオンラインのβテスター
にでも応募しようかと思う次第。
コメント