[過去ログ]
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681レス)
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1501561433/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
604: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 13:07:43.28 ID:dkxs3sqT >>602 訂正 リンク間違えた(^^ >>597 ↓ >>600 http://rio2016.5ch.net/test/read.cgi/math/1501561433/604
605: 132人目の素数さん [] 2017/08/10(木) 13:07:44.24 ID:IDhO4V8E 論文投稿されていない命題は偽である by アホ http://rio2016.5ch.net/test/read.cgi/math/1501561433/605
606: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 13:10:45.24 ID:dkxs3sqT >>604 訂正の訂正 下記訂正キャンセルします >>597 ↓ >>600 おれ、ピエロくんになってしまったな(^^ すまん、君の領分の笑いを取ってしまって・・(^^ http://rio2016.5ch.net/test/read.cgi/math/1501561433/606
607: 132人目の素数さん [sage] 2017/08/10(木) 13:12:13.31 ID:WfJuqIbj >>601 モノとしてのオッパイには語るほどの魅力は感じない。 舐めて吸って、すぐに飽きるでしょ。 乳首が固くなると興奮してるな〜とか、気持ちが入ってくると 魅力のバリエーションも広がる。 ちなみにおれは童貞の頃は見た目貧乳好きだったが、今はある程度 大きさはあった方がいいと思っている。なぜなら「強く抱きしめられて いるのにふかふか」という幸福感は、貧乳では味わえないからだ。 http://rio2016.5ch.net/test/read.cgi/math/1501561433/607
608: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 13:16:06.70 ID:dkxs3sqT >>605 いや、もしおれが大学の研究者で、それ片手間程度で投稿できる程度だから、きっちりした証明にしてarxivにでも投げておくけどね (非可測集合経由の話などをしっかり書いてね) もし、成立するなら、面白いんじゃないかな〜(^^ http://rio2016.5ch.net/test/read.cgi/math/1501561433/608
609: ¥氏 ◆2VB8wsVUoo [sage] 2017/08/10(木) 13:39:49.69 ID:JHmEReZW 私は自分の数学的な生い立ちからして『数学とは証明するもの』という考え方が強いとは思い ますね。だから「計算だけで出てくる結果」とか、それから「(函数)解析学の一般論」というのは 好きじゃないです。まあ『好き嫌いはその人の勝手』という事です。でも抽象代数学とか、或い は幾何学とかトポロジーは自分の趣味に合うというのは、まあアルでしょうね。(物理が嫌にな って逃げ出したというのが、まあこういう個人的な好みをじさせたんだんだと思いますわ。) 正直な話、私は加藤さんの東大修士論文(=京大博士論文)は読みましたが「ああ、コレはい い仕事だな」という感想です。ソレに加えてネットでの騒動があってからCassonハンドルの論 文も目を通しました。これも「問題意識は正しい」というのが、その感想です。それで『彼のそ の後の論文』ですが(幾つかはあるみたいですが)、なんとなく応用系みたいな印象しか持て ないので、だから興味もないし、なので見てもいません。 私の評価は論文数とかマサイの点数を然程の参考にはしません。というのは(応用系と言わ ないまでも)例えば量子群みたいな一過性の流行分野であれば『点数を稼ぎ易い、しかも人 がそれを針小棒大に扱い勝ち』という部分がどうしてもアルからです。まあ言ってみれば: 1.マイナーな孤立した分野では「遣りました、出来ました」で点数を稼ぎ易い。 2.代数幾何やトポロジーみたいな伝統的な難しい分野では、論文数も点数も稼ぎにくい。 という風に考えるからです。 (続きます) http://rio2016.5ch.net/test/read.cgi/math/1501561433/609
610: ¥氏 ◆2VB8wsVUoo [sage] 2017/08/10(木) 13:40:26.28 ID:JHmEReZW 続き: こういう事から(一部の)可積分系とか、或いは複雑系とかの中には『批判されるべきもの』が かなり含まれるという印象を持っています。(非可換環論とか一般位相空間論とか、或いは基 礎論とかは言うに及ばずですが。計算機関係もモノによっては怪しい。) だからどちらかと言えば(数学的な内容という意味で)私は加藤さんの論文は好みではあるん ですね。でも彼を批判してる人が多いのも、まあ判ります。だから私は彼の敵でも味方でもな いです。ゲージ理論関係が「過保護である」と言って怒ってる人が居るのも知ってます。 だからあの事件に関して私が心底から批判するのは『気に入らないからと言ってネットで騒ぐ 不見識な連中』というだけです。ああいう批判の仕方は無責任ですわ。ちゃんと加藤氏の論文 を読んでから批判するべき。 ¥ http://rio2016.5ch.net/test/read.cgi/math/1501561433/610
611: ¥氏 ◆2VB8wsVUoo [sage] 2017/08/10(木) 13:44:36.80 ID:JHmEReZW 訂正: 好みをじさせた ⇒ 好みを生じさせた ¥ http://rio2016.5ch.net/test/read.cgi/math/1501561433/611
612: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 15:26:21.50 ID:dkxs3sqT >>609 ¥さん、どうもスレ主です。 加藤毅先生、生物やっているみたいですね 下記座談会があります。私は、生物はだめだけど、¥さんの方が読めるんじゃないかな?(^^ 写真見ると、確かに、お若いですね〜(^^ http://www.jst.go.jp/kisoken/crest/project/35/pdf/CREST-Biodynamics_vol06J.pdf 国立研究開発法人科学技術振興機構(JST)CREST「生命動態」研究領域 JST CREST-BIODYNAMICS 20161001 (抜粋) 特別座談会〜「碩学の稜線」 (数学は生物に必要か!?) 加藤(毅) 計算機の能力がこまで上ってしうと、データをインプットしてしえば必要な情報は一瞬で出くるんじゃないかと思ってしまうくらい発展してきています。 人工知能は、もの凄いデータ量のパターン認識ができるわけです。一方計算機だけでは出来ない側面もあって・・ 東 この 領域では、数学・数理科学として情報、物理、数学と様々な分野が混在しています。 そうった中での「数学」の位置づけについて更お伺したいと思ます。 (引用終わり) http://rio2016.5ch.net/test/read.cgi/math/1501561433/612
613: 132人目の素数さん [] 2017/08/10(木) 15:28:51.99 ID:IDhO4V8E >>608 あり得ない仮定の話なんてどうでもいい >>591、>>592に数学的に答えてくれ http://rio2016.5ch.net/test/read.cgi/math/1501561433/613
614: ¥氏 ◆2VB8wsVUoo [sage] 2017/08/10(木) 16:20:08.84 ID:JHmEReZW まあその数理生物学というんですか、そういう話はかなり前から見聞きして知ってはいますが、 その実質的な「数学としての内容」とでも言うか、それが私には判らないし、そして興味が持て ないんですよね。そして理学部数学科の教員である加藤さんの研究が『数学そのものでなけ ればいけない』とは私には言えません。特に昨今はそういう風潮でもないし。 分子生物学に関して私なりに興味が(幾分は)持てる部分は確かにあり、だからDouble Helix ⇒J.Monod⇒S.Kauffmanみたいな事は、まあ判らんでもないけど、でもこういう所謂応用数学 というのは、ソコに出てる鈴木貴さんですか、非線形微分方程式みたいな話だってあるだろ うし、私が直接に興味を持つ数学ではないです。だから(今の)加藤数学は何も判らないし、 従って何も言えませんね。 ¥ http://rio2016.5ch.net/test/read.cgi/math/1501561433/614
615: ¥氏 ◆2VB8wsVUoo [sage] 2017/08/10(木) 17:11:22.82 ID:JHmEReZW だから大Gelfandとか大Gromovみたいな大物が『ソッチ方向へ向け!』っていう号令を掛けた とか、更に古くはR.ThomとかS.Smaleみたいな「微分トポロジーの大物」が、『次はソッチ方向』 とか言って、しかも物理のGell-Mannまでも「そういう本」を書いて重要性を喚起してますよね。 でも問題となるのは『その実質的な(数学としての)内容とは何なのか』ですわ。でもういう流 れが「トポロジーで喰い詰めたから」であって欲しくはないですよね。そういう私も量子群では もう次が無いから、今は全く別の事を考えてますがね。 例えばそのKauffmanのBoolean Networkでも、それを『厳密な数学として』扱う枠組みとかで すよね。私の認識では(Monte-Carlo法で)計算機実験をやって、そんで相転移があるとかな いとか、そういう臨界現象の話ですよね。ネットに沢山論文が落ちてますわ。 でも新しい数学を生むってのは、そういう「シンドイ思いをスル」っていう事かと。 ¥ 注意:もし世間からの圧力に負けた各大学が「そういうフリをする」という様な要素が万が一に でもあれば、それは『極めて遺憾な事』ではありますがね。もし考え過ぎならばソレでいいけど。 http://rio2016.5ch.net/test/read.cgi/math/1501561433/615
616: 132人目の素数さん [] 2017/08/10(木) 19:37:48.56 ID:jkSTs6DO >>602 (箱が無限個なら”同値類の代表列からの カンニングによって予測可能”が) >本当に数学理論として成り立つなら、 >きっとだれかが論文投稿して、 >数学の定理になっているだろう >が、そうではないでしょ 「箱入り無数目」の記事の文章も 読めない馬鹿が何粋がってんだ?w >(「箱入り無数目」記事の方法での予測が > 現代確率論では不成立の)証明は、 >ステップ5でやるよ >いま、ステップ2で止まって進まないけどね >>370-371で明らかだけど <ステップ1>「現代確率論は、ベースとしてZFC下にある」 <ステップ2>「現代数学 ZFC下で、一見異なる結論が導かれることがある」 は無意味なダベリだから、ステップは実質3つね で、"宇宙"の話は<ステップ3>かい? だとしたらこれも無意味なダベリだから ステップは2つしかなくなるよw まったく3ステップも無意味なダベリに使うとか 頭悪いにも程があるよなw ついでにいうとN(=ω)を別の可算順序数に置き換えて 決定番号の範囲を拡大しても、予測不能には結びつかないよ あくまで選んだ列の決定番号が最大でなければ予測できちゃうから やっぱこいつ記事の文章全然読めてないな http://rio2016.5ch.net/test/read.cgi/math/1501561433/616
617: 132人目の素数さん [] 2017/08/10(木) 19:39:21.92 ID:jkSTs6DO >>1の主張が間違ってるのは 前々スレの491(7/6)で決着済 http://rio2016.2ch.net/test/read.cgi/math/1497848835/491 ○ 代表元との不一致箇所 ● 代表元との一致箇所 s1 ○●●●●●●●● s2 ○○○○●●●●● s3 ●●●●●●●●● s4 ○○○●●●●●● s5 ○○○○○●●●● s6 ○○●●●●●●● 決定番号が最大値(6)でない列(s5以外)を選んだ場合 (確率5/6) →選んだ列(s5以外)の6番目の箱を開ける (★ 代表元と一致するので予測成功) s1 ○●●●●|★|●●● s2 ○○○○●|★|●●● s3 ●●●●●|★|●●● s4 ○○○●●|★|●●● __ −−−−−+−+−−− s5 ○○○○○|●|●●● __ −−−−−+−+−−− s6 ○○●●●|★|●●● 決定番号が最大値(6)の列(s5)を選んだ場合 (確率1/6) →s5の5番目(s5以外の列の決定番号の最大値)の箱を開ける (☆ 代表元と不一致なので予測失敗) s1 ○●●●|●|●●●● s2 ○○○○|●|●●●● s3 ●●●●|●|●●●● s4 ○○○●|●|●●●● __ −−−−+−+−−−− s5 ○○○○|☆|●●●● __ −−−−+−+−−−− s6 ○○●●|●|●●●● http://rio2016.5ch.net/test/read.cgi/math/1501561433/617
618: 132人目の素数さん [] 2017/08/10(木) 19:57:56.79 ID:IDhO4V8E >ついでにいうとN(=ω)を別の可算順序数に置き換えて >決定番号の範囲を拡大しても、予測不能には結びつかないよ 「勝てる戦略はあるか?」の問いに対し、”勝てない戦略”(=ω+ω) の存在を主張して、一体何がしたいんだかスレ主は??? 暑さで脳みそヤラれたとしか http://rio2016.5ch.net/test/read.cgi/math/1501561433/618
619: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 22:19:44.76 ID:OMe9bOjF >>614 ¥さん、どうも。スレ主です。 私も、数理生物学というのは、よく分からないのですが、そちらの方面で数学のマンパワーが必要とされているということなのでしょうね 物理系は数学が達者な人が多いが、生物はなんとなく薄いということもありそうですが ところで、応用数学 vs 純粋数学 の話は、昔、¥さんとやりましたかね?(^^ https://en.wikipedia.org/wiki/Pure_mathematics Pure mathematics (抜粋) Broadly speaking, pure mathematics is mathematics that studies entirely abstract concepts. This was a recognizable category of mathematical activity from the 19th century onwards,[1] at variance with the trend towards meeting the needs of navigation, astronomy, physics, economics, engineering, and so on. Another view is that pure mathematics is not necessarily applied mathematics: it is possible to study abstract entities with respect to their intrinsic nature and not be concerned with how they manifest in the real world.[2] Even though the pure and applied viewpoints are distinct philosophical positions, in practice there is much overlap in the activity of pure and applied mathematicians. To develop accurate models for describing the real world, many applied mathematicians draw on tools and techniques that are often considered to be "pure" mathematics. On the other hand, many pure mathematicians draw on natural and social phenomena as inspiration for their abstract research. つづく http://rio2016.5ch.net/test/read.cgi/math/1501561433/619
620: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 22:20:23.55 ID:OMe9bOjF >>619 つづき 20th century At the start of the twentieth century mathematicians took up the axiomatic method, strongly influenced by David Hilbert's example. The logical formulation of pure mathematics suggested by Bertrand Russell in terms of a quantifier structure of propositions seemed more and more plausible, as large parts of mathematics became axiomatised and thus subject to the simple criteria of rigorous proof. In fact in an axiomatic setting rigorous adds nothing to the idea of proof. Pure mathematics, according to a view that can be ascribed to the Bourbaki group, is what is proved. Pure mathematician became a recognized vocation, achievable through training. The case was made that pure mathematics is useful in engineering education:[6] There is a training in habits of thought, points of view, and intellectual comprehension of ordinary engineering problems, which only the study of higher mathematics can give. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1501561433/620
621: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 22:21:40.12 ID:OMe9bOjF >>615 >だから大Gelfandとか大Gromovみたいな大物が『ソッチ方向へ向け!』っていう号令を掛けた >とか、更に古くはR.ThomとかS.Smaleみたいな「微分トポロジーの大物」が、『次はソッチ方向』 >とか言って、しかも物理のGell-Mannまでも「そういう本」を書いて重要性を喚起してますよね。 その話は、以前に書きましたが、¥さんの時代より、数学の最先端に出るために登る道が長くなっているということがあります ¥さんの時代なら、佐藤スクールで勉強すれば最前線だった いま、¥さんの時代の勉強プラス30年分が必要だし、1年に出される論文も昔より多い。 いま、佐藤スクールは無い。本当は、佐藤スクールの次が欲しいですよね >例えばそのKauffmanのBoolean Networkでも、それを『厳密な数学として』扱う枠組みとかで KauffmanのBoolean Networkは、初耳です〜。これか(^^ https://en.wikipedia.org/wiki/Boolean_network Boolean network (抜粋) A Boolean network consists of a discrete set of Boolean variables each of which has a Boolean function (possibly different for each variable) assigned to it which takes inputs from a subset of those variables and output that determines the state of the variable it is assigned to. Boolean networks have been used in biology to model regulatory networks. Although Boolean networks are a crude simplification of genetic reality where genes are not simple binary switches, there are several cases where they correctly capture the correct pattern of expressed and suppressed genes.[2][3] The seemingly mathematical easy (synchronous) model was only fully understood in the mid 2000s.[4] Contents [hide] 1 Classical model 1.1 Attractors 2 Stability 3 Variations of the model 3.1 Other topologies 3.2 Other updating schemes 4 See also The first Boolean networks were proposed by Stuart A. Kauffman in 1969, as random models of genetic regulatory networks[5] but their mathematical understanding only started in the 2000's.[6][7] (引用終り) つづく http://rio2016.5ch.net/test/read.cgi/math/1501561433/621
622: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 22:22:24.22 ID:OMe9bOjF >>621 つづき カウフマンは、理論生物学者で複雑系の研究者ですか(^^ https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%81%E3%83%A5%E3%82%A2%E3%83%BC%E3%83%88%E3%83%BB%E3%82%AB%E3%82%A6%E3%83%95%E3%83%9E%E3%83%B3 スチュアート・カウフマン (抜粋) スチュアート・アラン・カウフマン (Stuart Alan Kauffman、1939年9月28日 -) はアメリカ合衆国の理論生物学者で複雑系の研究者である。地球の生命の起源について多大な考察をした。 生物のシステムと有機体の複雑性はダーウィンの自然選択説以上に、自己組織化と熱平衡状態から大きく離れた系(far-from-equilibrium dynamics)に由来するのかもしれないことを議論したことでよく知られている。 来歴[ソースを編集] 1960年ダートマス大学を卒業。1963年オクスフォード大学の学士を取得。1968年カリフォルニア大学サンフランシスコ校で医学博士の学位を取得した。医師として短いキャリアを過ごした後、ショウジョウバエの発生遺伝学の分野に移り、シカゴ大学を経てペンシルベニア大学(1975年-1995年)で生化学と生物物理学の教授になった。 (抜粋) 以上 http://rio2016.5ch.net/test/read.cgi/math/1501561433/622
623: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/10(木) 22:31:06.78 ID:OMe9bOjF >>615 補足 >注意:もし世間からの圧力に負けた各大学が「そういうフリをする」という様な要素が万が一に >でもあれば、それは『極めて遺憾な事』ではありますがね。もし考え過ぎならばソレでいいけど。 世間の圧力というより、文科省の行政圧力でしょうか?(^^ えーと、小泉改革で、国立大学は国立大学法人になりました この影響は大きいと言われています https://ja.wikipedia.org/wiki/%E5%9B%BD%E7%AB%8B%E5%A4%A7%E5%AD%A6%E6%B3%95%E4%BA%BA 国立大学法人 国立大学法人(こくりつだいがくほうじん、英: national university corporation)は、日本の国立大学を設置することを目的として、国立大学法人法の規定により設立されている法人である。 法人化の問題点[編集] 国立大学の法人化に際して国からの支援が縮小されることや、運営に国の干渉が強まることが懸念されていたが、現在問題になっている点は次の通りである。 ・研究費調達は各大学の自助努力が求められるようになったため、寄付を募るなど運営が私立大学に近いものになってきている。 ・毎年政府から交付される運営費交付金は、毎年、前年度比1%削減という効率化係数が適用されて、漸減することとなっている(右のグラフも参照)。したがって、必要な人数の教員や職員を確保できない事態が発生している[4]。 これは、国立大学の特徴である少人数教育を年々困難にしつつある(例えば教職・学芸員科目以外における非常勤講師の一斉採用停止など)。このため大学によっては、特に文科系において教員が抜けた場合に補充が行われないという事態が起こり、大学カリキュラムに歪みが発生している。これに伴い、一部では専攻閉鎖等も危ぶまれている。 ・法人化により一斉に新設された「理事」に、ほぼ例外なく文部科学省の職員が出向している。したがって、法人化は文科官僚のポジション増設になっているとの批判があるうえ、国立大学の理事から理事へとわたりが行われていることも指摘されている[5][6][7]。 また、中期目標の作成、評価制度の施行により、むしろ文部科学省による各大学への関与は増大しているとの見方もある。すなわち、文部科学省の天下り法人としての傾向が強まっていくことが考えられる。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1501561433/623
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 58 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s