23/02/22 19:26:35.09 JXBpR2zJ.net
>>702
つづき
URLﾘﾝｸ(www.ac-net.org)
Academia e-Network Project
URLﾘﾝｸ(www.ac-net.org)
数学雑記帳 (by 猪瀬博司)2012-05-07
・内容見出
・No 17 数学雑記帳 IV (1965.3) (260MB)
・No 19 数学雑記帳 V Algebra (226MB)
・No 21 数学雑記帳 VI (337MB)
・No 23 数学雑記帳 VII (60MB)
・No 25 代数 1 (60MB)
・No 27 代数 2 (98MB)
・No 28 行列 1 (340MB)
・No 32 雑記帳 VIII,1967-8 (129MB)
・数学雑考 1969 (95MB)
URLﾘﾝｸ(www.ac-net.org)
内容見出
目 次
1 No 17 数学雑記帳 IV (1965.3) 2
2 No 19 数学雑記帳 V Algebra 3
3 No 21 数学雑記帳 VI 4
4 No 23 数学雑記帳 VII 6 （p58 1967 年計画 p78 セミナー 67.5 1.より）
5 No 25 代数 1 8 （1966.10.1-12.29 「本ノートは洛北図書館 412W1 「現代代数学１」による）
6 No 27 代数 2 8 （1966.12.29 「本ノートは洛北図書館 412W1 「現代代数学１」による）
7 No 28 行列 1 8
8 No 32 雑記帳 VIII,1967-8 9
9 数学雑考 1969 11 （ 特殊な代数曲面について,p36,1974/5 が最後みたい）
(引用終り)
以上
772:１３２人目の素数さん
23/02/22 19:30:48.20 7FeF3fe4.net
クラメルの公式
証明の概略と一般化について
URLﾘﾝｸ(ja.wikipedia.org)
773:１３２人目の素数さん
23/02/22 19:32:49.51 7FeF3fe4.net
幾何学的代数の要旨
金谷健一 （岡山大学名誉教授）
URLﾘﾝｸ(iim.cs.tut.ac.jp)
774:１３２人目の素数さん
23/02/22 21:29:05.75 7A0Xb0pJ.net
>>704-705
ありがとう
775:１３２人目の素数さん
23/02/22 21:42:51.33 7A0Xb0pJ.net
>>701
>どこから「京都大学教授」が出て来たのやら
質問していい？
Q1. 猪瀬博司とあなたのInose>>698と、Hiroshi Inose[I1] [I2] >>699 と、 Shioda-Inose >>699
この４者は同一人物ですか？
Q2. 猪瀬博司氏>>702は、学部は69年東工大入学として
”猪瀬博司/遺稿集発行有志会編集（飯高茂）”など>>702を見ると
修士では、東大の数学科修士にしたのかな？
776:１３２人目の素数さん
23/02/22 22:05:53.90 EQcdNkCP.net
>>707
Q1の答：だと思う
Q2の答：だと思う．城之崎で会ったときは東大だったので、学部も東大だと長い間思い込んでいた。
777:１３２人目の素数さん
23/02/23 00:10:45.58 03KDcN8J.net
>>700
>金子晃さん
本名 アレクセイカーネンコ か
著書「超函数入門」ありましたね
チラ見した気がする
URLﾘﾝｸ(www.kanenko.com)
ようこそ, アレクセイカーネンコ応用数理研究室へ!
Welcome to Alexei KANENKO's Web Site!
URLﾘﾝｸ(www.kanenko.com)
金子晃の著書のサポートページ
超函数入門のページ
出版履歴
・2013 年：ペーパーバック版が刊行された．初刷の際に1ページ落丁が見つかり， 回収するという事件が発生した．
URLﾘﾝｸ(webcache.googleusercontent.com)
HMV&BOOKS online
金子晃 プロフィール
１９６８年東京大学理学部数学科卒業。１９７３年東京大学教養学部助教授。１９８７年東京大学教養学部教授。１９９７年お茶の水女子大学理学部情報科学科教授。理学博士、東京大学・お茶の水女子大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）
URLﾘﾝｸ(research-er.jp)
日本の研究.com
金子晃 KAKEN
一般研究(C)
・量子力学の準古典近似の研究
・高次元ソリトンの挙動に関する研究
778:１３２人目の素数さん
23/02/23 00:43:27.51 03KDcN8J.net
>>708
回答ありがとうございます
なるほど、良く分かりました
【著者名 】猪瀬博司/遺稿集発行有志会編集（飯高茂） 【発行年度】昭和54年
ということは、ご逝去は、S52～S54かな
いや、残念ですね
ご存命だと思ったので >>699
京都大学 グローバル COEプログラム 中間報告書2010
【講演】 Shioda-Inose correspondenceなどを見て
てっきり、京都大学に就職されたと思いました
遺稿集発行有志会編集（飯高茂）>>702ということは
東大では、飯高茂先生と同じ講座か
学部が東工大で、志賀浩二先生のところで、昭和54年は志賀先生は教授だったんだね（下記）
ようやく分かりました
志賀先生、”矢野健太郎に師事”とあるね
矢野先生の”著作 『相対性理論』福原満洲雄監修、至文堂〈近代数学新書〉1963年”を読んだ気がする
最後の付録に、統一場理論の解説があって、５次元を使うカルツァークライン理論の解説だった（下記）
URLﾘﾝｸ(ja.wikipedia.org)
志賀浩二
志賀 浩二（しが こうじ、1930年（昭和5年）10月8日 - ）は、日本の数学者。理学博士（東京大学・論文博士・1964年）。東京工業大学名誉教授。専門は微分位相幾何学、数学教育[1]。
1953年（昭和28年）に新潟大学を卒業、東京大学大学院数物系研究科数学専攻修士課程に入学、矢野健太郎に師事[4]、1955年（昭和30年）に修了。
（1967年（昭和42年）東京工業大学理学部数学科助教授）
1975年（昭和50年）に東京工業大学理学部数学科教授に就任、1988年（昭和63年）に東京工業大学を退官、桐蔭学園横浜大学工学部教授に就任、2004年（平成16年）に桐蔭横浜大学を退職。
つづく
779:１３２人目の素数さん
23/02/23 00:44:47.75 03KDcN8J.net
>>710
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6%E8%80%85)
矢野健太郎 (数学者)
矢野 健太郎（やの けんたろう、1912年（明治45年）3月1日 - 1993年（平成5年）12月25日）は、日本の数学者。東京工業大学名誉教授。専門は微分幾何学。
数学者として
小学生のときにアインシュタインの訪日と相対性理論に関するニュースを聞く。旧制高校在籍中に、相対性理論を理解するには微分幾何学、特にその中のリーマン幾何学を良く理解していなければならないと、当時東大助教授だった理論物理学者の山内恭彦に言われ[1][2]、 東京帝国大学では幾何学を専攻、1934年（昭和9年）に卒業して大学院に進む。同時に東京物理学校の講師に就任。その当時グレゴリオ・リッチ (Curbustro Gregorio Ricci) 、レビ・チビタ (Tullio Levi-Civita) などの絶対微分学が確立されつつある時代で、いち早くその重要性に着目した。またおなじころ、発展中であった、エリ・カルタンの接続の概念に注目し、カルタンの下での研究を志し、1936年（昭和11年）にパリ大学へ留学した。
パリ大学で提出した射影接続空間に関する論文により理学博士の学位を得る。1941年 東京大学 、理学博士 論文は仏文である。「共形接続空間の理論について(仏文)」。[3] 高校生のときから相対性理論に興味を持っていたこともあり、統一場理論に関する論文も発表している。
プリンストン高等研究所ではサロモン・ボホナー (en:Salomon Bochner) のもとで大域微分幾何学の研究を主に行い、ボホナーとの共著も出版されている。
当時、同じくプリンストン高等研究所にいたアインシュタインと親交を深める。矢野の夫人とアインシュタインが腕を組んでいる写真は矢野家の家宝とのことである。その当時のことを記した『アインシュタイン伝』[4]は代表作である。
遠山啓と共に雑誌『数学セミナー』の創刊に寄与し、多くの記事を執筆している[要出典]。
著作
・『相対性理論』福原満洲雄監修、至文堂〈近代数学新書〉、1963年
つづく
780:１３２人目の素数さん
23/02/23 00:45:09.65 03KDcN8J.net
>>711
つづき
URLﾘﾝｸ(ja.wikipedia.org)
カルツァ＝クライン理論（カルツァ＝クラインりろん、Kaluza-Klein theory、KK理論）は、重力と電磁気力を統一するために五次元以上の時空を仮定する理論である。理論物理学者のテオドール・カルツァが1921年に提唱し、1926年にオスカル・クラインが修正した。
(引用終り)
以上
781:１３２人目の素数さん
23/02/23 04:06:24.26 4pLa03iF.net
コピペ魔 コピペ魔
782:１３２人目の素数さん
23/02/23 07:36:04.97 6ks1hqJf.net
しょうがないよ
大学の数学も物理も理解できず
負けてクソサラリーマンに成り下がった
淋しい耄碌爺だから
人生ゼロ なんにもなし
783:１３２人目の素数さん
23/02/23 07:43:52.43 6ks1hqJf.net
まあ人生に数学も物理も必要ないんですがね
必要ないことを必要だと誤解して
好きでもないのに好きだとウソついて
全く理解できないのに面白いとウソつく
勘違いなことやってる時点で
人生ボロ負けですわ
目ぇ覚ませ
784:１３２人目の素数さん
23/02/23 08:06:50.73 fP7IBK5f.net
>>710-712
どんな形にせよ
称号を授けられたことは
活躍が認めらたことと
受け取ってよいと思います。
785:１３２人目の素数さん
23/02/23 08:12:14.36 6ks1hqJf.net
昭和時代のカン違い野郎が勉強したがるもの
相対性理論
ガロア理論（群論）
平成時代のカン違い野郎が勉強したがるもの
超弦理論
数論幾何（圏論）
786:１３２人目の素数さん
23/02/23 08:13:38.23 fP7IBK5f.net
令和は？
787:１３２人目の素数さん
23/02/23 08:15:19.80 fP7IBK5f.net
量子力学は大正？
788:１３２人目の素数さん
23/02/23 08:46:02.47 03KDcN8J.net
>>709 追加
URLﾘﾝｸ(www.jstage.jst.go.jp)
最近の日本の数学(そのI)
超函数論
河田 敬義, 河合 隆裕
数学 1973 年 25 巻 1 号 p. 68-70
発行日: 1973/01/30
URLﾘﾝｸ(www.jstage.jst.go.jp)
超函数論 河合 隆裕 数学 1973 年 25 巻 1 号 p. 68-70
Fourier超函数の理論は金子晃によつて超函数の構造の研究に有効に用いら
れた[21].さらに金子は無限階微分作用素の理論を実解
析解の研究にも有効に利用した[20],[21].
文 献
[20] A. Kaneko, On continuation of regular soluti
ons of partial differential equations to compact
convex sets, J. Fac. Sci. Univ. Tokyo, 17 (1970),
567-580.-, Ibid. II. Ibid .,18(1971),416-433.
[21) -,Fundamental principle and extension
of solutions of partial differential equations with
constant coefficients, Hyperfunctions and Pseudo-
differential Equations, Part I, Proceedings of a
Conference at Katada,1971, Springer, Lecture
Notes in Mathematics, to appear.
789:１３２人目の素数さん
23/02/23 09:14:42.67 03KDcN8J.net
>>715
これは、これは
サイコパスのおサルさんですねｗ ｽﾚﾘﾝｸ(math板:5番)
>まあ人生に数学も物理も必要ないんですがね
反例がすぐ見つかるぞ！ｗ
>全く理解できないのに面白いとウソつく
>勘違いなことやってる時点で
>人生ボロ負けですわ
自分の人生や姿を、こっちに投影されても ご迷惑ですよｗｗｗ
十で神童、二十過ぎれば ただの某数学科落ちこぼれでしょ？
あんた、大学の確率論落としたね？
だから、時枝記事不成立が分からないんだね！ｗ ｽﾚﾘﾝｸ(math板)
(参考)
URLﾘﾝｸ(kotobank.jp)
コトバンク
十で神童十五で才子二十過ぎれば只の人
ことわざを知る辞典の解説
子供の頃には神童といわれた者も、多くは、長ずるにしたがって並の秀才となり、大人になるころには凡庸な人間になってしまう。
[使用例] 十で神童、十五で才子、二十過ぎれば並の人、ということもあるから、子供の時に悧り巧こうでも大人になって馬鹿にならないとは限らない［芥川龍之介＊才一巧亦不二｜1925］
790:１３２人目の素数さん
23/02/23 09:18:41.63 03KDcN8J.net
>>713
>コピペ魔 コピペ魔
ありがと
・ここは、天下のチラシの裏（コピーもありだよ）
・コピペするとき、読んで、要点をコピーする。それも一つの勉強
・コピーしておくと、キーワード検索で便利です
以上
791:１３２人目の素数さん
23/02/23 09:51:04.04 6ks1hqJf.net
>>721
>>まあ人生に数学も物理も必要ないんですがね
> 反例がすぐ見つかるぞ！
耄碌爺の人生とは無関係
自分の平成サラリーマン人生の中で
どれほどの数学と物理が必要だった？
高校レベルで十分だっただろ？
それが答え
>>
792:;人生ボロ負けですわ > 自分の人生や姿を、こっちに投影されても ご迷惑ですよ いや学歴乞食の君自身の姿ですよ わたしに投影しようとして無理ですから 残念！！！
793:１３２人目の素数さん
23/02/23 10:05:44.94 6ks1hqJf.net
>>722
>大学の確率論落としたね？
>だから、時枝記事不成立が分からないんだね！
選択公理が分からない、高卒落ちこぼれが
時枝正に嫉妬して、「箱入り無数目は間違ってる！」と発○
ああ ミットモナイ
794:１３２人目の素数さん
23/02/23 10:36:00.54 03KDcN8J.net
>>709
下記 河合,金子は、カーネンコ節炸裂ですねｗ
URLﾘﾝｸ(www.jstage.jst.go.jp)
数学25巻,3号（超函数特集号）1973
URLﾘﾝｸ(www.jstage.jst.go.jp)
超函数と定数係数線型偏微分方程式論
河合隆裕,金子晃 1973年25巻3号p.239-253
V.V.Grusin[1]はC∞解について一つの十分条件を与えたが,金子[9]は
彼の結果を受けて実解析解が「点に接続できるた,めの必要十分条件を決定した.そこで与えられた
証明は超函数の軟弱性を用い,また局所作用素が
最初に有効に使われた例として重要であった.
彼のその後の仕事では実解析函数は§1の末尾に述
べられているような局所作用素を用いた把え方に
より一貫して扱われているが,§3における記述は(編集者の意向に反して!)やや異った流儀でなされているようである.
§5はいわゆるFundamental Princip1eの要約と,それから得られる諸結果が述べられている.
超函数的定数係数偏微分方程式論で最後に残っていた同次解の指数函数表示定理がここに示されている.
(ある毒舌家日く,Fundamental Principleなどと名の付くものが現われたら,もうその分野はおしまいなのだ!?)
最後に,共著者のうちの一人が海外に出張中で
あったため全般にまとまりの欠けたことを読者におわびしたい.
目次
§1.Fourier超函数一その定義と主要性質.
§2.定数係数線型無限階微分方程式..
§3.実解析解の延長.,
§4.方程式系の超函数解の一般論.
§5.FundamentalPrincipleとその応用.
URLﾘﾝｸ(www.jstage.jst.go.jp)
佐藤超函数と微分方程式 小松彦三郎 1973年25巻3号p.193-212
URLﾘﾝｸ(www.jstage.jst.go.jp)
超函数論における擬微分方程式論
佐藤 幹夫, 河合 隆裕, 柏原 正樹 数学/25 巻 (1973) 3 号 書誌
URLﾘﾝｸ(www.jstage.jst.go.jp)
文献表 1973年25巻3号p.273-282
795:１３２人目の素数さん
23/02/23 11:02:38.93 03KDcN8J.net
>>725
思い出したので書くが
下記 小松 双対空間としての超函数からみで、下記 山中健:[1]線型位相空間と一般関数 を読んだ
佐藤超関数は、試料函数を解析関数とってあるので、シュワルツの超関数より広いと書いてあった
（シュワルツの場合、試料函数は無限回微分可能な関数）
URLﾘﾝｸ(www.jstage.jst.go.jp)
佐藤超函数と微分方程式小松彦三郎1973年25巻3号p.193-212
P5
§4.Distributionとultradistributionの埋込み.
試料函数の空間を小さくすれば,双対空間である超函数の空間は大きくなるという原理に基づい
てdistributionを拡張する試みは数多くなされている.ここではBeurling(Bjorck［1］参照)お
よびRoumieu［1］が導入した超函数の族をとりあげる.
URLﾘﾝｸ(www.jstage.jst.go.jp)
文献表1973年25巻3号p.273-282
P282
山中健:[1]線型位相空間と一般関数 共立豫学講座16, 1966.
URLﾘﾝｸ(dl.ndl.go.jp)
目次
1． 線形空間と線形位相空間/p1
2． 局所凸線形位相空間/p7
3． Hahn‐Banachの定理/p14
4． 局所凸空間の主要な型/p21
5． 局所凸空間の列の帰納極限/p27
6． 線形写像の可逆定理，閉グラフ定理/p33
7． 空間L(S，T)，Banach‐Steinhausの定理/p37
8． 局所凸空間の共役空間/p44
9． 弱位相の双対性/p48
10． 双対位相，Mackeyの定理/p51
11． 回帰性の問題/p57
第2章 一般関数の理論と応用
12． 試料関数と一般関数/p65
13． 試料空間の二，三の例/p70
14． 空間[数式]/p79
15． 一般関数[数式]の構造/p87
16． 超関数∈D′(Ω)の構造/p95
17． 一般関数のFourier変換/p110
18． 定数係数偏微分作用素の素解/p120
19． S型空間/p130
20． S型空間のFourier変換/p143
21． 定数係数線形偏微分方程式のCauchy問題/p148
付録
解答/p177
796:１３２人目の素数さん
23/02/23 11:33:14.09 03KDcN8J.net
>>723-724
落ちこぼれのサルが喚くｗ ｽﾚﾘﾝｸ(math板:5番)
> 自分の平成サラリーマン人生の中で
> どれほどの数学と物理が必要だった？
> 高校レベルで十分だっただろ？
そりゃ、あんたの地位が低いだけよｗ
理系の文献で、数学が皆無とか高校で間に合うとかは少数です
文系でも、経済学では、高校レベルじゃね（下記）
URLﾘﾝｸ(ja.wikipedia.org)
植田 和男（1951年9月20日 - ）
人物・経歴
東京大学理学部、同大学経済学部卒業。東大経済学部在学中は宇沢弘文（数理経済学）、小宮隆太郎（国際金融論）、浜田宏一（国際金融論）の下で学ぶ[3]。
URLﾘﾝｸ(ja.wikipedia.org)
宇沢（宇澤） 弘文（う1928年（昭和3年）7月21日 - 2014年（平成26年）9月18日[4]）は、日本の経済学者。専門は数理経済学。意思決定理論、二部門成長モデル、不均衡動学理論などで功績を認められた。シカゴ大学ではジョセフ・E・スティグリッツを指導した[3]。
学生時代
1951年に東京大学理学部数学科を卒業し、数学科の特別研究生となった[9]。彌永昌吉に数論を、末綱恕一に数学基礎論を学んだが、経済・社会問題への関心から経済学に転じる
URLﾘﾝｸ(ja.wikipedia.org)
ジョン・ナッシュ
ジョン・フォーブス・ナッシュ・ジュニア（John Forbes Nash Jr. 1928年6月13日 - 2015年5月23日[1]）は、アメリカ人の数学者。ゲーム理論、微分幾何学、偏微分方程式で著名な業績を残す。1994年にゲーム理論の経済学への応用に関する貢献によりラインハルト・ゼルテン、ジョン・ハーサニと共にノーベル経済学賞を、2015年に非線形偏微分方程式論とその幾何解析への応用に関する貢献によりルイス・ニーレンバーグと共にアーベル賞を受賞した。 微分幾何学では、リーマン多様体の研究に関して大きな功績を残す。
つづく
797:１３２人目の素数さん
23/02/23 11:33:44.88 03KDcN8J.net
>>727
つづき
1959年から統合失調症を患うようになり、1960年代には精神病院に通いながら研究を続ける。1970年ごろから寛解に向かい、1990年代には症状が出なくなったとされる。
URLﾘﾝｸ(ja.wikipedia.org)
亀澤 宏規（かめざわ ひろのり、1961年〈昭和36年〉11月18日 - ）は、日本の実業家。株式会社三菱UFJフィナンシャル・グループ取締役代表執行役社長兼グループCEO。宮崎県出身[1]。
経歴
宮崎県立宮崎西高等学校、東京大学理学部数学科卒業[2]、東京大学大学院理学系研究科を修了した後、1986年に三菱銀行（現・三菱UFJ銀行）に入行。
URLﾘﾝｸ(ja.wikipedia.org)
ブラック?ショールズ方程式
ブラック?ショールズ方程式（ブラック?ショールズほうていしき、英: Black?Scholes equation）とは、デリバティブの価格づけに現れる偏微分方程式（およびその境界値問題）のことである。
URLﾘﾝｸ(ja.wikipedia.org)
伊藤 清（1915年〈大正4年〉9月7日[1] - 2008年〈平成20年〉11月10日）は、日本の数学者、大蔵官僚。
数学者である伊藤清三は弟[3]。
ファイナンス分野への貢献
デリバティブの一種であるオプションの価格評価式であるブラック?ショールズ方程式の導出もまた、伊藤の定理が基礎となっており、同方程式の考案者としてノーベル経済学賞を受賞したマイロン・ショールズは伊藤に会った際にわざわざ握手を求め、伊藤の定理に敬意を表した。伊藤自身は経済学に無関心で、ある経済学者の集まりに出席した際にあまりの歓迎ぶりに当惑し、そもそもそんな定理を導いた記憶はないと言い張ったという[8]。
(引用終り)
以上
798:１３２人目の素数さん
23/02/23 13:43:26.44 03KDcN8J.net
>>710
そういえば、猪瀬博司氏と1969年入学同学年で
森重文氏が居たのを思い出した
URLﾘﾝｸ(ja.wikipedia.org)
森重文（1951年〈昭和26年〉2月23日[1] - ）は、日本の数学者（代数幾何学）。勲等は文化勲章。学位は、理学博士（京都大学・1978年）（学位論文『The endomorphism rings of some abelian varieties〈幾つかのアーベル多様体の自己準同型環〉』）。
概要
愛知県名古屋市出身の数学者である。代数幾何学における双有理幾何学を専攻する。代数幾何学での業績により、1990年にフィールズ賞を受賞した。
研究
「接束が豊富なら射影空間である」というハーツホーンの予想を解決した論文[5]は、代数多様体の構造論における最初の一般的な定理として歴史に刻まれるものであり、
極小モデルの存在を3次元の場合に示すことに成功し、1990年に京都で開かれた国際数学者会議でフィールズ賞を受けた。
人物
日本を震撼させた東大安田講堂攻防戦の直後となった1969年の東京大学入学試験は、当時の佐藤内閣政治的判断と行政指導により中止されてしまった。このため森は仕方なく京都大学に進んだ[1]。フィールズ賞を受賞した時、『科学朝日』誌は「あのとき東大に進んでいたらフィールズ賞受賞はなかっただろう」とこれを報じている。
高校の時に大学の内容を進んで学んでいたりはしていなかった。大学での数学に触れたのは大学に入ってからである[1]。
広中平祐は「自分は鈍才だが、森君は天才」という[8]。
学生時代、指導教授からある数学書を薦められると1～2ヶ月ほどで「読みました」と戻って来てしまい、次の数学書を薦められてはまた同じことを繰り返した。「数学書を読むのが異常に速い」学生として強烈な印象を与えていたという。
URLﾘﾝｸ(mathsoc.jp)
向井茂「森重文氏の業績」『数学』第43巻第1号、1991年、40-47頁
URLﾘﾝｸ(mathsoc.jp)
隅広秀康「森重文氏」『数学』第43巻第1号、1991年、47-50頁
799:１３２人目の素数さん
23/02/23 13:56:37.49 03KDcN8J.net
>>636 補足
遠山啓の「数学入門」で、
一番まずいのは、古いってこと
上が刊行日 1959/11/17、
下が刊行日 1960/10/20
でしょ？
かれこれ、60年以上前
時代が違うでしょ？
>>374より
”かつて, 横田一郎先生がご存命だったときに,
よく「ずるく勉強せなあかん」 とおっしゃられていました。
「最短距離で最先端」という意味は,
この横田先生の言葉がよく表しています”
1960年当時、社会で必要とされる数学と
2023年の今、社会で必要とされる数学と
かなり違うと思うけどね
それが反映されていない入門書って
まずいよね
800:１３２人目の素数さん
23/02/23 15:59:10.01 03KDcN8J.net
>>730 補足
１）1960年当時といえば、電卓は無いけど、
ソロバン全盛で、日本民族の数値計算能力のレベルは高かったんだ
２）ところが、世界的にエクセルとか表計算が普及して
いつのころからか「日本人は計算に弱い」と言われるようになったそうな
その意味は、エクセルとか表計算などを使いこなしていないからという
３）三角関数の加法定理なんかやめて、エクセル使えば良い（複素関数のオイラーの公式を教えれば代用できるし）
加法定理は教えて良いけど、試験に出す必要ない
４）フーリエ変換も、いまは数値計算ソフトがいろいろあって
ソフト組み込みの機械が普通でしょ（例 FT-IR Fourier-transform infrared spectroscopy (FTIR) URLﾘﾝｸ(en.wikipedia.org)）
（先端の科学でも、相対性理論の重力波の計算、素粒子物理の計算、量子力学の高分子の計算、全部専用ソフトがある）
５）数学も、数学ソフト（数式処理とか群論とか）使用を前提にした、教授法を考えないとね
６）だから、数学入門書もソフト使用前提の入門書であるべきと思うよ
（例えば下記で、行列計算だって、エクセルにあるよ。複素数関数もある）
(参考)
URLﾘﾝｸ(bellcurve.jp)
Excel関数による行列の転置・積・逆行列・行列式の計算方法 2017/12/20
URLﾘﾝｸ(godfoot.world.coocan.jp)
エクセルを用いた虚数、複素数計算 (有)ゴッドフット企画
URLﾘﾝｸ(godfoot.world.coocan.jp)
Excelを用いた科学技術計算
科学技術計算の９０％はExcelで対応できる！
(基本公式・関数・ソルバー・VBA・グラフを用いて)
801:１３２人目の素数さん
23/02/23 16:23:21.79 AUdAUAqL.net
百万人の数学 上 単行本 – 2015/12/18
ランスロット・ホグベン (著), 久村 典子 (翻訳)
ホグベンの本の「特徴」は
「具体的」「実学的」であることです。
数学書あるいは数学入門書の多くは
専門の数学者が数学専攻者のために
数学書のスタイルで書くことが多いです。
そして数学者のほぼ１００％は
プラトン主義者です。
簡単に言うと
数学者は数学を実学とは思っていません。
ことに現代数学は抽象化が進んでおりますので
公理によって規定されている
数学的対象（数学的構造）に対して
一段一段理解して行くしかありません。
伝統的に英国の数学は
例えば大陸の数学に比べると
抽象的一般論よりは
具体例を重視する傾向があった
ようにも感じます。
ホグベンの本はそのきわめて卑近な
典型例と言うことができるでしょう。
続く
802:１３２人目の素数さん
23/02/23 16:25:16.30 AUdAUAqL.net
もちろん
数学のユーザーの中にはいろいろな人が
いますので
実学重視した数学入門書があってもいいと
思います。
そう考えたホグベンは日常生活に例を求め
マイル・ヤードなど
英国人にとっては身近な単位を用いて
数学的事実を記載しました。
それは英国においては有意義ですが
それをそのままヨコのものをタテにするだけでは
日本人には何の実感も生まれない
従って実学的効果もない
ということになります。
ホグベンの原著につきましては
数学入門書として良い点もあれば
至らない点もあります。
総じて悪い本ではありません。
しかし絶賛という本でもありません。
続く
803:１３２人目の素数さん
23/02/23 16:25:56.73 AUdAUAqL.net
コンピュータなどの進歩という
時代背景はあるかもしれませんが
数学書はそういうことは
気にしなくていいと思います。
時代や空間に左右されることなく
数学が持っている基本的な精神
（マインド・エスプリ・センス）
などを記述することが特に
入門書にとっては肝要かと思います。
その点
本書（つまり新訳）は上述の通り
何の工夫もなく
単にヨコのものをタテに直しただけ
という印象です。
むしろ今野武雄訳をそのまま
再出版していただいた方が
有益であったように思います。
804:１３２人目の素数さん
23/02/23 19:30:37.40 03KDcN8J.net
>>732
>百万人の数学 上 単行本 - 2015/12/18
>ランスロット・ホグベン (著), 久村 典子 (翻訳)
ありがとう
昔何かで題名だけ見た気がする（新聞抗広告だったか、図書館だったか、多分複数回）
引用のホグベンのレビュー Enriques_Castelnuovo が二つあって
1日違いで正反対みたい
久村 典子 訳に、ダメだしか
URLﾘﾝｸ(www.)<)アマゾン
百万人の数学〈上〉 (1969年) (筑摩叢書) Tankobon Hardcover
by L.ホグベン (著), 今野 武雄 (翻訳)
レビュー
Enriques_Castelnuovo
4.0 out of 5 stars フィールズ賞のマンフォードも称賛
Reviewed in Japan on July 21, 2019
フィールズ賞（1974）受賞者である
英国生まれの米国の数学者
デーヴィッド・マンフォード氏
（1937ー）が
ホグベン『百万人の数学』に対し
賛辞（tribute）を述べている由です。
つづく
805:１３２人目の素数さん
23/02/23 19:31:08.23 03KDcN8J.net
>>735
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ランスロット・ホグベン
ランスロット・トマス・ホグベン （1895年12月9日 - 1975年8月22日）は、イギリスの動物学者、遺伝学者。
『百万人の数学』『市民の科学』をはじめ、科学・数学・言語の啓蒙書の執筆者としてよく知られる。マルクス主義者でもあり独立労働党でも活動、人工言語・インターグロッサ（英語版）の考案者である。妻は、数学者・統計学者でフェミニストのエニッド・チャールズ（英語版）。
ホグベンは『百万人の数学』(1936年)、『市民の科学』(1938年)と一般向けの科学のベストセラーを2冊出版した。これらはとても野心的な書籍であった。
URLﾘﾝｸ(en.wikipedia.org)
Lancelot Thomas Hogben FRS[1] FRSE (9 December 1895 ? 22 August 1975)
British experimental zoologist and medical statistician.
Popular science writing
Hogben produced two best-selling works of popular science, Mathematics for the Million (1936) and Science for the Citizen (1938). Mathematics for the Million received widespread praise, with H. G. Wells saying that "Mathematics for the Million is a great book, a book of first-class importance".[20] The book was also lauded by Albert Einstein, Bertrand Russell and Julian Huxley.[20][21]Mathematics for the Million was reprinted after Hogben's death.[21]
References
21 "Mathematics for the Million...praised by Einstein, H. G. Wells and others, it was reprinted in paperback in 1993." De Smith, Michael John, Maths for the Mystified : An Exploration of the History of Mathematics and Its Relationship to Modern-Day Science and Computing.Leicester : Matador, 2006. (p.192)
(引用終り)
以上
806:１３２人目の素数さん
23/02/23 19:42:57.40 03KDcN8J.net
>>735 補足
百万人の～ というのは、キラーフレーズかも
いろん本あった気がするな
https://アマゾン
原子の内幕―百万人の核物理学入門 (1966年) Tankobon Hardcover ? Antique Books, July 1, 1966
by アイザック・アシモフ (著), 佐々木 宗雄 (解説, 翻訳)
https://アマゾン
百万人の化学史―「原子」神話から実体へ Tankobon Hardcover ? November 1, 1989
by 筏 英之 (著)
URLﾘﾝｸ(ja.wikipedia.org)
百万人の英語
807:１３２人目の素数さん
23/02/23 19:54:30.70 03KDcN8J.net
>>732
>そして数学者のほぼ１００％は
>プラトン主義者です。
>簡単に言うと
>数学者は数学を実学とは思っていません。
>ことに現代数学は抽象化が進んでおりますので
>公理によって規定されている
>数学的対象（数学的構造）に対して
>一段一段理解して行くしかありません。
プラトン主義？ なんだっけｗ
これか？
URLﾘﾝｸ(ja.wikipedia.org)
プラトニズム（英語：Platonism）またはプラトン主義とはプラトンの哲学またはプラトンの哲学に強く由来する哲学体系を指して言われる。狭義ではプラトンの実在論の教理を指して言われる。プラトニズムの中心的な構想は、知覚の対象であるが思惟の対象でない実在と思惟の対象であるが知覚の対象でない実在の区別である。この区別をするうえでイデア論は不可欠である。イデアは「パイドン」、「饗宴」、「国家」といった対話篇で、超絶した、完璧な原型として描かれている。日常的世界に存在するものはイデアの不完全なコピーにすぎないとされる。
概要
プラトニズムの基本的な構想はイデア論である。唯一の真なる存在はイデア、つまり普遍にして完全な範型であり、知覚の対象となる個々の物はイデアの不完全な模造であるとされる。知覚の対象は大抵絶え間ない変化に巻き込まれ、そのために本当の存在を奪われる[1]。それぞれの数のイデアは個々の知覚の対象に由来しうる普遍的な構想としての数によって定義される[1]。
URLﾘﾝｸ(en.wikipedia.org)
Platonism
Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary platonists do not necessarily accept all doctrines of Plato.[1]
Philosophy
The primary concept is the Theory of Forms. The only true being is founded upon the forms, the eternal, unchangeable, perfect types, of which particular objects of moral and responsible sense are imperfect copies.
808:１３２人目の素数さん
23/02/23 20:10:37.29 03KDcN8J.net
>>738
>ことに現代数学は抽象化が進んでおりますので
>公理によって規定されている
>数学的対象（数学的構造）に対して
>一段一段理解して行くしかありません。
補足
１）一見ごもっともなれど、
他者に作られたら数学を理解するには上記としても
自分が数学理論を作るときは
試行錯誤やヒラメキが必要だったりすると思う
あるいは、何か天啓に似た直観に導かれ、新しい理論ができたり
２）あと、圏論が出て、
”一段一段”よりも
”矢印(やじるし)”主義みたいなｗ
要するに、文字で書くと10ステップ必要な内容を
圏の”矢印(やじるし)”では1行で一目です
昔は
数学は、一段一段
数学に王道なし！
今は
横田一郎先生：「ずるく勉強せなあかん」、「最短距離で最先端」
私は、横田一郎先生に一票です！
809:１３２人目の素数さん
23/02/23 21:14:17.37 fP7IBK5f.net
志村先生の「記憶の切絵図」の一節
・・・ホグベンの方は、当たり前のことばかりで、
も少し読んだら何か面白いことがあるかと
期待して読み進めたが、終わりまで行っても
結局何もなかったのでがっかりしたのであった。
私は結局は数学者になった人間だから、そんな本を読んだ
こちらが悪いとも言える。しかし
一般向けの本としても人にすすめる気にはなれない。
810:１３２人目の素数さん
23/02/23 22:23:26.53 MhPLAiFD.net
ピントはずれ
811:１３２人目の素数さん
23/02/23 22:47:26.58 fP7IBK5f.net
ホグベンの本に対して
マンフォードと志村が反対の評価をしているのが
興味深い
812:１３２人目の素数さん
23/02/24 11:59:13.77 uvW2SKpZ.net
>>739 補足
>昔は
>数学は、一段一段
>数学に王道なし！
>今は
>横田一郎先生：「ずるく勉強せなあかん」、「最短距離で最先端」
>私は、横田一郎先生に一票です！
１）最短距離で最先端：例えば相互律>>484 約20種
英 Reciprocity、物理 相反定理と同様に”二つのものを入れ替えても同等”
そういうことを知った上で、平方剰余の相互法則を学べば、単純な一段一段よりも効率的と思う
約20種の相互律をいくつかのグループに分けられるとすれば（しらんけど）
平方剰余の属するグループに共通の原理を学べば、そのグループ全体について理解できるし
より深い理解に繋がる
平方剰余→類体論に繋がる道筋も見えるかも
２）あと、”一段一段”がハマリになるときがある
例えば、定理A,B,C,D→Eとあって、これで4つの定理A,B,C,Dから大定理Eが出るとする
定理Aだけ見ても意味が分からない
定理Bとの繋がりもない
だけど、大定理Eまで行って初めて、定理Aの意味分かる
”一段一段”でなく、一回全部通して読む必要があるってこと
３）聞ける人（教師や先輩）がいれば、聞くこと
聞くための作法があって、自分なりに何が分からないかを整理すること
そして、”自分はこう考えるがどうか？”くらいまで煮詰めて聞く
聞くことも勉強法の一つ
４）良い勉強仲間を持つ
お互い情報交換して、教え合う
実は、教える（先生役）が一番勉強になり、記憶に残る
（ゼミの一つの狙いはこれ）
横田一郎先生：「ずるく勉強せなあかん」、「最短距離で最先端」
私は、横田一郎先生に一票です！
813:１３２人目の素数さん
23/02/24 12:05:24.24 TNhcTVUn.net
>「ずるく勉強せなあかん」、「最短距離で最先端」
10年かけてガロア理論さえモノにならなかったあなたが
言うのはギャグですか？それとも反面教師？
814:１３２人目の素数さん
23/02/24 12:52:04.26 2O882XG7.net
受験対応必死でやったあげく阪大ぐらいしか紛れ込めなかった手合いが
この世でいちばん地頭が見劣りする。
815:１３２人目の素数さん
23/02/24 13:45:00.06 uvW2SKpZ.net
>>744-745
ご苦労さん
それ、自分に跳ね返っていることに気付かないか？
下記、【名言】アンドリュー・カーネギー「己より賢き者を近づける術知りたる者、ここに眠る」
1人で全部やる必要ないんだよね、大学終わったら
佐藤幹夫先生：弟子の柏原正樹、河合隆裕氏らが来てから、自分では論文を書かなかったようだ
むしろ、尊師として、議論の相手やアイデアマン役だったか（下記）
まぜっかえしを、承知で書くと
１）「地頭が見劣り」とか、それ厳密な定義なく、よって計測も不能な用語を持ち出して、何が言いたい？
２）「10年かけてガロア理論」も同じ。あんた自分のバカ頭が、世間一般の尺度になるかね？ｗ
以上
（参考：裏付けがとれなかったので、都市伝説かも）
URLﾘﾝｸ(sasaki193.seesaa.net)
(有)佐々木石材工業
2015年07月12日
【名言】アンドリュー・カーネギーの墓碑に刻まれた文章
アンドリュー・カーネギーの墓碑に刻まれた文章はこちら
【己より賢き者を近づける術知りたる者、ここに眠る。】
【Here lies one who knew how to get around him men who were cleverer than himself.】
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6%E8%80%85)
佐藤 幹夫（さとう みきお、男性、1928年4月18日 - 2023年1月9日[1]）
一時期高校教師[3]を務めるなど異色の経歴を持つ。ノーベル物理学賞受賞の物理学者朝永振一郎に学んだこともある。
弟子には柏原正樹、河合隆裕、三輪哲二、神保道夫らがいる。1992年退官。
816:１３２人目の素数さん
23/02/24 15:16:10.03 TNhcTVUn.net
「セタ」は「自尊心」という無駄な機能を備えた
コピペボットだという説があります
817:１３２人目の素数さん
23/02/24 16:46:36.42 tJUxv2t4.net
高校の教師といっても、旧学制度の高校って、大学の教養課程並のレベルじゃ
なかった？ 昔の旧制高校は課程が5年間あったんだろ？
818:１３２人目の素数さん
23/02/24 17:06:21.64 uvW2SKpZ.net
>>747
おサルさん 35年前 某数学科のオチコボレという説がありますｗｗｗ ｽﾚﾘﾝｸ(math板:5番)
>>748
>高校の教師といっても、旧学制度の高校って、大学の教養課程並のレベルじゃ
>なかった？ 昔の旧制高校は課程が5年間あったんだろ？
詳しくないが、下記などを
URLﾘﾝｸ(ja.wikipedia.org)
旧制高等学校（きゅうせいこうとうがっこう）は、明治時代から昭和時代前期にかけての日本に存在した高等教育機関。存続時期のほとんどにおいて、帝国大学を中心とする官公立の旧制大学学部への進学のための予備教育（現在の大学教養課程に相当）を、男子のみに対して行った。
旧制高等学校は、中学校令（1886年）に基づく官立高等中学校が高等学校令（1894年）により改組されて発足した。当初は、尋常中学校卒業程度の者を対象に専門教育を行う学部（4年制）と帝国大学進学のための予備教育を施す大学予科（3年制）の2部門で構成されたが、やがて前者を分離・廃止して後者のみからなる3年制の機関へ変化した。
1918年の改正高等学校令では「男子の高等普通教育を完成する機関」と定義され、尋常小学校卒業程度の者を対象とする尋常科（4年制）と中学校4年修了程度を対象とする高等科（3年制）を備えた7年制高等学校が創出され、設置条件が緩和されたことで学校数も増加した。在籍者は帝国大学への進学を保証されたため、旧制高等学校は戦前の日本社会ではエリート層の揺籃の場として認識され、当時の社会制度の根底を支える役割も果たしたが、太平洋戦争下で修業年限短縮などの統制を経て、戦後の連合国軍占領下にて民主化政策の一環として実施された学制改革により、学校教育法に基づく大学（新制大学）へ統合・継承される形で1950年に廃止された。
819:１３２人目の素数さん
23/02/24 17:34:24.75 h6JjRJRL.net
>>743
>「ずるく勉強せなあかん」
コピペは勉強に非ず
読んでも理解できないとまた検索
何も勉めず何も強いず
その結果
何も読めず何も分からず
>「最短距離で最先端」
上り坂を避け続けた結果
山頂をぐるぐる回るだけ
決して山頂に辿り着けず
数学科卒は一気に坂を上り
上から１のベキ根の巨石を転げ落として
怠惰なコピペ耄碌爺をペシャンコにつぶした
１０年ラグランジュ分解式と喚いても何も分からず
耄碌爺の人生は高校卒業以後全くの無駄
820:１３２人目の素数さん
23/02/24 20:50:59.94 9XII1Ge4.net
NGワード？
821:１３２人目の素数さん
23/02/24 20:53:03.15 9XII1Ge4.net
>>662
>・そもそも行列式は、何を表しているのか？
良い質問ですねｗｗ by Ikegami
昔、大学初年度の講義で教授が「行列と行列式は別もので、行列式の方が先に考えられた・・ ウンヌン」と言っていたのを覚えている
（いまどきは、常識かも）
検索すると下記ですね。和算 関孝和 えらい！ って話かｗ
（参考）
URL あとで
東海大学紀要情報通信学部
Vol.12,No.1,2019,pp.53-62
大学初年次における数学教材の提案（その 27）
～行列式の起源～
貴田 研司 東海大学
あらまし
二元一次連立方程式の解法を一般の連立一次方程式の解法に拡張することによって，行列式の概念が自然に出来上
がる様子を示すことを目標とする
行列式の起源は連立一次方程式の一般的解法にある．西洋の数学史において行列式はLeibnizの書簡（1678
年）の中にある記載を初出としているが，その書簡が発見されたのは後年になってのことである．その後Cramer
が曲線論に関する著書（1750年）において任意の数の未知数を含む連立一次方程式の解法を示してから，ようや
く学界に注目され始め，後にCauchy（1815年），Jacobi（1841年）に至って，現在の行列式論の基礎が出来たの
である．
行列式論を説明するに当たって，行列式を既に出来上がったものとして
略
というように，突然にその定義が述べられることが多いかと思う．しかしこれはあまりにも奇異な感を与えてし
まうのではという懸念を拭い去ることができない．
このような述べ方をせずに，寧ろLeibnizやCramerの立場に帰って，どのようにして連立一次方程式の解法か
ら，行列式なるものが自然に出て来たのかを説明しようとするものである．
つづく
822:１３２人目の素数さん
23/02/24 20:55:12.76 9XII1Ge4.net
つづき
https:
//www.u-tokai.ac.jp/
uploads/
sites/
12/2021/03/PP53-62.pdf
つづく
823:１３２人目の素数さん
23/02/24 20:55:57.33 9XII1Ge4.net
>>752
つづき
URLﾘﾝｸ(www2.nao.ac.jp)
国立天文台 (NAOJ)
ここは 相馬 充 (Mitsuru SOMA) のホームページです
URLﾘﾝｸ(www2.nao.ac.jp)
「第7回天文学史研究会」 2019年
URLﾘﾝｸ(www2.nao.ac.jp)
「関・サリュースの公式について」藤野清次 (九州大学名誉教授)2019
第 1 節 はじめに：
Sarrus (通称サラス)の公式は 3 次の行列式
(determinant)の展開式はよく知られた初等的
な公式である．Sarrus はフランス人なので，以
下ではサリュまたはサリュースと呼ぶ．
我が国の初見は 1683 年の関孝�
824:aの「解伏題 之法」とされる．一方，西洋でのそれは G.W. Leibniz から L’Hospital への 1693 年の書簡と される．前者ではその後符号の訂正の指摘が されたり，後者では 1850 年までその発見事実 が公に知られていなかった．したがって，学会 や他の研究への影響などは非常に限定的で あったと思われる．本報告では行列式に関す る 3 人の話題を取り上げることにする． つづく
825:１３２人目の素数さん
23/02/24 20:57:14.04 9XII1Ge4.net
>>754
つづき
1 はじめに
この講義では行列式 (determinant) について概説し, あわせて和算ついて
紹介する. 和算とは, 江戸時代に日本で発展した日本固有の数学である. 当時
の日本は鎖国していて海外との学問的交流はほとんどなく, 和算は西洋の数
学とは独立に発展してきた. しかし明治維新とともに学校教育などに西洋の
数学“洋算”が採用され, 和算はおとろえていった. ただし珠算1だけはその後
も伝えられ実際に役立っている.
さて, 行列式は現代数学においても重要な概念である. 行列式は日本で江戸
時代に発見されたけれども当時は海外に知られることなく, のちにヨーロッ
パでもまた日本とは独立に発見されたものである. 現在では行列式は線型代
数学の中で行列 (matrix) などとともに学ぶのが一般的であるけれども, ここ
では行列や一次変換にはほとんどふれず行列式だけに話を限定する. なお, 用
語や記法は, 江戸時代のものでなく現代のものをもちいる. つまり, ここでも
ちいる数式の書き方は欧米と共通のもの, また用語の多くは明治時代に西洋
の数学を取りいれたときに作られたものである.
行列式の歴史について. 前述のとおり行列式の理論は日本とヨーロッパとで
独立に発見されている. まず, 関孝和2が方程式論の研究の中で高次連立方程
式の消去法の考察から行列式を発見し, その理論を“解伏題之法” (1683年) に
述べている. 行列式の計算の図解は 1992年発行の関孝和生誕 350年記念切手
に, 関の肖像画の背景に描かれている. 関孝和が発見して図解したのと同じ三
次行列式の計算法はヨーロッパではサリュー3の発見といわれ, 書物に発表さ
れたのは 1846年が最初である.
(引用終り)
以上
826:１３２人目の素数さん
23/02/24 21:03:25.97 9XII1Ge4.net
>>753
URLが通らない
もし、これが通れば
下記の東海大学のトップページからの検索も可能ですが
URLﾘﾝｸ(www.u-tokai.ac.jp)
東海大学
東海大学紀要
情報通信学部
Vol.12 No.1 2019
目次
論文
初年次で学ぶ線形代数の卒業研究準備段階における学び直しの例
?クラーメルの公式とその電気回路への応用?
･････････････････････････････････････････････････････････････貴田研司・福原雅朗…… 1
地図アプリケーションを利用した際の「歩きスマホ」を低減するための改良アプリケーションの提案
･････････････････････････････････････････････････････････････上山智紀・辛島光彦…… 26
反応拡散方程式を用いた東京近郊における待機児童数の予測モデル
･････････････････････････････････････････････････････････････横塚 桃・田畑智章…… 35
実物不動産に対する投資リターンの推定
･････････････････････････････････････････････････････････････伊尻 萌・田畑智章…… 43
トピックス
地域・キャンパス・学生・教職員間連携交流活動の報告
･･･････････････････････････････････････････････････････････････････････北濱幹士…… 49 ←
大学初年次における数学教材の提案（その27）?行列式の起源?
･･･････････････････････････････････････････････････････････････････････貴田研司…… 53
大学初年次における数学教材の提案（その28）?行列のかけ算の起源?
･･･････････････････････････････････････････････････････････････････････貴田研司…… 63
827:１３２人目の素数さん
23/02/24 23:08:04.88 9XII1Ge4.net
>>756
＞大学初年次における数学教材の提案（その28）?行列のかけ算の起源?
ついでに
https:
//www.u-tokai.ac.jp/uploads/sites/12/2021/03/PP63-70.pdf
東海大学紀要情報通信学部
Vol.12,No.1,2019,pp.63-70
大学初年次における数学教材の提案（その 28）
～行列のかけ算の起源～
貴田 研司
1. はじめに
大学初年次で学ぶ線形代数の講義においては，行列のかけ算の定義は唐突に述べられることが多いと思われる
が，その起源について述べることとしたい．まずは??????個の変数に対する一次変換（これは，??????次の正方行列で表
される）の合成に基づく定義から始める．そして，行列のかけ算と行列式の関係についての詳細な解説をした
い．この論文における解説には，髙木貞治「代数学講義改訂新版」1)を大いに参考にした．
この解説で鍵となるところのn個の変数 略 の同次一次式とは
略
の形の式のことをいう．
2. 行列のかけ算
行列のかけ算の起源は一次変換の合成にある．
828:１３２人目の素数さん
23/02/24 23:19:30.39 9XII1Ge4.net
いいね
面白い
URLﾘﾝｸ(www.youtube.com)
【行列と行列式の歴史】ベクトルと線型代数の難易度の謎 グラスマン ガウス デカルト ブルバキ
MT 数学・数学史
2020/09/06
Kenji Hiranabe
1 年前
この回、すごく面白かったです。ブルバキの話がここで出てくるとは！
OGURA Sei
2 年前
イケメン発見！
お話も上手で楽しく拝見させていただきました！
829:１３２人目の素数さん
23/02/24 23:34:48.87 9XII1Ge4.net
これ、良く纏まっているね
「1851年の論文でシルベスターは
>I have in previous papers defined a "Matrix" as a rectangular array of terms, out of which different systems of determinants may be engendered as from the womb of a common parent.
>（以前の論文で、項を矩形状に並べた配列として定義した "Matrix" は、そのうちで異なる行列式の体系を生み出す共通の親としての母体である。）
と説明している」
なるほどね
URLﾘﾝｸ(scrapbox.io)
miyamonz
行列の歴史
[抽象代数の歴史] p50より URLﾘﾝｸ(scrapbox.io) #Iクライナー 著 #斎藤正彦 翻訳
1855, 1858の二つの論文で、[ケイリー]は正方行列を導入
用語 "matrix"（ラテン語で「生み出すもの」の意味の語 "womb" に由来）は[シルベスター]が導入した。
シルベスターは行列を、（今日小行列式と呼ばれる）もとの行列から一部の行や列を取り除いて得られる小行列の行列式として、たくさんの行列式を生じるものとして理解していた。
1851年の論文でシルベスターは
>I have in previous papers defined a "Matrix" as a rectangular array of terms, out of which different systems of determinants may be engendered as from the womb of a common parent.
>（以前の論文で、項を矩形状に並べた配列として定義した "Matrix" は、そのうちで異なる行列式の体系を生み出す共通の親としての母体である。）
と説明している。
830:１３２人目の素数さん
23/02/25 07:31:38.97 Bp7ZbkYv.net
>>750-759
あんた
「いいね 面白い」
「よく纏まってるね」
「なるほどね」
と分かった風なこと書いてるけど
行列の掛け算 できるのかい？
831:１３２人目の素数さん
23/02/25 08:12:02.93 ZowC59iz.net
>>759 補足
>シルベスターは行列を、（今日小行列式と呼ばれる）もとの行列から一部の行や列を取り除いて得られる小行列の行列式として、たくさんの行列式を生じるものとして理解していた。
下記ですね
「小行列式」「余因子展開」など
歴史もある。結構詳しい
URLﾘﾝｸ(ja.wikipedia.org)
行列式
行列式（determinant）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。
幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換に対して線形空間の拡大率ということができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。
URLﾘﾝｸ(upload.wikimedia.org)
この平行六面体の体積はベクトル r1, r2, r3 の成す 3 次正方行列の行列式の絶対値に一致する。
歴史
現代的な行列式の概念の確立
現代的な意味での行列式という用語はコーシーによって初めて導入された[4]。彼はそれまでに得られていた知識を統合し、1812年には積と行列式の関係を発表している（同じ年にビネも独立に証明をあたえていた）。コーシーは平行して準同型の簡約化についての基礎付けの研究も行っている。
発展的な話題
小行列式
詳細は「小行列式」を参照
余因子展開
詳細は「余因子展開」を参照
余因子行列と逆行列
A の行列式 det(A) が 0 でない場合には
略
1/det(A) *A~
は A の逆行列 A?1 に一致する（クラメルの公式)
なお、余因子行列としてここでの余因子行列の転置行列、すなわち (i, j)余因子を (i, j)成分に持つ行列 を採用する流儀もあるので、単に「余因子行列」といったときにはどちらの流儀であるか注意が必要である。
(引用終り)
832:１３２人目の素数さん
23/02/25 08:20:09.46 Bp7ZbkYv.net
>>761
検索コピペはできても行列の積は計算できず
全然勉強できてませんなあ
833:１３２人目の素数さん
23/02/25 08:31:37.96 ZowC59iz.net
>>760
>行列の掛け算 できるのかい？
ホイよ
分かった風なこと言っているけど
いまどき実務で扱う行列は
3x3程度じゃ納まらないよね
3x3程度なら、手計算だろうが
(3x3のクラメールは中学でやったが）
もっと大きくなると、下記のようなソフトがあるよ
URLﾘﾝｸ(bellcurve.jp)
BellCurve
Excel関数による行列の転置・積・逆行列・行列式の計算方法
2017/12/20
URLﾘﾝｸ(www3.cuc.ac.jp)
千葉商科大学 第1回 ガイダンス 2016
高校数学の復習
1.行列の計算―売上金額の計算
Excelを用いた行列の積の計算
URLﾘﾝｸ(www3.cuc.ac.jp)
千葉商科大学
Excelを用いた行列の積の計算
このページでは，Excel関数を使って行列の積を計算する手順について解説する．
手順
1.行列Aおよび行列Bの係数を入力する．
2.MMULT関数を用いて計算する．
URLﾘﾝｸ(www3.cuc.ac.jp)
千葉商科大学 商経学部 情報コース（永岡）
URLﾘﾝｸ(www3.cuc.ac.jp)
応用情報処理 2016
834:１３２人目の素数さん
23/02/25 08:41:54.48 6s04KzyG.net
>>762
みんな君の方が異常だと気付いている
835:１３２人目の素数さん
23/02/25 08:56:24.46 ZowC59iz.net
>>763 補足
>>709より 金子晃氏が、有限要素法による偏微分方程式の解法の広義をしている
有限要素法で扱う行列は、いまどきは軽く数万ｘ数万を超えるんじゃない？
（例えば、3Dで各100分割なら100^3＝100万になる）
手計算やったら、何十年でも 終わらんぞ！ｗｗｗ
このクラスになると、エクセルではなく、専用ソフト使うけど
だからさ、数学科で落ちこぼれたアホは、世間を知らない
金子晃氏は、世間を知っている
URLﾘﾝｸ(www.kanenko.com)
ようこそ, アレクセイカーネンコ応用数理研究室へ!
Welcome to Alexei KANENKO's Web Site! （金子晃）
URLﾘﾝｸ(www.kanenko.com)
平成９年度(1997)の開講講義
応用微分方程式論(大学院・前期) 有限要素法の入門講義をしました.
URLﾘﾝｸ(www.kanenko.com)
応用微分方程式論(大学院・前期)(1997)
本講義は微分方程式の実用的側面を毎年テーマを選んで解説するものであり, 本年度のテーマは有限要素法とする.
有限要素法とは，一言でいえば領域を三角形など簡単な形状を持った要素に分割して， 区分一次函数などの初等的な基底を用いた線型代数の計算で，難しい偏微分方程式の 問題をすいすい解いてしまおうというものである.
本講義ではおおむね C. Johnson 著 『Numerical solution of partial differential equations by the finite element method』(Cambridge University Press) に基づき, この理論の基礎的部分を解説する.
だいたい同書の第７章くらいまでを目標とし, 楕円型の境界値問題については ほぼ一通りの知識を得ることを目指す.
これに実際のプログラミングの解説を補って実習もしてもらう予定である.
第１２回(７月９日)：補間誤差と有限要素法の解の誤差評価の話を終え, 巨大行列の解法に入った.
836:１３２人目の素数さん
23/02/25 08:58:03.76 ZowC59iz.net
>>764
ホイよ
>>765より
"だからさ、数学科で落ちこぼれたアホは、世間を知らない
金子晃氏は、世間を知っている"
837:１３２人目の素数さん
23/02/25 09:42:01.09 ZowC59iz.net
>>765
追加
下記などを
2013年の「京」100万×100万の密行列
今は、富岳ですしね
あと、河村知記氏 博士論文とか
3x3の行列の計算を手でできるうんぬんを問うセンスがね
世間しらずだよ
アホとしか言いようがないな
https:スラド/13/12/06/1957243/
スラド
理研、100万×100万の巨大行列の固有値計算を1時間で達成
ストーリー by headless 2013年12月07日
理化学研究所がスーパーコンピューター「京」を使い
838:、100万×100万の密行列の固有値を1時間で計算することに成功したそうだ( 報道発表資料、 60秒でわかるプレスリリース)。 https: //dspace.jaist.ac.jp /dspace/bitstream /10119/17001/5/ paper.pdf 博士論文 GPGPUによる超大規模連立一次方程式の 求解高速化に向けた省メモリ指向疎行列格納方式 に関する研究 河村 知記 主指導教員 井口 寧 北陸先端科学技術大学院大学 情報科学研究科 令和 2 年 9 月 概 要 近年，自組織内の小規模な計算資源を使用するオンサイト環境での大規模かつ高精度 な数値シミュレーションの需要が拡大している．数値シミュレーションで度々用いられる Finite Different Method (FDM) や Finite Element Method (FEM) は，最終的に大規模な 連立一次方程式を解く必要があり，膨大な計算量となる．
839:１３２人目の素数さん
23/02/25 09:44:44.10 ZowC59iz.net
>>767
なんかURLが通らない
必要ならば
適当に検索たのむ
840:１３２人目の素数さん
23/02/25 10:14:13.19 Bp7ZbkYv.net
>>763
> もっと大きくなると、下記のようなソフトがあるよ
そんなもん使わなくても
841:１３２人目の素数さん
23/02/25 10:15:58.36 Bp7ZbkYv.net
>>769
EXCELでも計算できるだろ
ま、自分で数式入れる必要はあるけど
一回やれば何度でも使えるから
842:１３２人目の素数さん
23/02/25 10:17:33.58 Bp7ZbkYv.net
>>764
そして君も異常仲間 よかったな
843:１３２人目の素数さん
23/02/25 10:19:25.11 Bp7ZbkYv.net
>>765
でも、君、そもそも有限要素法知らないんでしょ？
正則行列も知らないくらいだから
終わってるな 人として
サルは数学なんか諦めて別のことしなよ
844:１３２人目の素数さん
23/02/25 10:20:58.85 Bp7ZbkYv.net
>>766
>>数学科で落ちこぼれたアホは、世間を知らない
一般教養の数学で落ちこぼれたドアホは、ただの人に成り下がる
ま、もともとただの人だったんだから成り下がったわけじゃないか
845:１３２人目の素数さん
23/02/25 10:23:53.95 Bp7ZbkYv.net
>>768
> なんかURLが通らない
へんな日本語
> 必要ならば
そもそも君はこの板に全く必要ない
他所いっていいよ
ここには君の友だちのサルは一匹もいないから
846:１３２人目の素数さん
23/02/25 10:36:40.32 ZowC59iz.net
>>752 追加
>・そもそも行列式は、何を表しているのか？
行列式とは
貴田 研司
・定理（線形変換）
n 行列 A が線形変換の表現行列のとき
① det Aの絶対値は，この線形変換による体積の拡大率を表す．
・行列式とは本質的には，交代・多重線形写像である（行列式の一意性）
https:
//www.u-tokai.ac.jp/uploads/sites/12/2021/03/PP92-99.pdf
東海大学紀要情報通信学部
Vol.10,No.1,2017,pp.92-99
大学初年次における数学教材の提案（その 9）
～行列式の定義～
貴田 研司
あらまし
まず，行列式を平行多面体の体積として幾何学な定義をしたのち，線形変換の表現行列の行列式の意味について解
説する．さらに，行列式の公理を紹介し，行列式は，本質的には交代性と多重線形性をもつ写像であり，一意性をも
つことについて述べる．
2. 行列式の幾何学的定義
定理（線形変換）
n 行列 A が線形変換の表現行列のとき
① det Aの絶対値は，この線形変換による体積の拡大率を表す．
② det Aの符号は，この線形変換が空間の向きを保つか，それとも逆転するかを表す．
3. 行列式の公理
行列式とは本質的には，交代・多重線形写像である．この章では，行列式の第 1 定義（implicit な定義）に
ついて述べる．
定理（行列式の一意性）
上記の行列式関数 F は，ただ一つだけ存在する．
まず具体的に，2 次行列の場合について証明する．
4. おわりに
本論文では，最初に行列式の定義ありきの解説とした．もっと遡ると，行列式の起源は，連立一次方程式の一
般的解法にあり，1678 年のライプニッツの書簡が初出と言われている．今現在よく知られている行列式の定義
が，どのようにして導き出されたのかについては，髙木貞治著「代数学講義 改訂新版」4 )を参照されたい．
参考文
847:献 1) 小寺平治「明解演習 線形代数」共立出版，1982 2）齋藤正彦「線型代数入門」東京大学出版会，1966 3）金子晃「線形代数講義」サイエンス社，2004 4）髙木貞治「代数学講義 改訂新版」共立出版，1965
848:１３２人目の素数さん
23/02/25 10:39:52.11 ZowC59iz.net
>>775
> 3）金子晃「線形代数講義」サイエンス社，2004
おお！
アレクセイカーネンコ！！>>765
849:１３２人目の素数さん
23/02/25 10:57:20.90 ZowC59iz.net
>>775 追加
検索ヒットしたので、ついでに貼る
（こんな話ありましたね。昔聞いた）
https:
//www.u-tokai.ac.jp/uploads/sites/12/2021/03/PP24-30.pdf
東海大学紀要情報通信学部
Vol.9,No.1,2016,pp.24-30
大学初年次における数学教材の提案（その２）
～微分方程式と行列の指数関数～
貴田 研司
あらまし
大学初年次の数学科目において，微分積分と線形代数が別々に講じられる．ところがこの2科目の共通領域について
触れる機会が少なすぎるのが現状である．そこで応用例として，連立微分方程式を行列の指数関数を用いて解く方法
についての詳しい解説をしてみたい．
参考文献
1） 石原繁・浅野重初「理工系入門微分積分」裳華房,1999
2） 柴田正憲・貴田研司「情報科学のための線形代数」コロナ社,2009
3） 齋藤正彦「線型代数入門」東京大学出版会,1966
4） 横山雄一「線形代数」昭晃堂,1975
5） 渡辺昌昭「わかりやすい微分方程式」共立出版,1997
6） 三宅敏恒「微分方程式―やさしい解き方―」培風館,2007
7） 松坂和夫「線型代数入門」岩波書店,1980
8） 韓太舜・伊理正夫「ジョルダン標準形」東京大学出版会,1982
850:１３２人目の素数さん
23/02/25 11:12:09.22 ZowC59iz.net
>>777 追加
行列とか何か？
その存在はあまりにも巨大です
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、英: matrix）は、数や記号や式などを縦と横に矩形状に配列したものである。
歴史
線型方程式の解法における応用に関して、行列は長い歴史を持つ。紀元前10世紀から紀元前2世紀の間に書かれた中国の書物『九章算術』は連立方程式の解法に行列を用いた最初の例であるといわれ[3]、それには行列式の概念が含まれていた。
行列の抽象代数的側面と一般化
行列の一般化の方向性はいくつか異なるものが存在する。抽象代数学では行列の成分をもっと一般の（可換とは限らない）体や環としたものを用いるし、線型代数学は線型写像の概念を機軸に行列の性質を体系化したものである。また行や列の数を無限に増やした行列というものを考えることもできる。他の拡張としてテンソルは、（行列が矩形状あるいは二次元の数の配列と見ることができるのに対して）数の配列を高次化したものと見ることもできるし、ベクトルの双対や数列として実現することもできるものである[29]。適当な制約条件を満足する行列の集まりは、行列群あるいは線型代数群などと呼ばれる群を成す。
応用
行列は数学と科学における数多くの場面で応用される。そのうちのいくつかは単に行列における数字の組を簡潔に表現するために利用させる。例えば、ゲーム理論や経済学における利得行列は2人のプレイヤーの利得を符号化する。
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Matrix (mathematics)
History
Matrices have a long history of application in solving linear equations but they were known as arrays until the 1800s. The Chinese text The Nine Chapters on the Mathematical Art written in 10th?2nd century BCE is the first example of the u
851:se of array methods to solve simultaneous equations,[103] including the concept of determinants. In 1545 Italian mathematician Gerolamo Cardano introduced the method to Europe when he published Ars Magna.[104] The Japanese mathematician Seki used the same array methods to solve simultaneous equations in 1683.[105]
852:１３２人目の素数さん
23/02/25 13:42:33.92 ZowC59iz.net
>>703 猪瀬氏の追加
URLﾘﾝｸ(www.ac-net.org)
Academia e-Network Project
URLﾘﾝｸ(www.ac-net.org)
数学雑記帳 (by 猪瀬博司)2012-05-07
URLﾘﾝｸ(www.ac-net.org)
内容見出
1 No 17 数学雑記帳 IV (1965.3)
・ p10 行列式の性質
・ p37 クラメールの公式の証明
3 No 21 数学雑記帳 VI
・1966.4.20 行列式の特有性質
? p8 アンドレフスチルエルの公式グラム行列 (fi, fj ) の行列式
? p24 行列式についての定理・公理
4 No 23 数学雑記帳 VI （p58 1967年計画 p78 セミナー 67.5 1.より）
・p47 12 月 19 日現在
? 現代代数学 冬休み 現代代数学 & スミルノフ
? 行列
? スミルノフ
(引用終り)
現代代数学 本で検索すると、下記2点
スミルノフと並べて書いてあるし
ファン・デル・ヴェルデン 現代代数学 だろう
（服部昭 現代代数学は、昭和43年（1968）だし（下記）、このノートは1967年頃だからね）
追記：
URLﾘﾝｸ(www.ac-net.org)
P59 来年度計画で”4 行列と行列式征服”とある（これ1967年度の時なら猪瀬さん高2ですね）
記
ファン・デル・ヴェルデン 現代代数学1 単行本 ? 2018/11/8
アマゾン
URLﾘﾝｸ(www.)<)アマゾン.co.jp ? 現代代数学-近代数学講...
この本には、演習書、現代代数学演習もあり、解答もきちんとついているので、ある程度、代数学に慣れた方が身を入れて勉強するのには好適だと思います。
URLﾘﾝｸ(www.kosho.or.jp)
日本の古本屋
現代代数学 ＜近代数学講座 1＞
著者
服部昭 著
出版社
朝倉書店
刊行年
昭和43年2月初版
853:１３２人目の素数さん
23/02/25 14:19:12.85 ZowC59iz.net
>>703 猪瀬氏の追加
URLﾘﾝｸ(www.ac-net.org)
Academia e-Network Project
URLﾘﾝｸ(www.ac-net.org)
数学雑記帳 (by 猪瀬博司)2012-05-07
URLﾘﾝｸ(www.ac-net.org)
No 23 数学雑記帳 VI （p58 1967年計画 p78 セミナー 67.5 1.より）
・p72 数学セミナー 61 エレガントな解答を求む
（三角形の平面幾何問題の解答をノートしている）
(引用終り)
数学セミナーの創刊が下記 1962.4だから、No 61だと1967.4 か
数学セミナーは、大学に入ってから読んだけど、”エレガントな解答を求む”のページは難しかったので、眺めていただけだったｗ
猪瀬さん、すごいわ
ノート表紙に洛北とあるから、洛北高校かな？（下記）
1969年 東大入試が無かった年、京都大学も選択肢だったろうに
東大数学科修士を見据えた、東工大進学だったかもね
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナーバックナンバー 60年代
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 1962.4
本号の詳細
巻頭言 数学と現代文化 創刊のことば 遠山啓 1
URLﾘﾝｸ(ja.wikipedia.org)
京都府立洛北高等学校・附属中学校
概要
1870年に日本最古の旧制中学校として創立された京一中（京都一中）を前身とする公立の高等学校。戦前から戦後にかけて京都大学へ多数の進学者を送り出す位置にあったが[1]、京都府は高校三原則の模範例となり、トップ校であった本校は1948年に廃校とされる。1950年に再発足するも総合選抜など入試制度等改定の影響もあり、進学実績に関しては振るわないようになっていった。
854:１３２人目の素数さん
23/02/25 14:37:25.43 ZowC59iz.net
>>780 補足
なるほどね
森重文氏は、大学数学の先取りはしていなかったというが
猪瀬氏は、高校時代にすでに、大学の数学を先取りしていたんだね
もし、ご長命ならば、森さんと比較される存在だったかも
855:１３２人目の素数さん
23/02/25 15:07:29.59 ZowC59iz.net
>>729 追加
森重文氏の”極小モデルの存在を3次元の場合に示すことに成功し、1990年に京都で開かれた国際数学者会議でフィールズ賞を受けた”
では、下記 1988年 日本数学会秋季賞 - 代数多様体の極小モデル理論（川又雄二郎との共同受賞）とある
>>702より
”数学にかけし若き命 数学者・猪瀬博司
遺稿集発行有志会編集（飯高茂）”
で、猪瀬博司氏と飯高茂氏とが同じ研究室だとしたら、彼も代数多様体の研究をしていたかも
URLﾘﾝｸ(ja.wikipedia.org)
森重文
1988年 日本数学会秋季賞 - 代数多様体の極小モデル理論（川又雄二郎との共同受賞）[20]
URLﾘﾝｸ(ja.wikipedia.org)
川又 雄二郎（1952年9月29日 -）は、日本の数学者、東京大学大学院数理科学研究科名誉教授
専門は代数幾何学、特に高次元代数多様体。対数的代数多様体の研究、代数的ファイバー空間の半正値性（アーベル多様体の双有理的特徴づけ）、消滅定理とその応用、極小モデルの存在と性質、双有理変換（3次元での存在と有界性）、多重微分形式の延長、連接層の導来圏との関係などを研究。
人物
東京都生まれ。1971年、東京教育大学附属高等学校（現：筑波大学附属高等学校）卒業
1977年、東京大学大学院修士課程修了。理学博士
ICM招待講演 (1990)、日本学士院賞 (1990)、日本数学会秋季賞 (1988)
URLﾘﾝｸ(ja.wikipedia.org)
飯高茂
飯高 茂（1942年5月29日 -）
1967年東京大学理学部数学教室助手、専任講師、助教授を経る。
1971年から72年まで米国プリンストン高等研究所（I.A.S.）研究員。1985年から学習院大学理学部数学科教授。2013年名誉教授[2]。
代数幾何学のリーダーとして世界的に知られるフィールズ賞受賞者小平邦彦の正統な後継者の一人であり、代数多様体の研究で重要となる双有理変換に着目し、その性質を研究するために『小平次元』の理論を構築して、代数幾何学研究の一つのパラダイムを提唱し、研究を牽引してきた。1970年頃、飯高予想と呼ばれる予想を提起した。現在も未解決である[3][4]。なお、飯高予想の6次元以下については、2018年度フィールズ賞受賞者のコーチェル・ビルカー (Caucher Birkar) が証明している
856:１３２人目の素数さん
23/02/25 15:24:25.79 ZowC59iz.net
>>782
蛇足だが追加
URLﾘﾝｸ(ja.wikipedia.org)
コーチェル・ビルカー（博士課程 イヴァン・フェセンコ�
857:j ビルカーは現代双有理幾何学への重要な貢献者の一人である[6]。 2018年、ビルカーに、「ファノ多様体の境界性の証明と極小モデルプログラムへの貢献」に対して、フィールズ賞が授与された[9]。
858:１３２人目の素数さん
23/02/25 15:26:20.06 ZowC59iz.net
>>778 タイポ訂正
行列とか何か？
↓
行列とは何か？
859:１３２人目の素数さん
23/02/25 16:12:49.52 6s04KzyG.net
2006年の
Birkar-Cascini-Hacon-McKernanは
衝撃的であった
860:１３２人目の素数さん
23/02/25 18:16:00.11 ZowC59iz.net
>>771
>>>764
>そして君も異常仲間 よかったな
>>764の彼が、異常かどうかは別問題として
>>764「みんな君の方が異常だと気付いている」
の彼は
>>653の”東大の一年生向けのセミナーの教材がこれだったが
いきなり原書講読だったのでたまげた”の人
つまり 多分 >>452の
”東大数学科 日銀の次期総裁・植田和男氏と知り合い”
だと思う
おれは、「みんな君の方が異常だと気付いている」！
は、正しいと思うぞ
861:１３２人目の素数さん
23/02/25 19:00:55.77 ZowC59iz.net
>>785
> 2006年の
>Birkar-Cascini-Hacon-McKernanは
>衝撃的であった
ありがとう
こういうときは、英文版かな(下記)
2006年 arxiv投稿で、2010年 jamsなのか
さすがに、内容は素人には読めないね
URLﾘﾝｸ(en.wikipedia.org)
Caucher Birkar 1978 生まれ
英国に移住すると、彼はクルド語で「移民数学者」を意味する Caucher Birkar に名前を変更した
2018 年に「ファノ多様体の有界性の証明と最小モデル プログラムへの貢献に対して」フィールズ賞を受賞
(google訳)
Paolo Cascini、 Christopher Hacon、James McKernanとともに、Birkar は、Vyacheslav Shokurovと Haconの初期の研究に基づいて、対数反転の存在、対数正準環の有限生成、対数一般型の多様体の極小モデルの存在など、いくつかの予想を解決しました。[18]
対数正準特異点の設定において、彼は対数反転の存在を極小モデルと存在量予想の重要なケースとともに証明しました。(これは、Hacon とChenyang Xuによっても独立して証明されました)
References
18 C. Birkar, P. Cascini, C. Hacon, J. McKernan Existence of minimal models for varieties of log general type, J. Amer. Math. Soc. 23 (2010)
URLﾘﾝｸ(arxiv.org)
[Submitted on 5 Oct 2006 (v1), last revised 14 Aug 2008 (this version, v2)]
Existence of minimal models for varieties of log general type
Caucher Birkar, Paolo Cascini, Christopher D. Hacon, James McKernan
URLﾘﾝｸ(www.ams.org)
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 2, April 2010, Pages 405?468
EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE
CAUCHER BIRKAR, PAOLO CASCINI, CHRISTOPHER D. HACON,AND JAMES MCKERNAN
Contents
1. Introduction
1.1. Minimal models
1.3. Fano varieties
1.4. Birational geometry
2. Description of the proof
2.2. Standard conjectures of the MMP
3. Preliminary results
4. Special finiteness
5. Log terminal models
862:１３２人目の素数さん
23/02/25 19:19:00.66 ZowC59iz.net
>>787 追加
URLﾘﾝｸ(www.ams.org)
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 2, April 2010, Pages 405?468
EXISTENCE OF MINIMAL MODELS FOR VARIETIES OF LOG GENERAL TYPE
CAUCHER BIRKAR, PAOLO CASCINI, CHRISTOPHER D. HACON,AND JAMES MCKERNAN
P2
1. Introduction
The purpose of this paper is to prove the following result in birational algebraic geometry:
Theorem 1.1. Let (X, Δ) be a projective Kawamata log terminal pair.
(引用終り)
最初の10ページくらい斜めに読んだ
”projective Kawamata log terminal pair”みたく
”Kawamata”が沢山出てくるね
”Kawamata”＝川又 雄二郎氏 >>782 だね
川又さんの仕事が、ベースなんだ
2018 年 Caucher Birkar 氏 フィールズ賞で、このとき森重文氏はIMUの総裁だったから、彼に賞推薦の1票を入れたろうね
863:１３２人目の素数さん
23/02/25 19:32:27.57 ZowC59iz.net
>>788 追加
URLﾘﾝｸ(www.jstage.jst.go.jp)
J-STAGEトップ/数学/72 巻 (2020) 1 号/書誌
URLﾘﾝｸ(www.jstage.jst.go.jp)
フィールズ賞受賞者紹介
Caucher Birkar氏の業績
??数学的帰納法のオンパレード??
權業 善範
1 導入
最初に曲面論の復習から始める．S を非特異複素射影曲面とする．このとき，古典的な Castelnuovo
の収縮定理により (?1)-曲線1) を見つけると何か新しい非特異射影複素曲面 S が取れて S → S は
一点爆発となる．これを繰り返して，(?1)-曲線がない非特異射影複素曲面を構成するのが古典的な極
小モデル理論である．今回の Birkar 氏の仕事はこの古典理論の高次元化の延長線上にある．
高次元の極小モデル理論とは，フリップと因子的収縮のいくつかの双有理写像の合成 (極小モデル
プログラム，略して MMP) を用いることで，代数多様体を次の三種類に双有理的に分ける分類論で
ある：(1) ファノ多様体によるファイバー空間 (特に森ファイバー空間と呼ばれるファノファイバー
空間の特別なもの)，(2) カラビ・ヤウ多様体によるファイバー空間2)，(3) 標準モデル．一般次元に
おいては，まだ未解決であり，双有理幾何学の大きな問題として残っている．最初の代数多様体が非
特異多様体であったとしても，MMP のアウトプットとして得られる上記三種類の多様体が特異点を
持ちうることは，1970 年頃より上野氏の例 [23, 16 章] として知られている．したがって我々はその
アウトプットは常に特異点を許して理論を構築しなければならない．幸運にも考えるべきその特異点
は，端末特異点と呼ばれる特異点論においては非常に良い性質を持つ特異点であることが，この極小
モデル理論を動機に後々に知られるようになった．また次元による帰納法，分岐被覆による帰着など
のテクニカルな要請により，飯高プログラムにおける対の特異点および，対数的標準特異点 (LC)，ま
たは川又対数的端末特異点 (KLT) で考えることが最近では主流である．MMP はそういうクラスで
もうまくいくことが知られるようになった (cf. [10])．
つづく
864:１３２人目の素数さん
23/02/25 19:32:57.66 ZowC59iz.net
>>789
つづき
さらに，極小モデル理論の動機は代数多様体の分類論にある．分類論において，モジュライ空間を
構成することは非常に重要である．極小モデルプログラムのアウトプットに現れる多様体を次元など
の適切な不変量を固定して全て集めたときに，その有界性を示すことは極めて重要であり，そのクラ
スのモジュライ理論の幕開けであるといっても過言ではない．今回 Birkar 氏の功績はこのようなス
トーリーの上にあるといってよい．Birkar 氏のフィールズ賞の授賞理由は ‘極小モデル理論への貢献
とファノ多様体の有界性’ であり，‘極小モデル理論への貢献’ というのはいわゆる論文 BCHM3) の
ことであると思う．すでにこれについては藤野修氏が [9] で詳しく解説していたので，詳細はそちら
を参照してもらいたい．今回この小論では ‘ファノ多様体の有界性’ にフォーカスを当てて詳しく解
説していきたい．
(引用終り)
以上
865:１３２人目の素数さん
23/02/25 19:46:00.75 ZowC59iz.net
>>790
>藤野修氏が [9] で
これか、なるほど
[9] 藤野修, 極小モデル理論の新展開, 数学, 61 (2009),162?186.
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
論 説 極小モデル理論の新展開 藤 野 修
1 はじめに
代数多様体の双有理分類論は代数幾何学の中心問題のひとつである. 19 世紀の Riemann による曲
線論, 20 世紀初頭のイタリア学派による曲面論などに始まり, 小平の複素解析曲面の分類論やロシア
の Shafarevich 学派の研究などを経て, 低次元の代数多様体に関してはほぼ満足のいく分類が得られ
ている. 3 次元以上の代数多様体の双有理分類を初めて組織的におこなったのは飯高 [ I1 ] であろう.
70 年代初め, 一般の代数多様体に対して小平次元なる概念を導入し, 双有理分類論への第一歩を踏み
出した. 対数的小平次元の定義, 小平次元に関する飯高加法予想など, 様々な貢献があった ([ I2 ]). こ
れらを総称して飯高計画と呼ぶ. 80 年代に入ると森による森理論 (ここでは極小モデル理論と呼ぶこ
とにする) が双有理分類論の標準理論になる. Hartshorne 予想の解決 [M1] の際にあみ出した手法を
駆使し, 代数多様体の双有理写像の情報を凝縮した錐定理 [M2] を証明したのである. これによって双
有理分類論の進むべき道が明らかになったという画期的な仕事であった ([M5] 参照). その後, 極小モ
デル理論は, 広中の特異点解消定理と川又?Viehweg 消滅定理 (小平の消滅定理の一般化, 定理 28 参
照) を基礎とするコホモロジー論的な一般論と, 森による非常に精密な特異点の分類結果を積み上げ
ていくことになる. 80 年代後半には 3 次元で極小モデルの構成に成功し ([M4]), 森は 90 年に京都で
フィールズ賞を受賞する. 90 年代前半には極小モデル理論関連の予想は 3 次元でほぼすべて満足な形
で解決されてしまった.
次に考えるべき問題としては, 極小モデル理論の高次元化であった. ところが, 森による 3 次元の
結果は特異点の詳細な分類結果 ([M3], [M4]) に大きく依存しており, 3 次元の手法をそのまま高次元
化するのは不可能であった. 大発展の後の停滞期が続いたのである.
つづく
866:１３２人目の素数さん
23/02/25 19:46:26.79 ZowC59iz.net
>>791
つづき
極小モデル理論の初期段階から
たくさんのアイデアを出し続けていた Shokurov が 4 次元の極小モデルの構成を完成させたと主張し
たのは 2000 年頃であったと思う ([Sh4]). Shokurov の論文 ([Sh2], [Sh3], [Sh4]) はアイデアの宝庫
であるが, その難解さも格別である. ケンブリッジのニュートン研究所での Shokurov の論文 [Sh4] の
解読セミナー [BOOK]1) を経て, ここ数年, Hacon と McKernan を中心に急激な発展が再び始まっ
た ([HM3], [BCHM]). 数年前までは当分解決不能と思われていた大予想が次々に陥落しているので
ある.
今回はその大発展の一端を紹介したいと思う. この 20 年間の Shokurov のアイデアと, Siu に
よる乗数イデアルを用いた巧妙な拡張定理の手法 [Si1] の出会いが, 今回の大発展の切っ掛けである.
手っ取り早く大結果のひとつを述べておく.
定理 1 ([BCHM]) X を複素数体上定義された非特異射影代数多様体とする. このとき, 標準環
Lm>=0 H0 (X, OX(mKX)) は有限生成次数付き C-代数である.
もちろん X の次元は任意である. 代数幾何学を少し勉強したことのある人なら, 上の定理の強力さ
が分かると思う. 以下すべて複素数体 C 上で考えることにする. 特異点解消定理とコホモロジーの消
滅定理を自由に使うには, 基礎体の標数が零である必要があるからである. 1 章の残りでは [BCHM]
の主定理と主な系を述べる. 2 章では古典的な極小モデル理論, 対数的極小モデル理論, そしてスケー
ル付き極小モデル理論を解説する. 2.2 に必要な用語をまとめてある. 3 章では pl フリップと呼ばれ
る特別なフリップの存在問題について解説する. このフリップの存在定理が [HM3] の主結果である.
4 章は少し話題を変えて, 乗数イデアルとその応用として得られた結果のいくつかを説明する. 最近の
極小モデル理論の発展の背後にある話題である. 5 章で [BCHM] の証明のからくりについて論じる. 6
章に [BCHM] で実際に証明されたことを集めておいた. 最後の 7 章では, 今後の課題と極小モデル理
論関連の最近の結果のいくつかを述べる.
(引用終り)
以上
867:１３２人目の素数さん
23/02/25 20:17:53.34 ZowC59iz.net
>>791
藤野先生、追加
これ、面白い
私でも読めたｗ
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
飯高予想について
大阪大学大学院理学研究科数学専攻 藤野 修 令和 2 年 6 月 3 日
概 要
飯高予想に関して色々述べる。ほぼ雑談である
目 次
1 はじめに 2
2 飯高予想とは？ 2
3 飯高プログラムとその時代背景 2
4 1970 年代の飯高プログラム 3
5 1980 年代の飯高プログラム 4
6 飯高プログラム冬の時代 5
7 1990 年代 5
8 飯高予想との出会い 7
9 私の個人的な不満 7
10 私の本の歴史 8
11 今回の集中講義で扱った話題の記録 10
12 さいごに 12
1 はじめに
2020 年の 5 月に名古屋大学の多元数理科学研究科で飯高予想に関する
集中講義をする予定であった。残念ながら新型コロナの影響で集中講義
はメディア授業となってしまい、なんとなく中途半端な欲求不満の残る
集中講義になりそうである。通常の形での集中講義なら、思い出話や研
究の裏話などを盛り込む予定であった。そのような話のいくつかをここ
に書き残しておきたい。
2 飯高予想とは？
つづく
868:１３２人目の素数さん
23/02/25 20:18:23.69 ZowC59iz.net
>>793
つづき
1996 年から 1997 年にかけて数理研はミラー対称性や高次
元代数多様体論のスペシャルイヤーであったと思う。数学教室の廊下の
掲示板に数理研のプロジェクト関連の来日予定数学者一覧というような
紙が貼ってあった。当時の私はその貼り紙を見て、数理研の大学院に進
学して一般次元の代数多様体を分類してしまおう！と軽く考えたのかも
しれない。若者は自分の能力を理解していないので、全部解決しちゃえ
ばいいのだ！と思って数理研に進学することを決めたように思う。1997
年に大学院に進学し、そこから私の高次元代数多様体論の修業生活が始
まるのであるが、当時は高次元代数多様体論は冬の時代だったと思う。3
次元極小モデル理論は 1980 年頃から 1990 年代初め頃で主要な問題はほ
ぼ全て解決されていた。4 次元以上の多様体についての極小モデル理論は
まだまだわからないことだらけであった。1980 年代に 3 次元極小モデル
理論のブームに乗った比較的若い人たちは新たな研究対象を見つけ、様々
な方向に研究を展開していっている感じであった。当時の森脇先生は私
がいるところで山木さん (私の同級生で森脇先生の学生) に向かって「も
う双有理幾何学はやることないよ」と言っていた。いずれにせよ、私が
高次元代数多様体の双有理分類を目指して大学院に進学した当時は、飯
高プログラムはおろか極小モデル理論も冬の時代だったような気がする。
ちなみに、最近聞いたフィールズ賞受賞者である Caucher Birkar の講演
では、1990 年代初めに 3 次元極小モデル理論関連の問題がほぼ全て完成
したあと 2000 年過ぎの Shokurov の仕事までの間を drought(干ばつ) と表
現していた。
(引用終り)
以上
869:１３２人目の素数さん
23/02/25 23:32:13.67 ZowC59iz.net
>>785
> 2006年の
>Birkar-Cascini-Hacon-McKernanは
>衝撃的であった
戻る
藤野修, 「極小モデル理論の新展開」 >>791
を読むと
・「衝撃的」は、もちろん ”Birkar-Cascini-Hacon-McKernan”が、
予想以上に広範囲で強力であったこともあるが
・”森の結果は特異点の詳細な分類結果 ([M3], [M4]) に大きく依存しており, 3 次元の手法をそのまま高次元化するのは不可能”で
4次元も、特異点の分析が必要と思っていたし、さらには、5次元ｂ燗ｯ様・・と思ｂﾁていた
＝Eところが、Shokurov のアイデアを発展させると、多数の次元を一気に解決できてしまった（次元に依存しない形で？）
それが、Birkar-Cascini-Hacon-McKernanだったってことか
870:１３２人目の素数さん
23/02/26 09:34:21.25 HNnDjHCG.net
>>786
> ”東大の一年生向けのセミナーの教材がこれだったが
> いきなり原書講読だったのでたまげた”
> ”東大数学科 日銀の次期総裁・植田和男氏と知り合い”
東大入りたかったけど入れなかった
大阪の負け犬がなんか吠えとる
ま、東大理Ⅰいっても工学部のクソ学科じゃ意味無いがな
871:１３２人目の素数さん
23/02/26 09:37:05.23 HNnDjHCG.net
>>787-795
負け犬が毎度恒例の
「わけもわからずコピペ」
で吠えまくってるな
哀れ
872:１３２人目の素数さん
23/02/26 09:37:46.70 lKvrLaqy.net
工学部の冶金出身の人と
大学院のセミナーで一緒だった。
精密機械出身の人には
志村理論のさわりを
聞かせてもらった。
873:１３２人目の素数さん
23/02/26 09:42:11.06 HNnDjHCG.net
>これ、面白い 私でも読めた
数式なしの平文読んで
面白いと吠える
実質高卒の素人
874:１３２人目の素数さん
23/02/26 09:43:07.19 HNnDjHCG.net
>>798
さわりでおわり
それが工学部の実力