17/04/27 14:00:05.42 rio6lBme.net
>>263
>「テンソル」さまなんてのが、庶民の日常会話に出てくるのかね？
>天才小学生が、「TensorFlow」を使って、「テンソル」さまをプログラミングという時代になるかも・・（＾＾；
>「テンソル」も難しく考えれば、難しいが
>易しく考えれば、易しいんだ・・（＾＾；
C++さんなどは、分かっていると思うが
こういう「テンソル」を日常業務で使う立場からすると
テンソルの数学が十分分かってからプログラミングに取り組むより
プログラミングに取り組む中で、テンソルの数学にも慣れて、理解を深める・・
そういう態度が正しいと思う
まあ、Z変換も同じだろう
ラプラス変換が分かっていたら、ラプラス変換とのアナロジーを頭に置いて考えていけば、修得は早いと思うよ
301:現代数学の系譜11 ガロア理論を読む
17/04/27 14:00:32.99 rio6lBme.net
で、たまにこうして短いカキコを挟まないと、「埋め立てですか」なんて規制がかかる（＾＾；
302:現代数学の系譜11 ガロア理論を読む
17/04/27 14:59:06.32 rio6lBme.net
>>152 補足
>十分条件の方は少し難しい…というか前提知識が必要なので次のキーワードをあげておきます: 拡張された Euclid の互除法 ”
URLﾘﾝｸ(ja.wikipedia.org)
ユークリッドの互除法
(抜粋)
拡張された互除法[編集]
整数 m, n の最大公約数 (英: Greatest Common Divisor) を gcd(m,n) と表すときに、（拡張された）ユークリッドの互除法を用いて、mx + ny = gcd(m, n) の解となる整数 x, y の組を見つけることができる。
303:現代数学の系譜11 ガロア理論を読む
17/04/27 15:09:42.60 rio6lBme.net
>>156 補足
>(1) gcd(a,m) = 1 よりax+my = 1 (x, y ∈ Z) と書ける
>命題5.6 の証明をみると，ax + my = 1 (x, y ∈ Z) �
304:ﾌとき，x がa の法m に関する逆元になっているので，ユークリッドの互除法を用いてx, y を求めれば効率よく計算できる． これ見てから、ユークリッドの互除法→ax+my = 1 を思い出した・・（＾＾； で、これ整数だけでなく、整式とか、整数類似でも成り立つ http://mathtrain.jp/euclid ユークリッドの互除法の証明と不定方程式 高校数学の美しい物語 最終更新:2016/07/13 (抜粋) ユークリッドの互除法は最大公約数を求める問題よりも，一次不定方程式 ax+by=1ax+by=1 に関する問題で活躍します。 一次不定方程式への応用 一次不定方程式 ax+by=dax+by=d の解を求める問題を考えます。 ただし，左辺がgcd(a, b)の倍数なのでこの不定方程式が解を持つためには d がgcd(a, b)の倍数であることが必要です。 実はこれが十分条件にもなっています。
305:現代数学の系譜11 ガロア理論を読む
17/04/27 15:14:14.25 rio6lBme.net
>>273
ユークリッドの互除法 図解、wikipediaにも図があるが、下記の解説が分かり易い
URLﾘﾝｸ(math-arithmetic.blogspot.jp)
算数学
“算数＋数学＝算数学”・・・本サイトでは中学受験算数を中心に，算数のちょっとした疑問や発展的な知識を『数学的に』やさしく紹介しています．
2011/01/05 ユークリッド互除法を図で考える
ユークリッド互除法はこちらで解説している方法で式にあてはめてさえいけば機械的に求めることができます．しかし，計算の意味を理解せずに利用するのはあまり好ましいことではありません．
このページではユークリッド互除法の計算の意味を図を描きながら考えてみることにします．
306:現代数学の系譜11 ガロア理論を読む
17/04/27 15:29:01.87 rio6lBme.net
>>249
URLﾘﾝｸ(www.amazon.co.jp)
相転移と臨界現象の数理 (共立叢書 現代数学の潮流) 単行本 2015/6/9
田崎 晴明 (著), 原 隆 (著), 岡本 和夫 (編集), 桂 利行 (編集), 楠岡 成雄 (編集), 坪井 俊 (編集)
(引用終り)
で、原 隆先生、同姓同名 （上記の本は、次の九州大学の方）
URLﾘﾝｸ(hyoka.ofc.kyushu-u.ac.jp)
九州大学-研究者情報 [原 隆 (教授) 数理学研究院 数学部門]
学部担当 理学部 数学科 数学
活動概要
研究面：統計力学のモデルの示す臨界現象と，場の量子論の基礎となる連続極限の問題を，数学的に厳密に解明することに取り組んでいる．両者は密接に関連しており（数学的にほぼ等価），無限自由度の系の持つ非常に興味深い性質を反映している．
数学の立場からは，これらの現象は確率論における未知の極限定理の反映とみなせる．現在，主にくりこみ群の手法を利用して，解析を行っている．また，統計力学の基礎付けについての研究も行っている．
(引用終り)
URLﾘﾝｸ(www.cck.dendai.ac.jp)
原 隆 のホームページへようこそ!!!!!
所属: 東京電機大学 未来科学部
数学系列 助教 (A)
専攻分野: 整数論, 数論幾何学 (特に非可換岩澤理論)
URLﾘﾝｸ(cr.math.sci.osaka-u.ac.jp)
原 隆 のホームページへようこそ!!!!!
所属: 大阪大学 大学院理学研究科
2014年4月1日より 東京電機大学 に移籍致します。
(引用終り)
こちらの原 隆先生は、阪大からいま東京電機大ですね
307:現代数学の系譜11 ガロア理論を読む
17/04/27 15:51:17.99 rio6lBme.net
>>246 補足
>ホワイトノイズは無限次元空間上の超関数論
>によって数学的に定式化されるが，そのための自然な枠組みの一つはホワイトノイズ解析ま
>たは飛田解析[107，121]であり，尾畑[138]によってホワイトノイズ関数上の作用素論として
>も確立した
関連
URLﾘﾝｸ(www.shinshu-u.ac.jp)
無限次元現象の解明を目指して 信州大学 理学部 乙部 厳己
(抜粋)
現在の研究テーマ：無限次元空間上の発散定理
現在までの歴史上、数学のみならず諸科学まで含めて最も大きな影響を及ぼした定理は何かといえば、おそらく間違いなく微積分の基本定理だといえると思います。微積分の基本定理とは（1 次元のときに）微分と積分がお互いに逆の演算であることを主張するものです。
これは領域の内部全体での関数の値の和が、その原始関数の境界での値の差に等しいことを主張し、関数の形を適切に与えることで領域の内部における情報を外周部だけで理解できることを示しています。
この事実は多次元でも一般に成り立っていることを示したのがガウスによる発散定理です。このような関係は解析学の最も基礎をなすものであり、たとえば関数概念そのものを拡張するにはいくつかの方法が知られています（総称して超関数と呼びます）が、いずれにせよ根底にはこの事実があるといってよいと思います。
もちろんそれだけではなく、ベクトル解析など多くの応用の基礎となると同時に現代幾何学の基礎の一つといってもよいと思います。例えるならば、うまく関数を設置してから家の周りを一周すれば、知りたかった家の中の状況がわかるということを述べているわけです。
ところが、無限次元空間においては状況が全く異なります。
しかし1970 年代の末頃から、確率論のある種の研究の中でこれら両者はついに融合点を見いだし、測度論に基づいた無限次元空間上の完全な微積分の理論が完成します。この理論は通常、この方向への最初の突破口を開いた数学者の名前をとってマリアヴァン解析と呼ばれています。
ところが、・・・球に相当するような滑らかな領域ではすでに発散定理は定式化できていましたが、長方形のような形 に相当する角のある領域についても発散定理をマリアヴァン解析の枠組みで完全に定式化することを目指しています。
308:現代数学の系譜11 ガロア理論を読む
17/04/27 16:24:02.59 rio6lBme.net
>>277 関連
URLﾘﾝｸ(www.jstage.jst.go.jp) 数学 . 42
URLﾘﾝｸ(www.jstage.jst.go.jp) 渡辺信三 確率解析とその応用 1990
(抜粋)
1.Wiener空間と確率解析
確率解析の中心はなんといつても伊藤清先生による確率微分方程式の理論であろう. N. Wienerは1923年にBrown運動を数学的にモデル化してWiener空間を確立したが,伊藤の理論はこのWienerの理論を出発点として展開され,それは確率過程の見本関数に関する微積分学ということができる.
微分学ではまず関数を局所的に直線で近似し接線を考えるが,ランダムな関数では平均値のまわりのゆらぎは無限小ではGauss確率変数であり,したがってその接線的役割を果たすのがWiener過程である.
2.Malliavin解析
上でも見たように無限次元空間の積分論は確率過程論と結びついて発展してきた.ところで無限次元空間での微分学は古典的には, Euler, Lagrange, Hamilton-Jacobi等の変分学であった.
変分学で取りあつかう汎関数は通常滑らかな関数の上で定義されており,Wiener汎関数に関連していえば,その骨格となるべきH上の関数が変分学の対象となる.そしてこのH上の関数の変分学とWiener汎関数積分とはパラメーター・に関する極限状態においてつながってくる.これは大きな偏差(1arge deviation)の理論における基本原理である.
約10年程前P. Malliavin は微分(=変分)の意味をWiener測度に関連させて修正した意味で考えれば,この種のWiener汎関数は十分微分可能であり,多くの場合C..級であるという事実を見出した.それは確率微分方程式の
309:研究に新しい方法を提供するもので,それによってWiener汎関数積分の種々の問題における応用の可能性は飛躍的に増大した. Malliavinはこの微分の概念をWiener空間上のOrnstein-Uhlenbeck過程に関する確率解析を用いて定義したが,その後重川,楠岡一Stroock,杉田,等の研究で丁度有限次元の場合のSobolevの意味の弱微分(weak derivative),あるいはSchwartzの超関数微分に対応する概念と同等であることがわかつてきた. またMalliavin解析の基礎はWiener空間上の部分積分にあるが,一方Schwartzによる超関数の概念は部分積分による関数概念の拡張であった。このようにMalliavinの解析をWiener空間上の超関数論とみるのは自然であり,以下ではこの立場より理論の構成を試みる.
310:現代数学の系譜11 ガロア理論を読む
17/04/27 16:40:59.23 rio6lBme.net
>>278 補足
>この種のWiener汎関数は十分微分可能であり,多くの場合C..級であるという事実を見出した.
>Sobolevの意味の弱微分(weak derivative),あるいはSchwartzの超関数微分に対応する概念と同等であることがわかつてきた.
ここ、文字化けだが、PDFでは C^∞級なんです
だから、Schwartzの超関数ってことか
”Sobolevの意味の弱微分(weak derivative)”は、最近は寡聞にして、あまり聞かない
Schwartzの超関数で間に合っているということか
311:現代数学の系譜11 ガロア理論を読む
17/04/27 17:17:40.50 rio6lBme.net
まいったね ”非可換確率論－奇妙な確率論の研究－”村木尚文先生 を投稿しようとしたら、埋め立てですかときた（＾＾；
312:現代数学の系譜11 ガロア理論を読む
17/04/27 17:17:59.01 rio6lBme.net
>>278 関連
”非可換確率論－奇妙な確率論の研究－”村木尚文先生、結構面白いし分かり易いパネルだね
URLﾘﾝｸ(www.iwate-pu.ac.jp)
非可換確率論－奇妙な確率論の研究－ 平成25年度 研究成果発表会 パネル展示 村木尚文 総合政策学部
URLﾘﾝｸ(www.iwate-pu.ac.jp)
岩手県立大 研究関連情報
URLﾘﾝｸ(souran.iwate-pu.ac.jp)
村木 尚文 MURAKI Naofumi
URLﾘﾝｸ(www.iwate-pu.ac.jp)
研究関連情報 > 学部等研究（平成25～27年度研究成果発表会）研究成果発表会 パネル展示
313:現代数学の系譜11 ガロア理論を読む
17/04/27 17:19:10.38 rio6lBme.net
ああ、１回短い駄文を入れると良いんだ・・（＾＾；
つまらんルールつくりやがって・・（＾＾；
314:現代数学の系譜11 ガロア理論を読む
17/04/27 20:25:39.10 rio6lBme.net
>>281 関連
立ち読みは、最初だけだが、ちらみさせているだけのことはある（＾＾；
URLﾘﾝｸ(www.iwanami.co.jp)
岩波科学 2008.4月号 特集
予測不能な時代の〈測り方〉
―確率・リスク・ゆらぎ
URLﾘﾝｸ(www.iwanami.co.jp)
現代確率論の常識 高橋陽一郎 （京都大学数理解析研究所）2008 (立ち読みできます！)
(抜粋)
20 世紀初頭にA. Einstein が「Brown 氏の観察
した現象と同じものであるかはわからないが」と
述べた気体分子レベルの拡散運動を直接見ること
は困難であろうが，その後J. Perrin が30 秒間隔
で観測したような生物に由来する拡散現象（らし
きもの）については，最近，個々の粒子の運動が
実時間で「見える」ようになり始めていることを
知る機会があった．実験技術の進歩に驚くばかり
である．しかし，それを「見る」ためには確率論
的な常識を踏まえる必要がある．逆に，新たな実
験的な成果を見ることができれば，数学の対象が
広がる可能性がある．さらに期待を込めていえば，
これまで天文学や物理学とともに発展してきた数
学に，新たな枠組がもたらされる端緒となるかも
しれない．これが本稿で最先端研究の動向ではな
く，現代確率論の常識の紹介を試みようなどと思
い立った動機である．
315:現代数学の系譜11 ガロア理論を読む
17/04/27 20:52:02.39 rio6lBme.net
>>137 共役変換
URLﾘﾝｸ(www.tuh)
316:ep.phys.tohoku.ac.jp/~watamura/ 綿村 哲 (わたむら さとし) 東北大学 大学院 理学研究科 量子基礎物理学講座 http://www.tuhep.phys.tohoku.ac.jp/~watamura/kougi/ 対称性と物理 他 （場の量子論 解析力学） 講義資料 http://www.tuhep.phys.tohoku.ac.jp/~watamura/kougi/GP2012_2.pdf ＜群の構造＞ (抜粋) 2.2 剰余類と共役類 2.2.2 共役元と共役類 conjugacy class 共役変換 共役変換は群同型写像を与える． 共役類 群 G のすべての元による a の共役変換によって得られる集合，つまり共役な元 の集合を a を含む共役類と呼ぶ． 共役類の性質 1. 単位元は，必ず単独で類である． 2. 可換群は，それぞれの元が単独で共役類になる． 3. 群の元を，それぞれの類に分解することができる．これを類別と呼ぶ． 4. 類別は共役という同値関係6 ∃g : a = gbg?1 ならば a ? b (2.23) を入れ分類したことに相当する．このようにして，群の構造を大雑把に理解するこ とができる． 5. 共役類に類別してできた類の集合を G/ ? と書く． 2.4.4 対称群の共役類 対称群の共役の性質と共役類 1. 巡回の長さは共役変換で変わらない． 2. 対称群の共役類は巡回で分解したときの長さの組み合わせで指定される．つまり Sn の共役類は n の分割 (partition) で決まる． ただし，n の分割とは，正整数 λi の組 [λ1, ・ ・ ・ , λk] で 琶 λi = n となるもの． 3. 分割の中の数字は上記のように conjugation で変換できるので，同じ分割の置換は同 じ共役類に属することが分かる．またこのことから，置換群 Sn の共役類の数 p(n) は，n の分割数に等しい．
317:現代数学の系譜11 ガロア理論を読む
17/04/27 21:05:37.92 rio6lBme.net
>>284 関連
下記、茨城大 山上滋先生 「群論入門これだけ」は、結構初期のスレで紹介した記憶がある
わずか、P44だから、初心者は読んで損はないだろう
それで、”群＝対称性”みたいなことを書いたら、噛みついてきたやつがいたね
数学科だったと思うが、群論初心者だったんだろうね（＾＾；
今頃は、”群＝対称性”が身にしみて分かったろうね（＾＾；
URLﾘﾝｸ(sss.sci.ibaraki.ac.jp)
群論入門これだけ 山上滋 2008 年 11 月 16 日
(抜粋)
おまたせしました、「これだけ」シリーズの群論入門編です。
群論の初歩を半年かけて学びます。「群」の授業は、代数の一部というとらえ方が支配
的ですが、幾何学・解析学さらには応用数学全般にまで及ぶ汎用的な形が本来のあるべき
姿です。もちろん、内容のある話をするためにはそれなりの予備知識を必要とし、また初
歩の内容としては、有限の対象を中心にせざる得ないという事情もありますが、できるだ
け代数固有の話題に入り込まないようなものをここでは意図してみました。
最近は、そういった心がけの日本語の本もいくつか目に付くようにはなってきました
が、群に限定したものとなると、まだまだ不足しているという印象です。教える側の意識
の問題もあるのでしょう。（教科書として使われない本は出版され難い。）
URLﾘﾝｸ(sss.sci.ibaraki.ac.jp)
授業記録 ここには現在および過去の茨城大学理学部における授業 （の一部）についての記録が収められています。
＜URLリンクは省略する＞
微積分
関数解析
常微分方程式
カタラン数学
集合と実数
集合入門
行列代数
群論入門
318: 実数入門 ルべーグ積分 フーリエ解析
319:現代数学の系譜11 ガロア理論を読む
17/04/27 21:19:29.18 rio6lBme.net
>>228 ガロア理論関連
「置換群に翻弄された方程式の可解性―ガロア理論再考 上野孝司 2016」面白いよ。わずかP6だからすぐ読める。初心者は一読の価値あり！（＾＾；
URLﾘﾝｸ(hooktail.sub.jp)
「物理のかぎしっぽ」
URLﾘﾝｸ(hooktail.sub.jp)
置換群に翻弄された方程式の可解性―ガロア理論再考 上野孝司 2016 年６月７日
(抜粋)
筆者は別稿『響きあうガロアとガウス―正 17 角形の作図問題』で、ガロアの理論とガウスの考えた f 項周期
（拡大体の基底）を基に正 17 角形が作図できることを示したが、本稿ではガロア理論を再考することによって
代数方程式の可解性について概略を述べる。ガロア理論の中心的な定理―体と群の一対一対応―を概説し
て、それを方程式論に適用する。そして、何百年もの間、ひとびとを悩ませてきた一? 般代数方程式の可解性の ?
帰趨が、極めて一般的で普遍的なガロアの基本定理の論理的枠組みに内包されつつも、最終的には対称群（置
換群）Sn のテ? ク? ニ? カ? ルな性質の一端（擬人化すれば性格）に翻弄されたことは驚くべき事実である。その普 ?
遍性と個別性の大きな格差を見破ったガロアの慧眼に敬意を表しつつその舞台裏を明らかにする。
320:現代数学の系譜11 ガロア理論を読む
17/04/27 21:34:59.95 rio6lBme.net
昔、服部 昭先生の「現代代数学 (近代数学講座)」を読んだが、”むず”かった。歯が立たなかったな～（＾＾；
ただ、「代数拡大は単項拡大になる」みたいな定理があって、それだけ覚えている
”圏とホモロジー”か・・、あったかも・・、あったような気がする・・
読んでて楽しかったが、難しすぎて、置き場が無くなったので整理してしまった。他のガロア本を読んだので（＾＾；
（いまなら、もう少し読めるかも・・）
URLﾘﾝｸ(www.amazon.co.jp)
現代代数学 (近代数学講座) 単行本 ? 2004/4 服部 昭 (著)
内容（「BOOK」データベースより）
本書は代数学の基礎的部分についての概説である。読者としては数学専攻の3、4年次またはこれに準ずるものを想定している。従ってここでは代数学の最も合理的な体系づけとか、著者の代数学に対する感じ方の表明とかが目標ではなく、基礎的素材の取り扱いと代数学的考察の具体例を示すことが主眼になる。
内容（「MARC」データベースより）
「近代数学講座」シリーズの第1巻では、代数学の基礎的部分について概説し、基礎的素材の取り扱いと代数学的考察の具体例を示す。群、環、加群、圏とホモロジー、可換体、ガロア理論などで構成。1968年刊の再刊。
単行本: 226ページ
出版社: 朝倉書店; 復刊版 (2004/04)
トップカスタマーレビュー
5つ星のうち 3.0内容は星４つだが初心者向きでないので総合評価は星３つ
投稿者 カスタマー 投稿日 2004/5/13
形式: 単行本
この本が書かれてから40年近くが経過しているが、多くの事項が網羅された代数学の本としての内容は古びていない：例をあげると、位相群や代数極限を解説した後にガロワ・コホモロジーの初歩まで言及されている。しかし、全体の記述は極めて"terse"であり（初学者の）通読には向かない。
また、現在の観点からすると可換代数や非可換代数、体の超越拡大等の更なる解説が望まれるし、代数体の初等的な議論が欲しいところで
321:ある。 著者による改訂はもう物故されている由で望むべくも無いが、この本の精神を生かしつつもう少し初学者向きに編集し、かつ上記の話題を補う試みが為される事を切望する。
322:１３２人目の素数さん
17/04/27 21:36:00.65 3CLOdPwk.net
このスレ主誰に話しかけてんの？キモイ
323:現代数学の系譜11 ガロア理論を読む
17/04/27 21:54:28.21 rio6lBme.net
倉田 令二朗先生が、「ガロアを読む」で、ファン・デル・ヴェルデンが最高とか書いていたが、ファン・デル・ヴェルデンは自分は手に取ったことがない・・（＾＾；
まあ、今は、新しい本が沢山出ているし・・（＾＾；
URLﾘﾝｸ(www.amazon.co.jp)
ガロアを読む―第1論文研究 単行本 ? 1987/7/15 倉田 令二朗 (著)
トップカスタマーレビュー
5つ星のうち 5.0ガロアの方程式論、特にその第1論文の素晴らしい研究書
投稿者 susumukuni VINE メンバー 投稿日 2012/9/15
324:現代数学の系譜11 ガロア理論を読む
17/04/27 22:07:27.05 rio6lBme.net
>>288
ID:3CLOdPwkさん、どうも。スレ主です。
レスありがとう。助かるよ
で、このスレはね、私のメモ帳なんだよ。人は、チラシの裏ともいうがね
で、自分ではブログみたいなものだと・・（＾＾；
325:現代数学の系譜11 ガロア理論を読む
17/04/27 22:26:39.61 rio6lBme.net
じゃあ、自分のブログでやれと
過去、そういう声が、いろいろとあったが・・
実は、自分のブログは、もってないし
そもそも、自分のブログを開設しても
人はだれも来ないだろうよ（＾＾；
なので、天下のチラシの裏を使わせて貰おうということさ・・（＾＾；
326:現代数学の系譜11 ガロア理論を読む
17/04/27 23:05:29.56 rio6lBme.net
まあ、確実に言えることは、自分個人のブログなら、小猫一匹こないだろうが
ここなら、迷い込む人 >>288 や、おっちゃん、￥さんがいるので、確実に人は多いね
人がいないと、間違ったカキコでも気づかないが、ここなら突っ込みが入るので、間違いが修正できる
過去、共役変換の間違った理解を教えて貰ったね・・（＾＾；
副作用として、自分の方が間違っているのに、自分の間違いを認めず「正しい」と言い張る人がいる
このスレでは、そういう人たちは、High level people と呼ばれている・・（＾＾；
327:現代数学の系譜11 ガロア理論を読む
17/04/27 23:10:13.34 rio6lBme.net
>>289 関連
URLﾘﾝｸ(www.amazon.co.jp)
現代代数学 1～3 単行本 ? 1981/4 B・L・ファン・デル・ヴェルデン (著), 銀林浩 (著)
登録情報
単行本: 190ページ
出版社: 東京図書 (1981/04)
URLﾘﾝｸ(gendai-suugaku.com)
現代数学入門 数学が密かなブームということで、遠山啓著「現代数学入門」(ちくま学芸文庫)をもとに現代数学について解説しています。
URLﾘﾝｸ(gendai-suugaku.com)
現代数学 一
数学は、２０世紀前半では、大学では微分積分の延長のようなものだったのですが、１９３０年に出版されたファン・デル・ヴェルデンの『Modern Algebra』が「これは数学なのか」衝撃を受けた人が少なくないと言います。
次にフレシェの『抽象空間』(１９２８年)に出版されています。
当時は、この本が唯一の位相空間の本だったということです。
その後、アレキサンドロフ・ホップの『トポロジー』のようによく整理された本が出版されましたが、『抽象空間』のみの時は、位相空間に関してはこの本しか読む事はできず、しかし、この『抽象空間』はとても読みづらく、証明がしてない本であったために、読者が自分で証明しながら読むしかなかったのでした。
この『抽象空間』もファン・デル・ヴェルデンの『現代代数学』と同じように衝撃を与えたようです。
しかし、現代の数学を学ぶ人は、初めから新しい現代数学を学んでいるので、当時の無数学者が感じた衝撃は感じずなくなっていると思います。
ファン・デル・ヴェルデンの本も「現代」がとれて『代数学』となって出版されています。
つづく
328:現代数学の系譜11 ガロア理論を読む
17/04/27 23:11:46.09 rio6lBme.net
>>293 つづき
現代数学 二
現代数学の考え方は、余りにも専門化してしまい、数学をもう一度常識的なものに引き戻すというような一面があります。
その事を理解するには、１９世紀の数学が到達した理論を見てみればすみます。
例えば、複素変数関数論を見てみれば、解ると思います。
楕円関数からアーベル関数や保型関数までの発展を辿っても、其処には素人の人が理解できそうなものは何一つありません。
また、ガウスから始まる整数論の発展の後を追ってみてもいいです。
それはあくまで数学内部の事に過ぎないことが解かります。
類体論についてもその理論の深さは、素人が手が出せない代物です。
しかし、現代数学では違ってきています。
余りにも専門化してしまった数学をもう一度常識に引き戻し、数学の専門家以外の人にも解かるものにしたという一面があります。
そのために、現代数学に素人の人が接しても驚くどころか、その考え方は余りにも一般的ではないかという印象を持つに違いありません。
もともと、考え方の変革は、多かれ少なかれ価値の逆転、つまり、パラダイム変換を行うももですので、規制の知識を多く持っている人ほど失う部分が多いのではないでしょうか。
現代数学の持っている大きな特徴は、それまでの数学では考えられないほどに広範囲にその行動範囲を拡大したことだろうと思います。
これまで、数学の分野に入りそうにないものまでも数学の仲間に入ってきたのです。
(引用終り)
329:現代数学の系譜11 ガロア理論を読む
17/04/27 23:16:01.12 rio6lBme.net
>>294 所感
これそのままコピペだが・・
パラダイム変換を行うももですので、規制の知識を多く持っている人ほど失う部分が多い
↓
パラダイム変換を行うものですので、既成の知識を多く持っている人ほど失う部分が多い
それまでの数学では考えられないほどに広範囲にその行動範囲を拡大した
↓
それまでの数学では考えられないほどに広範囲にその適用範囲を拡大した
かなと、個人的には思う
330:現代数学の系譜11 ガロア理論を読む
17/04/27 23:30:47.15 rio6lBme.net
>>283 関連
URLﾘﾝｸ(d.hatena.ne.jp)
van der Waerden の『現代代数学』を全然読めてない件について 2010-05-29 数学雑記TuvianNavy’s port
(抜粋)
学力不足を恥じたり読めないといって自分を責めるのは若い人のやることです。もう若くないので鉄面皮に周辺事情とかどうでもいい話を書きます。
なんか計算機科学とか、Haskell、ML界隈の人って圏論とか使いますよね。矢印が出てきてモノイドがどうとか。
私は圏論とか普遍代数以前に群論、可換環論が全くわからないので、数論の奇人、加藤和也が航空工学から数学に転向したときに取り憑かれたように読んでいたという伝説の書、『現代代数学』[1]を Amazon.co.uk で注文し、4月14日あたりに届いたのですが、
3次元の回転群は可換でない、という説明でひっかかって先へ進めていません(2次元の回転群は、時計の針を考えればすぐわかるように可換です)。
そもそも線形代数の知識が高校時代の代数・幾何(旧課程です。2010年現在の数学B、数学C相当)で止まっていたのを忘れてました。
ちなみにこの本は線形代数の知識があることをはなっから前提としていて、線形独立性／線形従属性／基底について書いてあるページ数はドイツ語の初版でたった4ページ、自分の持ってる英語版(ドイツ語第2版の英訳)でも足かけ6ページです。うわー。
ネーターが研究してた可換環のイデアル論は多項式を「素因数分解」した整式でもとの環の小型版とかを作る話なので(たぶん)、まあなんか多項式の最高次数とは密接に関係しそうですよね。
これが使えそうだというのでファン・デル・ヴェルデンは、ネーターのいたゲッチンゲンやらネーターの弟子のアルティンのいたハンブルグやらで聴いたり講じたりしたあげく、「ネーターとアルティンの講義を元にした」(と書いてある)現代代数学の教科書を書き上げました。
ちなみに書名の「現代」という prefix はドイツ語第4版で取れてます。ようするにこの本の抽象代数学がそれだけ一般化したわけです。
マックレーンはこの本が代数の世界を変え、その後の代数幾何の進歩の基盤になったのだ、と書いてます。代数幾何ですか。。。難しそうすぎる。。。
331:現代数学の系譜11 ガロア理論を読む
17/04/27 23:35:17.38 rio6lBme.net
>>296 所感
個人的には
数論の奇人、加藤和也
↓
数論の奇才、加藤和也
とでも書いてやれば、もっと良かったように思う（＾＾；
332:１３２人目の素数さん
17/04/28 01:09:46.05 6ESmr9cA.net
>>251-256
だからお前は何の話をしてるんだって。ハイレベルピープルとか時枝問題とか俺は
一切預かり知らん。一体誰と勘違いしてるんだ？
俺は数列の話しかしていない。お前が持ち出した数列の連結なるものへの問い（>>139）
に答えられないからって、訳の分からない話で誤魔化すのは卑怯者のすることだ。
お前は数学をまったく分かってないだけでなく人格もクズだ。
ブログも駄目だ。お前のような卑怯者は人と接する資格無し。自分一人でやれ。
333:１３２人目の素数さん
17/04/28 03:20:18.49 BYipLpJ8.net
ｽﾚﾘﾝｸ(mass板)
334:現代数学の系譜11 ガロア理論を読む
17/04/28 07:25:57.25 zelHqvo4.net
シカトー
335:現代数学の系譜11 ガロア理論を読む
17/04/28 07:27:29.11 zelHqvo4.net
つー、>>257-259
336:現代数学の系譜11 ガロア理論を読む
17/04/28 07:28:08.82 zelHqvo4.net
ここはガロアスレ
おれ、スレ主
ガロア理論以外のテーマを選ぶかどうかは、スレ主が決める
337:現代数学の系譜11 ガロア理論を読む
17/04/28 07:29:20.51 zelHqvo4.net
つー、>>14
338:現代数学の系譜11 ガロア理論を読む
17/04/28 07:30:00.44 zelHqvo4.net
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
339:現代数学の系譜11 ガロア理論を読む
17/04/28 07:31:27.60 zelHqvo4.net
おれが、数列で何か間違ったことを書いた？ まあ、あるでしょ。否定はしない
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
それでいいでしょ？
340:現代数学の系譜11 ガロア理論を読む
17/04/28 07:34:14.86 zelHqvo4.net
「時枝問題とか俺は 一切預かり知らん。一体誰と勘違いしてるんだ？」
おまえこそ、おれを誰と勘違いしてんだ？ おれスレ主、ここはおれのガロアスレ、だれからの指図も受けない
341:現代数学の系譜11 ガロア理論を読む
17/04/28 07:37:51.89 zelHqvo4.net
時枝問題と関係ない数列の話なら、スレ違いだ。おれは無視するよ
卑怯者？ ああ、結構だね。スレ主は、卑怯者で、馬鹿であほです。それで結構です
結論が出ましたので、どうぞお引き取りください
342:現代数学の系譜11 ガロア理論を読む
17/04/28 07:41:00.34 zelHqvo4.net
>>299 運営乙
343:現代数学の系譜11 ガロア理論を読む
17/04/28 07:54:56.08 zelHqvo4.net
>>293 関連
URLﾘﾝｸ(gendai-suugaku.com)
現代数学入門
URLﾘﾝｸ(gendai-suugaku.com)
(抜粋)
現代数学の勉強法 一
学校で勉強した数学というは、近代の数学までで現代数学は、それとはあまり関係がないのです。
近代までの数学を全部やらないと現代の数学が解からないということはないのです。
いきなり、現代の数学に取り掛かっても何も問題ではありません。
それは、現代の数学が数学以外の分野でも有効であるからです。
構造という考え方が、心理学、言語学、文化人類学などにとてもよく応用されていて、数学以外の分野の人は、それは位数学とは関係ないというかもしれませんが、数学から見れば、それらは数学の構造と同じ考え方なのです。
現代の数学は、大変、応用範囲が広いのです。
現代の数学になりますと、「数の学」とは必ずしも言えなくなるのです。
もちろん、数も研究しますが、もっと広範囲のものを扱っています。
だから、数学というのは、構造�
344:ﾌ科学と言っていいのです。 これまでは、数が出て来なければ、数学とは言えませんでしたが、現代の数学は構造の科学なので、数の研究ばかりしてはいないのです。 構造が出てくれば、数学が始まったと言っていいくらいなのです。 そういった意味では、現代になって数学は大きな変貌を遂げました。 現代数学の勉強法 二 同型という考えは既にありました。 それ故に大昔から数学は構造の学問であったと言えないことはないのです。 唯、構造というものが鮮明ではなかったのです。 「変貌」というのは、そういう意味で、顔つきは変わったけれども、中身は案外変わっていないのかもしれません。 これからも数学はいろいろと「変貌」するかもしれません。 将来はまだ大事でない概念がはっきりと見えていないのかもしれません。 数学を古代から現代膜で概観してきましたが、現代数学では、学校で習った数学とはその姿を変えて、近代までの数学の知識がなくてもとっつくことが可能なのです。 そして、数学というのは、非常に簡単な学問なのです。 勘所を押さえれば、非常に簡単な学問であると考え、もう一度、数学を勉強しようと思っていただければ、幸いです。
345:現代数学の系譜11 ガロア理論を読む
17/04/28 07:59:25.10 zelHqvo4.net
>>309 補足
数学を古代から現代膜で概観してきました
↓
数学を古代から現代まで概観してきました
かな？
”勘所を押さえれば、非常に簡単な学問であると考え、もう一度、数学を勉強しようと思っていただければ、幸いです。”は正しい
が、”勘所を押さえれば”が、どうやってってことかな・・（＾＾；
でも、”非常に簡単な学問であると考え”は同意だね・・（＾＾；
346:１３２人目の素数さん
17/04/28 09:38:14.47 6ESmr9cA.net
卑怯者なら陰でこそこそやってろ
お天道様の下で大手を振っていいのは堅気だけだ
347:現代数学の系譜11 ガロア理論を読む
17/04/28 10:09:46.45 zelHqvo4.net
>>293 関連
> URLﾘﾝｸ(gendai-suugaku.com)
> 現代数学入門 数学が密かなブームということで、遠山啓著「現代数学入門」(ちくま学芸文庫)をもとに現代数学について解説しています。
URLﾘﾝｸ(www.amazon.co.jp)
現代数学入門 (ちくま学芸文庫) 文庫 ? 2012/10
遠山 啓 (著)
トップカスタマーレビュー
5つ星のうち 5.0数学のフレームワーク・ツアー
投稿者 zeke21 投稿日 2012/11/16
Amazonで購入
数学教育者として著名な遠山啓氏の過去の著作集から、講演録「数学は変貌する」と
かつて数学セミナーに連載された「現代数学への招待」15回分を一冊に纏めた、数学
入門者にとって格好のガイドブックに仕上がっています。
「数学は変貌する」では、古代（経験的・帰納的）→中世（演繹的・静的）→
近代（分析と総合・動的）→現代（構成的）といった数学の発展と変貌を、各時代の
トピックスを絡めながら技術的には深入りせずに平易な語り口で一望させてくれます。
「現代数学への招待」では、特に構成的方法の主力となる集合論および構造論（群・
環・体・位相）について多彩な例を挙げつつ、これも平易な語り口ながらその本質的
意義を垣間見させてくれます。
なお、本書は数学を必ずしも専門としない人をまず念頭に置いた「啓蒙書」です。
348:現代数学の系譜11 ガロア理論を読む
17/04/28 10:11:59.81 zelHqvo4.net
>>311
シカトー
ここはガロアスレ
おれ、スレ主。だれからの指図も受けない
349:現代数学の系譜11 ガロア理論を読む
17/04/28 10:14:24.55 zelHqvo4.net
まあ、sage 進行推奨で、陰でこそこそやってますでな（＾＾
アルバイトなら、age 進行推奨だろうがね・・（＾＾
では、お引き取りください（＾＾
350:現代数学の系譜11 ガロア理論を読む
17/04/28 10:29:46.18 zelHqvo4.net
>>312 関連
補足：カスタマーレビューは抜粋な
それで、『数学セミナー』下記
URLﾘﾝｸ(d.hatena.ne.jp)
hiroyukikojimaの日記
2009-09-13
数学セミナーの思い出
(抜粋)
久しぶりに『数学セミナー』に記事を書いた。今、店頭にある2009年10月号。
記事は、「遠山啓氏の思想から見えるもの」で、遠山啓氏生誕100周年の記念特集の一つである。今では、あまり知られていないかもしれないが、この雑誌の初期の責任編集は、遠山啓と矢野健太郎だったのである。いくつかの著作で書いたように、ぼくは遠山啓から大きな影響を受けているので、こういう特集に参�
351:ﾁできるのは光栄だ。
352:現代数学の系譜11 ガロア理論を読む
17/04/28 10:34:06.68 zelHqvo4.net
>>315 関連
遠山啓、1962年、『数学セミナー』（日本評論社）を創刊する か。知らなかったね（＾＾；
URLﾘﾝｸ(www.tarojiro.co.jp)
太郎次郎エディタス
(抜粋)
遠山啓（とおやまひらく）
1909年、熊本県に生まれる。
1938年～1943年、海軍霞ヶ浦航空隊の海軍教授。
1944年～1969年、東京工業大学で数学を教える。
1949年、「代数関数の非アーベル的理論」で理学博士。
1951年、数学教育協議会を結成し、数学教育の改革運動をおこす。
“量の体系”“水道方式”など画期的な理論を生みだす。
その理論と実践は数学教育の分野を超えてはかりしれない影響をあたえた
1959年、『数学入門』（岩波新書）で毎日出版文化賞を受ける。
1962年、『数学セミナー』（日本評論社）を創刊する。
1968年ごろから障害児教育の研究に取り組み、“原教科”構想を打ちだし、障害児に教科教育の道を拓く。
1970年、東京工業大学 定年退職。同大名誉教授となる。
1973年、教育の全般的な改革をめざして月刊誌『ひと』（太郎次郎社）を創刊し、その編集代表となり、教育市民運動の中心となる。
1978年、明星学園理事。
1979年9月11日、没。
353:現代数学の系譜11 ガロア理論を読む
17/04/28 10:43:49.63 zelHqvo4.net
>>316 関連
『数学セミナー』の歴史 『数学セミナー』編集長 大賀雅美さん 2007
URLﾘﾝｸ(www.nara-wu.ac.jp)
「魅力ある大学院教育」イニシアティブ 先端科学技術の芽を生み出す女性研究者育成 奈良女子大学
URLﾘﾝｸ(www.nara-wu.ac.jp)
奈良女子大学「科学情報発信セミナー II」
数学を発信するということ：『数学セミナー』の編集を通して
(株) 日本評論社『数学セミナー』編集長 大賀雅美
(2007 年 11 月 2 日講義用資料)
(抜粋)
『数学セミナー』の歴史
『数学セミナー』の創刊は 1962 年 4 月．今年 (2007 年 5 月号) で 45 周年です (ちなみ
に，11 月 12 日発売の 2007 年 12 月号で通巻 555 号)．
創刊時より遠山啓先生，矢野健太郎先生のお二人が編集委員として参画．1993 年 3 月
号まで表紙に「遠山 啓＋矢野健太郎＝創刊」の文字が入っています．編集委員には途中
から，赤攝也先生と清水達雄先生が加わり，1990 年代初頭まで参画されました．
遠山・矢野両先生がどのような思いでこの雑誌を作られたかは，創刊号の巻頭にある
遠山先生の言葉に読み取ることができます．
つづく
354:現代数学の系譜11 ガロア理論を読む
17/04/28 10:45:35.26 zelHqvo4.net
>>317 つづき
「数学は雲の上の仙人のやる学問だ，というのがこれまでの常識だった．
ところが仙人ならぬ生きた人間が雲をつきぬけて月までも，金星までも行けるよ
うになった今日では，数学も仙人の学問ではなくなって，生きた人間にとって欠く
ことのできない知識となってきた．
実生活のほうが数学に近づいてきたのか，それとも数学のほうが実生活に近づい
てきたのか，おそらく両方だと思うが，数学と実生活の接触点はこれまでになく大
きくなってきた．(中略)
この雑誌は数学と現代文化や現代生活との接触から生ずる�
355:ｽ種多様な問題を積極 的にとりあげて行くようにしたい．(中略) この雑誌はそうした (＝遅ればせながら数学を学びなおしたい) 人々の役にも立つよう にしたい．(中略) この種の雑誌はこれまで日本になかった． したがって他人の真似で編集していくことはできないので，むつかしい点は多々 あるだろうが，その反面，型にとらわれない思い切った編集方針がとれる．そうい う有利な点を生かして現代の要求に応ずる清新はつらつたる雑誌にしていきたいと 念願している．」 (『数学セミナー』1962 年 4 月号 1 ページ「数学と現代文化??創刊のことば」より) 現在も，この創刊のことばに大幅に逸脱しない程度の自由な発想で雑誌を企画・制作しています． 『数学セミナー』の初代編集長は女性で，創刊時より 13 年間雑誌の編集に携わってこ られました．また，この 45 年のうち，女性の編集部員がまったくいないという時期も少 なく，仕事をするときも性差を特に意識させられたことはありません． 編集部は現在，編集長 1 人＋編集部員 2 人＝計 3 人で企画・依頼・編集・制作を行って います． (引用終り)
356:現代数学の系譜11 ガロア理論を読む
17/04/28 10:51:04.27 zelHqvo4.net
遠山啓先生，矢野健太郎先生のお二人とも、東京工大だったよね、確か・・
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6%E8%80%85)
矢野 健太郎（やの けんたろう、1912年（明治45年）3月1日 - 1993年（平成5年）12月25日）は、日本の数学者。東京工業大学名誉教授。専門は微分幾何学。従三位勲二等瑞宝章。数学教育、一般への啓蒙についても精力的に活動し、この方面に関する著作も多い。
来歴[編集]
彫刻家の子として東京に生まれた。市立東京二中、旧制東京高校、東京帝国大学理学部数学科を卒業後、同大学助教授、東京工業大学教授などを務めた。1950年（昭和25年） - 1952年（昭和27年）にはプリンストン高等研究所に赴任し、アインシュタインをはじめとする一流数学者の薫陶を受けた。
人物[編集]
数学者として[編集]
小学生のときにアインシュタインの訪日と相対性理論に関するニュースを聞く。
旧制高校在籍中に、相対性理論を理解するには微分幾何学、特にその中のリーマン幾何学を良く理解していなければならないと、当時東大助教授だった理論物理学者の山内恭彦に言われ[1][2]、 東京帝国大学では幾何学を専攻、1934年（昭和9年）に卒業して大学院に進む。
同時に東京物理学校の講師に就任。その当時グレゴリオ・リッチ (Curbustro Gregorio Ricci) 、レビ・チビタ (Tullio Levi-Civita) などの絶対微分学が確立されつつある時代で、いち早くその重要性に着目した。またおなじころ、発展中であった、エリ・カルタンの接続の概念に注目し、カルタンの下での研究を志し、1936年（昭和11年）にパリ大学へ留学した。
パリ大学で提出した射影接続空間に関する論文により理学博士の学位を得る。1941年 東京大学 、理学博士 論文は仏文である。「共形接続空間の理論について(仏文)」。
プリンストン高等研究所ではサロモン・ボホナー (en:Salomon Bochner) のもとで大域微分幾何学の研究を主に行い、ボホナーとの共著も出版されている。
当時同じくプリンストン高等研究所にいたアインシュタインと親交を深める。矢野の夫人とアインシュタインが腕を組んでいる写真は矢野家の家宝とのことである。その当時のことを記した『アインシュタイン伝』[4]は代表作である。
つづく
357:現代数学の系譜11 ガロア理論を読む
17/04/28 10:54:03.92 zelHqvo4.net
>>319 つづき
教育者として[編集]
矢野は多数の書物を執筆しており、その多くはいまでも広く読まれている。『数学通論』、『教養の数学』のような専門書、教科書から、『数学の楽しさ』、『数学物語』、『ゆかいな数学者たち』のような啓蒙書、エッセイ集、『解法のテクニック』などの大学受験参考書まで質的にも幅広い。遠山啓と共に雑誌『数学セミナー』の創刊に寄与し、多くの記事を執筆している[要出典]。
その他[編集]
微分幾何学ではベクトル場という概念は基本的であるが、「矢野」という名前を英訳すると、矢＝Vector、野＝Fieldで、矢野＝Vector Fieldとなってうまく符合する。
ある時外国の数学者との場で、名前を英訳したら、という話題になった時、そう説明したところ、うまくできすぎているため即座には信じてもらえなかったというのは有名な話である[1]。
そこでさらに「では小林昭七はどういう意味か」と問われて「小林＝Littlewood」と答えても信じてもらえなかった。
これまた、当時リトルウッドという有名な数学者がいたためである。
居合わせた教授連が欧米人のみであったために、冗談と思われたのであるが、たまたま部屋へ入ってきた数学者陳省身に確認してもらい、ようやく信じてもらえたそうである。
ヴァイオリンをたしなんだことでも知られている。
(引用終り)
358:現代数学の系譜11 ガロア理論を読む
17/04/28 10:57:03.39 zelHqvo4.net
なるほど・・
遠山啓先生の方が個性が強そうだから、矢野健太郎先生を巻き込んで、『数学セミナー』の創刊となったのかね～（＾＾；
359:現代数学の系譜11 ガロア理論を読む
17/04/28 12:20:39.17 zelHqvo4.net
>>316
> 1970年、東京工業大学 定年退職。同大名誉教授となる。
> 1973年、教育の全般的な改革をめざして月刊誌『ひと』（太郎次郎社）を創刊し、その編集代表となり、教育市民運動の中心となる。
なるほど、東京工業大学 定年退職後、月刊誌『ひと』（太郎次郎社）を創刊か・・
URLﾘﾝｸ(www.tarojiro.co.jp)
太郎次郎社エディタスについて
太郎次郎社エディタスは、教育・社会・家族などの分野の書籍や、「漢字」「かな文字」「算数」などの教材教具を企画制作・発行している出版社です。
母体である「太郎次郎社」は1972年に設立（代表・浅川満）。数学者・遠山啓を編集代表とする月刊教育誌『ひと』を核とする出版活動をおこないました。 [ 詳しくはこちらから ]
2003年、新世代による業務展開のため、新社「太郎次郎社エディタス」を設立。
2004年、全営業譲渡により、出版社業務のすべてとスタッフを太郎次郎社エディタスに移管し、現在にいたっています。全刊行物・約400点。現在販売中の刊行物・284点（2012年4月現在）。
一般書籍とともに、長年の教育実践のなかで培われてきた、たのしく深くわかる学びを新世代に手渡すための刊行物を発行しています。
360:現代数学の系譜11 ガロア理論を読む
17/04/28 12:25:31.96 zelHqvo4.net
>>320
>たまたま部屋へ入ってきた数学者陳省身に確認してもらい、ようやく信じてもらえたそうである。
数学者陳省身、チャーン類でレジェンドだね
URLﾘﾝｸ(ja.wikipedia.org)
陳省身（ちん しょうしん、1911年10月26日 - 2004年12月3日）は中華民国、アメリカの数学者。エリ・カルタンを継ぐ20世紀を代表する幾何学者。
人物・来歴[編集]
1930年に南開大学卒業後、清華大学の大学院に進学。1934年にドイツのハンブルク大学に留学しヴィルヘルム・ブラシュケ (en:Wilhelm Blaschke) に学ぶ。1936年に博士号を取得。
その後
361:一年間、当時最先端の微分幾何学者であったエリー・カルタンに師事し、カルタン流の幾何学をマスターする。1937年に清華大学教授に就任。1943年プリンストン高等研究所研究員、1949年シカゴ大学教授、1960年カリフォルニア大学バークレー校教授、1982年MSRI所長、1985年南開大学数学研究所所長。 教え子に野水克己やシン・トゥン・ヤウ（丘成桐）がいる。 研究[編集] ガウス・ボンネの定理の非常に簡単な証明やチャーン類の発見、チャーン・ヴェイユ理論、チャーン・サイモンズ理論（近年数理物理学で特に重要な役割を果たしている）でよく知られている。それだけではなく、極小部分多様体論、積分幾何学、等長埋め込み、正則写像と値分布論、G-構造論、フィンスラー幾何学で様々な貢献がある。 受賞歴[編集] 1970年 ショーヴネ賞（数学） 1975年 アメリカ国家科学賞（数学） 1982年 フンボルト賞（数学） 1983/4年 ウルフ賞数学部門 1985年 南開大学より名誉博士号 2004年 ショウ賞（数理科学）[2]
362:現代数学の系譜11 ガロア理論を読む
17/04/28 13:22:17.77 zelHqvo4.net
>>312
>なお、本書は数学を必ずしも専門としない人をまず念頭に置いた「啓蒙書」です。
数学を専門とする人は、>>309-310ではちょっと足りないかな
足りないことで主なのは、圏論的な見方とか
あと、ある種集合の組を一つ対象のように考える
イデアルがその代表だが
イデアルは一つの集合だが、複数の集合を組み合わせて、組み合わせで一つと考える
確率空間の下記三つ組による定義は、その典型か。（下記・・、wikipedia 冒頭の三つ組記号と後ろの記号とは違うところが、wikipediaらしいがね・・（^^；
まあ、この手の”三つ組による定義”みたいなのは、現代数学では頻出だ
この種の定義になれないと、いけないね
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
確率空間（かくりつくうかん、英: probability space）とは、可測空間 (S, M) に確率測度 μ(S) = 1 を入れた測度空間 (S, M, μ) を言う。アンドレイ・コルモゴロフによる確率論の公理的構成から、現代においては、確率論は確率空間における確率測度の理論として展開される。
定義
三つ組 (S, E, P) のことを確率空間と呼ぶ。
363:現代数学の系譜11 ガロア理論を読む
17/04/28 13:33:30.85 zelHqvo4.net
>>192 関連
”まあ、プロは右脳も使うのよ(下記)
将棋も数学のプロも同じ
数学は論理の積み重ね→左脳を使う＝論理を一つずつ追って行く
将棋も読みの積み重ね→左脳を使う＝手順を一つずつ追って行く
多くの人がそう思う。まあ、それで終わるのがアマ将棋。数学も同じ
むかし￥さんが、コンヌ先生のことを彼らは雲の上の人だと。つまり、プロ数学者は右脳も使うのよ
閃いているんだよね、正しい筋が。結論の命題と、そこへ至る証明の道筋が・・
証明を書くのは、頭に閃いたことを紙に落とす単なる手続きみたいなもの”
例えば下記だな(将棋世界１月号記事みたが、この詰め将棋は難しいので有名で、プロでも手こずるよ。おそらく答えを覚えているんじゃない、人間のディープラーニングだ)
ｽﾚﾘﾝｸ(bgame板:852-858番)
藤井聡太応援スレ Part6
852 名前：名無し名人[sage] 投稿日：2017/04/27(木) 06:15:16.92 ID:vP9JsXVn
URLﾘﾝｸ(shogipic.jp)
URLﾘﾝｸ(shogipic.jp)
URLﾘﾝｸ(shogipic.jp)
URLﾘﾝｸ(shogipic.jp)
364: 将棋世界でこれを解かされてたけど 9分で全部解いててびっくりしたわ 858 名前：名無し名人[sage] 投稿日：2017/04/27(木) 06:59:53.21 ID:Wn8NLVFP [2/4] >>852 一つにつき2分ちょいか もう見た瞬間に解けてるねそれ
365:現代数学の系譜11 ガロア理論を読む
17/04/28 13:52:07.94 zelHqvo4.net
まあ、プロは一手一手読むんじゃなくて、一連の手筋で覚えている
見た瞬間に手筋が浮かぶ（そんなことを、将棋でも囲碁でも言ったり書いたりしているプロは多いよ）
まあ、プロに近いレベルにならないと分からないだろうが
が、そのレベルに行くまでは、やはり一手一手読む時代はあるんだろうね（＾＾
366:現代数学の系譜11 ガロア理論を読む
17/04/28 13:57:41.62 zelHqvo4.net
>>171
>が、10代後半と20代前半では伸びしろが全く違う。
>そして、20代後半でも30代前半でも伸びしろはある。
>ともかく、大学生は10代後半と20代前半で、しっかり自分を伸ばすことだな（＾＾；
まあ、下記でも。
チェスの話だが、ご参考
ｽﾚﾘﾝｸ(bgame板:434番)
藤井聡太応援スレ Part6
434 名前：名無し名人[sage] 投稿日：2017/04/26(水) 10:03:35.11 ID:MTrVx7vH [1/10]
>>401
URLﾘﾝｸ(en.wikipedia.org)
この15歳以下でグランドマスターになった選手一覧見ればわかるけど、
ほとんどが21世紀になってからなんだよな。以下13歳以下を特掲
１．セルゲイ・カヤキン（ウクライナ） 12歳7ヶ月0日 1990年1月12日生まれ 世界8位（最高4位）
２．パリマルジャン・ネギ（インド） 13歳4ヶ月21日 1993年2月9日生まれ 世界80位（最高74位）
３．マグナス・カールセン（ノルウェー） 13歳4ヶ月27日 1990年11月30日生まれ 世界1位
４．韋奕（中国） 13歳8ヶ月23日 1999年6月120日生まれ 世界27位（最高23位）
５．卜祥志（中国） 13歳10ヶ月10日 1985年12月10日生まれ 世界34位（最高22位）
６．サミュエル・セヴィアン（アメリカ） 13歳10ヶ月27日 2000年12月26日生まれ 世界338位
７．リハールド・ラッポルト（ハンガリー）13歳11ヶ月6日 1996年3月25日生まれ 世界49位（最高16位）
まあ、これにはからくりがあって、冷戦が終わるまではそうそう簡単に
国境越えて強い相手と対局できなくてレーティングを伸ばすのは簡単じゃなかった、
ってことはあるんだけど。
367:現代数学の系譜11 ガロア理論を読む
17/04/28 14:00:30.97 zelHqvo4.net
ゲームは世界が狭い
チェス 盤面 8x8
将棋 盤面 9x9
囲碁 盤面 19x19
数学は、ゲームよりかなり盤面が広い
人生は、数学よりもっと盤面が広い
368:現代数学の系譜11 ガロア理論を読む
17/04/28 14:04:35.07 zelHqvo4.net
盤面が狭いと、はやくグランドマスター級に到達するのかも知れないね
以前、１８世紀とか１９世紀、あるいは２０世紀前半、数学も盤面が狭かったか
同じ理系の化学や物理に比べて、世界的業績を上げる年齢が若いという統計があった
いま、数学もかなり盤面が広くなって、いろんなことを知ってないと、車輪の再発明に終わって、世界的業績までいかないように思う
369:現代数学の系譜11 ガロア理論を読む
17/04/28 14:17:15.71 zelHqvo4.net
数学の盤面が広くなっているから、良い指導者に恵まれて、早く現在の最前線に連れていって貰えるというのは、大事だろうね、プロになろうという人には・・、やはり留学が大事かも
370:現代数学の系譜11 ガロア理論を読む
17/04/28 15:26:24.79 zelHqvo4.net
>>211
C++さま、スレ主
Z変換の試験勉強進んでいますか？（＾＾；
>囲碁だったらお付き合いできそうですが…
囲碁は大学に入学後NHKの囲碁講座のテキスト
371:で覚えました、将棋は子供の頃だったのですが。 覚えたのが遅かったので、あまり強くなりませんが、将棋よりも自分の感覚で打てますよね 将棋は、いまどき戦法がいろいろあって、先手後手でそれぞれ定跡を覚えていないとまずい 将棋の方が、情報戦みたいなところがありますね 囲碁は、googleのアルファ碁からマスター碁が出て、隅の難解定石を打つより、そこは軽く流して、むしろ中央を厚く打つ そんな風潮になっているように思います まあ、私らアマレベルでは、将棋よりも囲碁の方が、盤面が広くて流れが緩やかなので、気楽に楽しめますよね（＾＾； 数学に同じかな？（＾＾；
372:現代数学の系譜11 ガロア理論を読む
17/04/28 16:02:31.80 zelHqvo4.net
>>112 類体論関連
下記、tsujimotterのノートブック、綺麗な図が多いのでたのしいよ（＾＾
URLﾘﾝｸ(tsujimotter.hatenablog.com)
tsujimotterのノートブック
2017-01-01 円分体の類体論の復習
373:
17/04/28 18:24:28.30 ZkLnXSzV.net
>>331
＞隅の難解定石を打つより、そこは軽く流して、むしろ中央を厚く打つ
これは置碁の分際でも強く薦められる打ち方ですね，星の定石は隅を地に出来ない場合の対処も含みます
それにしても一合枡，まだ覚えられません‥
374:１３２人目の素数さん
17/04/28 23:56:10.04 6ESmr9cA.net
>>313
自分の間違いを認められない頑固者
そのくせ勉強嫌い
一番数学に向かないタイプだね
375:１３２人目の素数さん
17/04/29 08:04:05.27 BERFAh/m.net
間違いを指摘されたら(>>31,>>37)
>>38
鹿とう
>>313
> シカトー
何なのこのスレ主の態度
こんなやつと話がしたい人間がいるってのもすごい
376:現代数学の系譜11 ガロア理論を読む
17/04/29 11:02:47.82 w5CJXsic.net
>>334-335
まあ、ここは、ガロアスレ、おれスレ主
このスレは、趣味と遊びのスレと思ってくれ（＾＾；
それが嫌なら来なくて良い>>259
自分でスレ立てるか、よそへ行け>>259
377:現代数学の系譜11 ガロア理論を読む
17/04/29 11:04:52.45 w5CJXsic.net
>>335
小学レベルとバカプロ固定>>1かな？
なんだかんだと無意味なことを書きながら、さりげなくageてるね・・（＾＾；
378:現代数学の系譜11 ガロア理論を読む
17/04/29 11:06:13.41 w5CJXsic.net
>>337 訂正
ああ、>>335→>>334だった（＾＾；
379:現代数学の系譜11 ガロア理論を読む
17/04/29 11:11:24.04 w5CJXsic.net
>>335
>間違いを指摘されたら(>>31,>>37)
未証明。だから、予想だな（＾＾；
>こんなやつと話がしたい人間がいるってのもすごい
おれも、話したい人間を選ぶ権利があるよ
皆さんも同じ権利がある
これは、憲法で保障された基本的人権の一つだ！（＾＾；
で、おれは、ID:BERFAh/mやID:6ESmr9cAさんとは、話したくないよと（＾＾；
380:現代数学の系譜11 ガロア理論を読む
17/04/29 11:13:47.79 w5CJXsic.net
小学レベルのバカプロ固定。それらと話をすると
算数板になってしまう
ここは数学板なので
それはまずいだろう・・（＾＾；
381:現代数学の系譜11 ガロア理論を読む
17/04/29 11:32:50.35 w5CJXsic.net
>>333
C++さん、どうも。スレ主です。
「一合マス」ね～。まあ、このスレでは知らない人もいるだろうから。下記でも（＾＾
ああ、下記「文字通り、一合の量を量れる枡程度の大きさであることから名付けられた。」という説明は完全に間違っているね～（＾＾
酒飲みは、一合枡は「枡酒」という言葉で分かるだろうが、一合枡の方が圧倒的に大きいよ
まあ、下記にあるとおり、一合枡が正確に分かればアマ高段者だというが
実戦的に解決するしかないかな。下記サイトにあるように、ある程度のパターンを覚えておいて、あとは実戦だね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
一合マス
一合マス（いちごうマス）は、囲碁用語で、隅の下図のような四角い黒の死活を指す言葉。文字通り、一合の量を量れる枡程度の大きさであることから名付けられた。
一合マスは一見単純な形ながら変化は複雑で奥が深く、「一合マスがわかれば初段」という言葉さえあった（昔の初段は、現在ならアマ高段者に相当する）。実戦でも類似した形が出現することは多く、普段からトレーニングしておくことが実力向上につながる。
382:１３２人目の素数さん
17/04/29 11:40:02.36 BERFAh/m.net
ここは断固数学スレです
間違いを指摘されると反論できずにシカトするスレ主いわく、数学スレだそうです
サラシアゲ
383:１３２人目の素数さん
17/04/29 11:42:49.64 z5ZVxW89.net
普通の馬鹿は救い様がある。間違いはしても指摘されれば理解できるから。
スレ主は救い様の無い馬鹿。
384:１３２人目の素数さん
17/04/29 11:48:18.71 BERFAh/m.net
みんな見ていろ
ここのスレ主は苦しくなるとコピペコピペでスレを埋め尽くすｗ
385:現代数学の系譜11 ガロア理論を読む
17/04/29 11:53:12.01 w5CJXsic.net
>>341 補足
「一合マス」ね～。下記、基本死活辞典 江場弘樹 著 は、書棚の肥やしであります
ネット公開のパブリックドメインにしたんやね
”応用死活丸暗記３４ 一合マスまとめ 長崎美人さんの日記 2012年07月20日”
「一合マスは①～⑦でほぼ完ぺきです。実戦的にはこれ位の知識で必要かつ十分。一生安心して碁が打てます。」とありますよ
まあ、「一合マス」談義はこの程度で・・・（＾＾
URLﾘﾝｸ(www.h-eba.com)
基. 本. 死. 活. 辞. 典. 江. 場. 弘. 樹. 著
第2章、その他の隅の死活、(1)一合マス型 - h-eba.com
URLﾘﾝｸ(www.h-eba.com)
目次
URLﾘﾝｸ(goxi.jp)
応用死活丸暗記３４ 一合マスまとめ 長崎美人さんの日記 2012年07月20日
一合マスは①～⑦でほぼ完ぺきです。
実戦的にはこれ位の知識で必要かつ十分。一生安心して碁が打てます。
昔は一合マスを完全にマスターすれば、プロの初段と言われていましたが、
これ以上の知識は趣味の世界と言えます。
ポイントをまとめました。繰り返し、変化図を並べ自分のものにしてください。
386:現代数学の系譜11 ガロア理論を読む
17/04/29 11:55:47.99 w5CJXsic.net
>>342-344
小学レベルのバカプロ固定たち、ごくろう（＾＾；
スレ主は苦しくともコピペコピペでスレを埋め尽くすよ（＾＾；
いつも、「埋め立てですか」と規制がはいる・・（＾＾；
387:１３２人目の素数さん
17/04/29 12:04:41.79 9GVy6wpU.net
おっちゃんです。
時枝問題について考えている中でスレ主は「数列の連結」なることをいい出したのに、>>235で
>だからHigh level peopleだの賛同者だの時枝記事だの何の話をしてるんだ？
>俺は数列について話してるんだ
というのはおかしくないかい。辻褄が合わないんだが。別人が現れたのか？
388:現代数学の系譜11 ガロア理論を読む
17/04/29 12:14:02.50 w5CJXsic.net
>>346 訂正
スレ主は苦しくともコピペコピペでスレを埋め尽くすよ（＾＾；
↓
スレ主は苦しくなくともコピペコピペでスレを埋め尽くすよ（＾＾；
389:現代数学の系譜11 ガロア理論を読む
17/04/29 12:18:29.15 w5CJXsic.net
>>347
おっちゃん、どうも、スレ主です。
応援ありがとう（＾＾；
>時枝問題について考えている中でスレ主は「数列の連結」なることをいい出したのに、>>235で
>だからHigh level peopleだの賛同者だの時枝記事だの何の話をしてるんだ？
>俺は数列について話してるんだ
>というのはおかしくないかい。辻褄が合わないんだが。別人が現れたのか？
そうなんだよね
可笑しいよね
その理由はいくつか考えられるが、”小学レベルのバカプロ固定たち”と考えるのが、一番つじつまが合う（＾＾；
まあ、ようするにどうでも良いから、難癖つけて、レスが多く付けば勝ち（儲け）なんだろうね（＾＾；
390:１３２人目の素数さん
17/04/29 12:36:53.96 z5ZVxW89.net
誤答おじさんの応援で浮かれるスレ主ｗ
＞というのはおかしくないかい。辻褄が合わないんだが。別人が現れたのか？
何がどうおかしいのかどう辻褄が合わないのか別人とは誰を指しているのか俺には理解不能。
数列は数学の基本の基本。High level peopleだの賛同者だの時枝記事だのをベースにしなきゃ
数列を語れんとでも？
スレ主は数学の基本の基本である数列をまったく理解していない。俺が言いたいのはそれ。
High level peopleだの賛同者だの時枝記事だのには興味ないし預かり知らん。
自分の発言の後始末を忘れずに。
何がどうおかしいのか？どう辻褄が合わないのか？別人とは誰を指しているのか？
391:現代数学の系譜11 ガロア理論を読む
17/04/29 12:48:04.69 w5CJXsic.net
シカトー
392:現代数学の系譜11 ガロア理論を読む
17/04/29 12:55:55.14 w5CJXsic.net
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれ（名無しカキコに価値をおく）はない
さらに、個人的には、わけわからん名無しさん（素数さん）との議論も、価値を置いていない
その理由は、上記に同じだ
それが、スレ主がコピペでこのスレを埋める理由であり
”小学レベルのバカプロ固定たち”とのつまらん議論で、時間とスレの余白を浪費しない理由さ（＾＾；
まあ、娯楽板ならバカ会話重視なんだろうが
学問板で、それはないだろう・・（＾＾；
393:現代数学の系譜11 ガロア理論を読む
17/04/29 12:58:06.62 w5CJXsic.net
まあ、囲碁 将棋 AIやコンピュータ プログラムは、スレ主の特権ということでよろしく（＾＾；
394:現代数学の系譜11 ガロア理論を読む
17/04/29 13:02:13.99 w5CJXsic.net
まあ、すでに表明しているように、スレ主の発言を真に受ける必要はないし、信用できるなどと思わないことだ
コピペも、正しいと思うことをコピペしているが、真偽は各人で検証して使うこと
まあ、スレ主の発言＜＜・・＜コピペ は言えるだろうね・・（＾＾；
395:１３２人目の素数さん
17/04/29 13:15:22.64 9GVy6wpU.net
>>350
>何がどうおかしいのか？どう辻褄が合わないのか？別人とは誰を指しているのか？
このスレの23のあたりを見てみるといい。
時枝問題の話と「数列の連結」なることについての話とがほぼ同じ日時或いは時間に混じって書かれている。
時枝問題のレスを見なかったのか？
そのように書かれたら、普通は時枝問題のレスの方も目にして見るだろうから、そう仮定して
>だからHigh level peopleだの賛同者だの時枝記事だの何の話をしてるんだ？
と書くことは時枝記事を目にして見ておらずおかしいと考えた。
辻褄が合わないと考えたのも、その仮定により生じた話。
別人とは、その存在性を仮定した上での話だが、今までこのスレに書いたことがなく、新しく参戦してスレ主を否定している人を指す。
396:１３２人目の素数さん
17/04/29 13:18:28.83 z5ZVxW89.net
お前の発言を信じる馬鹿もいないだろうから心配無用
早いとこ>>139への回答よろしく
答えられないなら潔く間違いを認めろ
397:１３２人目の素数さん
17/04/29 13:33:51.72 z5ZVxW89.net
>355
それらのレスを見たかどうかなんてどうでもいい。
>>139は純粋に数列についての問いだからだ。
High level peopleだの賛同者だの時枝記事だのでお茶を濁して逃げるなと言っている。
逃げずに>>139に答えるか、潔く間違いを認めるか、スレ主がすべきはそのどちらか。
どちらも嫌というのは子供の駄々捏ね以外の何物でもない。
398:現代数学の系譜11 ガロア理論を読む
17/04/29 14:53:46.12 w5CJXsic.net
シカトー
399:現代数学の系譜11 ガロア理論を読む
17/04/29 14:54:46.53 w5CJXsic.net
アホラシ
カントールの集合論に関する本でも読んだら？
400:現代数学の系譜11 ガロア理論を読む
17/04/29 14:55:53.29 w5CJXsic.net
無限集合論の基礎だよね
いまどき
カントールの集合論
401:１３２人目の素数さん
17/04/29 15:03:14.60 9GVy6wpU.net
>>357
私の経験からも、スレ主の言動からしても、スレ主に強制的に
間違いの意識的な認識や把握をさせようとしても暖簾に腕押しだとは思うが。
402:現代数学の系譜11 ガロア理論を読む
17/04/29 15:10:24.47 w5CJXsic.net
有理数（分数ともいう）は、可算無限集合
a∈A、b∈B | A＝N、B＝N ここにNは自然数の集合とする
分数a/b に対して、どうやってN自然数の集合から、１対１対応がつくか？
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
403:8 yahoo 知恵袋 kouhei2900さん2010/6/2403:07:53 証明の問題です。すべての正の有理数からなる集合は可算無限集合であることを示せ。以上の問題の解答よろしくお願いします。 ベストアンサーに選ばれた回答 riemannschevermutungさん 編集あり2010/6/2405:22:16 可約分数まで含めて考えます。 すべての正の有理数 p/q （ｐ，ｑは自然数） を次のように並べます。 ①ｐ＋ｑの小さい順 ②ｐの小さい順 具体的には 1/1,1/2,2/１,1/3,2/2，3/1…と この数列に、１番,２番,３番…と番号をつけてやると１対１対応がつきます。 この数列の中から、可約分数を取り除いても、可算無限個あります。 （単位分数だけでも可算無限個あります。）以上です。
404:現代数学の系譜11 ガロア理論を読む
17/04/29 15:13:01.65 w5CJXsic.net
>>361
おっちゃん、どうも、スレ主です。
応援ありがとう
おれも、おっちゃんの361に賛成だね
405:現代数学の系譜11 ガロア理論を読む
17/04/29 15:18:02.26 w5CJXsic.net
A＝N、B＝N ここにNは自然数の集合とする
直積AxBは、可算集合
つまりは、N自然数の集合から、１対１対応がつく
この結論を否定したいんだったら、別のスレでやってくれ
406:現代数学の系譜11 ガロア理論を読む
17/04/29 15:19:50.23 w5CJXsic.net
おれが、答えるのは、これだけだ
407:現代数学の系譜11 ガロア理論を読む
17/04/29 15:20:03.08 w5CJXsic.net
シカトー
408:１３２人目の素数さん
17/04/29 15:21:34.02 9GVy6wpU.net
>>363
>応援ありがとう
勘違いするなw 私の実感や手応えを書いただけだよ。
スレ主に間違いの把握をさせようとしても、効果は出ず意味がないと悟った。
これではお手上げだね。
409:現代数学の系譜11 ガロア理論を読む
17/04/29 15:29:03.07 w5CJXsic.net
>>362 補足
”有理数からなる集合は可算無限集合である”
このカントールが始めたという論法の面白さは、無限集合については、ある方法では、自然数の集合Nからの１対１対応が否定されるとしても
（分数の分子だけ先に番号付けすれば、それだけで自然数との１対１対応が形成される。分母には別に自然数の集合が必要になる）
しかし、別の方法では、１対１対応がつくということ
410:現代数学の系譜11 ガロア理論を読む
17/04/29 15:30:14.13 w5CJXsic.net
>>367 シカトー。プロ固定ごくろうさま
411:現代数学の系譜11 ガロア理論を読む
17/04/29 15:38:24.08 w5CJXsic.net
>>369
ごめん
>>367はおっちゃんの発言だったか
つい、プロ固定だと思ってしまった
だが、>>367は正しいよ！
おれは、おっちゃんの証明は基本読まないからね
もし、おっちゃんが私スレ主を説得できるとすれば
「おまえの言っていることは、ここに書いてあることと矛盾している」と、根拠とともに示すことだけだな
おっちゃんの証明による説得は
証明を読まないおれには、無理
412:１３２人目の素数さん
17/04/29 15:40:20.06 9GVy6wpU.net
>>369
私は、プロ固定なんていうセコイ仕事などする気はないししたこともない。
そもそも、>>367に書かれている内容とプロ固定との間に明白な関係なんてないぞ。
これがスレ主ですから…。お手上げなんだよ。スレ主はダベり相手だね。
413:現代数学の系譜11 ガロア理論を読む
17/04/29 15:42:05.27 w5CJXsic.net
シカトー
414:現代数学の系譜11 ガロア理論を読む
17/04/29 15:44:07.27 w5CJXsic.net
>>371
おっちゃん、どうも、スレ主です。
おっちゃんが、プロ固定なんてだとは思ってないよ
失礼しました
おれも、プロ固定なんていうセコイ仕事などする気はないししたこともない
つまらんよね
このスレで、おっちゃんと遊ぶのが一番だ（＾＾
415:現代数学の系譜11 ガロア理論を読む
17/04/29 15:44:42.29 w5CJXsic.net
あとは、プロ固定に、シカトー連発だ（＾＾
416:１３２人目の素数さん
17/04/29 15:45:32.67 9GVy6wpU.net
>>370
謝罪があったか。
>>371を書いて済まない。>>371は取り消しておくれ。
まあ、私にとってスレ主がダベり相手なのは一応事実だけど。
417:１３２人目の素数さん
17/04/29 16:00:25.11 z5ZVxW89.net
誰も振ってないのに突然カントールやら有理数やら無限集合やらの話をし始め
悦に入っている。これを馬鹿と呼ばずに何と呼ぼうや
418:１３２人目の素数さん
17/04/29 16:07:01.14 9GVy6wpU.net
>>325
まあ、慣れてくると、書くべき推論の内容や結論が見えるというのはあるね。
浮かんだ内容を書く作業は事務的なことになる。
目が見えなくなったポントリャーギンとかはそういうタイプだね。
よく分からんが、こういうと�
419:ｫに右脳を使うことになるのかね。
420:１３２人目の素数さん
17/04/29 16:13:47.62 9GVy6wpU.net
>>325
まあ、目が見えない数学者は大抵そうだろうね。
そうしないと、誰が記述するかはともかく、記述されることになる
数学的内容が如何にして思い浮かんだかが説明が付かない。
421:現代数学の系譜11 ガロア理論を読む
17/04/29 20:48:35.91 w5CJXsic.net
>>376 シカトー（＾＾
422:現代数学の系譜11 ガロア理論を読む
17/04/29 20:49:14.56 w5CJXsic.net
>>375
おっちゃん、どうも、スレ主です。
乙です！（＾＾
423:現代数学の系譜11 ガロア理論を読む
17/04/29 20:57:45.46 w5CJXsic.net
>>377
おっちゃん、どうも、スレ主です。
まあ、例えばユークリッドの互除法と聞いて→ax+my = 1やax+by=dax+by=d （d=gcd(m, n)） が閃く
これが、将棋でいえば手筋なんだ
で、プロは手筋が閃くし、アマは閃かない
おれ、アマレベルなんで、閃かなかった
だから、「ズバリ、センスがない」、「多読してそうな割には基本的なことが分かってない」>>230 は当たっている
粘着プロ固定と、似たようなレベルかね～（＾＾；
424:現代数学の系譜11 ガロア理論を読む
17/04/29 21:03:15.21 w5CJXsic.net
>>377
>目が見えなくなったポントリャーギンとかはそういうタイプだね。
"そんな彼が数学者となれたのは母親の献身的な努力があったからだと言われている。 "、”彼が身を立てるための一切の世話を引き受けた。文献を読んで聞かせたり、論文に式を書き込んだり、さらに彼女自身外国語を習得して彼の完全な「秘書」を勤めた。”か・・、母親が助けたんだ・・（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
レフ・セミョーノヴィッチ・ポントリャーギン（ 1908年9月3日 - 1988年5月3日）は、ロシアの数学者。
略歴[編集]
ロシア革命前のモスクワに生まれ、ソビエト連邦崩壊直前にこの世を去った。彼の家庭はとても貧しく月謝の安い実験学校さえ行けず、4年制の小学校で最初の教育を受けた。14歳の時にプリムス・ストーブの爆発事故により失明した。そんな彼が数学者となれたのは母親の献身的な努力があったからだと言われている。
農家の主婦だった彼の母親タチヤーナ・アンドリェーエヴナ・ポントリャーギナは、彼が身を立てるための一切の世話を引き受けた。文献を読んで聞かせたり、論文に式を書き込んだり、さらに彼女自身外国語を習得して彼の完全な「秘書」を勤めた。数学者となった彼の専門分野は、幾何学（微分幾何学）だった。
1929年にモスクワ大学卒、1935年には物理・数学博士、教授、1938年には位相群論、連続群論を発表した。数々の数学的業績に対してレーニン賞、スターリン賞、ロバチェフスキー賞、ソビエト連邦国家賞、社会主義労働の英雄という称号などを授かった。
425:現代数学の系譜11 ガロア理論を読む
17/04/29 21:10:22.48 w5CJXsic.net
>>378
おっちゃん、どうも、スレ主です。
>まあ、目が見えない数学者は大抵そうだろうね。
>そうしないと、誰が記述するかはともかく、記述されることになる
>数学的内容が如何にして思い浮かんだかが説明が付かない。
将棋でも囲碁でも、プロがある盤面を見て浮かぶものがあるんだ
将棋なら、こう指して、こうなる・・というのが、自然に一連の手筋として浮かぶ（一手一手読むのではなく・・）
どの分野でもそうだと思うよ
そこに至までの成長過程としては、一手一手読むんだろうが・・
426:現代数学の系譜11 ガロア理論を読む
17/04/29 21:51:16.43 w5CJXsic.net
>>383
まあ、プロになろうという人には、テキスト精読しろというのは、詰め将棋や定跡集を読めみたいな
それで力を付けろというのは正しい
が、ある程度の手筋の知識はインプットしないとね
車輪の再発明は必要になればいつでもできる力を持ちつつ、前例があり再発明の必要がない部分は、遠慮無くアイデアを借用する
それが、数学における精読と多読のこころだよ >>36 >>40
427:現代数学の系譜11 ガロア理論を読む
17/04/29 22:03:26.89 w5CJXsic.net
>>384
で、全員が将棋のプロになれば、囲碁のプロがいなくなってこまる・・
と、同じように、全員が数学のプロになれば、物理や化学をやる人がいなくなってこまる・・
学部は数学�
428:ﾈで、修士は別の科とかありだろうし・・ 逆に、数学科以外からプロの数学者も少数がだありだろう・・ 囲碁将棋みたいに、実生活にほとんど無関係なら、将棋の奨励会や囲碁の院生でプロになれない場合など、行き場にこまるが 数学科なら、小島寛之みたいな、別のプロになる行き方もある（＾＾； https://ja.wikipedia.org/wiki/%E5%B0%8F%E5%B3%B6%E5%AF%9B%E4%B9%8B 小島寛之 - Wikipedia (抜粋) 東京大学大学院理学系研究科数学専攻(現数理科学研究科)の大学院入試に3度落第したため、数学者への道を諦め、塾講師となり、中学生に数学を教えた[2]。市民講座で宇沢弘文の講演を聴いたことを契機に東京大学大学院経済学研究科へ進学。 2008年に東京大学より経済学の博士号を取得した (論文博士)[1]。
429:現代数学の系譜11 ガロア理論を読む
17/04/30 06:12:59.01 murcgCEO.net
訂正
>>381
ax+my = 1やax+by=dax+by=d （d=gcd(m, n)）
↓
mx+ny = 1やmx+ny=d （d=gcd(m, n)）
やね。あちこちからコピペしたら、無茶苦茶になっていた（＾＾；
430:１３２人目の素数さん
17/04/30 06:36:49.89 wXUh+07N.net
＞それが、スレ主がコピペでこのスレを埋める理由であり
コピペすらまともにできない馬鹿
431:１３２人目の素数さん
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
>>が、ある程度の手筋の知識はインプットしないとね
>演習問題に定理の証明があったりして前の演習問題の結果が
>後々有効になって来るような、そのようにして読むタイプの本もある。
物理学者などは、普通は既存の数学の範囲で間に合うが、必要なら、厳密性は犠牲にして手作り数学を作ってしまうよ（＾＾；
厳密性については、後追いで、数学者が基礎固めをする
古くはニュートン・ライプニッツの微分積分を、コーシーとワイエルシュトラスがデルタイプシロンで基礎付けしたごとく
あと、いろいろ。シュワルツや佐藤の超関数も、ディラックのδ関数の数学的基礎固めの意味がある
近年、進行中なのは、古くから研究されている量子力学の繰り込みの数学的正当化
あと、超弦理論からみで、いろんなところに出てくる双対性の数学的正当化（含むAdS-CFT対応）
工学でも同じだ。演算子法は、ヘヴィサイドが考案し、後数学者がラプラス変換やフーリエ変換を当てはめた
AIのディープラーニングも、工学（プログラミング）が先行し、数学理論は後追いだろう
しかし、数学のすごいところは、一度数学の理論が入ると、あとは数学必須になり、数学抜きでは話にならないことになるってことだよね（＾＾
だから、最初に数学外の対象を、数学のまな板の上に載せて料理した人は、大変な称賛が与えられる場合が多い（例えばシュワルツなど）（＾＾
だから、割りきって、手筋の知識のインプットも考えた方が良い
そうでないと、凡人は19世紀のガウスのレベル�
435:ｳえ抜けないだろう（車輪の再発明で終わる）（＾＾； 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
おっちゃんが>>355で指摘してくれたように、数列の話が出てきたのは、時枝記事がらみ
で、>>350「だからHigh level peopleだの賛同者だの時枝記事だの何の話をしてるんだ？」なんて誤魔化そうとして、>>393本性を現したね（＾＾
その手には乗らない
スレ28 (High level people が時枝問題を論じるスレ) を廃墟にしようという作戦でね
スレ28の話題は、このスレ扱わないし
スレ28にも行かないよ（＾＾
446:現代数学の系譜11 ガロア理論を読む
17/05/01 16:16:27.30 nB6uL1P/.net
>>393
>真面目にこんなこと言うところがイタすぎるんだよ
>おまえ1回たりとも査読付き論文を投稿した経験がないだろ？
arXivとか知っているかい？（下記） 査読は不要だ。というか、査読不要が売り
「1991年にスタート」とあるけど、じゃ、1991年以前はどうしていたかというと、プレプリントの形で、メーリングリストなどで発信されていたんだ
と言っても、1991年以前の物理や数学業界の内情を�
447:ｼ接知っているわけじゃないが、1991年以前の解説記事などには「プレプリントでこんなことが回ってきた」なんてよく書いてある まあ、￥さんなどは、1991年以前の当時の状況をよくご存知だろうが（＾＾ https://ja.wikipedia.org/wiki/ArXiv 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日
Fi
450:nite extinction time for the solutions to the Ricci flow on certain three-manifolds、2003年7月17日
451:現代数学の系譜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]。
452:現代数学の系譜11 ガロア理論を読む
17/05/01 19:58:36.09 nB6uL1P/.net
>>362 関連
数列関連で、”カントールの往復論法”がヒットした
これ、手筋として面白いなと思ったのでメモしておく（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
カントールの往復論法
数学基礎論、特に集合論とモデル理論において、カントールの往復論法（カントールのおうふくろんぽう、英：Cantor's back-and-forth method）とは、特定の条件を満たす可算無限濃度を有する構造の間に同型写像が存在することを示す論法であり、ゲオルク・カントールから命名された。 特に、以下の証明に使用される。
・カントールは、任意の 2 つの可算無限な稠密全順序集合（全順序集合であって、任意の異なる 2 つの元の間に異なる元が存在するもの）に両端が存在しない（最小元・最大元を持たない）場合、両者が順序同型であることを示すために、この論法を用いた。
全順序集合の同型は、狭義単調増加な全単射である。 従って例えば、有理数全体の集合と実代数的数全体の集合の間には、狭義単調増加な全単射が存在する。
・原子元を有しない可算無限濃度のブール代数が互いに同型であることを証明するために、この論法を使用できる。
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]。
手数が最長の詰将棋である「ミクロコスモス」すら、解答に成功したプログラム（通常の対戦用のプログラムとは異なり、詰将棋専用の探索ルーチンから成るもの）が報告されている（ミクロコスモス (将棋)#ミクロコスモスと脊尾詰を参照）。
また、対戦用ソフトウェアではない、独自プログラムによる創作の試行も行われている[18]。
456:現代数学の系譜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
(抜粋)
ミクロコスモスと脊尾詰[編集]
脊尾詰（せおづめ）は脊尾昌宏が開
457:発した、最初シェアウェアとして公開され、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 思考時間3秒）
このように、先手が快調に攻めているようでも、一手間違えると逆転の可能性が生じるところに、将棋の怖さと面白さがあります。藤井四段がこうした変化も全て読み切った上で、終盤戦を乗り切っているとしたら、その読みの深さは流石と言えます。今期、藤井四段のタイトル戦登場はあるのか、注目です。
459:１３２人目の素数さん
17/05/01 21:52:05.83 5vEeOU17.net
>>402
査読付き論文を投稿したことはあるのか？
という質問に対して
arxivを知ってるか？
と会話にならないレスを返す馬鹿
数学だろうが物理だろうが、お前は査読付き論文を1編も書いたことがないというのがよく分かった
460:現代数学の系譜11 ガロア理論を読む
17/05/01 22:14:44.71 nB6uL1P/.net
>>411 関連
前振り”結果はやはり即詰み�
461:ｪなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。” http://tamarunoboru.cocolog-nifty.com/blog/2011/08/95-b59b.html 2011年8月13日 (土) 田丸昇のと金横歩き 終盤の95手目まで同一手順が続いた王位戦（広瀬王位―羽生二冠）第４局 今期のA級順位戦（渡辺明竜王―郷田真隆九段）でも、同じようなことがありました。角換わり腰掛け銀の流行型から攻め合いとなり、先手番の渡辺は郷田の玉を受けなしに追い込みました。 その局面で渡辺の玉に即詰みがあるかどうかが焦点ですが、きわどく逃れて先手が勝ちという結論がすでに出ていました。ある若手棋士の定跡書にも紹介されています。しかし郷田には何か秘手があるかもしれないと、控室の検討陣は注目していました。 結果はやはり即詰みがなく、渡辺が勝ちました。感想戦で渡辺に「定跡なので」と言われた郷田は、「そうですか、定跡ですか…」と茫然としていたそうです。 郷田は決して研究不熱心な棋士ではなく、流行型の将棋もよく指します。ただデータにはあまり頼らず、自身の将棋観や表現を重視しています。渡辺戦では結論が出ているとは知らずに、たまたま入り込んでしまったようです。 このように流行型の将棋を指すには、日頃から研究を重ねておかないと「知らないで負ける」ことがあります。