17/08/07 21:24:19.13 liPWVlVm.net
>>460
￥さん、どうも。スレ主です。
>そしてその一方で『計算機による四色問題の解決』とか、或いは「O.LanfordのFeigenbaum定
>数に関する計算機を使った証明」です。こういうのは汚くて初等的かも知れないが
初等的というと、アペリーを思い出しました。
アペリーから、30年以上経ってしまった。
だから、もう平屋とは言えないかも（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
17/08/07 21:24:19.13 liPWVlVm.net
>>460
￥さん、どうも。スレ主です。
>そしてその一方で『計算機による四色問題の解決』とか、或いは「O.LanfordのFeigenbaum定
>数に関する計算機を使った証明」です。こういうのは汚くて初等的かも知れないが
初等的というと、アペリーを思い出しました。
アペリーから、30年以上経ってしまった。
だから、もう平屋とは言えないかも（＾＾
URLﾘﾝｸ(ja.wikipedia.org)