17/04/30 07:40:46.67 HLvG8gWy.net
>>352
おっちゃんです。
>わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
>きちんと、大学教員レベルの証明があればともかく、匿名板でそれ（名無しカキコに価値をおく）はない
それが、ここに新規性や何らかの価値のありそうなことを書いたことがあるんだよね。
>>384
>が、ある程度の手筋の知識はインプットしないとね
演習問題に定理の証明があったりして前の演習問題の結果が
後々有効になって来るような、そのようにして読むタイプの本もある。
432:現代数学の系譜11 ガロア理論を読む
17/04/30 19:54:09.73 murcgCEO.net
>>387
運営バカプロ固定age野郎、乙です（＾＾；
商売熱心ですな～（＾＾；
433:現代数学の系譜11 ガロア理論を読む
17/04/30 20:24:40.11 murcgCEO.net
>>388
おっちゃん、どうも、スレ主です。
ご苦労さまです
>それが、ここに新規性や何らかの価値のありそうなことを書いたことがあるんだよね。
心配しなくて良いよ。だれも気付いていないから・・（＾＾
”新規性や何らかの価値のありそうなこと”なら、すぐ論文にすること。それでOKだよ（＾＾
434:現代数学の系譜11 ガロア理論を読む
17/04/30 20:26:07.87 murcgCEO.net
>>388
>>が、ある程度の手筋の知識はインプットしないとね
>演習問題に定理の証明があったりして前の演習問題の結果が
>後々有効になって来るような、そのようにして読むタイプの本もある。
物理学者などは、普通は既存の数学の範囲で間に合うが、必要なら、厳密性は犠牲にして手作り数学を作ってしまうよ（＾＾；
厳密性については、後追いで、数学者が基礎固めをする
古くはニュートン・ライプニッツの微分積分を、コーシーとワイエルシュトラスがデルタイプシロンで基礎付けしたごとく
あと、いろいろ。シュワルツや佐藤の超関数も、ディラックのδ関数の数学的基礎固めの意味がある
近年、進行中なのは、古くから研究されている量子力学の繰り込みの数学的正当化
あと、超弦理論からみで、いろんなところに出てくる双対性の数学的正当化（含�
435:ﾞAdS-CFT対応） 工学でも同じだ。演算子法は、ヘヴィサイドが考案し、後数学者がラプラス変換やフーリエ変換を当てはめた AIのディープラーニングも、工学（プログラミング）が先行し、数学理論は後追いだろう しかし、数学のすごいところは、一度数学の理論が入ると、あとは数学必須になり、数学抜きでは話にならないことになるってことだよね（＾＾ だから、最初に数学外の対象を、数学のまな板の上に載せて料理した人は、大変な称賛が与えられる場合が多い（例えばシュワルツなど）（＾＾ だから、割りきって、手筋の知識のインプットも考えた方が良い そうでないと、凡人は19世紀のガウスのレベルさえ抜けないだろう（車輪の再発明で終わる）（＾＾； https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%A9%E3%83%83%E3%82%AF%E3%81%AE%E3%83%87%E3%83%AB%E3%82%BF%E9%96%A2%E6%95%B0 ディラックのデルタ関数 https://ja.wikipedia.org/wiki/%E7%B9%B0%E3%82%8A%E8%BE%BC%E3%81%BF 繰り込み https://ja.wikipedia.org/wiki/AdS/CFT%E5%AF%BE%E5%BF%9C AdS-CFT対応 https://ja.wikipedia.org/wiki/%E6%BC%94%E7%AE%97%E5%AD%90%E6%B3%95 演算子法 https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%BC%E3%83%97%E3%83%A9%E3%83%BC%E3%83%8B%E3%83%B3%E3%82%B0 ディープラーニング
436:１３２人目の素数さん
17/04/30 21:20:55.27 wXUh+07N.net
と、数列すら理解してない馬鹿が申しております
437:１３２人目の素数さん
17/04/30 22:58:16.38 gPOwIXzJ.net
> ”新規性や何らかの価値のありそうなこと”なら、すぐ論文にすること。それでOKだよ（＾＾
真面目にこんなこと言うところがイタすぎるんだよ
おまえ1回たりとも査読付き論文を投稿した経験がないだろ？
誰も価値ある数学的新事実を発見した、などとは言ってない（誤答おじさん以外は）
お前の馬鹿コメが馬鹿だと指摘しているだけだｗ
ｽﾚﾘﾝｸ(math板:0002番)
お前のほうがよっぽど新規性があるぞ↓ｗ
ｽﾚﾘﾝｸ(math板:0001番)
こんなところに書いてないで、お前こそ論文を書いたらどうだね
438:１３２人目の素数さん
17/05/01 03:05:22.83 HMLkD1Zz.net
おっちゃんです。
チョット用事が生じて来たんで、ここから去ります。
じゃあな、スレ主。
439:１３２人目の素数さん
17/05/01 09:21:29.54 HMLkD1Zz.net
>>390-391
あっ、そうそう。
スレ主は、今日まだここに書いていないようだけど、しっかり今日もここに書くんだぞ。
くれぐれも、今日はここに書かずに私を巻き添えにして、
スレ主と私とを同一人物とさせないということはしないようにw
プロ固定とかいう話が最近このスレで生じ始めて、
何やらこのスレはよろしくない不気味な場所のようだからここから去ります。>>393も
>誰も価値ある数学的新事実を発見した、などとは言ってない（誤答おじさん以外は）
>お前の馬鹿コメが馬鹿だと指摘しているだけだｗ
の部分の文脈としての脈絡がなく、イタいレスをしているな。後半の文の意味が分からん。
それじゃ。
440:１３２人目の素数さん
17/05/01 10:09:55.52 HMLkD1Zz.net
>>390-391
おっと、>>395の訂正：
スレ主と私とを同一人物とさせないということはしないように
→ スレ主と私とを同一人物とすることはしないように
じゃ、スレ主は今日もここに書くように。
441:現代数学の系譜11 ガロア理論を読む
17/05/01 15:47:27.79 nB6uL1P/.net
>>394-396
おっちゃん、どうも、スレ主です。
ご丁寧にありがとう
おっちゃんの配慮とご厚意に深謝！（＾＾
442:現代数学の系譜11 ガロア理論を読む
17/05/01 15:49:27.35 nB6uL1P/.net
>>392-393
どうも。スレ主です。
プロ固定さん、age作業ご苦労です（＾＾
443:現代数学の系譜11 ガロア理論を読む
17/05/01 15:51:40.02 nB6uL1P/.net
>>393
どうも。スレ主です。
そのリンクはよく見れば、スレ28 (High level people が時枝問題を論じるスレ) ｽﾚﾘﾝｸ(math板) じゃないですか（＾＾
その手には乗りませんよ（＾＾
444:現代数学の系譜11 ガロア理論を読む
17/05/01 15:54:25.90 nB6uL1P/.net
スレ28 (High level people が時枝問題を論じるスレ) は、行き詰まったわけだ（＾＾
当然だわ。時枝記事はガセ。大学数学科の高学年なら分かるでしょ
それが、分からないのは、大学数学科の低学年以下および （文系）High level people たち
445:現代数学の系譜11 ガロア理論を読む
17/05/01 16:00:39.11 nB6uL1P/.net
おっちゃんが
446:>>355で指摘してくれたように、数列の話が出てきたのは、時枝記事がらみ で、>>350「だからHigh level peopleだの賛同者だの時枝記事だの何の話をしてるんだ？」なんて誤魔化そうとして、>>393本性を現したね（＾＾ その手には乗らない スレ28 (High level people が時枝問題を論じるスレ) を廃墟にしようという作戦でね スレ28の話題は、このスレ扱わないし スレ28にも行かないよ（＾＾
447:現代数学の系譜11 ガロア理論を読む
17/05/01 16:16:27.30 nB6uL1P/.net
>>393
>真面目にこんなこと言うところがイタすぎるんだよ
>おまえ1回たりとも査読付き論文を投稿した経験がないだろ？
arXivとか知っているかい？（下記） 査読は不要だ。というか、査読不要が売り
「1991年にスタート」とあるけど、じゃ、1991年以前はどうしていたかというと、プレプリントの形で、メーリングリストなどで発信されていたんだ
と言っても、1991年以前の物理や数学業界の内情を直接知っているわけじゃないが、1991年以前の解説記事などには「プレプリントでこんなことが回ってきた」なんてよく書いてある
まあ、￥さんなどは、1991年以前の当時の状況をよくご存知だろうが（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
arXiv（アーカイヴ、archiveと同じ発音）は、物理学、数学、計算機科学、量的生物学、計量ファイナンス、統計学の、プレプリントを含む様々な論文が保存・公開されているウェブサイトである。論文のアップロード（投稿）、ダウンロード（閲覧）ともに無料で、論文はPDF形式である。1991年にスタートして、プレプリント・サーバーの先駆けとなったウェブサイトである。
査読[編集]
arXivは時間のかかる査読プロセス（平均して数ヶ月、長いと一年以上かかる）を避けて、素早い情報交換を行なうことを目的として設置されている。そのため、基本的に登録された論文の内容を精査してから公開・非公開を決める、という作業はしていない。
とはいえ完全にフリーパスだという事ではない。あまりにひどい論文は削除されたり、登録分野から移動させられたりする。
448:現代数学の系譜11 ガロア理論を読む
17/05/01 16:26:42.83 nB6uL1P/.net
>>402 補足
>arXivは時間のかかる査読プロセス（平均して数ヶ月、長いと一年以上かかる）を避けて、素早い情報交換を行なうことを目的として設置されている。
多分、投稿者の主目的は、”素早い情報交換を行なうこと”ではなく、”素早い第三者に立証できるタイムスタンプ確保”だ
つまり、自分が物理や数学の理論で、何か思いついたり証明が出来たとしよう。投稿で他者に先を越されると困る
そこで、arXivを使う
>>390のおっちゃんへのアドバイスは、本当に新規で価値ある内容なら、arXivでもなんでも、自分の名前と第三者に立証できるタイムスタンプ確保ができる形の公開をすべきだと
別に、arXivでなくとも可。但し、自分のホームページでは、タイムスタンプの客観性に欠けるだろうから、そこが問題だね
449:現代数学の系譜11 ガロア理論を読む
17/05/01 16:31:18.11 nB6uL1P/.net
>>402 補足
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
4 有名論文
4.1 ポアンカレ予想の解決
有名論文[編集]
arXivにはさまざまな論文が投稿されているが、ここではその中でも特に有名な論文を紹介する。
ポアンカレ予想の解決[編集]
ポアンカレ予想を解決した三部の論文。ロシア人数学者グリゴリー・ペレルマンが2002年から2003年にかけて投稿した論文で、この功績によりペレルマンは2006年のフィールズ賞を受賞した（ただし本人は辞退）。
arXivはその基本的な使われ方として、自分の論文が学術雑誌に正式に掲載される前の、インターネット上での先行発表のような形で使用されている。そのためarXivへ論文が投稿された場合、並行して学術雑誌へも対象論文が投稿されているのが普通である。
しかしペレルマンは対象論文をarXivに投稿しただけで学術雑誌には一切投稿しなかった。arXivは基本的にただのアップローダであることから、対象論文が後に専門の学術雑誌に掲載されない場合、そうした論文は普通 投稿者の正式な研究上の業績と見なされにくい。
こうしたことから、ペレルマンの発表方法が「arXivにだけ投稿する」という変則的なものであったことは、2010年にミレニアム懸賞問題の賞金100万ドルをペレルマンに授与するかどうかを決定するさいに、ひとつの問題となった[6]（ポアンカレ予想#賞金100万ドルも参照）。
結局は100万ドルをペレルマンに授与することが決定したが、本人は賞金の受賞を辞退した。
The entropy formula for the Ricci flow and its geometric applications、2002年11月11日
Ricci flow with surgery on three-manifolds、2003年3月10日
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds、2003年7月17日
450:現代数学の系譜11 ガロア理論を読む
17/05/01 16:37:35.34 nB6uL1P/.net
>>404
ポアンカレ予想の解決のペレルマン論文は異例だったが、下記 望月 新一先生の論文発表はarXivさえ使わないという点でもっと異例だね（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
望月 新一（もちづき しんいち、1969年3月29日 - ）は、日本の数学者、京都大学数理解析研究所教授。専門は数論幾何学、遠アーベル幾何学。東京都出身[1]、本籍は世田谷区[1]。父親の仕事の関係から5歳で日本を離れ、中学生時代に1年間日本に戻った以外は[2]ニューヨークに育つ。独身[3]。
abc予想への挑戦[編集]
2012年8月30日、望月は abc予想を証明する論文をインターネット上で発表した[4]。イギリスの科学誌ネイチャーによると[5]、望月は新たな数学的手法を開発し、それを駆使して証明を展開している。
abc予想の証明に先立って構築した宇宙際タイヒミューラー理論（英語版） (Inter-universal Teichmuller theory) の正否の判定には数年以上かかるだろうと言われている。なお、望月は40歳以上のため、フィールズ賞の対象とはならない。
宇宙際タイヒミューラー理論[編集]
2016年7月に京都大学で理論の国際研究集会[13]が開催された。主催者のイヴァン・フェセンコ（英語版） (Ivan Fesenko) は「この研究集会で少なくとも10人が詳細に理論を理解した。私は数論の中で最も重要な未解決問題の少なくとも100は望月の理論とさらなる発展を使用して解決されることを期待している。」と感想を述べている[14][15]。
451:現代数学の系譜11 ガロア理論を読む
17/05/01 19:58:36.09 nB6uL1P/.net
>>362 関連
数列関連で、”カントールの往復論法”がヒットした
これ、手筋として面白いなと思ったのでメモしておく（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
カントールの往復論法
数学基礎論、特に集合論とモデル理論において、カントールの往復論法（カントールのおうふくろんぽう、英：Cantor's back-and-forth method）とは、特定の条件を満たす可算無限濃度を有する構造の間に同型写像が存在することを示す論法であり、ゲオルク・カントールから命名された。 特に、以下の証明に使用される。
・カントールは、任意の 2 つの可算無限な稠密全順序集合（全順序集合であって、任意の異なる 2 つの元の間に異なる元が存在するもの）に両端が存在しない（最小元・最大元を持たない）場合、両者が順序同型であることを示す
452:ために、この論法を用いた。 全順序集合の同型は、狭義単調増加な全単射である。 従って例えば、有理数全体の集合と実代数的数全体の集合の間には、狭義単調増加な全単射が存在する。 ・原子元を有しない可算無限濃度のブール代数が互いに同型であることを証明するために、この論法を使用できる。
453:現代数学の系譜11 ガロア理論を読む
17/05/01 21:15:24.67 nB6uL1P/.net
>>325 関連
スレチだが・・、前振り（＾＾
ｽﾚﾘﾝｸ(bgame板:704-709番)
藤井聡太応援スレ Part5
704 名前：名無し名人[sage] 投稿日：2017/04/26(水)
URLﾘﾝｸ(www.youtube.com)
ここで藤井四段が自作の詰め将棋を色紙に書いているんだけど、うちの激指では解けなかった。
小さく５３手って書いてあるから５３手詰なのだろうか。
自分で考えてみても、詰めの手がかりすらわからないんだが、この色紙をもらった子は解けるくらいのレベルなのだろうか。
玉方： １三玉、２三歩 １五香 ２五と
攻方： ３三香 ３四金 ３五銀 ４三歩
持駒： 飛 飛 歩 歩
709 名前：名無し名人[sage] 投稿日：2017/04/26(水) 19:41:36.02 ID:O2HCWCU6
>>704
背尾詰に解かせてみたよ
53手詰だから合ってそうだね
▲１一飛 △１二歩 ▲１四歩 △同 玉 ▲１二飛成 △１三金
▲同 龍 △同 玉 ▲２三金 △同 玉 ▲３四金 △２二玉
▲４二飛 △３二歩 ▲同飛不成 △１一玉 ▲１二歩 △２一玉
▲３一飛成 △１二玉 ▲１三歩 △同 玉 ▲１一龍 △１二歩
▲１四歩 △同 玉 ▲１二龍 △１三飛 ▲同 龍 △同 玉
▲１四歩 △２二玉 ▲２三歩 △１一玉 ▲３一飛 △２一角
▲同飛成 △同 玉 ▲３二角 △１二玉 ▲２二歩成 △同 玉
▲１三歩成 △１一玉 ▲１二と △同 玉 ▲２三金 △１一玉
▲２一角成 △同 玉 ▲３二香成 △１一玉 ▲２二金
711 名前：名無し名人[sage] 投稿日：2017/04/26(水) 19:44:45.77 ID:DI8AODOS [8/14]
>>704
瀬尾詰めで一瞬で詰んだ
５３手であってる
454:現代数学の系譜11 ガロア理論を読む
17/05/01 21:20:47.22 nB6uL1P/.net
埋め立てですかときたね・・（＾＾
455:現代数学の系譜11 ガロア理論を読む
17/05/01 21:21:03.89 nB6uL1P/.net
>>407 関連
本題”谷川浩司は「詰将棋は自分でも作るんですけども，完成したものをコンピュータにかけるんですよ。そうすると，たいてい1秒で解かれますから。”
URLﾘﾝｸ(ja.wikipedia.org)
コンピュータ将棋
(抜粋)
2.1 詰みの周辺における強さ
ある局面において『詰み』の有無を判定する作業は、単純な情報処理能力が力を発揮する分野であり、コンピュータは人間をはるかに超える計算力により、容易に詰みを発見することが可能になっている。
コンピュータが得意とする分野であるとも言え、実際に詰将棋プログラムは、対戦プログラムより古く、1968年頃にプログラムで解こうとさせていた、という談話がある[15]。
詰みに特化した詰将棋の分野では、ほぼ全ての局面においてコンピュータは早々にトップ棋士の解図力を上回った。可能な王手と玉方の応手をすべて検索するコンピュータならではの方法論により、人間を凌駕する実力を備えている。詰将棋の創作にあたって、コンピュータを使用して作品の完全性を検証することは、すでに常識となっている[16]。
谷川浩司は「詰将棋は自分でも作るんですけども，完成したものをコンピュータにかけるんですよ。そうすると，たいてい1秒で解かれますから。それこそ，かなり複雑な，1年くらいかけて作った詰将棋でも，コンピュータにかけると1秒で解かれるわけです。
その詰将棋がちゃんと出来てるって証明にはなるんですけども，ちょっと切ない気分にはなりますよね……（苦笑）」と述べている[17
456:]。 手数が最長の詰将棋である「ミクロコスモス」すら、解答に成功したプログラム（通常の対戦用のプログラムとは異なり、詰将棋専用の探索ルーチンから成るもの）が報告されている（ミクロコスモス (将棋)#ミクロコスモスと脊尾詰を参照）。 また、対戦用ソフトウェアではない、独自プログラムによる創作の試行も行われている[18]。
457:現代数学の系譜11 ガロア理論を読む
17/05/01 21:24:43.26 nB6uL1P/.net
>>409 関連
脊尾詰（せおづめ）
URLﾘﾝｸ(ja.wikipedia.org)(%E5%B0%86%E6%A3%8B)#.E3.83.9F.E3.82.AF.E3.83.AD.E3.82.B3.E3.82.B9.E3.83.A2.E3.82.B9.E3.81.A8.E8.84.8A.E5.B0.BE.E8.A9.B0
(抜粋)
ミクロコスモスと脊尾詰[編集]
脊尾詰（せおづめ）は脊尾昌宏が開発した、最初シェアウェアとして公開され、2017年3月現在はフリーウェアとして公開されているコンピュータ詰将棋解答ソフトである。1997年、脊尾詰でミクロコスモス[3]を解き、同作が余詰が存在しない完全作であるという結論が導かれた。
後に新バージョンの「脊尾弐」「脊尾参」「脊尾四」が公開されたが、アルゴリズムが異なるため、古いバージョンで解けた詰将棋が新しいバージョンでは解けないということもある。「ミクロコスモス」は脊尾詰で解けたが、脊尾弐では解けなかったとされている[4]。
脊尾詰はその後いずれのバージョンも入手不可となっていたが、2017年3月に、将棋用グラフィカルユーザインタフェースの「将棋所」に対応した「脊尾詰」が、脊尾が所属するパナソニック将棋部のウェブサイトで無料ダウンロード版として公開された。
458:現代数学の系譜11 ガロア理論を読む
17/05/01 21:36:42.26 nB6uL1P/.net
>>410 関連
脊尾詰 今週の詰み筋 （連載 Vol.4） 2017.5.1
URLﾘﾝｸ(panashogi.web.fc2.com)
(抜粋)
最終更新日 2017.5.1
脊尾詰ダウンロード 将棋所対応版
（２０１７年３月１４日リリース）
パナソニック将棋部の中心メンバーの一人である脊尾が、大学在学中にAI分野の探索アルゴリズムを研究した成果として、1997年に史上最長手数の詰将棋「ミクロコスモス」(1525手詰）をコンピュータソフトとして初めて解き、一世を風靡したあと、しばらく化石となってしまっていたあの「脊尾詰」が復活！
脊尾詰ダウンロード
下記リンクをクリックしてダウンロードし、圧縮ファイルを解凍してください。
今週の詰み筋 （連載 Vol.4） 2017.5.1
第27回世界コンピュータ将棋選手権が近づいてきました。5月3日(水)から5日(金)まで開催で、4日（木）以降はニコ生での中継もあります。
注目ソフトは何と言っても「Ponanza Chainer」です。電王戦第１局で佐藤天彦名人に勝った従来版のPonanzaに、ディープラーニングと呼ばれるAI最先端技術を組み合わせて、「見たこともないほどの強さを実現する」予定とのことです。
ハードウェアスペックも「CPU1000コア程度、GPU128基程度」とのことで、まさに化け物です。人間の名人を超えて、神の領域に近づこうということでしょうか。どんな将棋を指すのか、注目です。
今回取り上げるのは、こちらも大注目された「AbemaTV藤井聡太四段 炎の七番勝負第７局 VS羽生善治三冠戦」です。テレビニュースでも何度も取り上げられたので、背景の説明は割愛します。
この順は罠で、以下の手順で先手玉は頓死してしまいます。
△２六龍(27) まで37手詰
（SeoTsume1.1 探索局面数740260 思考
459:時間3秒） このように、先手が快調に攻めているようでも、一手間違えると逆転の可能性が生じるところに、将棋の怖さと面白さがあります。藤井四段がこうした変化も全て読み切った上で、終盤戦を乗り切っているとしたら、その読みの深さは流石と言えます。今期、藤井四段のタイトル戦登場はあるのか、注目です。
460:１３２人目の素数さん
17/05/01 21:52:05.83 5vEeOU17.net
>>402
査読付き論文を投稿したことはあるのか？
という質問に対して
arxivを知ってるか？
と会話にならないレスを返す馬鹿
数学だろうが物理だろうが、お前は査読付き論文を1編も書いたことがないというのがよく分かった
461:現代数学の系譜11 ガロア理論を読む
17/05/01 22:14:44.71 nB6uL1P/.net
>>411 関連
前振り”結果はやはり即詰みがなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。”
URLﾘﾝｸ(tamarunoboru.cocolog-nifty.com)
2011年8月13日 (土) 田丸昇のと金横歩き
終盤の95手目まで同一手順が続いた王位戦（広瀬王位―羽生二冠）第４局
今期のA級順位戦（渡辺明竜王―郷田真隆九段）でも、同じようなことがありました。角換わり腰掛け銀の流行型から攻め合いとなり、先手番の渡辺は郷田の玉を受けなしに追い込みました。
その局面で渡辺の玉に即詰みがあるかどうかが焦点ですが、きわどく逃れて先手が勝ちという結論がすでに出ていました。ある若手棋士の定跡書にも紹介されています。しかし郷田には何か秘手があるかもしれないと、控室の検討陣は注目していました。
結果はやはり即詰みがなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。
郷田は決して研究不熱心な棋士ではなく、流行型の将棋もよく指します。ただデータにはあまり頼らず、自身の将棋観や表現を重視しています。渡辺戦では結論が出ているとは知らずに、たまたま入り込んでしまったようです。
このように流行型の将棋を指すには、日頃から研究を重ねておかないと「知らないで負ける」ことがあります。
462:現代数学の系譜11 ガロア理論を読む
17/05/01 22:28:23.50 nB6uL1P/.net
>>413 関連
>前振り”結果はやはり即詰みがなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。”
「定跡なので」＝”コンピュータソフトで調べて結論が出てます”だったとしたら？
というか、2011年なら、そして若手棋士たちがよってたかって出した結論ならそうだろう
終盤の「その局面で渡辺の玉に即詰みがあるかどうかが焦点」という。なら、コンピュータにその局面を放り込めば、結論は出るだろうね
これが、2017年のプロ将棋界
数学業界にもこれに似た波は来ている
代表例は、Mathematica かな。Mathematica に数学AIが乗る時代が来るような（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
Mathematica（マセマティカ）は、スティーブン・ウルフラムが考案し広く使われている数式処理システム。ウルフラム・リサーチ社の、ウルフラムが率いる数学者とプログラマのチームが開発し、同社が販売している。Mathematica は項書き換えを基本として、複数のパラダイムをエミュレートするプログラミング言語としても強力である。
463:現代数学の系譜11 ガロア理論を読む
17/05/01 22:29:24.15 nB6uL1P/.net
>>412
おやおや、ageないのかね？ アルバイトはどうした？（＾＾；
464:現代数学の系譜11 ガロア理論を読む
17/05/01 22:41:12.26 nB6uL1P/.net
>>412
（文系）High level people のおまえに、何がわかる？（＾＾
工学では、プレプリントやarXivの習慣はないね
考えてみると、特許出願との関連だろうね
まず、特許出願をする。特許出願が公開された後に、公開の範囲で論文投稿をする
2015年ノーベル生理学・医学賞受の日本の化学者（天然物化学）大村 智先生は、こんな感じかな？ 論文が評価されたというより、発明・発見が評価されたんだろうね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
大村 智（おおむら さとし、1935年7月12日[1] - ）は、日本の化学者（天然物化学）。北里大学特別栄誉教授。2015年ノーベル生理学・医学賞受賞。
465:１３２人目の素数さん
17/05/01 23:08:34.62 VeaTgpV1.net
プロ固定とか時枝記事とかハイレベルピープルとかそんなことはどうでもいい
純粋に数列に関する問いである>>139に答えなさい
答えられないなら潔く間違いを認めなさい
女の腐ったみたいにいつまでもウジウジと逃げ回るのはやめなさい
466:１３２人目の素数さん
17/05/01 23:15:02.40 VeaTgpV1.net
お前は稀にみる馬鹿だから問題を易しくしてあげよう
「>>139は純粋に数列に関する問いである」
の真偽を答えよ
さすがのお前でもこれくらいは答えられるだろ？
467:現代数学の系譜11 ガロア理論を読む
17/05/01 23:21:41.92 nB6uL1P/.net
>>411
関連
URLﾘﾝｸ(ipsj.ixsq.nii.ac.jp)
URLﾘﾝｸ(ipsj.ixsq.nii.ac.jp)
df-pnアルゴリズムの詰将棋を解くプログラムへの応用（論文賞受賞） 長井 歩 今井 浩 東京大学 情報処理学会論文誌 2002
詰将棋を解くプログラムの研究はこの10年の間に大きく進歩した．その原動力となったのは，証明数や反証数という概念の導入である．
詰将棋に適用すると，直感的にいうと，証明数は玉の逃げ方の総数を，反証数は攻め方の王手の総数を表す．前者は攻め方にとって，後者は玉方にとって非常に重要な値である．証明数・反証数を対等に扱った，最もナイーブなアルゴリズムは，Allisによるpn-searchという最良優先探索法である．
我々は近年，df-pnアルゴリズムという，pn-searchと同等の振舞いをする深さ優先探索法を提案している．この論文では，df-pnアルゴリズムを用いて詰将棋を解く強力なプログラムを作成し，その過程で導入した様々な技法を提案する．
これらの技法をdf-pnの上に実装することにより，我々のプログラムでは300手以上の詰将棋のすべてを解くことに初めて成功した．
しかもそれは，シングルプロセッサのワークステーションで解くなど，解答能力と解答時間の両面で優れた結果を出すことができた．
468:現代数学の系譜11 ガロア理論を読む
17/05/01 23:22:43.18 nB6uL1P/.net
>>417-418 シカトー（＾＾
469:現代数学の系譜11 ガロア理論を読む
17/05/01 23:25:01.83 nB6uL1P/.net
おれは、時枝記事ガセが分かる人間しか相手にしない
例外は、おっちゃんだけ
ま、￥さんは分かっていて、その上でコルモゴロフ 確率論を超えろという
470:現代数学の系譜11 ガロア理論を読む
17/05/01 23:30:56.92 nB6uL1P/.net
時枝記事はガセ
それは分かっている
が、なぜ成り立つように見えるのか？
時枝は言い訳に選択公理と非可測集合を持ち出す
だが、私は可算無限数列のシッポでの同値類分類が笑いの肝（キモ）かなと思っているんだ（＾＾；
だから、「時枝記事はガセで、それは分かっているが、なぜ成り立つように見えるのか？」という視点からの議論には参加するが、時枝記事を正当化する議論には参加しない
その話なら、スレ28で、（文系）High level people たちでやんなさい
カントールの無限集合論も分からん人間と
議論する気にはならんよ（＾＾
471:１３２人目の素数さん
17/05/01 23:33:30.14 VeaTgpV1.net
>>420
ほらまた逃げた
女の腐ったみたいにウジウジと
472:１３２人目の素数さん
17/05/02 01:14:34.30 5EuRtFMG.net
>>422
> 私は可算無限数列のシッポでの同値類分類が笑いの肝（キモ）かなと思っているんだ
時枝記事を否定したければスレ主は「出題者が任意の無限数列を出題することが不可能」なので
数当てゲーム自体をそもそも実行できないとでも主張すればよいわけ
> なぜ成り立つように見えるのか？
それはスレ主が(そのことに気づいていないとしても無意識に)成り立つと仮定しているから
スレ主は(そのことに気づいていないとしても無意識に)自分で成り立つと仮定しておきながら
それとは逆に時枝記事を否定しようとしてトンチンカンな主張を繰り返しているだけですよ
473:現代数学の系譜11 ガロア理論を読む
17/05/02 06:16:56.28 OfR5CxfS.net
>>423-424
シカトー
474:現代数学の系譜11 ガロア理論を読む
17/05/02 06:17:44.23 OfR5CxfS.net
>>423
プロ固定ageアルバイトご苦労さまです（＾＾
475:現代数学の系譜11 ガロア理論を読む
17/05/02 07:03:52.87 OfR5CxfS.net
>>423-424
まあ、おっちゃんも>>355に書いているように、おれの数列の話は
「時枝記事はガセで、それは分かっているが、なぜ成り立つように見えるのか？」という視点からの議論であって
そのコンテキストから離れた議論をしても仕方が無いよ
おれの数列の話が、普通数学の数列の扱いと違うと言いたいのかも知れないが、もともと普通数学の数列の扱いと違うことをやっているのは時枝記事の方だ
476:現代数学の系譜11 ガロア理論を読む
17/05/02 07:26:55.25 OfR5CxfS.net
>>101-102 ”確率論の専門家”さん発言より
564 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3]
時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと
残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば
P(X_N=x)=0が導かれるだろう
(引用終り)
時枝は言い訳に選択公理と非可測集合を持ち出す（>>422にも書いた通り）
だが、上記”確率論の専門家”さんの発言通りだが
可測となるような選び方も可能だ
例えば、>>238で引用した Sergiu Hart Choice Games URLﾘﾝｸ(www.ma.huji.ac.il)
の Game2だ
Game2の場合は、確率0でなく1/10だ。それは、Sergiu Hart氏のChoice Games PDFのRemarkに書いてあるとおりだ
で、Game1とGame2に共通なのは、普通の数学の数列の扱いと違うってことだろう
ここを掘り下げないと、「時枝記事はガセで、それは分かっているが、なぜ成り立つように見えるのか？」の答えは出てこない
その議論の一環としての、私の数列の議論であり
「時枝記事はガセ」を前提とした議論でなければ、私には参加する意味なしだ。また、「時枝記事はガセ」が分からん確率論の常識の無い人とも議論をしたくない
（>>240 に書いた通り）
477:帰ってきた哀れな素人
17/05/02 08:45:55.23 HSzAQmvZ.net
>カントールの無限集合論も分からん人間と
>議論する気にはならんよ（＾＾
スレ主はカントールの集合論がペテンだということが
分っているのだろうか（笑
「無限小数は数ではない/相対性理論はペテンである」
「無限小数は数ではない」 無限小数というようなものは存在しないし、存在不可能である。
従来の常識を覆し、カントール実数論(集合論)のペテンを暴いた爆弾論文。
この文章の意味を、このスレの連中は誰一人として分っていないだろう（笑
478:帰ってきた哀れな素人
17/05/02 08:49:09.81 HSzAQmvZ.net
「無限小数は数ではない/相対性理論はペテンである」
URLﾘﾝｸ(www.amazon.co.jp)
479:１３２人目の素数さん
17/05/02 09:45:01.31 YiNn51o7.net
>>427
スレ主は
480:解析理論が数列を使って構築されるのもわかってないんだろう。 だからそういう発言ができる。 基礎が無茶苦茶のファンタジー数学。そもそも数学板に来るレベルじゃない。
481:現代数学の系譜11 ガロア理論を読む
17/05/02 10:21:32.00 OfR5CxfS.net
>>429-431
帰ってきた哀れな素人さん、どうも。スレ主です。
よくぞ、Good タイミングで参入頂きありがとうございます（＾＾；
はい、”スレ主はカントールの集合論がペテンだ”ということが分っていません・・
が、>>431 ID:YiNn51o7さんなど、（文系）High level people さんたちの主張、よくわかりました！（＾＾！
482:現代数学の系譜11 ガロア理論を読む
17/05/02 11:16:24.94 OfR5CxfS.net
>>431 シカトー、age ご苦労！ （＾＾
483:現代数学の系譜11 ガロア理論を読む
17/05/02 11:26:19.74 OfR5CxfS.net
現代数学の特徴は、ファンタジーにある
時の天才数学者たちの織りなすファンタジーな理論
常人では、なかなか思いつかない
例えば、下記【強到達不能基数】
URLﾘﾝｸ(ma&tome&.&na&ver.jp)
(抜粋)
【中二病的】不思議な数学の世界のお話
数学は理系にもかかわらず他の学問と違い「完全な答え」を求める学問であり、「存在しなくても想像できるものならOK」という特色を持っています。ここでは有名なものから無名なものまで、中二心をくすぐる授業では絶対に習わない数学の不思議な世界を紹介します。なお、予備知識はゼロで構いません。 更新日: 2015年08月08日
本文ではあえて中学生小学生でも分かるように平坦な文章を使っています。詳しく知りたい方は本文の単語を検索してみてください。文体上、定義に関してはあまり正確性を持っていません。
無限を超えた無限を超えた無限をすべて超えた無限【強到達不能基数】
先ほど「レベル1の無限」を紹介しました。もちろん同様に「レベル1000000の無限」もあります。では「レベル（レベル1の無限）の無限」はあるのでしょうか。あります。では「レベル（レベル（レベル1の無限）の無限）の無限」は？これもあります。では「レベル（レベル（レベル（レベル1の無限）の無限）の無限）の無限」は？これもあります。キリがないですね。
数学者はこの無限ループに「終わり」を考えました。つまり「どんな無限を無限回掛けても足しても2乗してもどうやっても作れない」無限を作ったのです。これを「強到達不能基数」と呼びます。
これ以上大きな無限は作れません。なぜなら、「強到達不能基数よりも大きい無限」も「強到達不能基数」に入っているからです。
484:現代数学の系譜11 ガロア理論を読む
17/05/02 11:27:48.15 OfR5CxfS.net
>>434
URLﾘﾝｸ(ma&tome&.&na&ver.jp)
↓
NGワード規制に引っかかったので
＆を挿入した。＆を全て削除してURL再現してくれ（＾＾；
485:現代数学の系譜11 ガロア理論を読む
17/05/02 11:34:41.69 OfR5CxfS.net
ファンタジー数学と言えば、筆頭は、時枝問題でしょう（＾＾
時枝問題（「箱入り無数目」数学セミナー2015.11月号） ｽﾚﾘﾝｸ(math板:2-6番)
・箱がたくさん，可算無限個ある
・そこに、私がまったく自由に実数を入れる
・もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?
・時枝記事の結論：勝つ戦略はある
・閉じた箱を100列に並べ、無限数列のしっぽで同値類分類する方法で。100列でなく、もっと増やせる
時枝先生は、100列で確率99/100にできる、あるいはn列で確率1-ε（ε＝1/n)にできるという
しかし、確率論では、ランダム現象あるいは乱数を取り扱えないとおかしいわけで
ある理論のランダム現象あるいは乱数を使って、箱にランダムな数を入れると、その数はそれ以外の数とは独立だから、「当てられるはずが無い」という結論にならざるを得ない
486:現代数学の系譜11 ガロア理論を読む
17/05/02 11:37:42.28 OfR5CxfS.net
そこらの確率論の常識は、>>239辺りを勉強すれば分かる�
487:ｵ 数学科なら３年ないし４年でやるだろう 確率論の常識ある人は、時枝記事がガセとすぐ分かる そういうことを>>240に書いた
488:現代数学の系譜11 ガロア理論を読む
17/05/02 11:41:54.24 OfR5CxfS.net
じゃあ、なぜ、時枝解法 （「箱入り無数目」数学セミナー2015.11月号） ｽﾚﾘﾝｸ(math板:2-6番) が正しそうに見えるか？
その笑いの肝（キモ）が、無限数列の扱いにあるんじゃないかと。そういうことを>>240に書いた
その理解を共有できる人たちでないと、議論しても面白くないんだよね・・、（文系）High level people さんたちとでは・・（＾＾；
489:帰ってきた哀れな素人
17/05/02 12:38:36.41 HSzAQmvZ.net
昨年の10月に僕は↓の本を出したことを、このスレで知らせた。
しかし誰も買わなかったようだ（笑
「無限小数は数ではない/相対性理論はペテンである」
内容紹介
「無限小数は数ではない」 無限小数というようなものは存在しないし、存在不可能である。
従来の常識を覆し、カントール実数論(集合論)のペテンを暴いた爆弾論文。
この内容紹介の文章の意味を誰も分っていないのである（笑
ここの連中はスレ主をアホだアホだと書いているが、
お前らだって同じだ。ただのアホだ（笑
理系を出ているから知識だけはある。
知識だけはあるが自分で考える力がない（呆
490:帰ってきた哀れな素人
17/05/02 12:50:07.35 HSzAQmvZ.net
１ 無限小数というようなものは存在しないし、
２ 無限小数は数としては存在できない。
このことを世界中のほとんどの人間が分っていない。
これが分ればカントールの集合論がインチキだと分る。
だから僕のこの論文は爆弾論文なのである。
世界の数学教育を震撼させる爆弾論文だ。
現代数学の金字塔とされているカントール集合論が
インチキであることを暴いた爆弾論文なのである。
しかしそのことを数学板に集まっている連中さえ見抜けなかった（呆
491:帰ってきた哀れな素人
17/05/02 12:57:54.35 HSzAQmvZ.net
0.99999……＝１
こんなばかげたことを信じているバカがうようよいる。
数学ガールの著者もそうだ。
東大の理系を出て理系の学者をやっている人さえ、
自分のサイトに0.99999……＝１と書いている（笑
0.99999……は１ではない。
こんなことはまともな人なら誰でも分ることだ。
0.99999……が１ではないことは僕が上に書いた１、２でも分るし、
他の方法でも簡単に証明できる。
君らはどう思うか。
0.99999……は１だと思うか。
１だと思う奴は数学などやらないほうがいい（笑
492:現代数学の系譜11 ガロア理論を読む
17/05/02 13:08:07.49 OfR5CxfS.net
>>411
藤井四段、また勝ったようですが、「将棋を趣味としない人も興味を持ち始め、街の将棋教室には子供が急増中と聞く。大相撲の稀勢の里と並ぶ明るい話題で、もはや社会現象だ。」という
確かに・・、昼のワイドショーでもやっていたね（＾＾
URLﾘﾝｸ(mainichi.jp)
(抜粋)
毎日 みんなの広場
藤井四段の名人就位楽しみ＝無職・原木庄助・７８ 2017年5月1日 東京朝刊
声・投書
紙面掲載記事
（名古屋市名東区）
「１４歳・藤井四段１３連勝」「藤井四段、羽生３冠破る」。最近、本紙社会面を大きく飾った見出しだ。将棋を趣味としない人も興味を持ち始め、街の将棋教室には子供が急増中と聞く。大相撲の稀勢の里と並ぶ明るい話題で、もはや社会現象だ。
私は、藤井聡太四段が幼稚園時代、地元・愛知県瀬戸市の将棋教室で一緒だった。
493:現代数学の系譜11 ガロア理論を読む
17/05/02 13:15:38.78 OfR5CxfS.net
>>439-441
帰ってきた哀れな素人さん、どうも。スレ主です。
ご苦労さまです
まあ、このスレでゆっくりしていってください
494:
17/05/02 19:13:33.52 /GXtVlGR.net
>>441
まず 0.99999‥‥の意味を定義してください，話はそれから
495:現代数学の系譜11 ガロア理論を読む
17/05/02 19:31:21.85 OfR5CxfS.net
>>444
C++さま、どうも。スレ主です。
帰ってきた哀れな素人さんは、このスレの古くからの住人でね・・、まあ知り合いなんだ・・（＾＾；
それで、このスレはガロアスレなんだ
帰ってきた哀れな素人さんは、このガロアスレではゆっくりして貰おうという私の方針でね・・（＾＾；
”0.99999‥‥の意味と定義”などと、そういう・・、まあ・・、予想としてエンドレスの不毛な話題は
どうぞ、High level people さんたちの スレ28で お願いします・・（＾＾；
帰ってきた哀れな素人さんにもお願いだ
「無限小数は数ではない/相対性理論はペテンである」を宣伝することは構わない�
496:ｪ、こまかい野暮な話は、どうぞ、High level people さんたちの スレ28で お願いします・・（＾＾；
497:帰ってきた哀れな素人
17/05/02 22:29:07.00 HSzAQmvZ.net
>>444
0.99999‥‥は見ての通り、 0.99999‥‥という無限小数である。
われわれは普通無限小数を表わすとき……を用いる。
0.99999‥‥の……は、9がどこまでも続いていますよ、という意味である。
円周率πを表わすときは3.14159……というように表わす。
この場合は……の部分の数字はいろいろだが、
とにかくどこまでも数字が続いていますよ、という意味である。
こんなことは誰でも分っていることだから説明する必要はないことである。
>>445
スレ主よ、あなたは事の重大さがわかっていないのである。
あなたは僕の書いていることをトンデモだと思っているが、
そうではない。
あなただけではない。世界中のほとんどの人間が分っていないのである。
498:帰ってきた哀れな素人
17/05/02 22:37:09.97 HSzAQmvZ.net
このスレの議論を見ていると、しばしば、
可算無限とか非可算無限とか、わけのわからない用語が出てくるが、
そういう概念はカントールの集合論から来ているのである。
そしてカントールのそういう集合論は間違いなのである。
だから僕の論文は爆弾論文なのである。
カントールの無限集合論を否定する論文だからだ。
クロネッカーはカントールを否定したらしいし、
ガウスも無限という概念には慎重な態度を取ったらしい。
クロネッカーやガウスが正しいのである。
カントールの集合論は完全な間違いである。
499:現代数学の系譜11 ガロア理論を読む
17/05/02 22:42:32.90 OfR5CxfS.net
>>446
帰ってきた哀れな素人さん、どうも。スレ主です。
これはこれは、お叱りを受けてしまいましたね（＾＾；
どうぞ、存分に、あなた独自のすばらしい研究成果をご披露ください
どうそ、だれに遠慮することも不要です・・、ご存分にどうぞ・・（＾＾；
500:現代数学の系譜11 ガロア理論を読む
17/05/02 22:44:15.20 OfR5CxfS.net
>>447
帰ってきた哀れな素人さん、どうも。スレ主です。
ご高説ありがとうございます（＾＾；
どうぞ、どんどんお願いします（＾＾；
501:哀れな素人
17/05/02 22:49:11.53 HSzAQmvZ.net
以後は「哀れな素人」という名で書くが、
スレ主よ、お前は僕を頭のイカレタ奴だと思っているだろう（笑
しかしそうではないぞ（笑
よ～く考えれば、
１ 無限小数というようなものは存在しない。
２ 無限小数は数としては存在できない。
ということが分る。
このスレには東大の数学科を出た者も少しはいるだろう。
よく考えてほしい。僕の書いていることはトンデモではない。
502:１３２人目の素数さん
17/05/02 22:56:57.17 YiNn51o7.net
>>433
スレ主がシカトしなくなる時、それは己の馬鹿に気付く時
スレ主には一生来ないであろう
503:哀れな素人
17/05/02 22:58:27.07 HSzAQmvZ.net
僕はこの前、せめて行列くらいは知っておこうと思い、
一般大衆向けのごく初歩的な入門書を二三冊読んだが、
その中の一冊に、著者が、ごく当然のように、
0.99999……<１と書いていた。
この著者にとっては0.99999……<１ということは
ごく当然のことだから、そう書いているのである。
このように、一部の人にとっては
0.99999……<１ということは当然ことなのだ。
もしこの人が現代数学では
0.99999……＝１
と見なされていることを知ったら、驚き呆れ憤慨するだろう。
それと同様に、無限にもランクがある、とか、
無限にも濃度がある、なんてことは、狂人の戯言である。
504:哀れな素人
17/05/02 23:07:04.02 HSzAQmvZ.net
さて、寝る前にものすごく初歩的な質問をしておこう。
0.33333……＝1/3 あるいは1/3＝0.33333……
これは正しいか否か。
505:１３２人目の素数さん
17/05/02 23:38:55.74 YiNn51o7.net
>>434
これは笑える。天才数学者を自分と同列に置くとは恐れ入ったわｗｗｗ
同じファンタジーでもお前のは糞の役にも立たないファンタジー
糞は農作物の肥料になるが、お前のは糞の役にも立たない
506:１３２人目の素数さん
17/05/02 23:48:57.37 YiNn51o7.net
スレ主よかったな、トンデモ仲間が来てくれて、やはり「類は友を呼ぶ」だな
507:１３２人目の素数さん
17/05/03 00:25:35.07 ItaqaprN.net
悪意のあるトンデモスレ主より純粋無垢なトンデモおじさんのほうがマシ
508:現代数学の系譜11 ガロア理論を読む
17/05/03 07:44:55.79 hJ9NLdiz.net
>>451>>454-456
シカトー（＾＾
509:現代数学の系譜11 ガロア理論を読む
17/05/03 07:49:33.49 hJ9NLdiz.net
>>454-456
ID:YiNn51o7とID:ItaqaprNとが同一人物はすぐ分かる
日付が変わって、I
510:Dが変わっただけだね ”純粋無垢なトンデモおじさん”？ 「純粋無垢」の定義は？ 彼が「純粋無垢」であることの証明又は根拠は？（＾＾；
511:現代数学の系譜11 ガロア理論を読む
17/05/03 08:04:48.50 hJ9NLdiz.net
悪意のあるトンデモスレ主？
いやいや、私は貴方にアドバイスをしているんだよ（＾＾；
１．私は、下記を公言している
”間違っても２ＣＨで数学の勉強なんて思わないこと”>>6
”スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします”>>14
”2ｃｈの内容は信用できるか？ 基本的に信用できません。先生＞周りの人＞＞＞2ｃｈや知恵袋の人です。”>>15
”ここまで書いているのに、２ＣＨ ガロアスレで、学会きどりか？ おいおい（＾＾；”>>110
”ガロア理論以外のテーマを選ぶかどうかは、スレ主が決める 学会ではない”>>259
２．従って、貴方のプロ固定としてage作業アルバイトは良いとして、短信カキコをしてくれるのは、別に構わないが
３．もし、時枝記事>>436が正しいと血迷っているとしたら、それは貴方の勉強不足だ。>>239-240辺りを読んで勉強願います
４．「時枝記事はガセ」が分からん？ ”確率論の常識”のない（文系）High level peopleと議論する気は無いよと（＾＾；
ただそれだけのこと。（上記１項は、次回スレからテンプレに入れるよ（＾＾
512:現代数学の系譜11 ガロア理論を読む
17/05/03 08:46:25.15 hJ9NLdiz.net
>>450 >>452-453
哀れな素人さん、どうも。スレ主です。
そう性急に結論を急がないで（＾＾
”無限”というのは、古代ギリシャの昔から、いろいろ議論のあるところでね
もし、”無限”について語りたいなら、哲学板の方がいいだろうね
「無限について語る」スレなんてあるから、一度そこに参加して、必要なら自分でスレ立てすることだね（＾＾
URLﾘﾝｸ(mint.2ch.net)
哲学板
ｽﾚﾘﾝｸ(philo板)
無限について語る
513:現代数学の系譜11 ガロア理論を読む
17/05/03 08:52:46.50 hJ9NLdiz.net
>>405 関連
>ポアンカレ予想の解決のペレルマン論文は異例だったが、下記 望月 新一先生の論文発表はarXivさえ使わないという点でもっと異例だね（＾＾；
他のスレでも情報が上がっているが、広中先生も同じことをやったみたい
ｽﾚﾘﾝｸ(math板)
代数幾何学ビナギーズスレット
7 名前：１３２人目の素数さん[] 投稿日：2017/04/28(金) 08:26:22.55 ID:6N5daHv4 [1/2]
広中平祐が
最近、正標数体の特異点解消した
と主張するプレフリントを
自分のHPで公開したんだけど
これあってるの？
唐突なんで戸惑ってるんだけど
10 名前：１３２人目の素数さん[] 投稿日：2017/04/28(金) 13:51:42.24 ID:WaMB23YX
>>9
ハーヴァードの数学科の
広中のHPがあって
そこに当該論文のpdfだけが
ぽつんと置いてある
90ページ
13 名前：１３２人目の素数さん[] 投稿日：2017/04/28(金) 23:39:04.85 ID:Ug8pYeju
ここ？
URLﾘﾝｸ(www.math.harvard.edu)
514:現代数学の系譜11 ガロア理論を読む
17/05/03 08:56:54.20 hJ9NLdiz.net
>>460
”無限”については、数学でもいろんな議論はあったが、いま数学業界では「”無限”の哲学」を語る人はいない（＾＾；
もうそこは、数学業界としては完了で、”めしのタネ”（プロの議論）には、ならないってことでしょうね（＾＾；
515:１３２人目の素数さん
17/05/03 09:02:59.07 ItaqaprN.net
>>459
他人の主張を証明なしに否定し、馬鹿にする
自身の書いた証明もどきについて数学的間違いを指摘されても、無視する
ｽﾚﾘﾝｸ(math板:0001-2番)
こういう態度を悪意のあるトンデモと呼んでいるんだが
516:哀れな素人
17/05/03 09:09:11.0
517:9 ID:XlJfIiOr.net
518:現代数学の系譜11 ガロア理論を読む
17/05/03 09:23:21.02 hJ9NLdiz.net
>>462 つづき
私も、正確には知らないが、無知を承知で書くと
１．無限は、古代ギリシャの時代にゼノンの逆理とかで、話題になった
URLﾘﾝｸ(ja.wikipedia.org) ゼノンのパラドックス
２．時代は下って、ニュートン・ライプニッツの微分の発明：ここで極限とか関連して無限を扱うことが必要になった
URLﾘﾝｸ(ja.wikipedia.org) 微分積分学
３．次に、オイラーが代表選手だと思うが、無限級数を巧みに操る名人が出た
URLﾘﾝｸ(ja.wikipedia.org) レオンハルト・オイラー
４．でも、無限級数って変な結論も出る。例えば、1+2+3+4+・・・=1/12
URLﾘﾝｸ(ja.wikipedia.org) 1+2+3+4+・・・ "モンスター群のムーンシャイン現象に関するモノグラフでテリー・ガノン（英語版）はこの等式を「自然科学において最も注目すべき公式の一つ」と評した"
５．で、”収束とは？”、”極限とは？”という話になってきた
URLﾘﾝｸ(ja.wikipedia.org) 極限
６．で、カントール先生、フーリエ級数（収束）の研究から、無限集合論へ行った
URLﾘﾝｸ(ja.wikipedia.org) 集合論 ”ゲオルク・カントールによるフーリエ級数の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された”
７．で、それが19世紀後半で、20世紀中頃に”連続体仮説”に決着がついて、数学業界の多くの人は基礎論から離れた
URLﾘﾝｸ(ja.wikipedia.org) 連続体仮説
８．だが、いまでも”無限”については、数学的には未決着の部分はある
URLﾘﾝｸ(ja.wikipedia.org) 無限 ”無限に関する様々な数学的概念”
大まかにはこんな流れだ
519:現代数学の系譜11 ガロア理論を読む
17/05/03 09:38:51.90 hJ9NLdiz.net
>>465 関連
> ８．だが、いまでも”無限”については、数学的には未決着の部分はある
過去ログから、大栗先生の意見下記
ガロアスレ25より
ｽﾚﾘﾝｸ(math板:275-276番)
(抜粋)
275 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/11/12(土)
ご存知大栗先生
URLﾘﾝｸ(ooguri.caltech.edu)
大栗 博司
URLﾘﾝｸ(www.theory.caltech.edu)
大栗 博司 アウトリーチ
(「IPMU特集」科学 (2009年, 7月) )
URLﾘﾝｸ(www.theory.caltech.edu)
宇宙の数学とは何か 宇宙はどんな《言葉》で書かれているか 大栗博司 科学 2009
(抜粋)
なぜいまさら量子論（その1）: 千年紀の問題
2000 年にクレイ数学研究所は千年紀を記念して，7 つの“ミレニアム問題” を提起した．
その中の1 問に，「ヤン-ミルズ場の量子論を数学的に定式化せよ」というものがある．
このいわゆるヤン-ミルズ問題が，リーマン予想やポアンカレ予想と並んでミレニアム問題のひとつに選ばれた理由は，場の量子論に数学者にも納得できる定義を与えることで，この理論を数学の1 分野として確立し，数学の発展に新しい方向が開かれることを期待するからだという．
物理学者が場の量子論の計算をするときに，最初に試みる近似法は，相互作用の強さを表す結合定数についてのべき展開，すなわち摂動展開である．
ここ数年の間にこれに代わるまったく新しい方法が開発されつつあり，ファインマン図の方法では技術的に困難とされてきた高次の近似計算ができるようになってきた．
摂動展開のような，もはや調べ尽くされたと思われていた部分にも新しい驚きがあり，美しい数学的構造が隠されている．
一方，量子論に着想を得た数学は，この20 年ほどの間に大きな進歩を遂げている（10）．
これは，1990 年以来のフィールズ賞受賞数学者の4 割近くが，量子論に関連する数学の研究に深くかかわっていることからもわかる．
たとえば，場の量子論の計算の中でもとくに性質のよいものを数学的に定式化した“量子不変量” の理論が，幾何学の理解に大きなインパクトを与えている．
場の量子論の深淵に現代数学の光が差し込もうとしているのである．
(引用終り)
520:現代数学の系譜11 ガロア理論を読む
17/05/03 09:55:33.07 hJ9NLdiz.net
>>466 関連
まあ、上記大栗先生の意見を”無限”と絡めて個人的見解を言えば
量子論や超弦理論は、いまだ数学的に適切な基礎付けがなされていないよと
基礎的な部分では、量子論の繰り込み手法（ファインマン・ダイアグラムなど）についての数学的基礎付けがないってことなど（下記ご参照）
URLﾘﾝｸ(ja.wikipedia.org) 繰り込み
URLﾘﾝｸ(ja.wikipedia.org)
ファインマン
”素粒子の反応を図示化したファインマン・ダイアグラムを考案した。これは素粒子論における複雑な計算を視覚的に理解する上で大変効果的であるが、その数学的基礎付けは未だなされていない。”
URLﾘﾝｸ(ja.wikipedia.org) 超弦理論
”超弦理論
1995年、 ポルチンスキーによりDブレーンが超弦理論のソリトン解であることが示され、また、ウィッテンによりこれまで知られていた5つの超弦理論を統一する11次元のM理論が提唱されると、超弦理論は再び脚光を浴びることとなった。
この2つは、それまでに予想されていた種々の双対性(S双対性、T双対性)と組み合わせることで、これまで摂動論の範囲でしか定義されていなかった超弦理論の非摂動的な性質の理解を深めることとなった。
マルダセナによるAdS/CFT対応は、まったく別の理論である超対称ゲージ理論と超重力理論が、ある極限のもとで等価となることを予想し、超弦理論や重力理論、ゲージ理論に対して新しい知見を与えることとなった。”
521:現代数学の系譜11 ガロア理論を読む
17/05/03 10:04:32.19 hJ9NLdiz.net
>>467 関連
>基礎的な部分では、量子論の繰り込み手法（ファインマン・ダイアグラムなど）についての数学的基礎付けがないってことなど（下記ご参照）
蛇足で、まあ、ここらは￥さんなどがご専門だろうが
量子力学の波動方程式を解くために、摂動法を使うが、それをまともにやると、無限に発散する級数になる
そこで、繰り込み手法を考えた。日本の朝永博士がノーベル賞をもらった
が、繰り込み手法は、数学的にはいまだ正当な基礎付けがなされていない
URLﾘﾝｸ(ja.wikipedia.org) 朝永振一郎
”日本の
522:物理学者。相対論的に共変でなかった場の量子論を超多時間論で共変な形にして場の演算子を形成し、場の量子論を一新した。超多時間論を基にくりこみ理論の手法を発明、量子電磁力学の発展に寄与した功績によってノーベル物理学賞を受賞した。”
523:哀れな素人
17/05/03 10:06:04.61 XlJfIiOr.net
スレ主よ、だからそんな高等な話題はどうでもいいのだ（笑
１ 無限小数というようなものは存在しない。
２ 無限小数は数としては存在できない。
こんなことは、よく考えれば、小学生でも分ることなのである。
実際、僕は他スレで、比喩を挙げて、２について説明した。
すると、高卒の男で、数学には何の関心もないような男が、
分った、と書いてきた。
２については、僕の本を読めば、直ちに分る。
むしろ難しいのは１だ。
１については本の中でも詳しい説明はしなかったので、
本を読んでも分らない者もいるかもしれない。
524:現代数学の系譜11 ガロア理論を読む
17/05/03 10:09:33.41 hJ9NLdiz.net
いや、まあ、だから、素粒子論が正しいとして、その物理学の基礎付けとして、現代数学は不十分
つまりは、現代数学は無限がまだ分かっていない（十分数学的に扱えていない）という結論だね
個人的見解だが（＾＾；
525:現代数学の系譜11 ガロア理論を読む
17/05/03 10:12:16.11 hJ9NLdiz.net
>>469
哀れな素人さん、どうも。スレ主です。
そう急がないで
ゆっくり議論しましょう（＾＾
526:現代数学の系譜11 ガロア理論を読む
17/05/03 10:24:07.09 hJ9NLdiz.net
>>471
>ゆっくり議論しましょう（＾＾
少数なんて簡単なようだが、それなりに長い歴史があるようだから・・（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
小数の起源
バビロニア数学では六十進法の位取り記数法で数字を記述していた。十進法以外を含めるなら、バビロニア数学での数字表記が最古の小数である。ただし現在で言う小数点に相当するものが存在しないため、記述された数字の実際の数値がどうなのかは、前後の文脈から判断しないといけないという問題点があった。
現代の小数と同じ十進法における小数は、記録に残る所では古代中国が最古である。劉徽は263年に九章算術という数学書の注釈本を著しているが、そこに小数の表記が見られる。現代のアラビア数字表記での8.660254を「八寸六分六釐二秒五忽、五分忽之二」と書いている（小数第6位を表す単位が無いため、分数との併記になっている）。
現代の数学の系譜であるヨーロッパの数学においては、小数の導入は遅れた。これはエジプト式分数表記が普及していたためである。
ヨーロッパではじめて小数を提唱したのは、オランダのシモン・ステヴィンである。1585年に出版した「十進分数論」のなかで，はじめて小数を発表した。その名が示す通り、分数の分母を10の累乗に固定した場合に、計算が非常にやりやすくなる事を発見し、それが小数の発明となった。
なお、ステヴィンの提唱した小数の表記法は、現代の「0.135」であれば、これを「1①3②5③」と表記する。
現代のような小数点による表記となったのは、20年ほど後にジョン・ネイピアの提唱による。
527:哀れな素人
17/05/03 10:33:23.81 XlJfIiOr.net
スレ主よ、だから、知識を吸収するより、
自分で考える方が大切なのである。
たとえばこういうことを考えてみよ。
われわれは無限小数を表すとき、たとえば0.99999……と書く。
しかし……は記号だから、これは事実上0.99999という有限小数である。
0.99999999……と書いても同じである。
これは事実上、0.99999999という有限小数である。
0.99999999999……と書いても同じである。
これは事実上0.99999999999という有限小数である。
どこまでいっても同じである。
どこまでいっても有限小数である。
決して真の無限小数にはならない。
528:哀れな素人
17/05/03 10:37:17.55 XlJfIiOr.net
またたとえばこういうことを考えてみよ。
たとえば無限小数を紙に書いてみよ。書けるか？
無限小数をコンピュータに打ち込んでみよ。打ち込めるか？
無限小数を頭の中でイメージしてみよ。イメージできるか？
有限小数は紙に書けるし、コンピュータに打ち込めるし、
頭の中でイメージできる。しかし無限小数はできない。
こういうことをよ～く考えてみればいい。
そうすれば無限小数は数として存在できないことが分る。
529:哀れな素人
17/05/03 10:39:29.22 XlJfIiOr.net
僕はこれから源平闘諍録を読むので、午前の投稿はここまで。
図書館から借りた本だから、期限内に読まなければいけないのである。
530:現代数学の系譜11 ガロア理論を読む
17/05/03 10:43:01.46 hJ9NLdiz.net
>>472 関連
浮動小数点数 浜田のURR ヒットしたので、メモしておく
”-∞ ～ 0 ～ ∞ の区間を、次のように分割しながら、二進法による表現に対応付ける”ってところ（∞を使う）が面白いね（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
浮動小数点数（ふどうしょうすうてんすう、英: floating point number）は、浮動小数点方式による数のことで、もっぱらコンピュータの数値表現において、それぞれ固定長の仮数部と指数部を持つ、数値の表現法により表現された数である。
浜田のURR
浜田穂積が提案した方式[6]で、Universal Representation of Real numbersの意でURRと名付けられている[7]。-∞ ～ 0 ～ ∞ の区間を、次のように分割しながら、二進法による表現に対応付ける、というのが基本的な考え方で、「符号と絶対値」形ではなく、浮動小数点の表現としては比較的珍しい2の補数の形をしている。
531:現代数学の系譜11 ガロア理論を読む
17/05/03 10:44:49.85 hJ9NLdiz.net
>>473-475
哀れな素人さん、どうも。スレ主です。
レスありがとう（＾＾
532:現代数学の系譜11 ガロア理論を読む
17/05/03 11:03:07.59 hJ9NLdiz.net
>>473-475
なんか、有限主義というキーワードを思い出した（＾＾
下記ご参考まで
URLﾘﾝｸ(ask.fm)
有限主義ってなんですか？直観主義とは違うのですか？ ytb_at_twt 20131223
(抜粋)
有限主義とは「有限的な数学的対象」のみの存在を認める立場です。ベースとなる論理は、古典論理でもかまいません（排中律とかそういうこだわりはありません）。その点で直観主義と大きく異なります。
URLﾘﾝｸ(en.wikipedia.org)
背景ですが、20世紀、公理的集合論などの無限的理論や無限的手法が広く数学の中で使われるようになりました。無限集合などの無限的対象も広く登場します。
しかし一方で、無限的対象は、かつての無限小のように、一部の「数学の基礎」を気にする数学者にとっては、ものすごく胡散臭いものにうつります。そこで、無限的対象を心置きなく使用できるようにしようと、ヒルベルトらが有限主義を提唱しました。これは二段ロケット方式です。
１）本当に存在する数学的対象は有限的なもの（自然数とか）だけである。疑うヤツには自然数を構成してみせればよい
２）だけど有限的対象だけで数学をやろうとするとえらくメンドイ。だから、略記として無限的対象を導入し、ショートカットをする。
ポイントは（無限小をεδ論法で置き換えた時みたいに）「無限的対象・手法は、やろうと思えばちゃんと有限的なやり方で書ききれるが、しんどいので略記として導入している」というスタンスを貫くことです。
まあ、ホントにどんな有限的対象でも書ききれるのか？とか、逆に「ショートカットをせずにちゃんと書く」ってそもそもどういう事よ、とかいろいろ問題はあるのですが、ともかく、20世紀前半には中心的な立場として広く議論されてきました。直観主義と混同すると、いろいろな人が悲しみますよ？
533:現代数学の系譜11 ガロア理論を読む
17/05/03 11:05:23.88 hJ9NLdiz.net
>>470 関連
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Finitism
Main idea[edit source]
The main idea of finitistic mathematics is not accepting the existence of infinite objects such as infinite sets. While all natural numbers ar
534:e accepted as existing, the set of all natural numbers is not considered to exist as a mathematical object. Therefore quantification over infinite domains is not considered meaningful. The mathematical theory often associated with finitism is Thoralf Skolem's primitive recursive arithmetic. History[edit source] The introduction of infinite mathematical objects was a development in mathematics that occurred a few centuries ago. The use of infinite objects was a controversial topic among mathematicians. The issue entered a new phase when Georg Cantor, starting in 1874, introduced what is now called naive set theory and used it as a base for his work on transfinite numbers. When paradoxes such as Russell's paradox, Berry's paradox and the Burali-Forti paradox were discovered in Cantor's naive set theory, the issue became a heated topic among mathematicians.
535:現代数学の系譜11 ガロア理論を読む
17/05/03 11:10:34.67 hJ9NLdiz.net
>>479 関連
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
Title ＜特別寄稿＞スコーレムの有限主義( 本文 ) Author(s) 出口, 康夫 哲学論叢 2002/09/01
(抜粋)
１ 序
スコーレム(Thoralf Albert Skolem: 1887 ? 1963)は算術（自然数論）や解析学の分野で重要
な業績を残したノルウェーの数学者である。が、彼はまた、ゲーデルと並ぶ20 世紀最大の
論理学者の一人と評されることがあるほど(1)、論理学や集合論の領域でも多大な貢献をな
した。特に1920 年代から30 年代にかけての数学基礎論の形成過程においてスコーレムが
果たした役割は大きく、それを反映して、今日の標準的な論理学の教科書には、スコーレ
ム標準形・レーベンハイム＝スコーレムの定理・スコーレムのパラドクス・スコーレム関
数など、彼の名を冠した術語がいくつも登場するのが通例となっている。
しかし彼の数学や論理学における仕事が、これまでその重要度に見合った関心を集めて
きたとは必ずしも言えない。(2) 同じことは、彼の数学の哲学についてもあてはまる。
536:１３２人目の素数さん
17/05/03 12:13:12.93 d9j+dY7q.net
よかったなスレ主、トンデモ仲間ができて
二人でファンタジー数学をトコトン語り合え
数学の問い（>>139）には興味無いようだしな
537:現代数学の系譜11 ガロア理論を読む
17/05/03 12:20:31.65 hJ9NLdiz.net
>>480 関連
出口康夫先生、過去スレでも紹介していたね
ｽﾚﾘﾝｸ(math板:332番)
現代数学の系譜11 ガロア理論を読む25
332 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/11/19
>>331 つづき
スコーレムの有限主義
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
＜特別寄稿＞スコーレムの有限主義( 本文 ) 出口康夫 哲学論叢 (2002)
(抜粋)
１ 序
本論は、この数学の哲学上の空白を埋める、本格的なスコーレム研究
の呼び水となるべく、さしあたって彼の有限主義に焦点を絞り、その哲学的含意を明らか
にし、それを基に数学の哲学におけるその位置付けを目指す。
位置付けの際、特に注目されるのは次の諸点である。
（一）スコーレムの有限主義は、数学における構成主義(constructivism)の一つと目されるが、だとしたら、それはどのような意味で構成主義的なのか。
（二）構成主義の他の立場、特にその哲学的分析が比較的進んでいる直観主義(intu
538:itionism)と有限主義との異同は何か。 （三）有限主義はどのような点で「有限的(finitary)」であると言えるのか。 (引用終り)
539:現代数学の系譜11 ガロア理論を読む
17/05/03 12:34:15.94 hJ9NLdiz.net
>>482 有限主義補足
Susumu Hayashi 林晋先生
URLﾘﾝｸ(www.shayashi.jp)
Susumu Hayashi 林晋, 京都大学大学院文学研究科 現代文化学専攻 情報・史料学教授
URLﾘﾝｸ(www.shayashi.jp)
旧「数学基礎論の歴史」のページ
エッセイ・論文・講演 Essays Papers Talks
URLﾘﾝｸ(www.shayashi.jp)
(抜粋)
ヒルベルトと２０世紀数学 -公理主義とはなんだったか？- 現代思想版 2000年
現代思想2000年１０月臨時増刊「数学の思考」掲載の「ヒルベルトと２０世紀数学」の完全版です。OCRで読み込んだので、おかしなところがあるかもしれません。気づかれましたら、お教えください。BBSの方で結構です。（これについては、匿名でもかまいません。）
(抜粋)
7 ヒルベルトと計算
ヒルベルトが、クロネッカーの有限主義を排し、カントールの集 合論的超限的方法を称揚したことは良く知られた事実である。では、 それはなぜだったのだろうか。その理由を探るとヒルベルトと計算 の関係が浮かび上がってくる。
ヒルベルトがカントール的超限数学を称揚した理由は哲学的信念 などではない。それは数学という「知的生産活動」が、一九世紀に 直面していた技術的問題に起因している。ゲッチンゲン大学図書館 にはヒルベルトが学位論文のために書いた不変式論の長い「数式表」 が残されている。
同じような「数式表」を綴じ込んだ論文の例は、 後にヒルベルトの牙城となる Mathematische Annalen の当時の巻 に幾つかみることができる。
概念、論理による推論を主とするブル バキ的な数学に馴れた「二〇世紀的純粋数学者」の目からすれば、 ヒルベルトの数式表や、こういう綴じ込みは、四色問題解決の論文 に添えられていた膨大なケース分けを収録したマイクロフィルムと 同じ強い違和感を与える。
数学を計算と同一視する「数学を知らな い大衆」に向かって、数学は計算ではない証明だ、と叫び続けなく てはならないブルバキ的数学者には、これは悪夢でしかない。
つづく
540:現代数学の系譜11 ガロア理論を読む
17/05/03 12:36:10.03 hJ9NLdiz.net
>>483
つづき
しかし、この当時、ヒルベルトの学位論文を始めとする不変式論 は、数式表をさえ必要とする面倒な式変形アルゴリズムによって専 ら行われていたのである。
リーマン研究家ラウグヴィッツが指摘するように（文献3）一九世 紀中頃までの計算中心の数学は、高度に発達してしまったが故 に、人問の手計算の限界という、現実的、量的な限界に到達しよう としていたのである。
つまり、原理的には計算さえできれば答がわ かることは明らかながら、実際に人間の手ではとても計算ができな い。そういう問題にいかに立ち向かうか、それが問題だった。そし て、ヒルベルト数学の艀卵器ともいうべき不変式論は、限界に達し つつあった計算数学の典型だったのである。
この問題に対するヒルベルトの答は計算を排し概念と論理による 思索により問題を解くという極めて二〇世紀的方法であった。
ヒル ベルトは、彼の代表作のひとつ所謂「数論報告」の前書きで、この 新しい方法をリーマンに始まる方法として称揚し、計算的方法の影 の濃いクンマーの整数論を、リーマンと同じく概念と論理を中心と するデーデキントの方法で書きかえると宣言する。
そして、この方 �
541:@論が彼を公理論に導き、二〇世紀数学の父にする技術的基礎とな る（2）。 「数論報告」のそして公理論の数式・計算から概念・論理へという 選択は、その数学における実質的キャリアを、ゴルタン問題の「抽 象代数的解法」で始めたヒルベルトにとっては自然なものだったの である。 (引用終り)
542:１３２人目の素数さん
17/05/03 12:40:22.65 YNRirDMJ.net
>>473
事実上ってなに？
数学の言葉で書いてくれる？
うんこスレのスレ主と話してる京大国文卒の爆弾的トンデモさん
543:現代数学の系譜11 ガロア理論を読む
17/05/03 12:41:43.09 hJ9NLdiz.net
>>478 補足
>そこで、無限的対象を心置きなく使用できるようにしようと、ヒルベルトらが有限主義を提唱しました。これは二段ロケット方式です。
ytb_at_twt 20131223 さんの「ヒルベルトらが有限主義を提唱しました」というのは、間違っている可能性大だな
ヒルベルトは有限主義を提唱していないと思うよ（＾＾；
544:トンデモ仲間の哀れな素人
17/05/03 12:48:38.86 XlJfIiOr.net
花子先生が太郎君に言いました。
「1.398761234756398542184955583409804139509という数を書きなさい」
太郎君は書き始めましたが途中で面倒くさくなって、
1.3987612347563985421849555834098041まで書いて提出しました。
それを見て花子先生はヒステリーを起こして言いました。
「これは先生が言った数じゃないじゃないの！先生は
1.398761234756398542184955583409804139509という数を書きなさい、
と言ったのよ！」
バードウォッチングしている人がいました。
その人に、ある人が尋ねました。「鳥は何羽いますか？」
その人が答えました。
「そうですね、103かな、105かな、いや98かな、96かな、101かな……」
それで尋ねた人はイライラして言いました。
「はっきりしろ！ 一体何羽なんだ！」
↑これらは僕が出した比喩だ。
他にも、ゴールのないマラソン大会などの比喩を出した。
こういう比喩で、高卒男は「分った」と書いてきた。
君らは分るだろうか。
僕のことをトンデモ男だと思っている>>481などは
全然分っていないのである（笑
昼の投稿はここまで。
あとは夕方か夜にする。ただし、しないかもしれない。
545:現代数学の系譜11 ガロア理論を読む
17/05/03 12:53:19.38 hJ9NLdiz.net
>>485
ID:YNRirDMJさん
どうも。スレ主です。
哀れな素人さんは、京大国文卒ですか・・（＾＾；
それは、スレ28 ｽﾚﾘﾝｸ(math板)
(文系)High level peopleが集う場所がピッタリだね・・（＾＾；
546:爆弾的トンデモの哀れな素人
17/05/03 12:57:40.46 XlJfIiOr.net
>>485
事実上の意味が分らないような奴は出て来なくていい（笑
お前はもしかして昨日、0.99999……の定義をまず聞かせて、
と書いてきた男か。
0.99999……の定義を自分で考えてみればいい。
無限小数とはどうものだろうか、ということを
自分で考えてみればいいのだ。
そうしたら僕の言っていることがトンデモではないと分る。
お前にしろスレ主にしろ、人に訊いたり、
知識や情報を収集する前に、自分で考えてみろ。
自分で考えるということが大切なのだ。
知識や情報を収集しても、自分で考えないなら何にもならないのだ。
547:１３２人目の素数さん
17/05/03 12:58:37.88 d9j+dY7q.net
＞僕のことをトンデモ男だと思っている>>481などは
一応自覚はあるようだ、一言も素人だとは言ってないのにｗ
自覚の無い誰かさんよりはマシだねｗ
548:現代数学の系譜11 ガロア理論を読む
17/05/03 13:02:52.74 hJ9NLdiz.net
>>485
ID:YNRirDMJさん
どうも。スレ主です。
まあ、哀れな素人さんのお相手は、ID:YNRirDMJさんにお任せしますよ（＾＾；
549:京大国文卒の哀れな素人
17/05/03 13:03:11.24 XlJfIiOr.net
>>488
その京大国文卒の言っていることをお前らは理解できないのだから、
お前らがいかにアホであるかが分る（笑
スレ主はまだしも、>>485の男など文章を見ただけでアホのチンピラだと分る（笑
550:現代数学の系譜11 ガロア理論を読む
17/05/03 13:07:48.81 hJ9NLdiz.net
>>492
哀れな素人さん、どうも。スレ主です。
レスありがとう（＾＾
>スレ主はまだしも、>>485の男など文章を見ただけでアホのチンピラだと分る（笑
お褒めを頂きありがとうございます（＾＾
551:
17/05/03 13:09:26.38 6wyqCa/Z.net
>>489
＞お前はもしかして昨日、0.99999……の定義をまず聞かせて、
＞と書いてきた男か。
それ，私
＞0.99999……の定義を自分で考えてみればいい。
私なりの定義はありますが，それだと 0.9999‥‥ = 1 なんです．
そこで，どうして差が出てきたのかと，定義の違いを問い合わせてみただけなんです．
552:１３２人目の素数さん
17/05/03 13:21:56.45 d9j+dY7q.net
‥‥は記号だから、 0.9999‥‥＝ 0.9999 なんだそうです
私は馬鹿なのでとてもついていけませんが
スレ主なら理解できるんじゃないかな 同類同士だから
553:１３２人目の素数さん
17/05/03 15:36:35.33 YNRirDMJ.net
>>489
> 0.99999999……と書いても同じである。
> これは事実上、0.99999999という有限小数である。
この文でお前が無限小数を有限小数であるとする理由はただ一つ、
事実上そうだから
である。
お前の 事実上 の定義を知らなければ数学の会話にならんのだが
お前の本は無定義語で埋め尽くされているのか？
本が売れないからって宣伝されても迷惑なんだよ
見え透いた挑発商法はよせw
554:現代数学の系譜11 ガロア理論を読む
17/05/03 16:10:41.57 hJ9NLdiz.net
いやはや、賑やかになってきましたね（＾＾；
High level な議論は、High level people たちにお任せします(^^;
私は、Low level のコピペに徹します。みなさん、よしなに（＾＾；
555:現代数学の系譜11 ガロア理論を読む
17/05/03 16:24:45.36 hJ9NLdiz.net
>>171 関連 （スレチだが）
>藤井四段も一年前とは別人のような強さだったって杉本師匠や深浦コメントにあったな。
>ソフト研究による序盤の強化と自然成長の両方の効果でしょ
『将棋世界』2017年６月号見てきた
将棋ソフトで研究している、その成果が出ている・・みたいなこと、書いてあったな（＾＾；
URLﾘﾝｸ(book.mynavi.jp)
『将棋世界』2017年６月号に掲載
2017.04.24 【藤井聡太自戦記を先行公開】藤井聡太四段 炎の七番勝負 【自戦記】四段 藤井聡太 将棋情報局
556:１３２人目の素数さん
17/05/03 16:32:06.98 d9j+dY7q.net
>>497
自覚があるだけお前よりマシ
557:現代数学の系譜11 ガロア理論を読む
17/05/03 16:46:10.52 hJ9NLdiz.net
>>478 補足
>無限的対象を心置きなく使用できるようにしようと、ヒルベルトらが有限主義を提唱しました。これは二段ロケット方式です。
> １）本当に存在する数学的対象は有限的なもの（自然数とか）だけである。疑うヤツには自然数を構成してみせればよい
> ２）だけど有限的対象だけで数学をやろうとするとえらくメンドイ。だから、略記として無限的対象を導入し、ショートカットをする。
>ポイントは（無限小をεδ論法で置き換えた時みたいに）「無限的対象・手法は、やろうと思えばちゃんと有限的なやり方で書ききれるが、しんどいので略記として導入している」というスタン>スを貫くことです。
うーん、有限主義＝二段ロケット方式というのも違っているように思う
有限主義はあまり詳しくないが、記憶では有限主義はあくまで有限主義で、”無限は認めない”ってことじゃなかったかな？（＾＾：
「無限的対象・手法は、やろうと思えば、しんどいので導入している」→「無限的対象・手法を認める方が理論的にすっきり」は正しい
が、それが有限主義かというとちょっと違うような。少なくとも、
もちろん、二段ロケット方式を提唱した人もいるとは思うけど
少なくとも、>>481>>482の「スコーレムの有限主義」出口康夫を読む限り・・
まあ、ここを読むときは要注意だな・・（＾＾；
558:現代数学の系譜11 ガロア理論を読む
17/05/03 16:48:04.66 hJ9NLdiz.net
>>500 訂正
少なくとも、>>481>>482の「スコーレムの有限主義」出口康夫を読む限り・・
↓
少なくとも、>>480>>482の「スコーレムの有限主義」出口康夫を読む限り・・
559:現代数学の系譜11 ガロア理論を読む
17/05/03 16:54:57.81 hJ9NLdiz.net
これスレチだが
「日本列島１００万年史」面白そうだから、書店で買ってきた・・（＾＾
URLﾘﾝｸ(bluebacks.kodansha.co.jp)
講談社ブルーバックス
(抜粋)
日本列島１００万年史
山崎晴雄（やまざき・はるお）
久保純子（くぼ・すみこ）
大地に刻まれた壮大な物語
まえがき
私事で恐縮ですが、私（山崎）の家の近くには滝坂（たきざか）という大きな坂があります。私は生まれてからずっとその坂の下にある家で育ちました。しかし、あるときまで、なぜここに坂があるのかとか、どうして坂ができたのかなんて考えたこともありませんでした。
私にとっては坂にしろ崖にしろ、空気と同じような存在で、その地形の意味や形成された理由に気を留めたことなどなかったのです。
ところが、大学に入学して貝塚爽平（かいづかそうへい）先生の著書『東京の自然史』をベースにした自然地理学の講義を聞いたとき、目の前がぱっと
560:開けました。この坂は、国分寺崖線（がいせん）という、地質時代に多摩川が作った河岸段丘（かがんだんきゅう）の縁の崖（段丘崖）を甲州街道が乗り越すためのものだったのです。 祖父から、「この坂は滝のように急だったから滝坂という名が付いた」と聞いていました。また、近所の人の話では、荷車を引く人にとって滝坂は甲州街道の難所で、昔はその名が甲州方面でも知られていたそうです。 しかし、なぜここに坂があるのか、ということはまったく考えたこともありませんでした。ところが、これらの話と国分寺崖線の話がつながって、私は自分の知識が一気に拡がった気がしたのです。 つづく
561:現代数学の系譜11 ガロア理論を読む
17/05/03 16:55:48.94 hJ9NLdiz.net
>>502
つづき
新しい知識とそれまでとくに意識していなかった日常の経験がリンクして、私は崖や坂の存在理由や意味が初めて理解できました。単なる知識ではなく、学問がいろいろな情報や経験とつながって、立体的な知識となって自分の生活の中で活きてくることを強く感じました。
理解するというのはまさにこういうことなんだ、と私自身が初めて理解でき、学問の楽しさが感じられたのです。
このように、地形がどのように、そして、どうしてできたのか、という地形の成り立ちや成因を知る学問を地形発達史といいます。私は、地形発達史から地形研究の面白さを知り、それを調べて、さらに人に教えることを生業にしてきました。
しかし、それが続けてこられたのは、単に土地のでき方に興味がある、面白いからというだけではありません。私たちが目にしているありふれた景色（地形）も、私たちがまだ経験したことのないさまざまな作用や力が働いて作られてきたものなのです。
その成り立ちや歴史を知ることで、過去にどんなことが起きていたのかを知ると同時に、将来どんなことが起きる可能性があるのかという未来の予測も可能になるのです。そういう知識があれば、万一、大地震や洪水などで想定外の事が起きても、私たちは混乱したり絶望したりすることなく、生き残るために適切な対応の道を探ることができると思います。
(引用終り)
562:現代数学の系譜11 ガロア理論を読む
17/05/03 17:00:48.22 hJ9NLdiz.net
>>503 関連
（引用）
" 新しい知識とそれまでとくに意識していなかった日常の経験がリンクして、私は崖や坂の存在理由や意味が初めて理解できました。単なる知識ではなく、学問がいろいろな情報や経験とつながって、立体的な知識となって自分の生活の中で活きてくることを強く感じました。
理解するというのはまさにこういうことなんだ、と私自身が初めて理解でき、学問の楽しさが感じられたのです。"
"その成り立ちや歴史を知ることで、過去にどんなことが起きていたのかを知ると同時に、将来どんなことが起きる可能性があるのかという未来の予測も可能になるのです。"
(引用終り)
数学も同じようなもの
新しい知識とそれまでとくに意識していなかった日常の経験がリンクして、そのの存在理由や意味が初めて理解でる。単なる知識ではなく、学問がいろいろな情報や経験とつながって、立体的な知識となって自分の生活の中で活きてくる
その成り立ちや歴史を知ることで、過去にどんなことが起きていたのかを知ると同時に、将来どんなことが起きる可能性があるのかという未来の予測も可能になる
これ、まさに数学でも言えるように思う
563:１３２人目の素数さん
17/05/03 17:06:51.03 QjaSRwmw.net
おっちゃんです。
一変数複素解析に(エミール・)ボレルの定理っていうのがあり、
スレ主の手元には野口本があるというが、野口本にその定理のことは載っているかい？
一変数でもその定理の証明は簡単とはいえないんだよ。
検索して調べては見たが、ピカールの大(小)定理とかボレルの定理とか
値分布の話とかマニアックな話になると、一変数でもネットって機能しないのな。
564:現代数学の系譜11 ガロア理論を読む
17/05/03 17:14:47.78 hJ9NLdiz.net
>>498 追加
将棋スレからの情報だが
ｽﾚﾘﾝｸ(bgame板:281-286番)
藤井聡太応援スレ Part7
URLﾘﾝｸ(bunshun.jp)
14歳・藤井聡太四段 対コンピューター戦と“年度内タイトル”への思い
source : 週刊文春 2017年4月20日号
─ソフトとの勝敗は？
「（ソフトの能力は）パソコンのスペックによって変わりますので。私はそんなに凄いスペックのパソコンを使ってないので、勝ち越すくらい……まではいかないです（笑
565:）」 ──最強のソフトと言われるポナンザと指したら勝てると思いますか？ 「人間と比べるとコンピューターの能力の進化は限度がないです。そういう意味では人間とコンピューターが勝負する時代ではなくなったのかなと思います」
566:哀れな素人
17/05/03 17:19:47.66 XlJfIiOr.net
>>494
>私なりの定義はありますが，それだと 0.9999‥‥ = 1 なんです．
そうか。ではその定義を聞かせてもらいたい。
>>496
僕は本には、このスレで挙げたような説明は書いていない。
もっと本質的な理由を書いている。
その理由をここに書いてしまえば、
誰も本を買ってくれないから書かないだけである。
実は僕の本は半年間で一冊しか売れなかったのだ（笑
で、アマゾンの販売期間は二年間で、
二年間で50部以上売れ残った場合は、販売停止で、
残部はすべて著者に返品されてしまうことになっているのである。
だから何としても50部は売りたくて、再投稿することに決めたのである（笑
567:
17/05/03 17:31:54.16 6wyqCa/Z.net
>>507
＞誰も本を買ってくれないから書かないだけである。
それはないですよ．
ある特定の知識をお金を払わずに得られたからといって，もうその特定の知識の掲載された本を買わない，という行動は通常はとりません．
本を買うというのは，著者を買うということなんです．
石井本の刷数増加にともなう訂正の嵐と，それにもかかわらず，いや，それだからこそコンプリートを目指す信者の行動が最近観測されました
568:現代数学の系譜11 ガロア理論を読む
17/05/03 17:40:31.32 hJ9NLdiz.net
>>505
おっちゃん、どうも、スレ主です。
野口本ね、下記は書棚から持ってきた
目次にあるように、”6.7 ピカールの小定理 6.8 ピカールの大定理”はあるよ
だが、(エミール・)ボレルの定理はなさそう。索引を引いたが、ない・・・
おっと、”ボレルの除外値”（Borel's exceptional value） P236か
うん、P236では、ピカールの定理より、ピカールの除外値（たかだか２点）と平行して、”ボレルの除外値”では似たようなことが書いてあるね
ネヴァンリンナの除外値の話も書いてある。どうも読んでみると、”ボレルの除外値”は、ネヴァンリンナの除外値に吸収されちゃたんじゃないかね？（＾＾；
ここP236は、”7.5 ワイエルシュトラース積”の項だな
URLﾘﾝｸ(www.shokabo.co.jp)
数学選書12
複素解析概論
東京大学名誉教授 理博 野口潤次郎 著
6 正則写像
6.1 一次変換
6.2 ポアンカレ計量
6.3 短縮原理
6.4 リーマンの写像定理
6.5 境界対応
6.6 C＼{0,1}の普遍被覆面
6.7 ピカールの小定理
6.8 ピカールの大定理
7 有理型関数
7.1 近似定理
7.2 存在定理
7.3 リーマン・スチルチェス積分
7.4 C上の有理型関数
7.5 ワイエルシュトラース積
7.6 楕円関数
569:１３２人目の素数さん
17/05/03 17:43:36.54 YNRirDMJ.net
>>507
そうやって最初からあからさまに宣伝してりゃいいんだよ
見え透いた挑発商法じゃなくてさ
どちらにしても買わんけどな
570:１３２人目の素数さん
17/05/03 17:45:51.35 YNRirDMJ.net
というか、俺はお前に互除法を使った解説までしてやったんだぞ
覚えてるか？
俺に1部くらいタダで寄越しても良さそうなもんだ
要らんけどな
571:１３２人目の素数さん
17/05/03 18:01:24.16 3GiuaDVI.net
ポエム商法
572:１３２人目の素数さん
17/05/03 18:22:26.50 d9j+dY7q.net
＞誰も本を買ってくれないから書かないだけである。
書かなくても売れないから心配無用
＞実は僕の本は半年間で一冊しか売れなかったのだ（笑
買う奴がいるんだ、それは驚き、スレ主かな？
573:現代数学の系譜11 ガロア理論を読む
17/05/03 18:23:34.95 hJ9NLdiz.net
>>509 関連
野口潤次郎 値分布論
URLﾘﾝｸ(www.ms.u-t)
574:okyo.ac.jp/~noguchi/ 野口潤次郎の電網掲示板より (B5)講演記録（一部）Talks and Lectures (partial) (1) 平成9年（1997）日本数学会秋季総合分科会 企画講演 「値分布と有理点分布」 http://www.ms.u-tokyo.ac.jp/~noguchi/AKI97_KK.pdf (2) 平成15年（2003）日本数学会春季年会 第一回解析学賞受賞特別講演 「多変数ネヴァンリンナ理論とディオファントス近似」 http://www.ms.u-tokyo.ac.jp/~noguchi/03kaisho.pdf (3) 平成21年（2009）10月数理科学研究科公開講座「解析学の広がり」での講演、 「複素数の広がり」 http://www.ms.u-tokyo.ac.jp/~noguchi/fukusosu-beame-handout.pdf (4) 平成23年（2011）12月多変数複素関数論冬セミナー（広島） 「岡論文の引用記録と連接性定理について」 http://www.ms.u-tokyo.ac.jp/~noguchi/2011-TahensuWintSem-main-handout.pdf (5) 平成25年（2013）日本数学会春季年会 企画講演 「値分布と有理点分布II」アブストラクト http://www.ms.u-tokyo.ac.jp/~noguchi/2013Haru-Kikaku.pdf ・ 講演 http://www.ms.u-tokyo.ac.jp/~noguchi/2013Haru-Kikaku-beamer.pdf (6) その他色々 http://www.ms.u-tokyo.ac.jp/~noguchi/talks (6) その他色々から「値分布と多変数関数論 野口潤次郎 東京大学 数理講演会 2013(H25) 年3 月18 日」 http://www.ms.u-tokyo.ac.jp/~noguchi/talks/(2013)MSUT-H25march-beamer.pdf
575:１３２人目の素数さん
17/05/03 18:52:11.55 QjaSRwmw.net
>>514
>>505でいっていたボレルの定理って、
多変数ネヴァンリンナ理論とディオファントス近似
に書かれているボレルの定理のことだわ。
こちらの多変数複素解析の野口本はいい本だ。買っておいてよかったよかった。
ボレルの定理は高次元の複素数空間に一般化出来るんだよ。
多分、一応解決したと思う。じゃ、おっちゃん寝る。
576:現代数学の系譜11 ガロア理論を読む
17/05/03 19:22:59.49 hJ9NLdiz.net
>>505
おっちゃん、どうも、スレ主です。
おっちゃんの値分布の話だと、キーワードは、”ネヴァンリンナ”やね。あるいは”ネヴァンリンナ理論”とか
英文 wikipedia ”Nevanlinna theory”の情報が充実しているね
例えば下記
URLﾘﾝｸ(ja.wikipedia.org)
ネヴァンリンナ理論
数学の複素解析分野でネヴァンリンナ理論は有理型関数理論の一部である 。1925年にロルフ・ネヴァンリンナによって考案された。ヘルマン・ワイルは、それを「20世紀における数学的な数少ない大イベントのうちの1つ。」[1] と呼んだ。
脚注
^ H. Weyl (1943). Meromorphic functions and analytic curves. Princeton University Press. p. 8.
URLﾘﾝｸ(en.wikipedia.org)
Nevanlinna theory
詳細略す
See also
Vojta's conjecture （リンク先に”These versions of Vojta's conjecture provide natural higher-dimensional analogues of the ABC conjecture.”）
References
沢山あるが略
577:現代数学の系譜11 ガロア理論を読む
17/05/03 19:25:21.98 hJ9NLdiz.net
>>515
おっちゃん、どうも、スレ主です。
一件落着よかった（＾＾；
おやすみなさい（＾＾
578:現代数学の系譜11 ガロア理論を読む
17/05/03 19:30:25.11 hJ9NLdiz.net
>>516 関連
URLﾘﾝｸ(ja.wikipedia.org)
ロルフ・ネヴァンリンナ（Rolf Nevanlinna, 1895年10月22日 - 1980年5月28日）はフィンランド・ヨエンスー出身の数学者。1926年からヘルシンキ大学の教授を務めた。
関連項目[ソースを編集]
ネヴァンリンナ賞
ネヴァンリンナ理論
URLﾘﾝｸ(en.wikipedia.org)
英語版で充実している
579:現代数学の系譜11 ガロア理論を読む
17/05/03 20:38:35.64 hJ9NLdiz.net
>>514 イロハ(abc-)予想関係
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)(2004)NoguchiJ-Talk-Nev-abc.pdf
ネヴァンリンナ理論とイロハ(abc-)予想 東�
580:蛛E数理 野口潤次郎 2004 (抜粋) 本稿では，小林双曲性，有理点の有限性，Nevanlinna 理論，有理近似論（Diophantus 近似論），それらの関数体上での理論，等々の間の理論的，有機的類似に着目する．図式 的には⇒を応用の向きを表すとして次のようになる．関数体上の理論は，ちょうど中間 に位置するとみられる． これに密接に関係するのが，Masser-Oesterl´e によるabc-Conjecture (ここでは，和訳とし て“イロハ予想” と呼ぶ) である． イロハ予想の定式化は，代数体K 上でも同様の式になる．そのとき，(1.5) の左辺第二項 のないものが，Roth の定理である：即ち， これからも分かるように，イロハ予想は大変強い主張をしていることになる．次の節で 分かるように，イロハ予想は有理型関数にたいするNevanlinna の第二主要定理の類似で ある． 以下では，このような視点から観るとき，Diophantus 近似論，値分布論，関数体上の 有理近似論でなにが問題となり，どこまで分かっているかを論ずる．
581:現代数学の系譜11 ガロア理論を読む
17/05/03 20:46:27.36 hJ9NLdiz.net
>>519 追加
内容は、ほとんど同じだが、こちらは2002年の公式の論文。但し、参考文献は>>519の方が新しいものが入っているね（＾＾
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
Title ネヴァンリンナ理論とイロハ(abc-)予想 (解析的整数論の新しい展開 野口潤次郎 著 数理解析研究所講究録 (2002)
582:現代数学の系譜11 ガロア理論を読む
17/05/03 21:02:44.79 hJ9NLdiz.net
>>519 関連
発見・予想を積み重ねる それが整数論・・・か。面白そうだよ （＾＾
サンプルPDFあり
URLﾘﾝｸ(estore.ohmsha.co.jp)
URLﾘﾝｸ(d3mo2u0k1926zu.cloudfront.net)
PDFサンプルファイル
発見・予想を積み重ねる それが整数論 2016/12/20 オーム社 eBook Store
安福悠著
この書籍についてツイートする この書籍をFacebookでシェアする この書籍をはてなブックマークに追加する
一番やさしい整数論??暗号理論・フェルマーの定理・abc予想まで学べる、数論の集大成
整数論（数論とも呼ばれる、number theory）とは数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について研究する数学の一分野で、「フェルマーの最終定理」等が有名です。
本書は「読み物」ではなく、かつ単に問題を解く教科書でもない、考え方に重きを置いた本を目指します。
本書の大きな魅力は、数学の専門書以外ではあまり扱われることがなかった定理も証明し、興味を持ってくれた人にはわかってもらえるよう、イラストを入れ、詳細な説明を行います。数論は決して易しい学問ではなく、特に「abc予想」等は難問として超有名ですが、これをゴールとすることで、明確な目標を提示できる書籍となります。
このような方におすすめ
教養科目としての数学受講生
代数学・解析学を学ぶ前の数学科の学生
高校教員 (大学の数学の紹介として)
数学・整数論愛好家
数学に興味がある(った)退職世代
暗号関係のエンジニアで、数学的仕組みを知りたい方
高校教員 (大学の数学の紹介として)
アマチュア数学家
昔は数学に興味があったが、別の仕事に就き今は退職した世代
暗号関係のEngineerで、数学的仕組みを知りたい方
583:現代数学の系譜11 ガロア理論を読む
17/05/03 22:03:26.16 hJ9NLdiz.net
突然ですがメモ
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
エントロピック重力または創発的重力は、現代物理学の理論であり、重力をエントロピックな力として記述する。エントロピックな力は、（電磁気力の光子や強い核力のグルーオンのような）場の量子論やゲージ理論を媒介とした基本相互作用ではなく
物理系のエントロピーを増加させようとする傾向の確率論的な結果のことを言う。この提案は、物理学会で論争されていて、重力の熱力学的性質の研究の新しい方向を呼び起こした。
エリック・ヴァーリンデの理論
2009年にエリック・ヴァーリンデは、エントロピックな力として重力を記述する概念的なモデルを開示した。 2010年1月6日に、彼はOn the Origin of Gravity and the Laws of Newtonというタイトルの29ページの論文をプレプリントとして出版した。
この論文は、2011年4月にはJournal of High Energy Physicsに掲載された。[6] その論理は300年以上の論理をひっくり返すような論理で、重力は「物質の位置に関連付く情報」の結果である」と議論している。このモデルは、ジェラルド・トフーフトのホログラフィック原理を持つ重力と熱力学的アプローチを結びつけている。
これは、重力は基本相互作用ではなく、ホログラフィックスクリーン上にエンコードされたマイクロスコピックな自由度の統計的振る舞いから創り出された現象であることを意味している。論文は、科学界からの様々な反応を引き起こした。
ハーバード大学の弦理論の研究家アンドリュー・ストロミンジャーは、「それは誤りであるという人もいれば、それは正しいがもう分かっていることだよという人もいる。つまり、それは正しくて深く、正しくて自明なことである」と。
2011年7月、ヴァーリンデはさらに発展させたアイデアであるダークマターの起源についての説明できるのではとの考えを、the Strings 2011 conferenceで提案した。
ヴァーリンデの論文は、多くのマスメディアの注目を集め、宇宙論のフォローアップ記事、ダークエネルギー、宇宙の加速度的膨張、宇宙のインフレーション] やループ量子重力理論 についてもすぐに書かれることとなった。また、ある特別なマイクロスコピックモデルが、実際、大きなスケールで現れるエントロピック重力をもたらすことを示したものもある。