ガロア第一論文と乗数イデアル他関連資料スレ11

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 1101- 2ch.scのread.cgiへ]
Update time : 04/12 00:15 / Filesize : 793 KB / Number-of Response : 1113
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

1 名前：１３２人目の素数さん [2024/08/30(金) 07:16:44.61 ID:cHgt4Zdk.net]: 前スレが1000近く又は1000超えになったので、新スレを立てる

https://itest.5ch.net/rio2016/test/read.cgi/math/1721183883/
前スレガロア第一論文と乗数イデアル他関連資料スレ10

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部一己著（2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik

＜層について＞
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)

あと、テンプレ順次

つづく
730 名前：１３２人目の素数さん [2024/11/20(水) 07:26:58.28 ID:nx4JSTSa.net]: >>651 補足
>物理学の話で読んだが、
>東大物理は教える方は大したことが無いがｗ
>同級生で凄いのが居て勉強になるという

アメリカだったら飛び級している人が
同級生
大学物理くらい教える側でやれる人たちがいる
731 名前：１３２人目の素数さん mailto:sage [2024/11/20(水) 07:59:20.77 ID:5m31WPRD.net]: >>651
なにがいいたいのかな
正規の講義がないことは君にも否定しようがない
諦めて●にたまえ
732 名前：１３２人目の素数さん [2024/11/20(水) 08:02:01.60 ID:5m31WPRD.net]: >>652
＞おれは、大学1年のとき、大学の図書の数学セミナーバックナンバーを10年分くらい手当たり次第に読んだ
　しかし何一つ理解できなかった、と
　大学１年って馬鹿は基礎をおろそかにして時間を空費する
　結局実数も線形代数も分からず落ちこぼれ、石舐める山師となる、と
733 名前：１３２人目の素数さん [2024/11/20(水) 10:14:39.55 ID:dQKCe6W8.net]: >>654-655
>なにがいいたいのかな

君こそなにが言いたのか？
東大では、基礎論を教えないから東大生は基礎論を知らない！と言いたいんじゃないの？
Fラン
734 名前：私大生と東大生とを一緒にするなょ！ｗ >　大学１年って馬鹿は基礎をおろそかにして時間を空費する >　結局実数も線形代数も分からず落ちこぼれ、石舐める山師となる、と 河東語録 >>651 「数学は論理の積み重ねだから順番にきちんと一歩ずつ学んでいかなくてはいけない，などとよく言われるが， この頃は順番などまったく無視していた」 下記seo氏 「様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです」 いま流行りのAI ディープラーニングは、人の脳を模したものという 人は生まれながらディープラーニング能力があるのでしょうねｗｗ；ｐ） デデキントの切断の話は、中学で聞いた ε-δは、高校２年の数学教師が、微積の講義で「本当は”ε-δ”・・」というので、図書の本で独学した 行列と行列式は、中学２～３年で三元連立の裏解法として 3ｘ3までは中学生でやった 数学セミナーバックナンバーを10年分読むと 毎年、ε-δだのデデキントの切断だの線形代数だのが繰り返されていた 人間ディープラーニング ”混じり合い行ったり”を１０年分やったｗ で、それがどうかしましたか？ｗ；ｐ） アマゾン 解析入門 (1) 単行本 – 1980/3/31 杉浦光夫 (著) 書評 seo 5つ星のうち3.0 入門書としては☆ひとつ 2018年6月30日 解析学という書名で良いと思います。 入門とわざわざ付けることは非合理的で、何も良いことはありません。 様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです。 よって本書が要求するある程度以上の数学的知識の前提を満たす者は、ある程度解析学にも触れているでしょう。 そういう意味では、本書は解析学の入門者を対象にしておらず、解析学も含めたある程度の数学的形式が頭の中にすでに存在する人を対象にしています。 前提とするものを最小限にし、かつ理解しやすさと厳密性を可能な限り両立させる事ができている本、それがいわゆる良い入門書だと思います。 厳密性と網羅性が優れている本が良い入門書とは思えません。 []: [ここ壊れてます]
735 名前：１３２人目の素数さん mailto:sage [2024/11/20(水) 11:16:46.58 ID:L2QmCmkF.net]: ＞東大では、基礎論を教えないから
＞東大生は基礎論を知らない！と言いたいんじゃないの？

数学科以外の奴はもちろん知らない
数学科の奴でも代数・幾何・解析専攻の奴は知らない
東大でわざわざ基礎論を専攻するのは珍しい
そういうことよ
736 名前：１３２人目の素数さん mailto:sage [2024/11/20(水) 11:18:02.82 ID:L2QmCmkF.net]: ＞数学は論理の積み重ねだから順番にきちんと一歩ずつ学んでいかなくてはいけない
　というつもりははないが、

　論理が分からん奴には数学は分からんよ
737 名前：１３２人目の素数さん mailto:sage [2024/11/20(水) 11:21:01.54 ID:L2QmCmkF.net]: ＞デデキントの切断の話は、中学で聞いた
　でもなにいってんだかわかんないまんまだろ？ｗ

＞ε-δは、高校２年の数学教師が、微積の講義で「本当は”ε-δ”・・」というので、図書の本で独学した
　でもなにいってんだかわかんないまんまだろ？ｗ

＞行列と行列式は、中学２～３年で三元連立の裏解法として 3ｘ3までは中学生でやった
　でも４×４以上の一般の場合は全然わかんないまんまだろ？ｗ

で、大学１年の微分積分も線形代数もまったくわけわからんまま、計算方法だけ暗記して誤魔化したんだろ？
理系でも大抵のバカはそうやって単位だけとって終わり　要するに数学的には高卒レベルのまま
738 名前：１３２人目の素数さん mailto:sage [2024/11/20(水) 11:23:19.85 ID:L2QmCmkF.net]: ＞数学セミナーバックナンバーを10年分読むと
＞毎年、ε-δだのデデキントの切断だの線形代数だのが繰り返されていた
＞人間ディープラーニング ”混じり合い行ったり来たり”を１０年分やった

でもなんもわからんまま
正方行列なら逆行列が存在するとか馬鹿発言する、とｗ
数学科でそんなこといったら笑われすらしない
あまりにも酷すぎて、な
739 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2024/11/20(水) 11:36:35.84 ID:dQKCe6W8.net]: >>657
>数学科以外の奴はもちろん知らない

違うんじゃないの？
おれらの大学でさえｗ
「大学は自ら進んで学ぶべし！」と言われたものよ

東大生は
教えられられること＜＜知っていること
だと思うけどね

話はとぶが
リーマンの多様体に関する講演は、物理学への応用を念頭においたものだと言われる
物理学をやると、我々の時空連続体がどんなものかの理解が、絶対必要になる
そして、”時空の連続とは何か？”となってくる
740 名前：（古くは、湯川先生が素領域理論を考えたごとし） いまどき、名大では物理学で圏論や群の表現論を教えるという（下記） ”数学科以外の奴はもちろん知らない”とか・・ｗ；ｐ） 東大生でもないのに、それ言える？それ、反例一つで潰れる主張だよｗｗｗｗｗ (参考) ja.wikipedia.org/wiki/%E5%A4%9A%E6%A7%98%E4%BD%93 多様体 歴史 多様体の歴史はゲッティンゲンで行われたリーマンの講演に始まる。 多様体論は、ロバチェフスキーの双曲幾何学によって始まった非ユークリッド幾何学やガウスの曲面論を背景として様々な幾何学を統一し、 n 次元の幾何学へと飛躍させた。発見当初はカント哲学に打撃を与えた非ユークリッド幾何学も多様体論の一例でしかなくなってしまった。 リーマンがゲッティンゲン大学の私講師に就任するために行った講演『幾何学の基礎に関する仮説について』の中で「何重にも拡がったもの」と表現した概念が n 次元多様体のもとになり n 次元の幾何学に関する研究が始まった。この講演を聴いていたガウスがその着想に夢中になり、（ガウスは普段はあまり表立って他人を褒めることはなかったが、）リーマンの着想がいかに素晴らしいかを同僚に語り続けたり、帰り道にうわの空で道端の溝に落ちたりしたと言われている。 物理学者のための圏論入門 - 名古屋大学学術機関リポジトリ 名古屋大学学術機関リポジトリ nagoya.repo.nii.ac.jp › ... PDF 2017/03/28 — 圏論は，おそらく集合論よりも，物理学者のものの見方・考え方にフィットするのではな. いか，物理学者が暗黙のうちに使っている物理観・方法論みたいなもの ... 圏論と群の表現論と量子力学1 多自由度システム情報論講座 www.phys.cs.i.nagoya-u.ac.jp › lectures PDF 2011/09/05 — 圏論の視点・表記法を使って群の表現論を構築し，表現論の物理への応用， ... 群論・表現論・圏論の考え方を概観する．それらが物理とどう関わるのか ... 27 ページ []: [ここ壊れてます]
741 名前：現代数学の系譜雑談 mailto:sage [2024/11/21(木) 11:12:33.53 ID:WEerohY5.net]: >>661 タイポ訂正

教えられられること＜＜知っていること
　↓
教えられること＜＜知っていること

＜訂正ついでに＞ｗ
・”数学科以外の奴はもちろん知らない”発言ね
　笑える
・昔下記イタリアでは、数学は”秘儀”で
　『当時盛んに行われていた、金銭を賭けた計算勝負』（下記）というのがあったらしい；ｐ）
　その流れで、三次方程式の解法はカルダノの方法と呼ばれるようになったｗ
・21世紀の日本で、時代錯誤のおサルさん
　その実、おサルさんは某私大の数学科落ちコボレさんだが
・自分は、数学科で”秘儀”を習得した
　だから、”数学科以外の奴はもちろん知らない”などと
　数学を秘儀扱いする

自分は、落ちコボレだが
数学科以外の奴とは違うのだぁ～！数学科で”秘儀”を習得したのだぁ～！
ですかｗいまどき数学は秘儀でもなんでもないぞ！！ｗ；ｐ）

あわれなやつｗ；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E4%B8%89%E6%AC%A1%E6%96%B9%E7%A8%8B%E5%BC%8F
三次方程式
歴史
三次方程式の代数的解法は、16世紀頃にボローニャ大学のシピオーネ・デル・フェッロによって発見されたとされる。
デル・フェロは、この解法を公開せず、何人かの弟子に託して1526年に死んだ。そのうちの一人、アントニオ・マリア・デル・フィオーレ（イタリア語版） (Antonio Maria del Fiore) は、この方法を、当時盛んに行われていた、金銭を賭けた計算勝負に使い、勝ち続けた。
タルタリアが三次方程式を解いたとの噂を聞いた
742 名前：フィオーレは噂を信用せずタルタリアに計算勝負を挑み、打ち負かして名声を上げようとしたものの、デル・フェロの三次方程式の解法しか知らなかったため、計算勝負に負けた。 タルタリアが三次方程式の代数的解法を知っていると聞いたカルダノはタルタリアに頼み込み、三次方程式の代数的解法を聞き出すことに成功した。カルダノは、弟子のルドヴィコ・フェラーリが得た、一般的な四次方程式の代数的解法と併せて、三次方程式の代数的解法を出版したいと考えるようになったが、タルタリアとの約束で秘密にすると誓ったために、出版することはできなかった。そこで、かつてデル・フェロが、三次方程式の代数的解法を得たという噂を頼りに、フェラーリとボローニャに行き、デル・フェロの養子のアンニバレ・デラ・ナーヴェ (Annibale della Nave) に会い、デル・フェロの遺稿を見せてもらった。それによってカルダノは、タルタリアが三次方程式を解いた最初の人ではないことを知ったので、タルタリアとの約束は無効とし1545年に『アルス・マグナ』(Ars Magna) を出版し、様々な形の三次方程式の解法を公表した。以来、三次方程式の解法はカルダノの方法と呼ばれるようになった。 []: [ここ壊れてます]
743 名前：１３２人目の素数さん [2024/11/22(金) 15:56:02.40 ID:fr9VYVEU.net]: https://catalog.he.u-tokyo.ac.jp/detail?code=0505101&year=2024
744 名前：１３２人目の素数さん mailto:sage [2024/11/22(金) 16:20:38.08 ID:cVmyX/jM.net]: >>662
> ”数学科以外の奴はもちろん知らない”発言　笑える
　某大工学部１年時代に微積と線型代数を落とした君のことだよ
> 自分は、数学科で”秘儀”を習得したから、
> ”数学科以外の奴はもちろん知らない”などと数学を秘儀扱いする
　自分が理解できないからって、そう僻んでとるなよ
　秘儀でもなんでもないが、そもそも論理という心構えができてない奴には
　わからんってだけの話　論理を理解しなよ
745 名前：１３２人目の素数さん mailto:sage [2024/11/22(金) 16:23:28.69 ID:cVmyX/jM.net]: >>662
> 数学科で”秘儀”を習得したのだぁ　ですか
> いまどき数学は秘儀でもなんでもないぞ
もちろん、秘儀でもなんでもない
しかし、公式の暗記でもない
論理を理解することが、大学数学の基本
746 名前：１３２人目の素数さん mailto:sage [2024/11/22(金) 16:26:01.99 ID:cVmyX/jM.net]: 数列の収束も行列の正則性も同値類の代表も誤解した神戸の🐒　ここに眠る
747 名前：１３２人目の素数さん [2024/11/22(金) 21:48:02.58 ID:afGicqTG.net]: 論理はルール
プレイの品質が大切
748 名前：１３２人目の素数さん [2024/11/22(金) 23:15:52.66 ID:NLbP3CjF.net]: >>663
リンクありがとうございます
下記ですね
東大基礎論講義ありますね 1年後期かな。講座も
酒井拓史講座　離散数理学大講座　教授
研究分野　数学基礎論，公理的集合論
下記経歴 2024年からだと、新井敏康パパの後継ですかね

(参考)
東京大学授業カタログ 2024年度版
集合論は数学に現れる無限集合について調べる分野です．特に，公理系に基づいて展開される集合論は公理的集合論と呼ばれます．関数・関係・数学的構造をはじめとする数学の書概念は集合を用いて表され，集合論の標準的な公理系 ZFC （Zermelo-Fraenkel の公理系 ZF +選択公理 AC）は数学全体を展開できる包括的な公理系になっています．この講義では，ZFC のもとで展開される集合論の基礎を解説し，さらに連続体仮説の ZFC との無矛盾性や，選択公理の ZF との無矛盾性についても解説します．

教員
酒井　拓史
授業計画
次の項目を順に解説する予定です．
1. ZF の紹介
2. 無限集合の濃度と連続体仮説
3. 順序数と超限帰納法
4. 選択公理とその帰結
5. 連続体仮説と選択公理の無矛盾性

参考書
[1] 田中一之編「ゲーデルと20世紀の論理学第４巻集合論とプラトニズム」東京大学出版会，2007年．
[2] ケネス・キューネン著，藤田博司訳「集合論 -独立性証明への案�
749 名前：�-」日本評論社，2008年． [3] Kenneth Kunen, “Set Theory”, College Publications, 2011. www.ms.u-tokyo.ac.jp/teacher/sakaihiroshi.html 東京大学大学院数理科学研究科理学部数学科・理学部数学科 酒井　拓史（SAKAI Hiroshi） 講座　離散数理学大講座　教授 研究分野　数学基礎論，公理的集合論 研究テーマ 強制法公理や巨大基数公理が無限組み合わせ論や基数算術に及ぼす影響 研究概要 集合論の標準的公理系 ZFC は通常の数学がほぼすべて展開できる包括的な公理系ですが，連続体仮説をはじめとする無限に関わる様々な命題が，ZFC では証明も反証もできないことが分かっています．私は，ZFC にどのような公理を加えた公理系でどのようなことが証明できるかを研究しています．特に，巨大基数公理・強制法公理・反映原理と呼ばれる公理を ZFC に加えた公理系で，無限組み合わせ論や基数算術についてのどのような命題が証明できるかに興味を持っています． 主要論文 S. Fuchino, A.O.M. Rodorigues and H. Sakai, Strong downward Lowenheim-Skolem therorems for stationary logics, II. Archive for Mathematical Logic 60 (2021), no.3-4, 495-523. S. Fuchino, A.O.M. Rodorigues and H. Sakai, Strong downward Lowenheim-Skolem therorems for stationary logics, I. Archive for Mathematical Logic 60 (2021), no.1-2, 17-47. researchmap.jp/hsakai/research_experience 酒井拓史 サカイヒロシ (Hiroshi Sakai) 経歴 2024年4月 - 現在東京大学, 大学院数理科学研究科, 教授 2013年11月 - 2024年3月神戸大学, システム情報学研究科, 准教授 2010年10月 - 2013年10月神戸大学, システム情報学研究科, 講師 2008年10月 - 2010年9月神戸大学, 工学研究科, 助手 []: [ここ壊れてます]
750 名前：１３２人目の素数さん [2024/11/22(金) 23:44:06.77 ID:NLbP3CjF.net]: >>668 タイポ訂正（タイポ見ぃ～つけたｗ；ｐ）

数学の書概念は集合を用いて表され，
　↓
数学の諸概念は集合を用いて表され，
751 名前：１３２人目の素数さん mailto:sage [2024/11/23(土) 04:59:09.23 ID:NNsWwR2r.net]: >>667　「箱入り無数目」も理解できない阿呆がプレイの品質を語るなよ（笑）
752 名前：１３２人目の素数さん [2024/11/23(土) 06:56:34.55 ID:f6f2nOlm.net]: 寝言の続き
753 名前：１３２人目の素数さん mailto:sage [2024/11/23(土) 08:23:18.45 ID:NNsWwR2r.net]: 多変数複素解析”しか”できん耄碌爺が
高校レベルの確率の問題が理解できずに悔しがってる

老醜だな（軽蔑）
754 名前：１３２人目の素数さん mailto:sage [2024/11/23(土) 08:52:54.08 ID:cGdJuX+x.net]: 288 名前：１３２人目の素数さん[] 投稿日：2024/11/14(木) 15:41:39.53 ID:VR2QoXGB [1/2]
P²内にリプシッツ連続な境界を持つ擬凸領域Dがあるとき
P²を超平面として含むP³内のリプシッツ連続な境界を持つ擬凸領域Ωで
Ω⋂P²＝Dを満たすものがあるか。（修論程度）
755 名前：１３２人目の素数さん mailto:sage [2024/11/23(土) 17:10:05.98 ID:NNsWwR2r.net]: 全く何の興味もない
756 名前：１３２人目の素数さん [2024/11/23(土) 22:47:32.21 ID:BKN3oPMi.net]: 寝言ではそういう興味の示し方しかできない
757 名前：１３２人目の素数さん [2024/11/23(土) 23:59:08.64 ID:dngn2gaF.net]: >>670-675

ID:NNsWwR2rは、おサル
ID:f6f2nOlm,BKN3oPMiは、御大
ID:cGdJuX+xは、弥勒菩薩さま

さて、”「箱入り無数目」も理解できない阿呆がプレイの品質を語るなよ（笑）
多変数複素解析”しか”できん耄碌爺が
高校レベルの確率の問題が理解できずに悔しがってる”
か

倒錯も、ここまできたら
滑稽を通り越して、呆れかえるだけ
某私大数学科で、3年からオチコボレて
確率論もすべって
「箱入り無数目」の確率論がからっきし
それで、大口叩くのかよｗｗ

倒錯も、ここまできたら
滑稽を通り越して、呆れかえるだけだ；ｐ）
758 名前：１３２人目の素数さん [2024/11/24(日) 04:31:42.87 ID:M9V0i1Wb.net]: 寝言でしか語れない倒錯
759 名前：１３２人目の素数さん mailto:sage [2024/11/24(日) 06:51:24.31 ID:1hTGia+e.net]: 雑談が味方に付けようとする人物は、どこかに心の隙があるか、どこか雑談と似ている点があるのよ。
雑談はその臭いを感じ取っていると思われる。その嗅覚の鋭さだけは驚く。
760 名前：現代数学の系譜雑談 ◆yH25M02vWFhP [2024/11/24(日) 07:59:42.87 ID:pyyDnAPQ.net]: >>678
676です

それも倒錯だな
心の隙？わからん
しかし、5ｃｈ数学板を巡回するプロ数学者は、殆どいないことは事実
”雑談と似ている点”ね。それかねｗ；ｐ）

御大は、別にだれの味方をしているつもりもないだろう
かつ、間違った方の味方をしているつもりもないだろう
”箱入り無数目”は、間違っている
間違っていることを、間違っていると言っているだけのこと。数学のプロとして
761 名前：阿弥陀如来　 ◆0t25ybzgvEX5 mailto:sage [2024/11/24(日) 16:56:54.82 ID:I9DmCuNm.net]: >>679
多変数複素関数論ではプロでも
集合論ではそうではない
ということはざらにある
762 名前：現代数学の系譜雑談 [2024/11/24(日) 19:34:01.62 ID:pyyDnAPQ.net]: >>680
>多変数複素関数論ではプロでも
>集合論ではそうではない
>ということはざらにある

それは否定せんが
だれが見ても
御大が上でしょｗ；ｐ）

彼は、大学（多分N大）講義で
選択公理を教えたことがあるという
別に大学は2つ入学

1970年に東大入学で教養課程で学部集合論を学び
1972年に京大数学科で学部集合論を学ぶ
それぞれ学部1年だろう

ところで、人に教えるのが一番の勉強だという
教えるのは、学生側から素朴ツッコミ質問がある
それに備えて予習がいる。学生のときより勉強がいるのよｗｗ；ｐ）

まあ、どう見ても
君より上　；ｐ）
763 名前：１３２人目の素数さん mailto:sage [2024/11/24(日) 21:08:25.95 ID:l7K8r8VD.net]: コピペではプロでも
数学や工学ではそうではない
ということはざらにある
764 名前：１３２人目の素数さん mailto:sage [2024/11/28(木) 13:28:42.54 ID:XCAq3thN.net]: メモ
https://eetimes.itmedia.co.jp/ee/articles/2411/27/news187.html
ITmedia アイティメディア株 20241127 村尾麻悠子
半導体開発「日本は本当に人が足りない」　オフショア活用も視野に背景に設計の複雑化

背景には、半導体設計がますます高度化、複雑化していることや、海外企業と英語で交渉する必要が増えていることなどがある

クエスト・グローバル・ジャパンの半導体部門でゼネラルマネージャーを務める浜崎博幸氏は、「半導体回路の設計や開発において、日本は本当に必要な人材が足りていないということを痛感している」と語る

その背景にある課題として、浜崎氏は3つを挙げる。まずは、ICに機能を統合することがより複雑になっていること。CPU／GPUのマルチコア、マルチクラスタは当然になっていることに加え、昨今はAI(人工知能)演算を担うNPU(Neural Network Processing Unit)の統合も求められるようになっている。コア間通信や電力対策などの機能が複雑になり、協調動作が難しい

「マイコンにまでNPUを搭載することが当たり前になりつつある。ソフトウェアスタックを積み上げて開発する必要があり、そうなると従来のシミュレーションでは対応できず、エミュレーターが必要になるなど、ツールも変わる。“作るもの”が格段に難しくなった。開発に携わっていると勉強時間を確保しにくくなっている。半導体設計から実装までできるエンジニアは非常に限られている」(浜崎氏)

2つ目の課題は、EDAツールを使いこなすことだ。プロセスの進化に伴い、ツールやサインオフ条件などは複雑化している。これらのツールを使いこなすことが必要だが、そのためにはEDAベンダー本社との密なコミュニケーションが欠かせない。日本法人に問い合わせても、結局は本社への問い合わせが必要になるケースも多いからだ。だが、日本のエンジニアは、グローバルでのやりとりにはどうしても弱くなると浜崎氏は述べる。「EDAベンダーやIP(Intellectual Property)ベンダーとやりとりしようとすると、インド人と仕事をする必要が出てくる、といった構造になることが多い。(設計に関わる)専門知識に加えて、英語力、交渉力が必要になる」(同氏)

3つ目の課題はチップサイズの増大化だ。EDAツールで扱えるチップの規模には上限がある。そのため、合成、DFT(Design for Testability)、レイアウトといった階層ごとにエンジニアをアサインしなくてはならなくなっている。特に、開発期間が短い場合、大量のエンジニアが必要になるが、合成からレイアウトまでのスキルを持ったエンジニアは大幅に不足していると、浜崎氏は述べる

同社の推計によれば、日系半導体企業では約3万人のエンジニアが不足しているという。とりわけ確保が難しいのが、アーキテクチャ設計やIPなどの新規技術導入に携わることができる高度人材だ。物理設計やハード／ソフトの検証を行うコアなエンジニアも不足している

ハイスキル人材で国内外からサポート
こうした課題に対し、Quest Globalはローカル・グローバルモデルを活用し、エンド・ツー・エンドでサポートする。主に北米、欧州、アジアで採用したハイスキル人材を活用し、顧客の戦略やニーズに合わせたアウトソーシングサービスを提供する。サービスの形式も、人材派遣、請負、共同開発プロジェクトなどがある
765 名前：１３２人目の素数さん mailto:sage [2024/11/28(木) 14:29:59.58 ID:THiNTAN/.net]: >>683
数学が全く分からん底辺高卒が
今日もコピペでイキりまくる
766 名前：１３２人目の素数さん [2024/12/09(月) 07:08:33.92 ID:DUIKzA3X.net]: 半導体の社会的重要性を鑑みれば
江崎先生が二度目のノーベル賞を受賞していても
おかしくなかった
767 名前：１３２人目の素数さん [2024/12/09(月) 21:34:15.99 ID:DUIKzA3X.net]: 最近の数学通信は受賞者の業績紹介が多すぎてつまらない
768 名前：１３２人目の素数さん [2024/12/11(水) 06:17:36.47 ID:3IMRJmdV.net]: 数学通信は小中高生への教育活動について
もっと紹介すべき
769 名前：１３２人目の素数さん [2024/12/11(水) 11:07:24.86 ID:d8Rz/mmo.net]: 巻頭言がつまらない
770 名前：１３２人目の素数さん [2024/12/13(金) 06:35:48.14 ID:3eBVROHc.net]: 学会の案内もネットで済むので
最近の数学通信はほとんど読まない
771 名前：１３２人目の素数さん mailto:sage [2024/12/13(金) 10:22:46.50 ID:I0vIqqpA.net]: コピペしか能がない童貞と
一行愚痴しか能がない認知症が
うっとうしい
772 名前：現代数学の系譜雑談 mailto:sage [2024/12/14(土) 20:55:11.29 ID:CBZJVLGF.net]: ホイヨ

ゆーつべ
大学数学のド定番教科書を全部紹介【数学科・物理学科必見】
人工知能とんすけ
2022/02/17
紹介してる教科書・参考書たちは下記の通りです。理論をがっつり学びたい人は参考にしてください。その際は先に簡単なテキストを使って通り一遍やることをおすすめします。間違ってもいきなり解析概論とか多様体入門とか解析入門とかそこらへんのテキストには手を付けないでください。鬱になるだけです。

ーとんすけ'sプロフィールー
略す

@ヨーニーチョル
1 年前
大学生以上で使う参考書の「入門」ほど信じてはいけないものはない
まあ、作者にとっては「入門」レベル�
773 名前：ﾈんだろうけど []: [ここ壊れてます]
774 名前：現代数学の系譜雑談 mailto:sage [2024/12/14(土) 20:58:35.93 ID:CBZJVLGF.net]: ホイヨ

ゆーつべ
【チャート式参考書】数学力が一生伸びない間違った青チャートの使い方
人工知能とんすけ
2022/02/13
チャート式やること自体は間違いじゃないですが、分量が分量なので消化不良をおこしやすく、モニタリングしてくれる指導者がいないとなかなか難しいと思います。とにかく全部やればいいなんてことは、時間に余裕がある人しかできません。動画内の内容をまとめると、全部完璧にする必要はなく、自分の頭でしっかりと考えて、解答もちゃんと写しましょうということです。

ーとんすけ'sプロフィールー
略す

@ヨーニーチョル
1 年前
大学生以上で使う参考書の「入門」ほど信じてはいけないものはない
まあ、作者にとっては「入門」レベルなんだろうけど

@_mao_K
2 年前
とんすけさんが思われる、「数学力」って、目の前の問題に対して失敗を恐れず、ああでもない、こうでもないと、うんうん唸ることができる能力のことですかね。きっとそうしているといつの間にか解けているんでしょう。同じ「解けた」にもいろいろありますね。とんすけさんの言葉は面白いです。言語化が上手だと感じます。ありがとうございます。
775 名前：１３２人目の素数さん [2024/12/16(月) 22:52:02.77 ID:Q/ZEwgtm.net]: 先週はT北大のM村がP京大で
乗数イデアルについて集中講義をした
776 名前：１３２人目の素数さん mailto:sage [2024/12/17(火) 07:21:00.29 ID:KHsjbYZQ.net]: >>691-692
現代数学の童貞は、微積と線型代数から始めろ
なんならその前に述語論理を勉強しとけ

https://old.math.jp/wiki/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%AE%E5%8F%82%E8%80%83%E6%9B%B8
ここにある入門書は悪くないけど、だいたいはズブの素人には難しすぎる
（鹿島亮の本はいいかもしんないけど、読んでないのでコメントしない）
個人的には、ジェフリーの「形式論理学」か戸田山和久の「論理学をつくる」をお勧めする
（どっちも読んだ　後者は前者にインスパイアされたので後者で充分だが何分厚いので、まず薄い本から始めたいなら前者）
なお、野矢茂樹の「論理学」は全然おすすめしない
777 名前：１３２人目の素数さん [2024/12/17(火) 08:13:45.57 ID:8h1XuoXh.net]: >>694
野崎先生の本は？
778 名前：１３２人目の素数さん mailto:sage [2024/12/17(火) 09:23:54.76 ID:IaEwTdPo.net]: >>695
それ、述語論理の完全性定理につながる証明手続きについて述べてる？
もし述べてないなら、おすすめしない

ガウスの消去法について書かれてない線形代数のテキストとか読んでも意味ないだろ？
そういうこと
779 名前：１３２人目の素数さん [2024/12/17(火) 12:29:50.76 ID:uxb7ThuK.net]: >ガウスの消去法について書かれてない線形代数のテキストとか読んでも意味ない

そんなテキスト以外読んだことはない。
授業でもガウスの消去法は習わなかった。
授業をするようになって学生に質問されて初めて
そういうものがあることを知った。
780 名前：１３２人目の素数さん mailto:sage [2024/12/17(火) 12:40:36.53 ID:KHsjbYZQ.net]: >>697
じゃ、線型方程式系をどうやって解いてたの？　まさかクラメールの公式？

どんだけ昔の人なんですか
781 名前：１３２人目の素数さん [2024/12/17(火) 13:48:19.51 ID:uxb7ThuK.net]: >>698
解けるわけない。だから成績が悪くて数学科に進めなかった。
そのあとで線形代数はちゃんと勉強しなおしたつもりだったが
ガウスの消去法なしでも単位が取れたので
後々までそこが抜けたままだった。
782 名前：１３２人目の素数さん mailto:sage [2024/12/17(火) 14:04:15.63 ID:IaEwTdPo.net]: >>699　御愁傷様
783 名前：１３２人目の素数さん [2024/12/17(火) 20:48:18.84 ID:XKMWwBBY.net]: >>696-700
ご苦労さまです
ID:uxb7ThuKは、御大か

>解けるわけない。だから成績が悪くて数学科に進めなかった。
>そのあとで線形代数はちゃんと勉強しなおしたつもりだったが

御大は、卒業は京大だが、入学は東大ｗ
東大は、飯高式の”数学へのあこがれにはなるべく早く冷水を浴びせ”が、普通なのでしょう
教科書のマスターなど
それは単にスタート地点で
定期試験は”冷水を浴びせ”る式の出題ですかねｗ；ｐ）
『解けないでしょ？ならば、数学科はやめた方がいい』式
東大以外ならば、「教科書をマスターしたんなら解けるよ。解けた？偉いねｗ」式

東大は、2年終わりの進振りまで数学科行けるか不明だが
数学科の教員から見て、「数学センス、根性（数学愛ｗ？）、学力の無い人は来ないように」との親切心？ｗ；ｐ）

そこが、他大学で数学科で入試受けて、合格している場合との違いか
で、窮すれば通ず(goo辞書) dictionary.goo.ne.jp/word/%E7%AA%AE%E3%81%99%E3%82%8C%E3%81%B0%E9%80%9A%E3%81%9A/

人間万事塞翁が馬(imidas)imidas.jp/proverb/detail/X-02-C-22-A-0006.html
京大の中野先生との出会いが吉だったのかも

(参考)
math.サクラ.ne.jp/?action=common_download_main&upload_id=1374
突撃インタビュー飯高茂先生に聞く2013/11/22 千葉高

2 大学時代
大学に入ると最初に行列や行列式をやりますが，初めて学ぶ人は，高校数学と全く違うのでわけがわからないというのです。私は高校時代に勉強してあったんで，ことごとくわかるし，先生の質問の気持ちも全部わかる。

3 大学の教員となって
—学習院の前は東大で教えていましたね。
大学院できちんと論文を書き上げると助手になり，数年経ったら専任講師になり，結局，18 年間東大で教えていました。

東大では，「わからない人は早く大学院をやめたほうがいい。」「数学へのあこがれにはなるべく早く冷水を浴びせ，どんなに冷たくされても，這い上がってくる者だけを相手にしよう」と思っていました。

研究者を養成するにはそれでよかったのですが，学習院に来てからは教育に熱心になって，8割の学生がわかるようにということを目標にして，なるべく丁寧にやりました。

—8割を理解させる工夫というか心がけのようなものがあったら教えて下さい。
まず，行列と行列式に区別がつかない学生が結構いるんですよ。それらの基本的なことをちゃんと覚えられるように，自分でいろいろ格言を作るんですね。「これを覚えればできる」と。
例えば行列式では，線形性，交代性と転置不変性を三大基本性質と言って，それらの応用として，「カンニングの原理」を覚えよう。
784 名前：１３２人目の素数さん [2024/12/18(水) 08:08:25.38 ID:RragBvcq.net]: >>697
>>ガウスの消去法について書かれてない線形代数のテキストとか読んでも意味ない
>そんなテキスト以外読んだことはない。

私の学んだ教科書（倍風館の薄いやつだった）
にも、ガウスの消去法は無かったが
コンピュータのbit誌に、ガウスザイデル法で出ていた

(参考)
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%82%A6%E3%82%B9%EF%BC%9D%E3%82%B6%E3%82%A4%E3%83%87%E3%83%AB%E6%B3%95
ガウス＝ザイデル法（ガウス＝ザイデルほう、英: Gauss-Seidel method）とは
n元の連立一次方程式
を反復法で解く手法の1つである。
解説
略す
ガウス＝ザイデル法とヤコビ法を加速する方法としてはSOR法が知られている。

ヤコビ法は、直列計算ではガウス＝ザイデル法よりも遅いが、容易に並列計算できる。

関連項目
反復法 (数値計算) - ヤコビ法, SOR法
785 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 08:14:54.40 ID:da001lfd.net]: >>701
＞「わからない人は早く大学院をやめたほうがいい。」
＞「数学へのあこがれにはなるべく早く冷水を浴びせ，どんなに冷たくされても，這い上がってくる者だけを相手にしよう」
　東大の数学科や（数学の）大学院は、数学者になりたい人だけがいくところだから、そうなる
　甘やかしたところで、ダメな奴は結局ロクな論文一つ書けずに挫折するから同じこと
　
　ただ駒場はそうじゃないから、線型代数でガウスの消去法くらい教えるのは当然かと
　工学部の奴らが、大学でて唯一使える技ってそれくらいでしょ
786 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 08:18:56.86 ID:h7+s5IGu.net]: >>702
＞私の学んだ教科書（倍風館の薄いやつだった）にも、ガウスの消去法は無かったが
　「ガウスの消去法」と書いてないと、無かったという奴がいるが、普通の変数消去のことだぞ
　それすら書いてないって何書いてるんだよ、いったい
787 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 08:22:54.19 ID:da001lfd.net]: どこの大学の卒業生でもわかる筈だし確実に使える技
・線形代数におけるガウスの消去法
・述語論理におけるタブロー法

前者は逆行列を求めるのにも行列式の計算にも（つまり正則性の判定にも）使える
後者は推論の基本であると同時に実は述語論理の完全性定理に関わる大事なポイント

別に小難しいことなんて一つも理解しなくていいが
上記二つくらいは完全に理解してもらいたいもんだ
788 名前：１３２人目の素数さん [2024/12/18(水) 08:23:21.47 ID:YL7pVAVx.net]: 変数消去法にいろいろあることは
中学生でも知っているが
「ガウスの消去法」または「ガウス・ザイデル法」が
書いてある本は少ないかもしれない
789 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 08:24:41.82 ID:da001lfd.net]: >>706
＞変数消去法にいろいろあることは中学生でも知っているが
　そういう●●な言い訳で誤魔化すなよ　頭オカシイのか？
790 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 08:26:02.61 ID:da001lfd.net]: 消去法を最初に考えたのはガウスではないから
「ガウスの消去法」と呼ぶべきではないとかいうなら
それはそれでごもっともならそれならそうと
はっきりそうかかないと一行イチャモンじゃ●●にされるぞ
791 名前：１３２人目の素数さん [2024/12/18(水) 08:26:10.17 ID:YL7pVAVx.net]: ガウスの消去法が抜けていても
行列の階数がきちんと理解できていれば
院試はOK
792 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 08:29:16.97 ID:h7+s5IGu.net]: 行列の階数をどう定義しても結構だが、
理屈こね回す数学科の人以外にとっては
階数を具体的に求める方法が分かることが重要
理学部数学科しか知らない教授はその意識が完全に欠けている
こんな高慢チキを応援する工学部卒って詐欺師を信用するようなもの
793 名前：１３２人目の素数さん [2024/12/18(水) 08:31:57.51 ID:YL7pVAVx.net]: 工学部に必要な数学は
工学部が一番よく知っている
794 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 08:33:55.58 ID:h7+s5IGu.net]: >>71
大学１年の教養課程の数学は全学部共通だろ
何寝ぼけたこといってんだ　この●●爺
795 名前：１３２人目の素数さん [2024/12/18(水) 08:54:43.83 ID:YL7pVAVx.net]: 線形代数と微積分を理系以外で教えるときは
技術的なことは詳しくやらない
796 名前：１３２人目の素数さん [2024/12/18(水) 09:18:24.65 ID:ICYyUKL6.net]: >技術的なことは詳しくやらない

✖ やらない
⚪︎できない
797 名前：１３２人目の素数さん [2024/12/18(水) 09:21:22.45 ID:ICYyUKL6.net]: 能力の問題
798 名前：１３２人目の素数さん [2024/12/18(水) 09:28:14.59 ID:CDsq3v+V.net]: >>713
文系の話はいいよ
理系はどうすんの
799 名前：１３２人目の素数さん [2024/12/18(水) 09:44:51.18 ID:YL7pVAVx.net]: 工学部の数学教育は
数学の専門教育を受けた者が
担当することが望ましい
800 名前：１３２人目の素数さん [2024/12/18(水) 09:47:19.93 ID:h7+s5IGu.net]: >>717
理・工　分離ってこと？
何をどうするのか明確に書いてね
801 名前：１３２人目の素数さん [2024/12/18(水) 09:53:37.15 ID:YL7pVAVx.net]: >>718
理学部の数学教育を
数学の専門教育を受けたものが担当することは
当然だが
最近では工学部の数学教育から
数学者を排除しようとする動きが
一部の私立大学であった
802 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 10:55:19.70 ID:CDsq3v+V.net]: >>719
これも同様
803 名前：に、 工学部の数学教育をどうしたいのか 具体的に書いてね ただ排除とか●●でも書ける []: [ここ壊れてます]
804 名前：１３２人目の素数さん [2024/12/18(水) 11:59:18.45 ID:yEiuhJNK.net]: >>719-720
>最近では工学部の数学教育から
>数学者を排除しようとする動きが
>一部の私立大学であった
>工学部の数学教育をどうしたいのか
>具体的に書いてね

・文科省のお役人相手のような議論をしても仕方がない
・まあ、教育とはどうあるべきか
　一つは、今に役立つこと
　一つは、学ぶ力を養うこと
　一つは、生涯に渡って役立つこと
・なので、近視眼的にすぐに役立つもののみを教えてもってことか
　そして、最新の世の動きをキャッチするのも大事
　mathematicaとか、数学ソフトを取り入れる（東大数学科ではやっているらしい）

なお補足
>>702
>ガウス＝ザイデル法

英文情報補足
”It was only mentioned in a private letter from Gauss to his student Gerling in 1823.[2]
A publication was not delivered before 1874 by Seidel.[3]”

en.wikipedia.org/wiki/Gauss%E2%80%93Seidel_method
Gauss–Seidel method
In numerical linear algebra, the Gauss–Seidel method, also known as the Liebmann method or the method of successive displacement, is an iterative method used to solve a system of linear equations.
It is named after the German mathematicians Carl Friedrich Gauss and Philipp Ludwig von Seidel.
Though it can be applied to any matrix with non-zero elements on the diagonals, convergence is only guaranteed if the matrix is either strictly diagonally dominant,[1] or symmetric and positive definite.
It was only mentioned in a private letter from Gauss to his student Gerling in 1823.[2]
A publication was not delivered before 1874 by Seidel.[3]
(引用終り)
805 名前：１３２人目の素数さん [2024/12/18(水) 13:08:04.38 ID:C9g4avKO.net]: >>720
工学部に必要な数学は
工学部が一番よく知っている
806 名前：１３２人目の素数さん mailto:sage [2024/12/18(水) 16:04:54.90 ID:yEiuhJNK.net]: >>722
>工学部に必要な数学は
>工学部が一番よく知っている

１）日本人に必要な数学は
　日本人が一番よく知っている？
　その日本人ってだれ？
２）自分に必要な数学は
　自分が一番よく知っている？
　汝自身を知れ！ (古代ギリシャ)
　自分の明日が分からない者に、なぜ明日必要になる数学が分かるのか？
３）工学部に必要な数学は
　工学部が一番よく知っている？
　Shuichiro Takeda氏は、工学部出身の数学者（下記）（いま某旧帝准教授？）
　彼は知っているのだろうか？

なお
東大数学科カリキュラム＜未来を拓く数学＞だそうです

(参考)
https://sites.google.com/view/stakeda
Shuichiro Takeda
Education
Ph.D Mathematics,University of Pennsylvania, May. 2006
M.A. Mathematics, San Francisco State University, Aug. 2001
M.A. Philosophy, San Francisco State University, Jan. 2000
B.E. Engineering, Science University of Tokyo, March. 1997

https://www.ms.u-tokyo.ac.jp/kyoumu/math_curriculum.html
東大
数学科のカリキュラム＜未来を拓く数学＞
３年生Ｓセメスター
選択必修科目「計算数理I」、「同演習」
内容：数値計算の基礎
「計算数学I」
内容：計算情報環境の構築に関する演習

３年生Ａセメスター
「計算数学II」
内容：計算情報環境の構築に関するより進んだ演習

４年生Ｓセメスター
選択必修「計算数理ＩＩ」
内容：偏微分方程式の数値解析
選択必修「現象数理ＩＩ」
内容：年によって異なる.例えば「非線型現象と数理解析」や「数理物理学」など
807 名前：１３２人目の素数さん [2024/12/18(水) 22:41:49.39 ID:YL7pVAVx.net]: >彼は知っているのだろうか？
いかにも工学部向きの内容に見える
808 名前：１３２人目の素数さん mailto:sage [2024/12/19(木) 12:00:17.07 ID:vz0bnWTb.net]: ＞mathematicaとか、数学ソフトを取り入れる
　ド近視眼じゃん
809 名前：１３２人目の素数さん [2024/12/19(木) 21:33:28.68 ID:OAunCTDY.net]: AI関連の法律が作るための知識も
工学部で教えたらよい
810 名前：１３２人目の素数さん [2024/12/20(金) 04:45:14.51 ID:CedwY7Ae.net]: 誤　AI関連の法律が作るための知識
正　AI関連の法律を作るための知識

助詞も正しく使えないとか日本人じゃないな
811 名前：１３２人目の素数さん [2024/12/20(金) 05:45:12.93 ID:FKJoiL7j.net]: 誤記修正ソフトの作動権限についての法律も必要になるだろう
812 名前：１３２人目の素数さん [2024/12/21(土) 07:24:31.30 ID:30Ne2PFX.net]: 日本の取り組みは大きく遅れている
813 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 07:30:30.48 ID:WIRqKN3y.net]: 本スレッドは以下のスレッドに統合します

「名誉教授」のスレ２
https://itest.5ch.net/rio2016/test/read.cgi/math/1730952790
814 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 11:46:36.03 ID:2V79/Y1m.net]: >>730
お前自身が、統合されてろ！ｗ；ｐ）
815 名前：１３２人目の素数さん mailto:sage [2024/12/21(土) 17:16:23.42 ID:WIRqKN3y.net]: >>731
童貞君は数学書を読む前に
まず「論理学をつくる」（戸田山和久　著）を読んでな

大学数学なんて全く理解せんでも構わんが
論理を理解すれば君の頭も整理される筈
816 名前：１３２人目の素数さん [2024/12/21(土) 19:43:05.89 ID:30Ne2PFX.net]: 暗闇に目が慣れてものがだんだん見えるように読める
論理学の本はありますか
817 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 07:20:02.31 ID:RtBUeEJh.net]: >>732であげた「論理学をつくる」（戸田山和久　著）を読んでな
818 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 09:21:10.88 ID:RtBUeEJh.net]: 本スレッドは以下のスレッドに統合

「名誉教授」のスレ２
https://itest.5ch.net/rio2016/test/read.cgi/math/1730952790
819 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 11:30:06.52 ID:pGQluwbN.net]: シカト
820 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 11:51:47.92 ID:RtBUeEJh.net]: >>736 数学童貞発●
821 名前：１３２人目の素数さん mailto:sage [2024/12/22(日) 19:00:57.34 ID:pGQluwbN.net]: メモ
talkpal.ai/ja/vocabulary/haupt-vs-haupt-%E3%83%89%E3%82%A4%E3%83%84%E8%AA%9E%E3%81%AE%E6%8E%A5%E9%A0%AD%E8%BE%9E%E3%81%AE%E4%BD%BF%E7%94%A8%E6%B3%95%E3%81%AE%E9%81%95%E3%81%84%E3%82%92%E8%A7%A3%E8%AA%AD%E3%81%99%E3%82%8B/
Talkpal
Haupt vs Haupt- ドイツ語の接頭辞の使用法の違いを解読する
Hauptはドイツ語で「主な、主要な」という意味を持つ単語です。これは名詞、形容詞として使用され、何かが中心となる、または最も重要であることを示します。 Der Hauptbahnhof liegt im Zentrum der Stadt.
Haupt-接頭辞としての使用
Haupt-は接頭辞として使われることが多く、後に続く単語に「主要な」や「最も重要な」という意味を加えます。これにより、元の単語の意味が強調され、その重要性が際立ちます。

https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B8%E3%83%A5%E3%83%A9%E3%83%BC%E6%9B%B2%E7%B7%9A
モジュラー曲線（モジュラーきょくせん）とは複素上半平面 H の合同部分群 Γ の作用による商として定義されるリーマン面のことである。合同部分群 Γ とは、整数の 2 × 2 の行列 SL(2, Z) のある部分群のことである。モジュラー曲線はコンパクトとは限らないが、有限個の Γ のカスプと呼ばれる点を加えることでコンパクト化されたモジュラー曲線 X(Γ) を定めることができる。モジュラー曲線の点は、楕円曲線とそれに付随する群 Γ に関係するある構造をもったものの同型類の集合とみなすことができ、モジュラー曲線を代数幾何的に、また有理数体 Q や円分体の上でモジュラー曲線を定義することもできる。このことからモジュラー曲線は整数論で重要な対�
822 名前：ﾛである。 種数 0 一般に、モジュラー函数体とは、モジュラー曲線（あるいは既約であるような他のモジュライ空間）の函数体である。種数が 0 であることは、そのような函数体が唯一の超越函数を生成元として持っていることを意味し、たとえば、j-函数は X(1)=PSL(2,Z)∖H の函数体を生成する。この生成元はメビウス変換で移りあう函数を同一視すると一意となり、適切に正規化することができ、 そのような函数を Hauptmodul (あるいは主モジュラー函数(principal modular function)と呼ぶ。 空間 X1(n) は n = 1, ..., 10 と n = 12 に対して、種数 0 である。これらの曲線は、Q 上で定義されているので、そのような曲線上には無限に多くの有理点が存在し、よって、これらの n の値に対し n-捩れを持つ有理数体上定義された楕円曲線が無限に存在する。n がこれらの値のときのみ、逆のステートメントが成り立ち、これがメイザーの捩れ定理である。 []: [ここ壊れてます]
823 名前：１３２人目の素数さん mailto:sage [2024/12/23(月) 08:11:29.99 ID:XUEChow2.net]: リーマン球面で感動しちゃってる童貞君には
楕円曲線もモジュラー曲線も到達不可能かと
824 名前：１３２人目の素数さん mailto:sage [2024/12/23(月) 14:48:09.58 ID:Ve9axBhJ.net]: ということで本スレッドは以下のスレッドに統合

「名誉教授」のスレ２
https://itest.5ch.net/rio2016/test/read.cgi/math/1730952790
825 名前：１３２人目の素数さん [2024/12/24(火) 03:30:10.35 ID:WfVz75RM.net]: >空間 X1(n) は n = 1, ..., 10 と n = 12 に対して、
>種数 0 である。これらの曲線は、Q 上で定義されているので、
>そのような曲線上には無限に多くの有理点が存在し

タクシー数がこれらに関係するかどうかは
知られているのだろうか
826 名前：１３２人目の素数さん [2024/12/24(火) 20:16:33.61 ID:WfVz75RM.net]: K3との関係も気になる
827 名前：現代数学の系譜雑談 [2024/12/24(火) 21:44:25.79 ID:UaeBzwaL.net]: >>741
>タクシー数がこれらに関係するかどうかは

さあ？分りませんが
下記など

(参考)
www2.math.kyushu-u.ac.jp/~mkaneko/papers.html
報告集原稿など
19. ラマヌジャン，「数学セミナー」 2006年2月号，(2006). pdf
www2.math.kyushu-u.ac.jp/~mkaneko/papers/ramanujan.pdf
ラマヌジャン
金子昌信（九州大学）
ラマヌジャンと聞くと“TaxicabNumber”のエピソードをすぐに思い出す．彼の「発見者」，イギリスでの師であり共同研究者であったハーディーが，ラマヌジャンの病床を見舞いに言ったときのことをこう記している（[2], [3]）．
彼が数の色々変わった性質を覚えているさまといったら，もう神秘的とさえ言えた．リトルウッドが言ったのだと思うが，どの自然数もみなラマヌジャンの仲間だった．思い出すのはプトニーで病床にあった彼を見舞いに行ったときのこと．乗ったタクシーのナンバーが1729で，どうもつまらない数字（7·13·19）のようだ，何か縁起でもないことの前触れでなければいいのだがと言ったら，「いいえ」，彼が言うには，「非常に面白い数です．二つの3乗数の和として，二通りに表せる数の中の最小のものです1．」そこで私は当然，では4乗で同じことを考えたら解はいくつになるのかと尋ねた．ラマヌジャンは，しばらく考えて，そのような数の例は知らないが，最初の数は相当大きいに違いないと答えた2．
1729 と聞いて即座にそのような数であると答えるのも尋常ではないが，4乗ではどうかときかれ「しばらく考えて」，小さい範囲にはない，と言い切れるのは頭の中でどういう計算をしたものか，不思議でならない.
ラマヌジャンの残した膨大な量の数式の中にはどのようにして思いついたのか，そこに辿りついたものか，常人の理解を全く超えて神秘としか言いようのないものが数多く見られる.あるいは殆どがそうなのかも知れない. そのようなもののごくごく一端を紹介するのがこの小文の目的であるが，私が研究してきた数学とラマヌジャンの数学との直接の接点はそう多くなく，また彼の仕事を組織的に調べたこともないので，すでに有名ないくつかの数式の表面的な記述しか出来そうにない．ご寛恕を請う．幸いごく最近，ラマヌジャンについてずっとよく調べておられる藤原正彦氏の論説（[1]）が出た．是非ご一読され，興味を持たれたらさらにそこに挙げられている文献へと進まれたい．
828 名前：現代数学の系譜雑談 [2024/12/24(火) 21:52:12.89 ID:UaeBzwaL.net]: >>743
>ラマヌジャンについてずっとよく調べておられる藤原正彦氏の論説（[1]）が出た．

www.jstage.jst.go.jp/article/sugaku1947/57/4/57_4_407/_article/-char/ja/
数学/57 巻 (2005) 4 号/書誌
Ramanujanの数学
藤原正彦
www.jstage.jst.go.jp/article/sugaku1947/57/4/57_4_407/_pdf/-char/ja
829 名前：１３２人目の素数さん [2024/12/24(火) 22:03:48.34 ID:WfVz75RM.net]: Ken Onoの解説が短くてよい
830 名前：現代数学の系譜雑談 [2024/12/24(火) 23:20:09.74 ID:UaeBzwaL.net]: >>744 追加

www.weblio.jp/content/%E3%82%BF%E3%82%AF%E3%82%B7%E3%83%BC%E6%95%B0%E3%81%A8K3%E6%9B%B2%E9%9D%A2
タクシー数とK3曲面
タクシー数とK3曲面
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/30 23:35 UTC 版)
「シュリニヴァーサ・ラマヌジャン」の記事における「タクシー数とK3曲面」の解説

tsujimotter.はてなブログ.com/entry/the-1729-k3-surface
tsujimotterのノートブック
2019-06-29
1729とK3曲面

ja.wikipedia.org/wiki/%E3%82%BF%E3%82%AF%E3%82%B7%E3%83%BC%E6%95%B0
n 番目のタクシー数（タクシーすう、taxicab number、Ta(n)もしくはTaxicab(n)と表記される）とは、2つの立方数の和として n 通りに表される最小の正の整数と定義される。1954年にゴッドフレイ・ハロルド・ハーディとエドワード・メートランド・ライト（英語版）が全ての正の整数 n に対し、Ta(n)が存在することを示した。その証明を利用すれば「2つの立方数の和として n 通りに表される正の整数」を見つけることはできる。ただしそれが最小の数であるかは保証されていないため、Ta(n)であるとは限らない。

「タクシー数」と言う名前はハーディが乗ったタクシーの番号1729についてそれがTa(2)であることをシュリニヴァーサ・ラマヌジャンが指摘したエピソードから来ている（後述）。そのため、この数の問題とタクシーとの関連は全く無い。

なお、ここでの立方数は正の整数のみを考える。0と負の整数も含めるときは、名前の「taxicab」をひっくり返してキャブタクシー数と呼ばれる。

概要
与えられた正の整数 N に対し、不定方程式
略す

m を正の整数とすると
x^3+y^3=m
は楕円曲線なので、階数が正ならば無限個の有理点を持つ

発見の歴史
ハーディ・ラマヌジャン数として知られるTa(2)は1657年にバーナード・フラン・ベッシー（英語版）によって他のいくつかの2つの立方数の和で2通りに表せる数とともに見出された[2]。レオンハルト・オイラーは
X^3+Y^3=Z^3+W^3
の有理数解の一般解を与えており
略す
ラマヌジャンやハーディー・ライトがタクシー数の解法を示して以降は、コンピュータによる発見が常となった。ジョン・リーチ（英語版）は1957年にTa(3)を発見した。1991年にはE・ローゼンスティール、J・A・ダーディス、C・R・ローゼンスティールがTa(4)を発見。J・A・ダーディスは1994年にTa(5)を発見し、1999年にデービッド・W・ウィルソンによって確認された[6][7]。Ta(6)はウーヴェ・ホラーバッハによって2008年3月9日にメーリングリストNMBRTHRYに発見が報告されたが[8]、これは2003年に Claude et al. によって99％の確率でTa(6)であろうとされていたものだった[9]。2006年にはクリスチャン・ボワイエによってTa(7)からTa(12)までの上限が与えられた[10]。2008年にはクリスチャン・ボワイエとJaroslaw WroblewskiによってTa(11)からTa(22)までの上限が更新された[11]。

en.wikipedia.org/wiki/Taxicab_number
Taxicab number

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef