[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む63 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
563(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 10:18:34.76 ID:WM/U/f3d(1/11) AAS
>>562
取締り、ご苦労さまです
彼はサイコパスです
数学者は彼の妄想妄言ですｗ（＾＾；
>それとも匿名掲示板で証明求める馬鹿>>505と罵った方がいいかな？
彼はサイコパスなので、脊髄反射でいろいろ書くので、書いていることが支離滅裂です
まあ、とにかく、前後の見境なく書いてしまう。ウソも含めてね。サイコパスの特徴ですね
（参考）
http://psycom.hatenadiary.jp/entry/2018/03/29/224338
サイコパスを操作する
2018-03-29
サイコパスの扱い方
(抜粋)
サイコパスの扱い方
サイコパスに関する誤解をしない
相手の性格を正しく見極める
自分を知り尽くし、弱点を把握する。
相手の手口に相応しい方法で対処する。
「負け戦」には手を出さない。
これが重要な指針となる。
具体的な説明に入ろう。
サイコパスに関する誤解をしない
あなたの人間観が脆弱なら、それは付け込まれる弱みとなる。
どんな人間にも愛情や良心、責任感や罪悪感があるという”誤解”は身を滅ぼす。そう、これらが欠如した人間こそサイコパスなのだ。
他者からの愛情や称賛といった情緒的な動機がある。一方、サイコパスにとって情緒的なやりとりなど、都合のいいジョークのようなものだ。
傲慢さは自己愛性のように「理想の自己像」と一致を図るからではなく、「他人はモノに過ぎない」という観念から生まれる。
564(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 10:40:22.74 ID:WM/U/f3d(2/11) AAS
>>526 付記
(引用開始)
(whose existence cannot be proved in ZFC) led to some uninformed speculation that etale cohomology and its applications (such as the proof of Fermat's last theorem) needed axioms beyond ZFC.
In practice etale cohomology is used mainly for constructible sheaves over schemes of finite type over the integers, and this needs no deep axioms of set theory: with a little care it can be constructed in this case without using any uncountable sets, and this can easily be done in ZFC (and even in much weaker theories).
(引用終り)
蛇足だけど
”Grothendieck originally developed etale cohomology in an extremely general setting, working with concepts such as Grothendieck toposes and Grothendieck universes.
In practice etale cohomology is used mainly for constructible sheaves over schemes of finite type over the integers, and this needs no deep axioms of set theory: with a little care it can be constructed in this case without using any uncountable sets, and this can easily be done in ZFC (and even in much weaker theories).
Etale cohomology quickly found other applications, for example Deligne and Lusztig used it to construct representations of finite groups of Lie type; see Deligne?Lusztig theory.”
ってことで、Grothendieck 先生は、ZFC超えの「Grothendieck toposes and Grothendieck universes」を構想していたんだ
だが、Deligne先生はつまみ食いしたんだ。ZFC内で、簡単に済ました
そこらの確執が、たしか、Grothendieckの伝記みたいなのに書いてあったね（＾＾
565: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 10:50:09.71 ID:WM/U/f3d(3/11) AAS
>>564
これも全く余談だが
望月先生のIUTは、おそらく完全にZFC超えかも
（>>8とか>>494）
まあ、関係者はいまさら、ZFC超えか否かなど無関心だと思うが
（それより、IUTが査読された論文として出版されるかどうかが先ですがね）
566(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 12:55:19.33 ID:WM/U/f3d(4/11) AAS
「行列・ベクトル知らない大学生」か
やれやれ（＾＾；
https://www.nikkei.com/article/DGXMZO43377270V00C19A4000000/
衝撃のAI人材25万人育成計画、裏に2つの「失策」 2019/4/16 6:30日本経済新聞
政府の統合イノベーション戦略推進会議は2019年3月29日、人工知能（AI）技術を活用できる人材を年間25万人育成する大胆な戦略案を取りまとめ、公表した。今夏に正式決定する。当のAI研究者にとっても衝撃的な内容だったようだ。
https://www.nikkei.com/content/pic/20190416/96958A9F889DE6E1E1E5E5E0E5E2E2E7E2E6E0E2E3EBE2E2E2E2E2E2-DSXMZO4309040029032019EA3002-PN1-3.jpg
数理・データサイエンス・AIをデジタル社会における「読み・書き・そろばん」に当たる素養と規定。年間約50万人が卒業する大学生や高等専門学校（高専）生全員に、文理を問わず初級レベルの数理・データサイエンス・AI教育を課す。このうち約25万人について、それぞれの専門分野でAIを応用できる人材に育成する。日本における大学・高専の理系学生のほぼ全てと文系の一部を「AI人材」に仕立てる考えだ。
■行列・ベクトル知らない大学生
AI研究の第一人者として知られる、はこだて未来大学の松原仁教授は、25万人育成という計画について「AI研究者にとっても驚きで、仲間の間で大いに話題になった」と話す。そのうえで「初学者向けカリキュラムの作成など、具体的な実装は容易ではなさそうだ」と述べた。
特に大学の教育現場で混乱を生みそうなのが、高校の学習指導要領との整合性だ。12年度入学以降は「データの分析」が必修になる一方、「行列」が削除された。22年度からは「ベクトル」が文系の必修から削られる予定だ。
行列やベクトルの概念を知らない大学初年度の学生に、近年のAI関連イノベーションの中核である深層学習の原理をどう教えるか。あるいは深層学習の原理は教えずに、使い方だけを教えるのか。大学の教育現場は悩ましい問題に向き合うことになりそうだ。
つづく
567(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 12:56:04.92 ID:WM/U/f3d(5/11) AAS
>>566
つづき
■「数学」とIT戦略に隔たり
政府のAI戦略案がここまで挑戦的な内容になった背景には、日本の科学技術政策における2つの「失策」への反省がありそうだ。
1つは、これまで日本は産業におけるIT（情報技術）の重要性は訴えつつも、その基盤である数学と産業との連携がおろそかになっていた点だ。
「経済産業省はこれまでITの重要性を喧伝（けんでん）する一方、工学系の研究者と交流するばかりで、数理系の研究者へのアクセスがほとんどなかった」。経産省情報技術利用促進課の中野剛志課長はこう率直に反省する。「今後は文部科学省と連携し、数理へのウエートを高めていく」（中野課長）。
IT産業の隆盛を誇る米国のコンピューターサイエンス（計算機科学）は伝統的に数理科学の研究との結びつきが強い。例えば米グーグルを創業したセルゲイ・ブリン氏は大学でコンピューターサイエンスと数学の双方を専攻している。
https://www.nikkei.com/content/pic/20190416/96958A9F889DE6E1E1E5E5E0E5E2E2E7E2E6E0E2E3EBE2E2E2E2E2E2-DSXMZO3285672011072018000003-PB1-2.jpg
グーグルの創業者セルゲイ・ブリン氏（右）とラリー・ペイジ氏
同リポートが指す「数学」は、純粋数学、応用数学、統計学、確率論、さらには数学的な表現を必要とする量子論、素粒子物理学、宇宙物理学なども含むとしている。AIなど専門領域のプログラマーの能力は数学により飛躍的に高まるとし、数学は破壊的なイノベーションを起こすための普遍的かつ強力なツールになるとうたう。
つづく
568(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 12:56:42.14 ID:WM/U/f3d(6/11) AAS
>>567
つづき
科学技術政策におけるもう1つの失策は、AIやデータサイエンスといった研究領域と、製造業など既存産業との連携を図る施策で、海外に出遅れた点だ。
米政府は1980年ごろから、AIやデータ分析を含むコンピューターサイエンスの重要性を提唱。この結果、多くの米大学が電気工学科などを縮小し、コンピューターサイエンスの学部を立ち上げた。日本は遅れること10年、90年代後半からコンピューターサイエンスの拡充に乗り出した。
だが当の米政府は07年に方針を転換した。中国やインドの大学がコンピューターサイエンスの人材を大量に育成し、従来のままでは競争力は維持できないと分析。機械、法律、医療などと組み合わせ、複合領域で専門を持つ人材を育成すべきだと提言した。これが後に、あらゆるモノがネットにつながるIoTや自動運転、医療AIなど新たな産業領域を生み出すきっかけとなった。
一方、日本は「コンピューターサイエンスが専門分野に閉じ過ぎている」と複数の大学関係者が指摘する。複数の分野を専攻するダブルメジャーなどを通じた、他の産業との連携にたけた人材の育成ができていないというわけだ。
メルカリのAI戦略を担う木村俊也エンジニアリングディレクターは、世間が認識するAI人材と、現実に不足している人材にズレがあると指摘する。「AI技術そのものよりも、AIに学習させる実データがどこにあるか、AIをプロダクトにどう落とし込めるかを担える人材が実は不足している。そうした人材を積極的に採用したい」（木村氏）。
つづく
569: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 12:57:16.18 ID:WM/U/f3d(7/11) AAS
>>568
つづき
AIやデータサイエンスに強みを持つALBERTの創業者で社長退任後に産学連携支援ベンチャーを立ち上げた上村崇氏は「ALBERTで多くのサイエンティストを雇用したが、サイエンティストはコミュニケーションやマネジメントが極めて難しい」と率直に語る。「全ての社員を同じ軸で十把一絡げに評価するのではなく、専門人材としてそれぞれ異なる評価と待遇が必要になる」（上村氏）。
「25万人育成」など大胆な数字をうたう今回のAI戦略案には、こうした過去の失策の反動という側面が透けて見える。インパクトのある数字を提示することで、固着した現状を動かそうとする気概を感じる。
ただし、戦略を実効性あるものにするには、学生の数理の素養に応じた多様なカリキュラムの検討や、産学連携を得意とする人材の発掘や育成など「魂を入れる」作業が不可欠だ。それなしにはAI戦略に基づく各省庁の施策も、ただの数合わせに終わる恐れがある。
（日経 xTECH/日経コンピュータ 浅川直輝）
［日経 xTECH 2019年4月3日付の記事を再構成］
(引用終わり)
以上
570(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 17:33:32.95 ID:WM/U/f3d(8/11) AAS
>>564
メモ
https://wiki.epfl.ch/quetorus/
EPFL Wikis QUE over the Torus Accueil
QUE OVER THE TORUS
https://wiki.epfl.ch/quetorus/documents/l-adic%20-%20lausanne.pdf
- An introduction to l-adic sheaves and the function-sheaf dictionary Michael Groechenig Lausanne, March 2013
571(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 17:52:08.27 ID:WM/U/f3d(9/11) AAS
>>570 関連
これ面白いわ
三分の一くらい抜粋（＾＾；
https://researchmap.jp/jolzgmnv3-26434/
武部尚志 researchmap
2012/12/21
有限体上の多様体上の l 進局所系
(抜粋)
昨日は P. Deligne 氏の "l-adic local systems on varieties over finite fields" という講義（セミナー？講演？）がありました。
数論は敬遠してるのですが、流石にこれだけの有名人だと見物に行こうかという気になってノコノコと顔を出しに行きました。
と気の無さそうな事を言ってますが、あまり大きくない教室でやると聞いたので講演の十五分前には席取りに駆けつけた、というミーハー。案の定、その部屋でやっていた直前の講義（セミナー？）が終わった途端にドッと人が流れ込んであっと言う間に満席。外から椅子を持ってきて机の間に置いたり、床や窓の縁に腰かけたりで、休憩前の前半はおそらく７０人以上、休憩後の後半も５０〜６０人は来ていました。
話の中身はうっかり変にまとめると専門家にイヂメラレそうな気がしますが（？）、とりあえずアブストラクトは以下の通り：
つづく
572(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 17:53:49.33 ID:WM/U/f3d(10/11) AAS
>>571
つづき
l-adic local systems on varieties over finite fields are arithmetically interesting, essentially independent of l, and I will give evidence beyond that given by Drinfeld in 1981 that their number (suitably defined) is given by a formula of Lefschetz type.
特に Lefschetz 型公式、と言われても Lefschetz 公式そのものを知らないので肝が分かってないのでまとめようはない。でもこのブログに書く数学の講演の記録は自分のための復習ですから恥をさらしつつ分かったポイントだけメモ（専門家の修正コメント歓迎）：
位相空間上で局所系を考えればファイバーへの基本群の表現が出来る。代数多様体上でも例えば複素数値点を取ってやれば同じことは出来るが、これは超越的なので困る。そこで基本群と被覆空間の duality を使う。
代数多様体の有限被覆なら代数多様体になることが知られているので（non-trivial!）、これの被覆変換群の pro-finite 完備化を取って基本群を定義する。
ここから l-進体の代数閉包や、有理数体の適当な有限次拡大上の基本群の表現が出来る。
という話を全部引っくり返して l-進体上の局所系を定義する（？）。
ここまで来てやっと「そう言えばこういう話どっかで聞いたな」と思い出しました。
1990 年代前半（Fermat 予想が解けた解けないと言ってた頃）、数論の人と幾何の人が共形場理論〜 Langlands プログラムの周辺で盛り上がって、一緒に勉強会をやってた事があって、そこに潜り込んだ時にそういう話をしてました。
（で、基本用語が分からんので数論の先生の講演中に質問したらその先生はノケゾリ、聴衆の数論の人には爆笑された、という痛い経験も思い出してしまった。）
Deligne 先生は CFT の話はしていませんでしたが、P^1 四点の場合の例を数論と比べていました。
(引用終わり)
以上
573(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/04/16(火) 18:41:49.12 ID:WM/U/f3d(11/11) AAS
>>571
関連、”黒木玄, 武部尚志”か
https://researchmap.jp/read0211604
researchmap
研究者氏名
黒木 玄
https://iopscience.iop.org/article/10.1088/0305-4470/34/11/330/meta
Wess-Zumino-Witten model on elliptic curves at the critical level
黒木玄, 武部尚志
J. Phys. A 34(11) 2403-2413 2001年4月 [査読有り]
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.063s