純粋・応用数学・数学隣接分野（含むガロア理論）18

**１３２人目の素数さん** · 2024/01/21(日) 19:58:57.21

クレレ誌：
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)

そこで
現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして
新スレを立てる（＾＾；

＜前スレ＞
純粋・応用数学・数学隣接分野（含むガロア理論）17
https://rio2016.5ch.net/test/read.cgi/math/1699841221/
＜関連姉妹スレ＞
ガロア第一論文と乗数イデアル他関連資料スレ6
https://rio2016.5ch.net/test/read.cgi/math/1704672583/
スレタイ箱入り無数目を語る部屋14
https://rio2016.5ch.net/test/read.cgi/math/1696677610/
Inter-universal geometry と ABC予想 (応援スレ) 70
https://rio2016.5ch.net/test/read.cgi/math/1701399491/
IUTを読むための用語集資料スレ2
https://rio2016.5ch.net/test/read.cgi/math/1606813903/
現代数学の系譜カントル超限集合論他 3 (過去スレ落ち)
https://rio2016.5ch.net/test/read.cgi/math/1595034113/

＜過去スレの関連（含むガロア理論）＞
・現代数学の系譜工学物理雑談古典ガロア理論も読む84
https://rio2016.5ch.net/test/read.cgi/math/1582200067/
・現代数学の系譜工学物理雑談古典ガロア理論も読む83
https://rio2016.5ch.net/test/read.cgi/math/1581243504/

つづく

**１３２人目の素数さん** · 2024/06/05(水) 00:09:23.88

>>396
>数学書は知識だけつまみ食いしようとしてもつまめません
>そういう書き方してないというかそもそも数学はそういうもんじゃないから
>「なぜ」を抜きにして「ハウツー」だけ教えてくれという人はいますが

・ふっｗ落ちこぼれがえらそうに
・君は反面教師で、あんたのいう逆が正解だな；ｐ）
・河東氏は、阿佐田哲也「麻雀放浪記」とノンスタを読んで、作用素環の数学者になった
・コンヌは、ノンスタンダード・アナリシスの技法をそうでないように見せながら駆使してフィールズ賞論文を書いた
・数学でも知識は役に立つ。コンヌはノンスタを知ってフィールズ賞を取った

(参考)
https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri2103.pdf
特集／研究者の本棚
私の読んだ本と私の書いた本河東泰之数理科学 2021

高校時代に数学，物理の次に好きで得意だったのは古文，漢文である．
また好きな小説三つを挙げると，村上春樹「ノルウェイの森」，阿佐田哲也「麻雀放浪記」，三島由紀夫「豊饒の海」である．
めちゃくちゃな組み合わせだがしかたがない．

当時の東大数学科の図書室は竜岡門から入った理学部5号館の7階を丸ごと使っていた．当時の私の図書室使用ルールは，入り口で入るときに中学の生徒証を出して預ける，中は自由に見てよいが本を読むときは受付横の一角の机を使う，本は借り出せない，コピーは1ページ10円で自分で取る，というものだった．

その頃読んだ本にW. Arveson, “An Invitation to C∗algebras” (Springer), がある．この本は友隣社で買って今も持っている作用素環の本で今に関係している．
正式に作用素環を専門として選んだのは大学4年生のセミナー選択の時だが，この本を読んでいたことはその選択に大きく影響したと思う．

同じくこの頃読んだ本にA. Robinson, “Nonstandard Analysis” (North-Holland Publishing), K. D. Stroyan, W. A. J. Luxemburg, “Introduction to the Theory of Infinitesimals” (Academic Press), がある．いずれも東大数学科の図書室で見て読み，さらに友隣社で買った本で今も持っている．これらはノンスタンダード・アナリシスの本である．特に前者は元祖のロビンソンの書いた本で，本人による理論の展開がなされている．

ロビンソンは数学基礎論が専門なのでもちろん，数学基礎論の部分がきっちり書かれていてハードな本であるが，関数解析などへの応用もいろいろ書かれており，興味深かった．
今考えてみると，ノンスタンダード・アナリシスの技法をそうでないように見せながら駆使したコンヌのフィールズ賞論文と同時期に書かれていることが興味深い．

私はこのように早くから色々な本を読んできたのだが，こうやって子供の頃から進んだ本を読むことは数学者として活躍するための必要条件でも十分条件でもない．どちらについても反例はたくさん知っている．しかし日本では飛び級がほぼできないため，数学オリンピック関係の行事などに行くと，こういう能力を持った少年少女たちは結構いることに気づくのに，そういう人たちの能力を生かす体制がほとんどないのは残念なことである．

**１３２人目の素数さん** · 2024/06/05(水) 00:42:05.80

ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
私はこのように早くから色々な本を読んできたのだが，
こうやって子供の頃から進んだ本を読むことは
数学者として活躍するための必要条件でも十分条件でもない．
どちらについても反例はたくさん知っている．
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

これがすべてかと
なお、10代でPCにハマり、プログラムを沢山書く、という体験もまた
数学者になるための必要条件でも十分条件でもない・・・

**１３２人目の素数さん** · 2024/06/05(水) 00:51:45.94

必要条件でない例：読んでないけど数学者になれた
十分条件でない例：読んだけど数学者になれんかった

まあ、前者より後者が多いだろうな
単純に、数学者よりそうじゃない人が圧倒的に多いから、ということだけだが

**１３２人目の素数さん** · 2024/06/05(水) 00:54:29.08

早くから数学の色んな本を読む確率　P1
数学者になる確率　P2

もし「早くから数学の本を読み、かつ数学者である確率」Pが
P1とP2の積と等しければ、両者は独立事象かと・・・ｗ

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/06/05(水) 10:07:26.64

>>397
ご参考

https://ja.wikipedia.org/wiki/%E9%BA%BB%E9%9B%80%E6%94%BE%E6%B5%AA%E8%A8%98
麻雀放浪記
『麻雀放浪記』（マージャンほうろうき）は、阿佐田哲也作の小説。また、この原作をもとに作られた、双葉社・竹書房・講談社の漫画、東映の映画。
概要
賭博としての麻雀を題材としており、文中に牌活字がしばしば登場する娯楽小説である。戦後復興期のドヤ街を舞台として、主人公「坊や哲」をはじめ、「ドサ健」、「上州虎」といった個性的な登場人物達が生き生きと描かれ、彼らが生き残りをかけて激闘を繰り広げるピカレスクロマン（悪漢小説）として評価が高い。

1969年（昭和44年）、『週刊大衆』に最初のシリーズ（のちに「青春編」と呼ばれる）が連載され、昭和40年代の麻雀ブームの火付け役になった。以後、1972年（昭和47年）までに計4シリーズが連載された。

小説は角川文庫版のみで4巻すべてが50刷以上を重ね、累計で約200万部を発行（2015年9月時点）したほか、文春文庫でも発行されている[1]。

続編的な作品として『新麻雀放浪記』『外伝・麻雀放浪記』、ドサ健を主人公にしたスピンオフ作品『ドサ健ばくち地獄』がある。

1984年、和田誠監督作品として映画化されたほか、漫画化もされている。

また、本作や各小説をベースとして少年漫画向けの大幅なアレンジを施された『哲也-雀聖と呼ばれた男』があり、人気作品のためゲームやアニメなどのメディアミックス化されている。

あらすじ
略す

https://ja.wikipedia.org/wiki/%E8%89%B2%E5%B7%9D%E6%AD%A6%E5%A4%A7
色川武大（いろかわたけひろ、1929年〈昭和4年〉3月28日 - 1989年〈平成元年〉4月10日）は、日本の小説家、エッセイスト、雀士。筆名として阿佐田哲也（あさだてつや）ほか、井上志摩夫（いのうえしまお）、色川武大（いろかわぶだい）、雀風子などを名乗った。阿佐田哲也名義では麻雀小説作家として知られる。

ギャンブル
麻雀の分野においては、麻雀をカルチャーとして広めたという意味で戦後最大の功績者である。「雀聖」とも呼ばれ、神格化されるビッグネームである[11]。
また、麻雀技術書において麻雀に戦術があることを書き、五味康祐とともに「単なるギャンブル」とみなされていた麻雀を「知的なゲーム」として認識させた。

エピソード
ナルコレプシーを患ってからは睡眠周期が乱れて1日内の時間感覚が崩れたため、起きていて腹が減ればとにかく食事をするようになり、1日6食も取るようになった。そのため、後年は肥満体となり、58歳の時点で身長170cm、体重80kgという体格であった[18]。また、ナルコレプシーのため何をするにも疲労しやすくなり、更に過食に陥ったという[18]。更に、病による幻覚や幻聴にも悩まされるようになり、晩年の『狂人日記』はこの経験を基にしている。

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/06/05(水) 10:20:44.63

>>401

阿佐田哲也のAクラス麻雀というのがある（下記）
私も買って読みました
文庫本でないやつを（もう処分していまは手元にない）

『麻雀放浪記』は、名前くらいしか知らない
読んだことはない
あまり、読みたいとも思わないが

https://www.アマゾン
Aクラス麻雀 (双葉文庫あ 1-3) 文庫 – 1989/10/1
阿佐田哲也 (著)

上位レビュー、対象国：日本
薔薇句小浜
5つ星のうち5.0 麻雀は運のやり取りにあり。
2020年9月28日に日本でレビュー済み
Amazonで購入
この本は私の学生時代からあった伝説の名著を単行本化したものです。スポーツ新聞か週刊誌に連載されていたものをまとめたものだと思います。いわゆる何を切るといった戦術的な読みものではなく、運を引き寄せる方法や捨て牌のちょっとした違いから相手の手を洞察する阿佐田氏の読みを重点的に書いており、その読みの深さは麻雀の神様と呼ばれるにふさわしいものです。

阿佐田哲也さんの著書は若いころに何冊か読みましたが、この本は阿佐田さんがよみがえって読者一人一人に語りかけてくるような文体で書かれており、非常に親しみを覚えました。欲を言えば小島さんや古川さんらとの激しい戦いの様子をもっと書いてほしかったです。繰り返し何度も何度も読んでも飽きない名著です。

**１３２人目の素数さん** · 2024/06/13(木) 07:00:00.83

>>378
「真理」の語源についての話で始まるのが
ハイデッガーの「真理の本質について」

**１３２人目の素数さん** · 2024/06/13(木) 08:37:58.29

「真理の本質は変容する」が
ハイデッガーの答え

**１３２人目の素数さん** · 2024/06/13(木) 08:47:19.95

>>404
>「真理の本質は変容する」

なるほど　で、いかように？

**１３２人目の素数さん** · 2024/06/13(木) 09:09:36.03

詳しくは「真理の本質について」などを参照しながら
自分で考察されたい

**１３２人目の素数さん** · 2024/06/13(木) 09:50:18.05

あなたの考察を聞いてから
私が考察したほうがいいかどうか
判断しようと思うので
ぜひあなたの考察をお聞かせ願いたい

**１３２人目の素数さん** · 2024/06/13(木) 17:05:42.43

>>405
ハイデッガーが達した
「真理の本質は変容する」は
ソクラテスの問いに対する答えではないと思う。
そして、ソクラテスなら「なるほど」とは言わないだろうし
「で、いかように」とも訊かないだろう。

**１３２人目の素数さん** · 2024/06/13(木) 17:08:20.52

ソクラテスのことはわすれていいよ
どう変容するかだけ答えてくれればそれでいい
できるだろ？

**１３２人目の素数さん** · 2024/06/13(木) 17:38:03.91

ハイデッガーの答えの解釈は多様であろう

**１３２人目の素数さん** · 2024/06/13(木) 19:51:20.14

数学における真理の本質の変容にあたる例は
知らないわけではないのだが

**１３２人目の素数さん** · 2024/06/14(金) 08:31:08.11

>>410　あなたの解釈を聞かせてよ
>>411　例を具体的に示してよ

もったいつけなくていいよ
何を恐れてるのか知らんけど

**１３２人目の素数さん** · 2024/06/14(金) 08:35:11.27

>>412
>>410　あなたの解釈を聞かせてよ
なるほど　で、いかように？
>>411　例を具体的に示してよ
たいした例ではない

**１３２人目の素数さん** · 2024/06/14(金) 08:38:53.05

>>413
>>あなたの解釈を聞かせてよ
>なるほど　で、いかように？
あなたの好きなように
>>例を具体的に示してよ
>たいした例ではない
それでかまわないから教えてよ

繰り返すけど、もったいつけなくていいよ
何を恐れてるのか知らんけど

**１３２人目の素数さん** · 2024/06/14(金) 08:52:56.37

>>414
なるほど　で、いかように？
=
あなたの好きなように

たいした例ではない
=
感心されない例であることを恐れる

**１３２人目の素数さん** · 2024/06/23(日) 13:32:24.54

今だけです。
https://i.imgur.com/z9MvNyj.jpg

**１３２人目の素数さん** · 2024/06/23(日) 14:42:33.10

>>416
ありがとう実際にやってみるよ

**１３２人目の素数さん** · 2024/07/01(月) 15:43:27.67

メモ：代数的場の量子論
www.ms.u-tokyo.ac.jp/~yasuyuki/suri0104.pdf
特集／場の量子論数理科学 NO.454,APRIL 2001
代数的場の量子論の新しい展開
—セクター理論とbraid統計
河東泰之
1. 序論
1984 年，Jones は作用素環論において自ら打ちたてたsubfactor 理論8) の応用として，結び目の新しい不変量，Jones多項式9) を発見した．
この発見は「量子不変量」と呼ばれる新しい位相不変量の研究を導き，広大な新しい分野を生み出した．
Jones 多項式やそれを拡張した多くの位相不変量の定義については現在ではさまざまな初等的方法が得られているが，Jones自身によるもともとの定義ではbraid群の表現を作用素環論を用いて構成することがキーになっていた．
そこで，位相幾何学における爆発的発展とは別に，ここに現れたbraid群の表現を作用素環論的に理解することが重要な問題となったのである．
これについては，場の量子論に作用素環論を用いてアプローチする分野である代数的場の量子論でそれまでに知られていた議論と，Jonesの理論に現れる結果や議論の間に見られる類似性を追究することによって理解を深めようという考え方が発展して来ていた．
この類似性の機構を数学的に明らかにする研究は，80年代末にFredenhagen-Rehren-Schr¨oer4), Fr¨olich5) , Longo10) らによってはっきりした基礎が確立され，その後現在まで活発な発展が続いている．
本稿の目的はこの研究の一端をできるだけ初等的に解説することである．
まず基本的な仕組みの概略についての説明から始めよう．
(これについての基本的な教科書はHaag のもの6)である．)代数的場の量子論では時空(たとえば4次元Minkowski空間) の適当な領域に対し，そこで観測可能な物理的量のなす作用素環が対応すると考える．
ここで作用素環とは，Hilbert空間上の有界線形作用素のなす環で，しかるべき位相で閉じているものの事だが，大雑把には無限次元行列のなす集合で，行列の足し算や掛け算が自由にできるものという程度の理解でさしつかえない．
その領域に作用素環を対応させる規則が，物理的に要請される公理を満たしている場合を考える．
この公理とはたとえば，領域が広がるとそれに応じて対応する作用素環の方も大きくなるといった類の条件であり，詳しくは次のセクションで述べる．
さてこのような対応規則が与えられたとき，適当な領域たちでパラメトライズされた作用素環の族があることになる．
この領域たちは有向族をなすので，この作用素環の族を作用素環のネットと呼ぶ．
次に考えることはそのような作用素環のネットの表現である．もともとこの作用素環の族はあるHilbert空間の上の作用素たちとして実現されていると考えているのでそれ自体が表現をなしていると思えて，これを真空表現と言うが，それ以外の別のHilbert空間への表現も考えるのである．
そのような表現たちを分類し，その構造を調べたいのだが，作用素環論的な理由によって，表現の代わりに作用素環のネットの適当な自己準同型を調べればよいことがわかる．

**１３２人目の素数さん** · 2024/07/01(月) 17:45:04.05

メモ：代数的場の量子論２
https://member.ipmu.jp/yuji.tachikawa/transp/abstract.pdf
場の量子論の、場の量子論による、場の量子論のための数学
立川裕二 (東京大学国際高等研究所Kavli数物連携宇宙研究機構)∗ 2018年7月31日

しかし、これらの既存の定式化には不満が残ります。
まず、上記のようないろいろなアプローチが併存していること自体、場の量子論の数学的枠組みが確立していないことを示しています。
また、上記最近までそれぞれの流派の間で交流があまりなかったことも不思議といえば不思議ではあります2。
といっても、どれかが間違っているというわけではありません。
場の量子論という大きな象を皆で撫でているわけですが、それぞれが撫でたあたりだけ数学的に定式化すると上記の定式化になっている、というのが近いように思います。

注2：そんな中、2015年になってCarpi-Kawahigashi-Longo-Weiner [CKLW15] で二次元共形代数的場の量子論と頂点作用素代数の間を往き来できるようになったのは大きな進展です。河東の論説[Kaw17]も参照。

**１３２人目の素数さん** · 2024/07/02(火) 12:50:44.69

ガロア理論での失敗を
代数的場の量子論で挽回しよう
という魂胆か

どうせ同じことになるのにな
基礎がないから何をやってもうまくいかない

**１３２人目の素数さん** · 2024/07/08(月) 02:22:51.15

スケート名物
要するに

**１３２人目の素数さん** · 2024/07/08(月) 02:32:20.28

他全滅

**１３２人目の素数さん** · 2024/07/10(水) 13:49:30.40

数理科学の7月号を図書室で読んだ

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/11(木) 08:00:46.26

>>423
ありがとうございます
下記ですね

圏論は理解して使えるようになれば
思考の節約になり
役に立つ

https://www.saiensu.co.jp/search/?magazine_id=1&latest=1
数理科学 2024年7月号Ｎｏ.733
数理に現れる双対性
双対的思考法によるアプローチ
立ち読みをする

目次
特集
双対性の歩き方加藤晃史
線形代数から入門する双対性～Ｔ双対と⊥双対～小林正典
ガロア理論における双対性三枝洋一
トポロジーにおける双対定理～ Poincare双対性をめぐって～逆井卓也
群と表現における双対性梅田　亨
圏論における双対性丸山善宏
量子力学における双対関係加藤光裕
電磁気学における双対性とその展開風間洋一
統計力学における双対性鈴木淳史
素粒子論における双対性～場の量子論と弦理論からの例～米谷民明

**１３２人目の素数さん** · 2024/07/11(木) 08:15:48.65

>>424
>思考の節約になり
思考が嫌いなら数学やめればいいのに

**１３２人目の素数さん** · 2024/07/11(木) 08:28:52.66

「思考の節約」は
「現在のAIレベルの思考の節約」くらいに思っておけば
思考の節約になるだろう

**１３２人目の素数さん** · 2024/07/11(木) 09:39:58.81

AIは数学分かってないけどね
初歩レベルの間違いしでかすし

**１３２人目の素数さん** · 2024/07/11(木) 09:42:48.71

AIは囲碁や将棋を分かっているか

**１３２人目の素数さん** · 2024/07/11(木) 09:49:41.62

囲碁や将棋は数学ほど「間違い」がないでしょ

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/11(木) 10:53:46.53

>>428-429
>AIは囲碁や将棋を分かっているか
>囲碁や将棋は数学ほど「間違い」がないでしょ

第一感、直観力を軽視すると、囲碁や将棋は上達しない
囲碁や将棋も、もちろん読みの力が重要です

でも、第一感を鍛えていかないと、レベルは上がらない

数学でも同じだと思います
数学は、論理の積み重ねというのはその通りだが
人としての思考は、論理の積み重ね以上のものがある
武田先生のMMは、これを言っていると思います

そこを忘れてしまうと、レベルは上がらない
これ、オチコボレのおサルさんですね>>5

https://www.weblio.jp/content/%E7%AC%AC%E4%B8%80%E6%84%9F
weblio
「将棋用語一覧」の記事における「第一感（だいいっかん）」の解説
最初に思いつく手、局面を見た瞬間にうける印象。

**１３２人目の素数さん** · 2024/07/11(木) 11:02:14.14

囲碁では日本棋院の
武宮陽光新理事長の第一感に期待しよう

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/11(木) 11:13:33.39

>>424 補足

圏論については、いろんな人がいろいろ書いています
下記は、その例です

要するに、
・矢印による図解（言葉で説明すると長くなる）
・高度に抽象化されている（なんにでも使える）
・高階述語論理が入っていて、表現力が豊（下記）
・いま、いろんなところに蔓延っているｗ；ｐ）

逆に、大げさすぎる場面もあるでしょう
（牛刀をもちいて鶏をさく）

(参考)
https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグとソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。

数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。

https://researchmap.jp/hisashi-aratake/
荒武永史
アラタケヒサシ (Hisashi Aratake)
https://researchmap.jp/hisashi-aratake/presentations/41535386/attachment_file.pdf
ロジックウィンタースクール2023 2023年2月23日
圏論的論理学の拡がり荒武永史
2023/02/23 — 高階論理と集合論の大きな違い. ▷ 集合論ではクラス上の関係 =,∈ を考える。高階論理ではこれに相当. するものはない（=A,∈A しか使えない）。 ▷ 高階 ...

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/11(木) 11:19:48.81

>>432
>囲碁では日本棋院の
>武宮陽光新理事長の第一感に期待しよう

そうですね
話は飛びますが
下記の一力さんの「応氏杯世界選手権」で決勝進出
優勝して、武宮陽光新理事長の就任に花を添えてほしいです

https://www.yomiuri.co.jp/igoshougi/20240709-OYT1T50154/
一力遼棋聖、４年に１度の「応氏杯世界選手権」で決勝進出…優勝なら主要国際大会で日本の棋士１９年ぶり
2024/07/09 読売
　囲碁の一力遼棋聖（２７）が９日、４年に１度開かれる国際棋戦「応氏杯世界選手権」で決勝進出を決めた。決勝五番勝負は８月以降に行われ、前回大会で準優勝した中国の謝科九段（２４）と対戦する。優勝すれば、主要な国際棋戦に出場した日本の棋士としては、２００５年のＬＧ杯世界棋王戦での張栩九段（４４）以来、１９年ぶりとなる。

　９日に中国・浙江省で行われた応氏杯準決勝三番勝負第３局で、一力棋聖は、世界戦でも活躍する中国のトップ棋士、柯潔九段（２６）に白番中押し勝ちし、対戦成績２勝１敗として決勝進出を決めた。三番勝負は、第１局は柯九段が勝ち、第２局は一力棋聖が制した。

　決勝進出を決めた一力棋聖は、「１局目があまり見せ場のない負け方だった。切り替えて、結果を出すことができて、うれしく思う」と話した。一力棋聖は、前回大会も準決勝まで進んだが、謝九段（当時・八段）に敗退していた。

**１３２人目の素数さん** · 2024/07/11(木) 11:39:26.02

>>432
>高階述語論理が入っていて

一階述語論理と高階述語論理の違いとは？

**１３２人目の素数さん** · 2024/07/12(金) 06:23:50.87

>>434　やっぱり答えられませんでしたか　タカシナ君

**１３２人目の素数さん** · 2024/07/12(金) 06:34:15.88

そういうダジャレが面白がられるのはイッカイだけ

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/12(金) 13:49:58.28

>>434-436
面白いです

>一階述語論理と高階述語論理の違いとは？

一番端的なのが、ゲーデルの加速定理（下記）
「弱い形式的体系では非常に長い形式的証明しか存在しないが、より強い形式的体系では極めて短い形式的証明が存在する」
「n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する」

ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E5%8A%A0%E9%80%9F%E5%AE%9A%E7%90%86
ゲーデルの加速定理（Gödel's speedup theorem）は、クルト・ゲーデル[1]により証明された、数理論理学における定理である。この定理によれば、弱い形式的体系では非常に長い形式的証明しか存在しないが、より強い形式的体系では極めて短い形式的証明が存在する、というような文が存在する。より正確にいえば、それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在するというものである。

en.wikipedia.org/wiki/Higher-order_logic
In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.

ja.wikipedia.org/wiki/%E9%AB%98%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
高階述語論理（Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。
例えば、その違いは量化される変項の種類にも現われている。一階述語論理では、大まかに言えば述語に対する量化ができない。述語を量化できる論理体系については二階述語論理に詳しい。
高階述語論理の例として、アロンゾ・チャーチの Simple Theory of Types や Calculus of Constructions (CoC) がある。

ja.wikipedia.org/wiki/%E4%BA%8C%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
二階述語論理（second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである[1]。二階述語論理もさらに高階述語論理や型理論に拡張される。
二階論理の表現能力
二階述語論理は一階述語論理よりも表現能力が高い。
計算複雑性理論への応用
有限な構造についての二階述語論理の各種形式の表現能力は、計算複雑性理論と密接に関係している。
・NP は、存在量化二階述語論理で表現できる言語の集合である（Fagin の定理、1974年）

**１３２人目の素数さん** · 2024/07/15(月) 21:50:01.83

変な使い方して死んだりするよな
やってたとして、わけのわからん新興宗教までもなく秋から始まるらしいぞ
https://i.imgur.com/Sn6d9UY.jpg

**１３２人目の素数さん** · 2024/07/15(月) 22:57:39.75

60代でバカにされなくて当然。
壺の御用メディアが今更すがってるようなマークの意味がゼロになっちゃった😭
・切り抜きさん、広告単価安すぎで実力以上に怒られた理由から、今から「トラック・特殊車両・作業車」は出てないみたいな回を超えた。

**１３２人目の素数さん** · 2024/07/15(月) 23:04:36.95

>>220
> 散弾銃なら他にやるようなレベルのジャンプ迫力も美しさもあるだろうし、

**１３２人目の素数さん** · 2024/07/15(月) 23:54:28.45

8/23
新着情報

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/16(火) 20:52:34.02

現代数学 8月号
輝数偶数　数学者訪問　森重文（京都大学　高等研究院）
スーパースターのご登場です
これは読まねばと、速攻で勝ってきました；ｐ）

https://www.fujisan.co.jp/product/1218127/new/
現代数学最新号：2024年8月号 (発売日2024年07月12日)
現代数学社
輝数偶数　数学者訪問　森重文（京都大学　高等研究院）

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/16(火) 23:03:39.16

>>442
タイポ訂正
れは読まねばと、速攻で勝ってきました；ｐ）
　　↓
れは読まねばと、速攻で買ってきました；ｐ）

補足
高校に入学して遠山啓の「数学入門」に出会ったという
（だれか、小学校で遠山啓の「数学入門」に出会ったという）

高一の終わりから、大学への数学の「学力コンテスト」に解答を投稿するようになったという
すごい。「学力コンテスト」の問題は、難問で有名だった

**１３２人目の素数さん** · 2024/07/17(水) 08:00:23.03

>>443
数学入門の刊行は上巻1959、下巻1960
森重文は1951年2月生まれだから
高校入学は1966年とすれば
もうでていたはず　辻褄は合う

大数は所詮高校卒業＋αレベル
◆yH25M02vWFhP は大数で一喜一憂して一生終わる、と

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/17(水) 13:35:02.28

遠山啓の「数学入門」は
中学生のときに、本の表紙だけは見た記憶がある
中学校の図書館だったかも

大学への数学の「学力コンテスト」は、難しかったな
あれは、東大京大向けだね
しかし、数学だけでは大学は受からない（学コンはレベルが合わないのでタイパ悪いと思った）

英語や古文・漢文、理系だと物理と化学と、社会1科目（世界史）
の勉強時間を作らないとね
大学への数学は、「学力コンテスト」以外を読んでいたが
それで十分力はついた

大学入学後に、時間があれば図書館で数学セミナー
数理科学と、コンピュータのbit誌のバックナンバー
10年分くらいを読んだ（もちろん、その後の最新刊もね）

学部の数学は、復習だった
線形代数でつまずくやついるんだね；ｐ）

**１３２人目の素数さん** · 2024/07/17(水) 14:16:14.90

>>445
>学部の数学は、復習だった
　理論を全部すっとばした工学系の人の典型的な発言
>線形代数でつまずくやついるんだね
　正則行列知らなくても大学卒業できるんだね・・・工学部なら

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/17(水) 17:44:29.63

>>446
>>学部の数学は、復習だった
>　理論を全部すっとばした工学系の人の典型的な発言
>>線形代数でつまずくやついるんだね
>　正則行列知らなくても大学卒業できるんだね・・・工学部なら

ご苦労様です
あなたみたいな人いますね
数学科でオチコボレになって
数学科は出たけれど
自慢できるのは、”数学科は出たぁ～”だけで
自分は、数学科はオチコボレになったけれど
『数学科で、厳密な数学を学んだのだぁ～！』
とことあるごとに叫ぶ人
典型が、このスレで放し飼いにしているおサルさん>>9ですね
あなた、お友達ですか？

さて、”突撃インタビュー飯高茂先生に聞く”（下記）面白いですね
「学習院」「まず，行列と行列式に区別がつかない学生が結構いるんですよ」
か。ああ、そうなんだね。私も飯高茂先生ほどではないが、中学２年で”連立方程式から行列式を教わりました”
中３で、数学教員が「数学同好会」なるものを作っていて、さそわれて入って、行列を教わりました
飯高茂先生ほどではないが『私は高校時代に勉強してあったんで，ことごとくわかる』状態でした

(参考)
math.サクラ.ne.jp/?action=common_download_main&upload_id=1374
2013/11/22(10:30)
突撃インタビュー飯高茂先生に聞く
恒例の突撃インタビューも15回目となりました。
今回は，3月を以って学習院大学を去られた飯高茂先生です。
伺ったのは3月で，引越しの荷造りでお忙しい中，インタビューに応じてくださいました。
終了後には学習院大学の構内の，閑静な場所を案内していただきましたが，ウォーキングが趣味だそうで，8時間で40kmを歩かれる飯高先生の健脚についていくのは大変でした。

1 印象に残った先生
中学校は，千葉市立第五中学校でした。
その先生は夏休みに，課外のプリントを作って補習をやっていました。
連立方程式から行列式を教わりました

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

3 大学の教員となって
—学習院の前は東大で教えていましたね。
大学院できちんと論文を書き上げると助手になり，数年経ったら専任講師になり，結局，18 年間東大で教えていました。
東大では，
「わからない人は早く大学院をやめたほうがいい。」
「数学へのあこがれにはなるべく早く冷水を浴びせ，どんなに冷たくされても，這い上がってくる者だけを相手にしよう」
と思っていました。
研究者を養成するにはそれでよかったのですが，学習院に来てからは教育に熱心になって，8割の学生がわかるようにということを目標にして，なるべく丁寧にやりました。

つづく

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/17(水) 17:45:04.58

つづき

—8割を理解させる工夫というか心がけのようなものがあったら教えて下さい。
まず，行列と行列式に区別がつかない学生が結構いるんですよ。
それらの基本的なことをちゃんと覚えられるように，自分でいろいろ格言を作るんですね。
「これを覚えればできる」と。

これは第1行と第2行が同じだったら，隣の行をカンニングしているのだから，0点であると。—（笑）
あるところでこの話をしても，笑ってくれなかったんですよ。それは、数学科を出ても行列式がまったく分かっていないということです。
みなさんは笑ってくれたからうれしい。学生は感心して，ノートに書く。
それを他の担当の先生の授業のテストの答案でも使う。「カンニングにより0」という具合に。するとその先生はびっくりする。—（笑）

他にも，「留年の原理」，「キューティーハニーの七変化」，「シルベスター（スタローン）」，「合コンの原理」・・・なんて作りましたが，今の学生は，キューティーハニーやスタローンを知らなくて受けません（笑）

—格言はどうやって考えていますか。
結構苦し紛れで，その場で考えることが多いです。最近これらを本[1]に書きました。ただし，これらの格言は他では通用しないと。
(引用終り)
以上

**１３２人目の素数さん** · 2024/07/17(水) 20:07:06.82

>>447
>私も中学２年で”連立方程式から行列式を教わりました”
>中３で、数学教員が「数学同好会」なるものを作っていて、
>さそわれて入って、行列を教わりました
>『私は高校時代に勉強してあったんで，ことごとくわかる』状態でした
　なるほど正方行列＝正則行列だとことごとくウソ分かりして大学で落第した、と
　行列＝行列式っていっちゃうG大学の学生と同レベルですなぁ

**１３２人目の素数さん** · 2024/07/17(水) 20:11:22.83

＞「わからない人は早く大学院をやめたほうがいい。」
＞「数学へのあこがれにはなるべく早く冷水を浴びせ，
＞　どんなに冷たくされても，這い上がってくる者だけを相手にしよう」
　まあ、学部・修士でできが良くても、
　博士になったら論文書けずに落伍する奴がたくさんいますからね
　学部でダメなら院には上げない　修士でダメなら就職させる
　それがまっとうな人間に復帰させるための親心って奴ですわ

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/17(水) 23:07:56.63

>>449
>なるほど正方行列＝正則行列だとことごとくウソ分かりして大学で落第した、と

ふっふ、ほっほ
まあ聞いて下さい

アホなサイコパスのおサルさん>>5
彼は、”線形代数が得意”だと吹聴して、”正則行列”をバカの一つ覚えで振り回していました
あるとき、『私「零因子行列のことだろ？知っているよ」』と切り返すと、アホさるは零因子に無知で
『「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
と叫んだのです。完全なアホですね（下記）

そもそも、日本語は”正則行列”ですが、英語圏では”Invertible matrix”(https://en.wikipedia.org/wiki/Invertible_matrix )
つまりは、”可逆行列”ですから、この用法なら「正方行列の逆行列」という表現も、目くじら立てるほどのこともない
”正則”というひねった専門用語を鼻に掛けるアホさるの馬脚丸出しの巻でしたね
アホさるは、どうしようもないアホですｗ

(参考)
https://itest.5ch.net/rio2016/test/read.cgi/math/1721183883/10
2023/06/11
下記だねｗ
スレ主です
数学科オチコボレのサルさんｗ
線形代数が分かっていないのは、あなた！ｗｗｗ
前スレより
https://rio2016.5ch.net/test/read.cgi/math/1680684665/557
傷口に塩を塗って欲しいらしいなｗ
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
　ゆかいゆかい！ｗｗ
以上

**１３２人目の素数さん** · 2024/07/18(木) 06:34:51.40

関係ないというか、逆行列がある直接の理由になってない
それがわからないのは線型代数がわかってないってこと
やっぱ、大学１年で落ちこぼれたな　🐎🦌◆yH25M02vWFhP

**１３２人目の素数さん** · 2024/07/18(木) 06:36:39.84

誤　私の「正方行列の逆行列」は不正確な言い方ではあったが
正　私の「正方行列の逆行列」は初歩から分かってないための間違いではあったが

**１３２人目の素数さん** · 2024/07/18(木) 06:39:03.06

◆yH25M02vWFhPは昔の人なので基本変換行列を全く知りません
わけもわからず行列式を定義式で計算する🐎🦌さんです
多重交代線型性　知らないんだ・・・

**１３２人目の素数さん** · 2024/07/19(金) 14:00:46.97

文脈から言って猿Mara電動オナホdeシゴキおっPaっpiぃyasは
零因子行列以外の行列は乗法逆元を持たない
じゃなくて
零因子行列以外の行列は乗法逆元を持つとは限らない
とか
零因子行列は乗法逆元を持たない
とかの何れかを書こうとしてたんだと分かる筈だけどな
流石に数学学科卒どころか応用数学研究科卒
つまり元は院生の第六天猿魔大王が
行列初歩級事項を間違って認識しているとは思えない

**１３２人目の素数さん** · 2024/07/19(金) 17:07:55.61

体Kを成分とする正方行列に関して
逆行列を持つ　⇔　行列式が０でない　⇔　零因子でない
というのはそりゃ大学受験する高校生でも”知識”として知ってる

でも、なぜそうなると聞かれて理由を説明できる高校生は
かつてのA高校のA野君ことK東君みたいな奴くらいだろ
（注：別に証明は難しくないのだが、高校では教えないし
　高校までの数学のような”計算方法を覚える”という感覚だと
　そもそもそういう疑問が微塵もわかない筈）

ついでにいうと
環Ｒを成分とする正方行列に関しても
行列式が０でない　⇔　零因子でない
は成立するだろうが、それだけでは「逆行列がある」とはいえない

だから「零因子行列（以外）だろ？」は誤り
まあ、それ言っちゃうと環Ｒを成分とする場合
「行列の行ベクトル、列ベクトルが線形独立」も
逆行列が存在する必要十分条件ではないがね
「行列の行ベクトル、列ベクトルが生成元」となる必要がある

ここで「え？！線形独立なら基底だから生成元じゃないの？」というヤツがいそうだが
それは体Ｋ上だから言えるんで、環Ｒ上ではそんなにうまくはいかないよ

そういう繊細な違いがわかんない粗雑な精神の持ち主は
数学ムリだから別のことしたほうがいいね

**１３２人目の素数さん** · 2024/07/20(土) 00:32:41.05

秋山仁が学会で有名になる前の時代だったらナイーブじゃなくても
努力と、ナイーブに為り切れない分だけ執念強くなれば
敷き詰め問題とか現代組み合わせ問題とかで
啓蒙家くらいには成れたかもな

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/20(土) 20:34:34.76

>>455-456
日替わりで、IDが変わったところで
言い訳投稿か
馬脚だよ
うまの足見えているぞ；ｐ）

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/20(土) 20:45:07.92

>>457
この話かな？

https://www.tus.ac.jp/today/archive/20240618_1819.html
東京理科大
TOP
ニュース & イベント
2024.06.19 Wed UP
秋山仁栄誉教授がNHK・Eテレ「3か月でマスターする数学」（初回放送6月26日、全12回シリーズ）に出演し、6月19日にはテキストが発売されます。

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/20(土) 20:51:20.83

大学への数学 2024年8月号
”数学の小話
　　円と球の話”
なかなか良いと思いました

https://www.fujisan.co.jp/product/1598/
大学への数学 2024年8月号 (発売日2024年07月20日) の目次
・数学の小話
　　円と球の話

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/20(土) 22:46:13.85

追加

大学への数学 2024年8月号
”巻頭言
　　数学が得意でなかった数学者”

これ、下記の渡邉究先生です
なかなか面白かったです

https://researchmap.jp/7000006602
渡邉究
ワタナベキワム (Kiwamu Watanabe)
所属中央大学理工学部准教授
学位
修士（理学）(2008年3月早稲田大学)
博士（理学）(2010年3月早稲田大学)

受賞
2018年9月２０１８年度日本数学会賞建部賢弘賞特別賞, ネフ接束をもつファノ多様体に関するカンパナ・ペターネル予想の研究, 一般社団法人日本数学会

歴 14
2020年4月 - 現在中央大学, 理工学部, 准教授
2023年10月 - 2024年3月早稲田大学基幹理工学研究科非常勤講師
2022年10月 - 2023年3月早稲田大学基幹理工学研究科, 非常勤講師
2022年12月 - 2022年12月東京大学大学院数理科学研究科, 非常勤講師
2021年12月 - 2021年12月名古屋大学大学院多元数理科学研究科, 非常勤講師
2021年4月 - 2021年9月早稲田大学, 基幹理工学部, 非常勤講師
2019年4月 - 2020年3月早稲田大学基幹理工学研究科, 非常勤講師
2012年4月 - 2020年3月埼玉大学, 理工学研究科, 助教
2019年7月 - 2019年7月首都大学東京, 非常勤講師
2018年5月 - 2018年6月山形大学, 非常勤講師
2016年11月 - 2016年12月佐賀大学, 非常勤講師
2011年4月 - 2012年3月日本学術振興会特別研究員（東京大学）, PD
2010年4月 - 2011年3月日本学術振興会特別研究員（早稲田大学）, PD
2008年4月 - 2010年3月日本学術振興会特別研究員（早稲田大学）, DC１

**１３２人目の素数さん** · 2024/07/21(日) 00:19:00.34

>>458
馬の脚が見えている人間が何で>>455が儂だと気付かんのだ此の糞色菌が

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/21(日) 08:34:17.46

>>462
>馬の脚が見えている人間が何で>>455が儂だと気付かんのだ此の糞色菌が

これは失礼した
「オレだよ、オレだよ、オレオレオレ～！」
馬の脚ならぬ豚の足だったか
これは失礼したｗ

**１３２人目の素数さん** · 2024/07/21(日) 09:39:13.17

>>463
身重182cm体重62.6kgの儂が豚の足か
お前は体重が30.0kgを切っている様な拒食症を好む様だな

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/21(日) 10:30:54.57

これは失礼した
では、鹿の足だ

**１３２人目の素数さん** · 2024/07/22(月) 15:16:18.28

新人の法螺吹きです。よろしくお願いします。
>私は経済学部出身で統計学や線型代数は日常的に使っていたので皆さんよりも出来ると思いますが微分積分は学部の時も院の時もその後も余り使わずに過ぎました。(東大ではそれが当たり前でした)。

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/23(火) 10:41:30.53

スレ主です
ご苦労様です

**１３２人目の素数さん** · 2024/07/24(水) 07:45:51.94

>>467 ◆yH25M02vWFhP マセマのテキストで勉強してる？

**１３２人目の素数さん** · 2024/07/25(木) 20:34:54.09

マセマって、おれら時代が違うからなぁー
ほとんど、見たことないんだよｗｗｗ；ｐ）

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/25(木) 20:42:55.43

大学学部時代は
大学の指定の教科書を買ってましたね
結構薄い本が多かったけど、安かった
それで、別になんとも思わなかった
世に、名著と言われる分厚い本があるのは知っていた
代表例が、高木解析概論など
書店や図書館でチラ見はしましたが、買わなかった。お金がないし

**１３２人目の素数さん** · 2024/07/26(金) 05:56:53.52

>>469
◆yH25M02vWFhP
「俺の学生時代にマセマの本があったら数学で落ちこぼれることもなかったのに」(--;)

**１３２人目の素数さん** · 2024/07/26(金) 05:58:52.32

>>470
本が厚かろうが薄かろうが読まなきゃ意味ないよ
チラ見しかしないのは文章読めないから？
なんか日本の理系って国語がダメな奴多いよな

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/26(金) 10:11:22.52

>>471-472
ふっふ、ほっほ

ぶざま
あわれ
必死で自分より下を探す人よ
そして、自分の身の不遇をなぐさめるｗｗｗ

オチコボレさん、君は
いまでも数学出来ないんだろうねｗ
あわれだな

まあ、下記の謎の数学者
”学んだことは忘れても全然オッケー！”
でも視聴しなよ

A. Einstein
"Education is what remains after one has forgotten everything they learned in school."
らしい。本当かどうかしらんけど；ｐ）

(参考)
www.ユーツベ.com/watch?v=a_vZyfRpNME&t=1
学んだことは忘れても全然オッケー！
謎の数学者
2021/02/22

コメント
@user-ui2xp1qo1n
3 年前
これからは多少忘れてしまっても、あまり気にしないようにします！

@usmasuda
2 年前
"Education is what remains after one has forgotten everything they learned in school." A. Einstein

**１３２人目の素数さん** · 2024/07/26(金) 11:38:46.72

>>473
>”学んだことは忘れても全然オッケー！”
でもいくらなんでも正則行列は忘れんわ

>必死で自分より下を探す人
◆yH25M02vWFhPかい？
で、みつかったかい？　まだだろ？
乙君も同じレベルだからな
さすがに君より下だとそもそも数学板なんて読まないから

♪ふっふほっほふっふほっほふっふほっほー

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/26(金) 13:53:13.87

>>474
＞でもいくらなんでも正則行列は忘れんわ

・零因子については、忘れたのではなくｗｗ
・全く知らなかった。つまり、完全なる無知だったｗｗｗ
・ということは、大学学部の代数は壊滅状態だったｗｗｗｗ；ｐ）

**１３２人目の素数さん** · 2024/07/26(金) 14:28:57.05

>>475
>・零因子については、忘れたのではなく全く知らなかった。つまり、完全なる無知だった
線形独立という言葉がとうとう出なかったのは、意味が理解できなかったからか
やっぱり大学１年の線形代数は全く分からなかった、と・・・（笑いごとでない）

**１３２人目の素数さん** · 2024/07/26(金) 14:33:19.95

こんなこと書く◆yH25M02vWFhPは全く分かってない

ガロア第一論文と乗数イデアル他関連資料スレ7
https://rio2016.5ch.net/test/read.cgi/math/1715525381/709
>さて
>・簡単に実数R又は複素数Cを成分とする n×n 行列全体を考えると、行列環になる（下記）
>　これが、環であり非可換体にならないのは、積の逆元が存在しない行列が存在するから
>・その”積の逆元が存在しない行列”は、環の理論では伝統的に「零因子」と呼ばれる
>　n×n 行列環から「零因子」を除けば、行列環→（n×n行列による）非可換体が構成できる
>・積の逆元を持つn×n 行列を日本語では正則行列、非特異行列、可逆行列という
>　英語では、invertible matrixですね
>・これを踏まえて、『私「零因子行列の(存在の)ことだろ？知っているよ」』と言ったのです（(存在の)は省略したが）
>　アホなおサルが何を錯覚したのか、『正則行列の条件なら、「零因子行列であること」はアウトですね』と叫ぶ
>　まったく、抽象代数学の環論に無知なことがバレバレですね。あわれ！ｗ

**１３２人目の素数さん** · 2024/07/26(金) 14:37:49.88

>>477 まあ、◆yH25M02vWFhPは
群、環、体＝尉官、佐官、将官
と思っちゃうほどのヒエラルキー大好き軍隊脳ですから

**１３２人目の素数さん** · 2024/07/26(金) 14:45:57.52

>n×n 行列環から「零因子」を除けば、行列環→（n×n行列による）非可換体が構成できる
n×n 行列環から「零因子」を除けば、加法群でなくなるので、（n×n行列による）非可換体が構成できない

大学１年の線形代数がわかっていればこんな🐎🦌なこといわない
要するにこんなこといっちゃう◆yH25M02vWFhPは大学１年の線形代数が全然わかってない

♪ふっふほっほふっふほっほふっふほっほー

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/26(金) 17:11:46.61

>>479
ふっふ、ほっほ
次からテンプレに入れるよ；ｐ）

再録します。おサルの傷口に塩ですｗ
https://rio2016.5ch.net/test/read.cgi/math/1683585829/508
2023/06/11(日)
下記だねｗ
スレ主です
数学科オチコボレのサルさんｗ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
線形代数が分かっていないのは、あなた！ｗｗｗ
前スレより
https://rio2016.5ch.net/test/read.cgi/math/1680684665/557
傷口に塩を塗って欲しいらしいなｗ
　以下再録
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いてケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
　ゆかいゆかい！ｗｗ
以上

**１３２人目の素数さん** · 2024/07/26(金) 17:21:08.79

♪ふっふほっほふっふほっほふっふほっほー
>>480
>次からテンプレに入れるよ
これ？
「n×n 行列環から「零因子」を除けば、行列環→（n×n行列による）非可換体が構成できる」

ところで、零因子＝行列式が０の時、その時に限り行ベクトルが線形従属、の理由わかってる？

**１３２人目の素数さん** · 2024/07/26(金) 17:23:34.21

◆yH25M02vWFhP はファンデルモンド行列式が差積であることも証明できんのだろうなあ

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/26(金) 17:25:16.21

>>480 補足

おサルさんが、線形代数のどこで苦労したか知らないがｗ
下記の謎の数学者ベクトル空間とは何か？ざっくり解説【現役数学者が教える大学数学】
が参考になるだろう

おサルさんの時代に
youtubeがあったらよかったろうにｗ　；ｐ）

(参考)
https://youtu.be/olKlHdx7YH0?t=1
ベクトル空間とは何か？ざっくり解説【現役数学者が教える大学数学】
謎の数学者
2021/03/25

＜文字起し＞
0:04
現役数学者が教える大学数学ということで
ベクトル空間に関してですね話していこうかなと思うんですけれど
0:13
ただですねええところちょっとですねま陽気になるんですけれどここに書いたように
今回はですねざっくり解説と行きたいんですね
0:20
それでこれどういうことかというとあの数学というのは当然ですね厳密な学問ですから
数学の概念をですね新しく学ぶ際は当然ですね
厳密に理解するということが重要になるというか要求される
ですけれどただですね新しいですね数学の概念を見たときにいきなり初めからですね
すみからすみまで完璧に厳密に理解するというのはですねそんな簡単なことではないん
ですね
0:45
簡単なことではないというか普通はできないんですね
そこで数学をですね新しい数学を
学ぶ際にどういう態度でいた方が良いかと言うと
実はですねここに書いたようにまずはざっくりと重要なところを理解する
とりあえずですね枝葉の部分というかですね細かいことはですねさておき
細かい枝は無視して思い切って無視して重要な点を号ざっくりと理解する
そういうことがですね
じつは重要なんですね

初めはそういうやそういうふうにして理解し少しずつ理解していく
そういった形でですね数学というのは学んでいくものなんですね
1:22
それですね今回はこのベクトル空間というのを例にですねこういったざっくり解説と
いうのをですねちょっとやっていこうかなと思うんですけれど
（以下略）

コメント
@user-yo4eb1yu9p
2 年前
これはめちゃくちゃ分かりやすい
簡単じゃん

@maruchangohan
3 年前
簡素な講義、ありがとうございます！ではでは・・・・

**１３２人目の素数さん** · 2024/07/26(金) 18:19:47.15

◆yH25M02vWFhP が線形代数の何が理解できずに落ちこぼれたか知らんが
その事実から目を背けてただただ漫然とコピペしても数学は永遠に理解できんよ

それにしても
行列式が０⇔行ベクトル（列ベクトルでもいい）が線形従属
すら理解できんとは大卒と呼べんね

**１３２人目の素数さん** · 2024/07/26(金) 20:48:02.83

今現在、日本は帰化朝鮮人によって大韓民国と北朝鮮に侵略行為を受けている
彼らがやっていることは差別を盾にした隣国侵略行為である
『差別と言われたら隣国侵略』だと言い返そう
新聞、出版社、テレビ局、会社の起業家、大学教授は帰化系の人間ばかりでもはや合法的な侵略である
こういう組織やあらゆる会社で差別され排除されているのは日本人の方である
帰化人たちで徒党を組み、芸能界、スポーツ界、歌謡界、声優界を独占し日本人を排除し、
会社組織ではトップに居座らせたら日本人は閑職に追いやられ、
パワハラで辞職に追い込まれ、その会社の技術を半島に流出させられ、日本企業が競争力を失っていく
奴らがやっているのは差別を盾にした緩い民族虐殺、
帰化朝鮮人たちに日本人のふりをされてこのまま緩やかなホロコーストに向かうなら、戦った方がまし

「政治家に立候補する時、帰化朝鮮人の家系の人間か否かを公表する」を提出して過半の賛成を取って立法化しよう

そうなると帰化人に支配されたメディアによって差別だと糾弾し始め帰化人たちが暴動やら起こすだろう、
日本は荒廃の一途を辿る、内戦状態に近いものになる
だがそれは当然のこと、国内で隣国の人間に侵略行為を受けているのだから
時間はあまりない、やつらが過半数を確保してからでは遅い
法律を変え日本人を差別、虐待し、
日本人の人口を減らし、移民を受け入れさせることで過半数を超えたら侵略行為が完了してしまう
こちらは隣国侵略だと堂々と主張して戦おう

拡散希望

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/26(金) 23:26:09.09

これ面白い

wired.jp/article/google-deepmind-alphaproof-ai-math/
wired
数学の難問を解くGoogle DeepMindの「AlphaProof」は、AIの“弱点”を克服できる可能性を秘めている
Google DeepMindが、非常に難しい数学の証明問題を解ける強化学習ベースのシステム「AlphaProof」を発表した。大規模言語モデル（LLM）とゲームAI「AlphaZero」の能力を組み合わたもので、AIが抱える弱点の一部の解決につながる可能性がある。

数学オリンピックの難問を解決
AlphaProofはグーグルのLLMである「Gemini」を利用することで、自然な言葉で表現された数学の問題を「Lean」というプログラミング言語に変換する。これに基づいて2番目のアルゴリズムが試行錯誤し、正しいと確認できる証明を見つける方法を学習するための訓練用データが提供される仕組みだ。

**１３２人目の素数さん** · 2024/07/27(土) 05:59:04.41

>>486
>今現在、日本は帰化朝鮮人によって大韓民国と北朝鮮に侵略行為を受けている
妄想

>新聞、出版社、テレビ局、会社の起業家、大学教授は帰化系の人間ばかりでもはや合法的な侵略である
妄想

>帰化人たちで徒党を組み、芸能界、スポーツ界、歌謡界、声優界を独占し日本人を排除し、
>会社組織ではトップに居座らせたら日本人は閑職に追いやられ、パワハラで辞職に追い込まれ、
>その会社の技術を半島に流出させられ、日本企業が競争力を失っていく
妄想

>帰化朝鮮人たちに日本人のふりをされてこのまま緩やかなホロコーストに向かう
妄想

自分の考えと異なる人を勝手に韓国・朝鮮人認定するのは精神の病
精神科で診てもらいましょう

**１３２人目の素数さん** · 2024/07/27(土) 06:35:03.68

>>485
>拡散希望
その自信はどこから？

**１３２人目の素数さん** · 2024/07/27(土) 18:23:39.83

ヘイトスピーチは目立たないところで

**１３２人目の素数さん** · 2024/07/27(土) 19:22:44.71

ヘイトは十倍百倍になって帰ってくる
つまりヘイトは必ず自分を焼き殺す

**１３２人目の素数さん** · 2024/07/30(火) 13:42:38.03

東大合格後に京大受験
なんか似てますね；ｐ）

https://toyokeizai.net/articles/-/783347
｢1浪東大合格後に京大受験｣彼が驚く選択した訳
浪人して進学したもののアメフトに熱中し…

濱井正吾 : 教育系ライター
2024/07/28

浪人という選択を取る人が20年前と比べて1/2になっている現在。「浪人してでもこういう大学に行きたい」という人が減っている中で、浪人はどう人を変えるのでしょうか？また、浪人したことによってどんなことが起こるのでしょうか？自身も9年の浪人生活を経て早稲田大学に合格した経験のある濱井正吾氏が、いろんな浪人経験者にインタビューをし、その道を選んでよかったことや頑張れた理由などを追求していきます。
今回は1浪で東京大学理科1類に合格して進学したのちに、京都大学工学部を受けて、京大にも合格。現在は株式会社ウィルで教育事業に携わっている後藤貴広さんにお話を伺いました。

東大に入ってから、京大受験を決意する
今回お話を伺った後藤貴広さんは、1浪で東大に入ったものの中退し、5浪の年齢で京大に入り直したという異色の経歴の持ち主です。

彼が東大を辞めた理由は、アメフトにありました。その後なぜ京大を受験したのでしょうか。後藤さんが京大受験に挑んだ理由、浪人生活の話について、深く聞いていきます。

後藤さんは1985年、大阪の平野区に生まれました。幼少期は外で遊ぶよりも、部屋の中でファミコンで遊ぶほうが好きな「インドア側の子ども」だったそうです。

両親ともに高卒の家庭で、幼少期に勉強に関してうるさく言われたことはなく、勉強を意識したこともありませんでしたが、「算数でわからないと思ったことはない」と振り返ります。

**１３２人目の素数さん** · 2024/07/30(火) 14:26:49.49

>>491
＞なんか似てますね
何が？

**現代数学の系譜雑談** ◆yH25M02vWFhP · 2024/07/30(火) 16:52:35.80

>>492
>＞なんか似てますね
>何が？

いや、噂ですけどね
・ある数学者が、東大に入学したけれど
・もっと教養をやりたいと、京都大学を受験しなおしたそうな
・京都大学の数学科からDRコースを経て、助手になり立派な数学者になったとか・・

東大と京大ね。教養ありまくりですね
夏目の三四郎を読んだと聞いて、「教養ありますね」と言ったら
「ばかやろー、三四郎を読むくらい教養にはいらない！」と一喝されて
私も、三四郎を読みました

そしたら名著矢ヶ部巌先生の「数III方式ガロアの理論」の
”ストレイシープ”の意味が分かりました
教養大事ですね

(参考)
アマゾン
数III方式ガロアの理論単行本 – 2016/2/25
矢ヶ部巌 (著)現代数学社

**１３２人目の素数さん** · 2024/07/30(火) 17:00:24.27

坊ちゃん、三四郎、読んだけど感動はない

**１３２人目の素数さん** · 2024/07/30(火) 17:01:51.27

>ある数学者が、東大に入学したけれど
>もっと教養をやりたいと、京都大学を受験しなおしたそうな
　若者はアホだから仕方ない
　教養？そんなものはこの世に存在せんよ
　そういえばどこだかに教養のためにガロア理論を学ぶとほざいた奴がいたが
　やっぱりまったく理解できてなかった
　ただ他人を見下したいための勉学は三日で挫折する

**１３２人目の素数さん** · 2024/07/30(火) 17:02:56.45

善の研究でも読んだら