[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
405(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)16:37 ID:nB6uL1P/(9/23) AAS
>>404
ポアンカレ予想の解決のペレルマン論文は異例だったが、下記 望月 新一先生の論文発表はarXivさえ使わないという点でもっと異例だね（＾＾；
外部ﾘﾝｸ: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]。
406: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)19:58 ID:nB6uL1P/(10/23) AAS
>>362 関連
数列関連で、”カントールの往復論法”がヒットした
これ、手筋として面白いなと思ったのでメモしておく（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
カントールの往復論法
数学基礎論、特に集合論とモデル理論において、カントールの往復論法（カントールのおうふくろんぽう、英：Cantor's back-and-forth method）とは、特定の条件を満たす可算無限濃度を有する構造の間に同型写像が存在することを示す論法であり、ゲオルク・カントールから命名された。 特に、以下の証明に使用される。
・カントールは、任意の 2 つの可算無限な稠密全順序集合（全順序集合であって、任意の異なる 2 つの元の間に異なる元が存在するもの）に両端が存在しない（最小元・最大元を持たない）場合、両者が順序同型であることを示すために、この論法を用いた。
全順序集合の同型は、狭義単調増加な全単射である。 従って例えば、有理数全体の集合と実代数的数全体の集合の間には、狭義単調増加な全単射が存在する。
・原子元を有しない可算無限濃度のブール代数が互いに同型であることを証明するために、この論法を使用できる。
407(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)21:15 ID:nB6uL1P/(11/23) AAS
>>325 関連
スレチだが・・、前振り（＾＾
2chｽﾚ:bgame
藤井聡太応援スレ Part5
704 名前：名無し名人[sage] 投稿日：2017/04/26(水)
動画ﾘﾝｸ[YouTube]
ここで藤井四段が自作の詰め将棋を色紙に書いているんだけど、うちの激指では解けなかった。
小さく５３手って書いてあるから５３手詰なのだろうか。
自分で考えてみても、詰めの手がかりすらわからないんだが、この色紙をもらった子は解けるくらいのレベルなのだろうか。
玉方： １三玉、２三歩 １五香 ２五と
省19
408: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)21:20 ID:nB6uL1P/(12/23) AAS
埋め立てですかときたね・・（＾＾
409(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)21:21 ID:nB6uL1P/(13/23) AAS
>>407 関連
本題”谷川浩司は「詰将棋は自分でも作るんですけども，完成したものをコンピュータにかけるんですよ。そうすると，たいてい1秒で解かれますから。”
外部ﾘﾝｸ:ja.wikipedia.org
コンピュータ将棋
(抜粋)
2.1 詰みの周辺における強さ
ある局面において『詰み』の有無を判定する作業は、単純な情報処理能力が力を発揮する分野であり、コンピュータは人間をはるかに超える計算力により、容易に詰みを発見することが可能になっている。
コンピュータが得意とする分野であるとも言え、実際に詰将棋プログラムは、対戦プログラムより古く、1968年頃にプログラムで解こうとさせていた、という談話がある[15]。
詰みに特化した詰将棋の分野では、ほぼ全ての局面においてコンピュータは早々にトップ棋士の解図力を上回った。可能な王手と玉方の応手をすべて検索するコンピュータならではの方法論により、人間を凌駕する実力を備えている。詰将棋の創作にあたって、コンピュータを使用して作品の完全性を検証することは、すでに常識となっている[16]。
谷川浩司は「詰将棋は自分でも作るんですけども，完成したものをコンピュータにかけるんですよ。そうすると，たいてい1秒で解かれますから。それこそ，かなり複雑な，1年くらいかけて作った詰将棋でも，コンピュータにかけると1秒で解かれるわけです。
省3
410(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)21:24 ID:nB6uL1P/(14/23) AAS
>>409 関連
脊尾詰（せおづめ）
外部ﾘﾝｸ[B0]:ja.wikipedia.org
(抜粋)
ミクロコスモスと脊尾詰[編集]
脊尾詰（せおづめ）は脊尾昌宏が開発した、最初シェアウェアとして公開され、2017年3月現在はフリーウェアとして公開されているコンピュータ詰将棋解答ソフトである。1997年、脊尾詰でミクロコスモス[3]を解き、同作が余詰が存在しない完全作であるという結論が導かれた。
後に新バージョンの「脊尾弐」「脊尾参」「脊尾四」が公開されたが、アルゴリズムが異なるため、古いバージョンで解けた詰将棋が新しいバージョンでは解けないということもある。「ミクロコスモス」は脊尾詰で解けたが、脊尾弐では解けなかったとされている[4]。
脊尾詰はその後いずれのバージョンも入手不可となっていたが、2017年3月に、将棋用グラフィカルユーザインタフェースの「将棋所」に対応した「脊尾詰」が、脊尾が所属するパナソニック将棋部のウェブサイトで無料ダウンロード版として公開された。
411(3): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)21:36 ID:nB6uL1P/(15/23) AAS
>>410 関連
脊尾詰 今週の詰み筋 （連載 Vol.4） 2017.5.1
外部ﾘﾝｸ[html]:panashogi.web.fc2.com
(抜粋)
最終更新日 2017.5.1
脊尾詰ダウンロード 将棋所対応版
（２０１７年３月１４日リリース）
パナソニック将棋部の中心メンバーの一人である脊尾が、大学在学中にAI分野の探索アルゴリズムを研究した成果として、1997年に史上最長手数の詰将棋「ミクロコスモス」(1525手詰）をコンピュータソフトとして初めて解き、一世を風靡したあと、しばらく化石となってしまっていたあの「脊尾詰」が復活！
脊尾詰ダウンロード
下記リンクをクリックしてダウンロードし、圧縮ファイルを解凍してください。
省9
412(2): 2017/05/01(月)21:52 ID:5vEeOU17(1) AAS
>>402
査読付き論文を投稿したことはあるのか？
という質問に対して
arxivを知ってるか？
と会話にならないレスを返す馬鹿
数学だろうが物理だろうが、お前は査読付き論文を1編も書いたことがないというのがよく分かった
413(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)22:14 ID:nB6uL1P/(16/23) AAS
>>411 関連
前振り”結果はやはり即詰みがなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。”
外部ﾘﾝｸ[html]:tamarunoboru.cocolog-nifty.com
2011年8月13日 (土) 田丸昇のと金横歩き
終盤の95手目まで同一手順が続いた王位戦（広瀬王位―羽生二冠）第４局
今期のA級順位戦（渡辺明竜王―郷田真隆九段）でも、同じようなことがありました。角換わり腰掛け銀の流行型から攻め合いとなり、先手番の渡辺は郷田の玉を受けなしに追い込みました。
その局面で渡辺の玉に即詰みがあるかどうかが焦点ですが、きわどく逃れて先手が勝ちという結論がすでに出ていました。ある若手棋士の定跡書にも紹介されています。しかし郷田には何か秘手があるかもしれないと、控室の検討陣は注目していました。
結果はやはり即詰みがなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。
郷田は決して研究不熱心な棋士ではなく、流行型の将棋もよく指します。ただデータにはあまり頼らず、自身の将棋観や表現を重視しています。渡辺戦では結論が出ているとは知らずに、たまたま入り込んでしまったようです。
このように流行型の将棋を指すには、日頃から研究を重ねておかないと「知らないで負ける」ことがあります。
414: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)22:28 ID:nB6uL1P/(17/23) AAS
>>413 関連
>前振り”結果はやはり即詰みがなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。”
「定跡なので」＝”コンピュータソフトで調べて結論が出てます”だったとしたら？
というか、2011年なら、そして若手棋士たちがよってたかって出した結論ならそうだろう
終盤の「その局面で渡辺の玉に即詰みがあるかどうかが焦点」という。なら、コンピュータにその局面を放り込めば、結論は出るだろうね
これが、2017年のプロ将棋界
数学業界にもこれに似た波は来ている
代表例は、Mathematica かな。Mathematica に数学AIが乗る時代が来るような（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
Mathematica（マセマティカ）は、スティーブン・ウルフラムが考案し広く使われている数式処理システム。ウルフラム・リサーチ社の、ウルフラムが率いる数学者とプログラマのチームが開発し、同社が販売している。Mathematica は項書き換えを基本として、複数のパラダイムをエミュレートするプログラミング言語としても強力である。
415: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)22:29 ID:nB6uL1P/(18/23) AAS
>>412
おやおや、ageないのかね？ アルバイトはどうした？（＾＾；
416: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)22:41 ID:nB6uL1P/(19/23) AAS
>>412
（文系）High level people のおまえに、何がわかる？（＾＾
工学では、プレプリントやarXivの習慣はないね
考えてみると、特許出願との関連だろうね
まず、特許出願をする。特許出願が公開された後に、公開の範囲で論文投稿をする
2015年ノーベル生理学・医学賞受の日本の化学者（天然物化学）大村 智先生は、こんな感じかな？ 論文が評価されたというより、発明・発見が評価されたんだろうね（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
大村 智（おおむら さとし、1935年7月12日[1] - ）は、日本の化学者（天然物化学）。北里大学特別栄誉教授。2015年ノーベル生理学・医学賞受賞。
417(1): 2017/05/01(月)23:08 ID:VeaTgpV1(1/3) AAS
プロ固定とか時枝記事とかハイレベルピープルとかそんなことはどうでもいい
純粋に数列に関する問いである>>139に答えなさい
答えられないなら潔く間違いを認めなさい
女の腐ったみたいにいつまでもウジウジと逃げ回るのはやめなさい
418(1): 2017/05/01(月)23:15 ID:VeaTgpV1(2/3) AAS
お前は稀にみる馬鹿だから問題を易しくしてあげよう
「>>139は純粋に数列に関する問いである」
の真偽を答えよ
さすがのお前でもこれくらいは答えられるだろ？
419: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:21 ID:nB6uL1P/(20/23) AAS
>>411
関連
外部ﾘﾝｸ[php]:ipsj.ixsq.nii.ac.jp
外部ﾘﾝｸ:ipsj.ixsq.nii.ac.jp
df-pnアルゴリズムの詰将棋を解くプログラムへの応用（論文賞受賞） 長井 歩 今井 浩 東京大学 情報処理学会論文誌 2002
詰将棋を解くプログラムの研究はこの10年の間に大きく進歩した．その原動力となったのは，証明数や反証数という概念の導入である．
詰将棋に適用すると，直感的にいうと，証明数は玉の逃げ方の総数を，反証数は攻め方の王手の総数を表す．前者は攻め方にとって，後者は玉方にとって非常に重要な値である．証明数・反証数を対等に扱った，最もナイーブなアルゴリズムは，Allisによるpn-searchという最良優先探索法である．
我々は近年，df-pnアルゴリズムという，pn-searchと同等の振舞いをする深さ優先探索法を提案している．この論文では，df-pnアルゴリズムを用いて詰将棋を解く強力なプログラムを作成し，その過程で導入した様々な技法を提案する．
これらの技法をdf-pnの上に実装することにより，我々のプログラムでは300手以上の詰将棋のすべてを解くことに初めて成功した．
しかもそれは，シングルプロセッサのワークステーションで解くなど，解答能力と解答時間の両面で優れた結果を出すことができた．
420(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:22 ID:nB6uL1P/(21/23) AAS
>>417-418 シカトー（＾＾
421: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:25 ID:nB6uL1P/(22/23) AAS
おれは、時枝記事ガセが分かる人間しか相手にしない
例外は、おっちゃんだけ
ま、￥さんは分かっていて、その上でコルモゴロフ 確率論を超えろという
422(2): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:30 ID:nB6uL1P/(23/23) AAS
時枝記事はガセ
それは分かっている
が、なぜ成り立つように見えるのか？
時枝は言い訳に選択公理と非可測集合を持ち出す
だが、私は可算無限数列のシッポでの同値類分類が笑いの肝（キモ）かなと思っているんだ（＾＾；
だから、「時枝記事はガセで、それは分かっているが、なぜ成り立つように見えるのか？」という視点からの議論には参加するが、時枝記事を正当化する議論には参加しない
その話なら、スレ28で、（文系）High level people たちでやんなさい
カントールの無限集合論も分からん人間と
議論する気にはならんよ（＾＾
423(3): 2017/05/01(月)23:33 ID:VeaTgpV1(3/3) AAS
>>420
ほらまた逃げた
女の腐ったみたいにウジウジと
424(2): 2017/05/02(火)01:14 ID:5EuRtFMG(1) AAS
>>422
> 私は可算無限数列のシッポでの同値類分類が笑いの肝（キモ）かなと思っているんだ
時枝記事を否定したければスレ主は「出題者が任意の無限数列を出題することが不可能」なので
数当てゲーム自体をそもそも実行できないとでも主張すればよいわけ
> なぜ成り立つように見えるのか？
それはスレ主が(そのことに気づいていないとしても無意識に)成り立つと仮定しているから
スレ主は(そのことに気づいていないとしても無意識に)自分で成り立つと仮定しておきながら
それとは逆に時枝記事を否定しようとしてトンチンカンな主張を繰り返しているだけですよ
上下前次1-新書関写板覧索設栞歴
あと 229 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s