現代数学の系譜古典ガロア理論を読む37

TOP カテ一覧スレ一覧 100～終まで 2ch元削除依頼
Y　o　u　t　u　b　e　で　ノ　ー　ト　授　業　！
ソ連の数学者
面白い問題おしえて～な 27問目
lim[n→1-0]{n} ＜ 0.99999…(循環小数)
【自称数学者】三鷹の大類昌俊2018-2【つどい出禁】
【数学検定】数学検定1級合格4
【数学検定】数学検定（数検）総合スレッド Part.13
現代数学の系譜工学物理雑談古典ガロア理論も読む50
関東弁は下品なエビス言葉と認めるしかないのでは？
Inter-universal geometry と ABC予想　16

1 ：2017/08/01 ～最終レス：2017/08/11: 現代数学の系譜古典ガロア理論を読む

前スレ現代数学の系譜古典ガロア理論を読む36
http://rio2016.2ch.sc/test/read.cgi/math/1499815260/

小学レベルとバカプロ固定、High level people、サイコパスお断り！High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
旧スレが512KBオーバーで、新スレ立てる
このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです
（最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。） 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
2 ：: （ﾜｯﾁｮｲ設定できずです（＾＾）
過去スレ（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
36 http://rio2016.2ch.sc/test/read.cgi/math/1499815260/
35 http://rio2016.2ch.sc/test/read.cgi/math/1497848835/
(35以降現代数学の系譜古典ガロア理論を読む
34以前現代数学の系譜11 ガロア理論を読む)
34 http://rio2016.2ch.sc/test/read.cgi/math/1496568298/
33 http://rio2016.2ch.sc/test/read.cgi/math/1495860664/
32 http://rio2016.2ch.sc/test/read.cgi/math/1495369406/
31 http://rio2016.2ch.sc/test/read.cgi/math/1494038985/
30 http://rio2016.2ch.sc/test/read.cgi/math/1492606081/
29 http://rio2016.2ch.sc/test/read.cgi/math/1484442695/
28 (High level people が自分達で勝手に立てた時枝問題を論じるスレ) http://rio2016.2ch.sc/test/read.cgi/math/1483314290/
27 http://rio2016.2ch.sc/test/read.cgi/math/1483075581/
26 http://rio2016.2ch.sc/test/read.cgi/math/1480758460/
25 http://rio2016.2ch.sc/test/read.cgi/math/1477804000/
24 http://rio2016.2ch.sc/test/read.cgi/math/1475822875/
23 http://rio2016.2ch.sc/test/read.cgi/math/1474158471/
22 http://rio2016.2ch.sc/test/read.cgi/math/1471085771/
21 http://rio2016.2ch.sc/test/read.cgi/math/1468584649/
20 http://wc2014.2ch.sc/test/read.cgi/math/1466279209/
19 http://wc2014.2ch.sc/test/read.cgi/math/1462577773/
18 http://wc2014.2ch.sc/test/read.cgi/math/1452860378/
17 http://wc2014.2ch.sc/test/read.cgi/math/1448673805/
16 http://wc2014.2ch.sc/test/read.cgi/math/1444562562/
15 http://wc2014.2ch.sc/test/read.cgi/math/1439642249/
以下次レスへ
3 ：: >>2つづき

14 http://wc2014.2ch.sc/test/read.cgi/math/1434753250/
13 http://wc2014.2ch.sc/test/read.cgi/math/1428205549/
12 http://wc2014.2ch.sc/test/read.cgi/math/1423957563/
11 http://wc2014.2ch.sc/test/read.cgi/math/1420001500/
10 http://wc2014.2ch.sc/test/read.cgi/math/1411454303/
9 http://wc2014.2ch.sc/test/read.cgi/math/1408235017/
8 http://wc2014.2ch.sc/test/read.cgi/math/1364681707/
7 http://uni.2ch.sc/test/read.cgi/math/1349469460/
6 http://uni.2ch.sc/test/read.cgi/math/1342356874/
5 http://uni.2ch.sc/test/read.cgi/math/1338016432/
4 http://uni.2ch.sc/test/read.cgi/math/1335598642/ スレタイに4が抜けてますが(4)です
3 http://uni.2ch.sc/test/read.cgi/math/1334319436/
2 http://uni.2ch.sc/test/read.cgi/math/1331903075/
1 http://uni.2ch.sc/test/read.cgi/math/1328016756/
4 ：: 以下、暫くテンプレ貼りを続けます。

大学新入生もいると思うが、間違っても２ＣＨで数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；

以下過去スレより再掲
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/7
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな

再生は無理だろう
そもそも、２ＣＨは、数学に向かない

アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない

複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
5 ：: 個人的には、下記は、”知恵袋の人>>> 2ｃｈの人”と思うよ（＾＾

http://rio2016.2ch.sc/test/read.cgi/math/1484442695/494
494 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/17(月) ID:mNM7pqkU
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；

https://note.chiebukuro.yahoo.co.jp/detail/n98014
Yahoo 知恵袋
数学の勉強法　学部～修士
ライター：amane_ruriさん（最終更新日時:2012/8/6）
ナイス！：5閲覧数：11594
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）

2.2ｃｈの内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈや知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。
そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈの人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り)
6 ：: 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1484442695/338
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です

じゃ、どうするかと言えば、出典明示とそこらの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます

が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし

”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか

有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか

おいおい、競馬じゃないんだよ（＾＾；

https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。
このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
7 ：: >>6 補足
http://rio2016.2ch.sc/test/read.cgi/math/1492606081/352
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報つまり根拠の明確な情報つまりコピペ

わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
8 ：: >>7 補足
＜数学ディベート＞について
過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/50
50 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06
どこの馬の骨ともしれん連中との、数学ディベートもどきより
URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾；
http://rio2016.2ch.sc/test/read.cgi/math/1494038985/189-190
189 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09

いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
”手強い？”とは・・、まさに、ディベートですね

私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；

190 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから

典拠もなしによく議論しますね～。よく分かりましたよ（＾＾；
私とは、議論がかみ合わないわけだ・・

”他サイトからのコピペでスレを埋め尽くす行為” なんて非難されましたけどね～（＾＾；
ディベートに勝ちたいからそういう発言なんですね～。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ（＾＾；
9 ：: 過去スレより
http://rio2016.2ch.sc/test/read.cgi/math/1497848835/638
638 名前：現代数学の系譜古典ガロア理論を読む[sage] 投稿日：2017/07/11(火) 08:40:28.58 ID:+FRiTcES
>>630
おっちゃん、どうも、スレ主です。

>>まあ、おっちゃんが、上記を理解したら、時枝は終わりにしよう
>マジメに時枝問題のことでスレ主に付き合う気はなく、
>もはやそういうことをする価値もない。
>スレ主自身の主張や考え方が大きく間違っていることを私のせいにするべきではない。

いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ～（＾＾
がまあ、おっちゃんのいう「価値もない」にも一理ある
ということで、皆さん悪いが、時枝は、一時棚上げだ。時々やろう

下記のパロディーで言えば、「数学雑談&ガロア理論～おっちゃんとボクと、時々、（時枝＆￥さん）～」かな（＾＾
まあ、話題を散らしながら、ゆっくりやりましょう（＾＾
おっちゃん！いま気になっていることを、好きに書いてくれ！（＾＾
https://ja.wikipedia.org/wiki/%E6%9D%B1%E4%BA%AC%E3%82%BF%E3%83%AF%E3%83%BC_%E3%80%9C%E3%82%AA%E3%82%AB%E3%83%B3%E3%81%A8%E3%83%9C%E3%82%AF%E3%81%A8%E3%80%81%E6%99%82%E3%80%85%E3%80%81%E3%82%AA%E3%83%88%E3%83%B3%E3%80%9C
東京タワー～オカンとボクと、時々、オトン～ - Wikipedia
(抜粋)
『東京タワー～オカンとボクと、時々、オトン～』（とうきょうタワーオカンとボクと、ときどき、オトン）は、リリー・フランキーの実体験を基にした長編小説である。
2006年と2007年にテレビドラマ化（単発ドラマと連続ドラマ）、2007年に映画化、舞台化されている。

2005年6月29日、扶桑社より発売された[1]。装丁もリリー本人。初版は3万部だった。2006年1月には100万部を突破。2006年10月31日には200万部（扶桑社発表）を越すベストセラーとなった。

久世光彦が「泣いてしまった…。これは、ひらかなで書かれた聖書である」と評価した。
(引用終り)

10 ：: https://en.wikipedia.org/wiki/G%C3%A9rard_Berry

エアバス社の航空機に積んでるアビオニクスは彼が創った「フランス製のOS」です。

￥
11 ：: >>9
まあ、フランスにも長所と短所はある。
すぐに何でもかんでもフランス絶対!フランス最高!の気分になるのも問題だ。

前スレ>672
>「きちんと研究している」と言いたいんだね～（＾＾
何かを研究することは、決して簡単ではなく、苦しさや難しさが伴う。
マトモな論文にして発表するのがどれだけ大変なことかは、想像出来るだろう。
じゃ、おっちゃん寝る。
12 ：: ￥
13 ：: >>10
￥さん、どうもスレ主です。

Gerard Berry ジェラルド・ベリーを検索したが、直接的な面白い情報はヒットしなかったけど
下記 PDF（これP72もあって大判振る舞い）の「分野変更と異なる分野の組み合わせ」の項これ、面白いですね～（＾＾
阿部剛久先生は、数学の人で、過去スレでなんども登場してもらったことがある人です（＾＾
https://www.morikita.co.jp/data/mkj/021341mkj.pdf
12 ノーベル賞を逸した人々 - 森北出版

https://www.kinokuniya.co.jp/f/dsg-01-9784627213418
ノーベル賞　その栄光と真実
科学における受賞者はいかにして決められたか
Istvan Hargittai(原著) 芝浦工業大名誉教授阿部剛久(訳) 森北出版（2007/11発売）

内容説明
アルフレッド・ノーベル（１８３３‐９６）によって設立されたノーベル賞は１００年余の歴史を持つが、とりわけ自然科学部門である物理学賞、化学賞、生理学・医学賞の３部門は科学における最大級の名誉といって間違いない。
これらの受賞者の業績を概観することは、ここ１世紀にわたる科学の歴史を知ることにもなる。しかし一方で、ノーベル賞に対するいくつかの謎めいた部分があることも確かである。
本書は、物理化学の教授でもある著者Ｉ．ハルギッタイ自身がケンブリッジ大学で行った講演「ノーベル賞の獲得法」を発端に生まれた。
著者はその後、７０名のノーベル賞受賞たちにインタビューを行い、これら受賞者個人との出会いをベースに、さまざまなエピソードを科学者の目線で綴っている。
本書は科学に対する啓蒙であると同時に、ノーベル賞にかかわる多くの謎を解く一冊でもある。
目次
ノーベル賞とスウェーデン
ノーベル賞と国の政治
誰がノーベル賞を勝ちとるか
発見
逆境を乗り越えて
科学へ向かわせるもの
研究機関
よき指導者
分野変更と異なる分野の組み合わせ
強い影響をおよぼすこと
ノーベル賞受賞後の様々な人生
ノーベル賞を逸した人々
著者紹介
阿部剛久［アベタケヒサ］
現在、芝浦工業大学名誉教授。専攻は数学・数理科学、数学史・科学思想史（本データはこの書籍が刊行された当時に掲載されていたものです）
14 ：: http://www-sop.inria.fr/members/Gerard.Berry/
http://www.esterel-technologies.com/success-stories/airbus/

￥
15 ：: http://www.esterel-technologies.com/success-stories/areva-ta/

日本で言えばTRONに匹敵する様な、まあ組み込み系みたいな位置付けでもあるんでしょう。
だからこそ戦闘機を含む航空機とかアレヴァ社の原子炉とか、なのでミサイル防衛とか宇宙
開発とかにも使ってるのではないかと。フランスはそっち方面は猛烈に強い筈なので。

￥
16 ：: https://ja.wikipedia.org/wiki/Esterel

コレだけは日本語になってました。私はド素人ですが、でもドキュメントからは：
１．使い易さはかなり犠牲にしてる。
２．信頼性は猛烈に高いプロ向き。
という様な印象を受けます。航空機とか原子炉、そして軍事関係で要求されるのは正にこう
いう要素であり、決して「使い易くて良く売れる」という事ではないので。

こういうシステムの開発には高度の論理性が要求されるから、従って日本がフランスに勝て
るとはちょっと思えません。アメリカであれば非売品として、こういうシステムを持ってるかも
知れませんが。例えば暗号解読とか盗聴用とかで。

￥
17 ：: https://rio2016.2ch.sc/test/read.cgi/math/1499815260/657
＞実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数をf_1、
＞実数列の順序対(r1, r2)を自然数の順序対(d(r2), d(r1))へ移す関数をf_2
＞とおく

何トンチンカンなことやってんだ？

単純に
実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数f
だけ考えればいい

dは時枝記事における決定番号
d：R^N→N
Ω≡(R^N×R^N)を用いて確率空間(Ω,F,μ)を構成する
直積測度μ≡μ_r×μ_r'を考える

[1]　1番目の項が最大となる確率はいくつか？

d(r1)≧d(r2)となるR^N×R^Nの部分集合全体をH1として
H1∈Fならばμ_r×μ_r'(H1)が求める確率である

[2]　2番目の項が最大となる確率はいくつか？

[1]と同様に考えると
d(r2)≧d(r1)となるR^N×R^Nの部分集合全体をH2として
H2∈Fならばμ_r×μ_r'(H2)が求める確率である

私の主張は
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
μ_r×μ_r'(H1)＋μ_r×μ_r'(H2)＝１
の2点に尽きる

君の意見は
「dが非可測だからfも非可測、したがって
　μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)　はいえない」
だろ？

私の反論は
・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
・上記交換によりH1はH2、H2はH1に移る
したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
18 ：: https://rio2016.2ch.sc/test/read.cgi/math/1499815260/659
f_nがどういう関数かは>>624で示した
f_n(r1,･･･,rn)=(f(r1),･･･,f(rn))
19 ：: https://rio2016.2ch.sc/test/read.cgi/math/1499815260/661
＞１．”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、
＞　　バリエーション豊富。
＞　選択公理を使わないということは、整列可能定理も使えないし、Zorn の補題も使えない
＞　ってことだ。不便と思わないか？

>>1のいう便利が「箱入り無数目」問題の予測をもたらすわけだが？
ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない
解析学を展開するのに、実数全体が整列可能である必要もない

＞２．選択公理を使わないということは、時枝記事の冒頭の
＞”実数列の集合 R^Nのしっぽが一致する同値類による分類”
＞からして、成立しなくなると思うけどね？　どう？

「箱入り無数目」問題の同値類による分類は、選択公理と無関係
あくまで同値類から代表列を選ぶところでのみ選択公理が使われる

>>1は選択公理を全く理解してないな　
やっぱり大学での数学教育を全く受けてないidiotだな

＞３．選択公理を使わないということは、
＞前スレ622-624の”同値類”と書いてある部分が、
＞ほとんど全て無効ってことだろ？

前スレ622の「箱入り無数目」問題の数列の同値類（Eq1)から代表列を選ぶ点だけが無効
ｎ個の自然数の列の順序同値類（Eq2)から代表順列を選ぶのに選択公理は要らない
なぜならEq2の同値類の数は有限個だから

同値類の設定自体は否定されない
あくまで同値類の個数によって代表元が取れる場合もあれば取れない場合もあるということ

＞４．前スレ625より”否定できるのはAしかない”
＞　って、A：フルパワー選択公理(前スレ621)なんだけどさー

ああ　そもそも数列の同値類の代表列から答えをカンニングするのだから
カンニングのネタがなければ、答えが分かりようがない　実に単純明快ｗ

「代表列はとれるが、決定番号がわからない」というのは姑息な言い訳
実際、決定番号が最大でない確率の算出には、非可算選択公理どころか
可算選択公理すら使わないのだから、どこにも歯止めがない
20 ：: https://rio2016.2ch.sc/test/read.cgi/math/1499815260/661
＞普通、おかしいなと思ったら、まず疑うべきは人でしょ？
＞人はしばしば証明で間違いを犯すからね。
＞それは数学の歴史を見れば分かること
＞で、選択公理を疑う前に、自分を疑えよ、おい！（＾＾

なぜ>>1が自分を真っ先に疑わないのかな？
>>1の「予測できるわけない」って何の根拠もない只の思い込みでしょ
なんの証明もない　当然まっさきに疑われるべき妄想だよな
21 ：: >>19
ID:clpGrOhbさん、どうも。スレ主です。
オオボケの上塗りか？（＾＾

>ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない

前から思っているんだが、あんた、現代確率論の内側に入れないね～。まあ、ルベーグ積分が分かってないんだね
おーい、おっちゃんよ、聞こえているか？「ルベーグ測度を用いるのに、非可算選択公理は必要ない」だって～（＾＾

これ、どう思う？
おっちゃんなら、正解すると思うがね（＾＾

>「箱入り無数目」問題の同値類による分類は、選択公理と無関係
>あくまで同値類から代表列を選ぶところでのみ選択公理が使われる

へへー、オオボケ！（＾＾
分類すべき集合は、R^N(Rの可算無限べき集合)なんだよ、これ？分かっているのか？
で、代表列をあんた神聖化してない？

この場合は、代表列は同値類の中のどれでもそこら手近の一つで良いんだろ？　言い換えれば同値類のどれか、どれでも任意の一つで良いんだよね、今の場合は・・？
対して、一方のR^N(Rの可算無限べき集合)のしっぽの同値類分類は、可算選択公理で可能だというのかい？　それ証明できないぜ！！（＾＾

（特にあんたの頭じゃな！！そもそも、同値類の集合を[r]⊂R^Nでしょ？記号[r] は、右記より https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E ）
（そもそも、[r]って、先に代表rを決めて、rと同値な元をR^Nから集めることで構成できるだろ？　これなら、同値類からrを選ぶ必要ないし・・。勿論、r'∈[r] (つまり r'～r )なるr'に代表元を替えることも可だよ。で[r']＝[r]だよ。）

おまえ、同値類とか代表とか、全く分かってないんだな～！（＾＾それに、選択公理の理解もあやしい～（＾＾おまえ、数学科卒って言わない方が良いと思うよ（＾＾
22 ：: >>21 訂正

そもそも、同値類の集合を[r]⊂R^Nでしょ？
　↓
そもそも、同値類の集合を[r]として、[r]⊂R^Nでしょ？
23 ：: そもそも、同値類の集合[r]⊂R^Nでしょ？

でも良かったかもね（＾＾
24 ：: >>19
>解析学を展開するのに、実数全体が整列可能である必要もない

なんだよ、高校の数IIIの話か？（＾＾
25 ：: >>16
￥さん、どうも。スレ主です。
読みました。興味深いですね（＾＾

”Esterel は、複雑なリアルタイムシステム向けの同期型プログラミング言語である。命令型プログラミングのスタイルで、並列性とプリエンプションを単純に表せる。従って、制御系の設計に非常に適している。
開発は、Gerard Berry に率いられたパリ国立高等鉱業学校と INRIA のチームにより、1980年代初めに開始された。現在のコンパイラは、Esterel のソースコードからC言語のコードかレジスタ転送レベルのハードウェア記述（VHDLかVerilog）を生成する。
開発は今も継続している。商用版には統合開発環境 Esterel Studio がある。その開発会社 Esterel Technologies は IEEE での標準化を開始している。現在、Esterel v7 Reference Manual Version v7 30 ? initial IEEE standardization proposal が一般に公開されている。”
ですか。おもしろい（＾＾

ここらになると、◆QZaw55cn4cさんの出番かな？ ◆QZaw55cn4cさんなにかコメントありませんか？
26 ：: >>17
> 私の反論は
> ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
> ・上記交換によりH1はH2、H2はH1に移る
> したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)

あのね無定義君、H1, H2はμ_r, μ_r'の定義域に含まれてないの
定義域に含まれていなければ
> μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
は言えないの

悪いことは言わないから測度論を勉強してきなさいよ
君は数学科だろ？納得いかなければ指導教授にメールでも投げて聞いてごらんよ
27 ：: >>17
> 私の反論は
> ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
> ・上記交換によりH1はH2、H2はH1に移る
> したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)

f_1, f_2が非可測だとH1, H2∈Fが言えないので
μ_r×μ_r'(H1)とμ_r×μ_r'(H2)の値を論じるのは無理

なんでここまで分かりやすく教えてやってんのに分からないの？
引っ込みつかなくてこのままデタラメを貫き通すのか君は
28 ：: >>14-15
￥さん、どうも。スレ主です。

Gerard Berry氏 2014年フランス国立科学研究センター（CNRS）金賞受賞のニュースがありますね（＾＾
飛行機の操縦等に応用か。なるほど、昔、「フライバイワイヤー」と言われていた技術ですね

http://www-overseas-news.jsps.go.jp/%E3%80%90%E3%83%8B%E3%83%A5%E3%83%BC%E3%82%B9%E3%83%BB%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E3%80%91gerard-berry%E6%B0%8F%E3%80%812014%E5%B9%B4%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E5%9B%BD%E7%AB%8B/
【ニュース・フランス】Gerard Berry氏、2014年フランス国立科学研究センター（CNRS）金賞受賞日本学術振興会 20141117
2014年9月24日、フランス国立科学研究センター（CNRS）は2014年CNRS金賞を情報学者のGerard Berry氏に授与することを発表した。
氏は、フランス国立情報学自動制御研究所（INRIA）の研究ディレクターや評価委員会長を経て、2012年からはコレージュ・ド・フランスの最高正教授を務め、飛行機の操縦等に応用されているアプリケーションである、Esterelと呼ばれるプログラミング言語の開発に取り組んできた。
CNRS金賞は、フランスの科学界で最も名誉ある賞として知られている。
URL1: http://www.enseignementsup-recherche.gouv.fr/cid82399/l-informaticien-gerard-berry-laureat-de-la-medaille-d-or-du-cnrs.html
URL2: http://www2.cnrs.fr/presse/communique/3739.htm
URL3: http://www.inria.fr/actualite/actualites-inria/gerard-berry-medaille-d-or-du-cnrs
(引用終り)

https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%A9%E3%82%A4%E3%83%BB%E3%83%90%E3%82%A4%E3%83%BB%E3%83%AF%E3%82%A4%E3%83%A4
(抜粋)
フライ・バイ・ワイヤとは、航空機等の操縦・飛行制御システムの1種。

民間機
エアバスはA320で、旅客機として初めてデジタルFBWを採用した。同時に操縦桿はジョイスティック型となり、操縦席の脇に配置された。以降のA330・A340・A380などでも踏襲されている。
エアバスではボーイングに比べるとコンピュータによるプロテクション機能を優先しており、その点も含めた設計思想の違いはたびたび議論の的となっている（前述のエールフランス296便事故や中華航空140便墜落事故を参照）。

ボーイングは777で初めてデジタルFBWを採用した。
29 ：: >>26
> H1, H2はμ_r, μ_r'の定義域に含まれてない
訂正⇒μ_r×μ_r'の定義域、だな

30 ：: 和製のTRONは自販機とか鉄道の制御系とか、まあそういう類だから同類ですわ。でもそれは
どうやらフランスの肝入りっぽいから、まあ軍事産業とか原子力がその目的なのではないかと。
そういう事情も考えれば、その全てが詳細まで公開されてるとはチョット考えにくいですがね。
もしセキュリティホールがあってテロリストに狙われても困るだろうし。イランの遠心分離機みた
いなケースは、フランス人ならば当然に避けるだろうしね。

もしJRの信号システムとかドリンクの制御、或いはオッサンのクレジットカード程度であれば、
壊れてもそんなには困らんでしょうけど。でも国際空港の管制とか、或いは光ファイバーとか
電話のデジタル交換機であれば、まあ困るかも知れませんが。でも日本の某大手携帯電話
はLinuxとか聞いて驚愕した事もありますが。販売店で姉チャンが使ってる端末が何かは知り
ませんがね。

ケケケ￥
31 ：: >>21 補足
>>ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない

先回りして、逃げ道を塞いでおくよ（＾＾
１．ルベーグ積分のテキストで、１冊でも非可算選択公理を使わないバージョンがあるなら、具体的にそれを示してほしい
２．理論的に、非可算選択公理を使わないで、ルベーグ測度もどきを構築できるとしても、標準のルベーグ積分のテキスト（非可算選択公理を使うバージョン）との優劣（例えば適用範囲の広さなど）が問題となる
　　抽象的に、「非可算選択公理を使わないで、ルベーグ測度もどきを構築できる」だけじゃ、「標準のルベーグ積分のテキストがなぜ非可算選択公理を使うか」の説明が出来なければ、大学数学の議論として無意味だよ（多分、数III解析の君には理解できないと思うがね）
32 ：: >>16
> 何トンチンカンなことやってんだ？

お前が100!の順列とか言い出すからn＝2のときは2!個の順序を変える関数を作ってるんだろうが
お前の土俵できちんと数式化してやってんのにその言い草はねえだろ(笑)
そもそもそんなアホ論法は不要なのによ(笑)

>>16
> H1∈Fならばμ_r×μ_r'(H1)が求める確率である
> H2∈Fならばμ_r×μ_r'(H2)が求める確率である

何度言わせるのかっていう話だが、dが非可測だからH1, H2∈Fは言えない

なんかお前、自分で考えた100!論法に自分が騙されてないか？
非可測な関数の直積を考えたら可測になるとでも思ってんのか？(笑)

お前の土俵できちんと書いておく
M＝N×Nとおき、お前が設定した確率空間(Ω,F,μ)に加え、可測空間(M, 2^M)を考える
実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数をfとする
決定番号d：R^N→Nは(R^N, F'）から(N, 2^N)への可測関数ではないので、
当然その直積f＝d×d：Ω→Mも(Ω,F)から(M,2^M)への可測関数ではない
よって「A∈M⇒f^{-1}(A)∈F」は言えない
A∈FでなければAの測度μ_r×μ_r'(A)は定まらんのだよ

頼むから可測性を無視しないでくださいや(笑)
33 ：: >>32
> よって「A∈M⇒f^{-1}(A)∈F」は言えない
> A∈FでなければAの測度μ_r×μ_r'(A)は定まらんのだよ

おっちゃんじゃないが訂正(笑)

H=f^{-1}(A)として、H∈FでなければHの測度μ_r×μ_r'(H)は定まらん

だな
34 ：: TRONは学者OS
35 ：: そう言えば日本人が独り立ちして逆らわない様に『アメリカが焼いた』という様な伝説がある
そうですな。もしホンマやったらソレは馬鹿板人のネット工作も真っ青な陰湿さですわナ。

ケケケ￥
36 ：: >>20
ID:clpGrOhbさん、どうも。スレ主です。

>>> 1の「予測できるわけない」って何の根拠もない只の思い込みでしょ
>なんの証明もない　当然まっさきに疑われるべき妄想だよな

これ、>>21にも書いたが、”前から思っているんだが、あんた、現代確率論の内側に入れないね～”と
で、おれの証明は、現代確率論の最初の数ページにあるよ！

おれの証明なるものは、
それを、小学生にも分かるようにかみ砕いたものだ

が、あんたに、それが理解できるかどうか？疑問かな？
”「箱入り無数目」問題の同値類による分類は、選択公理と無関係あくまで同値類から代表列を選ぶところでのみ選択公理が使われる”ってバカ頭じゃね～

証明は、ステップ５の予定だ
が、分からなかったら、幼稚園からやり直してくれ～！（＾＾
37 ：: >>30
￥さん、どうも。スレ主です。
Esterelが、エアバスに採用されているというのは、インパクト大きいですよ（＾＾
https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A2%E3%83%90%E3%82%B9
エアバス
(抜粋)
本社はフランス・トゥールーズ。

ボーイングとの市場競争
旧西側諸国で大型旅客機を製造しているのはボーイング、エアバスの二大メーカーだけであり、抜きつ抜かれつの熾烈な競争を繰り広げている。

エアバス航空機の特徴
ボーイングと比べ新興の会社であるため、機体に先進的な設計思想や技術を取り入れ斬新な機体設計が行われている。エアバスA320に民間旅客機初となるデジタルフライ・バイ・ワイヤや、機体に新素材を導入するなど次々と新機軸を採用した。

ライバルのボーイングも自社機のハイテク化に取り組み始め、ボーイング777以降の機体でフライ・バイ・ワイヤを採用するなど、機体の設計思想にも影響を与えた。
しかし両者の設計思想は対照的で、エアバスがフライ・バイ・ワイヤの採用により操縦デバイスをサイドスティック化し、コンピュータ制御によるメリットを全面的に取り入れた操縦システムを搭載したテクノロジー・ドリヴンを採用したのに対し、
ボーイングがフライ・バイ・ワイヤ導入後も操縦桿にかつてのケーブル（索）やロッドによる機械的リンクを介して油圧アクチュエータを駆動させていた「重み」を擬似的に再現したマーケット・ドリヴンを採用しており、機械重視のエアバスと人間重視のボーイングといった色分けになっている。
エアバスがテクノロジー・ドリヴン路線を取った背景には、航空機の安全設計が向上した1980年代後半以降、飛行機事故の発生原因が機体の設計よりパイロットのミスや整備不良が原因となる事が多くなったからである。
エアバスではこの実情に鑑み、パイロットのミスと思われる場合には手動操縦より自動操縦システムの設定が優先される仕様を取り入れていた。
しかし、皮肉にもこの仕様が裏目に出る形で、1988年にエールフランス296便事故（エアバスA320）が、1994年にはアエロフロート航空593便墜落事故（エアバスA310[3]）と中華航空140便墜落事故（A300-600R）が発生した。
現在ではボーイングでも採用されている、操縦桿を操作すると自動操縦が解除される仕様に改修されている。
(引用終り)
38 ：: >>31
＞先回りして、逃げ道を塞いでおくよ（＾＾
塞げないよｗ

＞１．ルベーグ積分のテキストで、
＞１冊でも非可算選択公理を使わないバージョンがあるなら、
＞具体的にそれを示してほしい

どのテキストでも、「非可測集合の存在」以外では非可算選択公理は用いてない
ソロヴェイのモデルで「ZF＋”実数上のどの集合もルベーグ可測”」というものがある
と示された1970年に、>>1の”逃げ道塞ぎ”は徒労に終わることが分かったわけだ

＞２．理論的に、非可算選択公理を使わないで、ルベーグ測度もどきを構築できるとしても、

もどきではなくそのもの

＞標準のルベーグ積分のテキスト（非可算選択公理を使うバージョン）との優劣
＞（例えば適用範囲の広さなど）が問題となる

全く同じだから違いはない
違うのは、非可測集合が存在するか否か、だけ

だからいってるだろう
大学で数学教育を全く受けなかったidiotの>>1には歯が立たないと
おまえ自分が数学の天才だと自惚れてんの？馬鹿？
39 ：: >>32
＞頼むから可測性を無視しないでくださいや(笑)
頼むから可測性に固執しないでくださいや、統失君ｗｗｗｗｗｗｗ
40 ：: >>35
￥さん、どうも。スレ主です。
日本への原子爆弾投下は、諸説がありますが、まず下記

http://blog.livedoor.jp/kaigainoomaera/archives/46129575.html
日本への原爆投下はソ連を威圧するためだった（海外の反応） 2015年11月28日
(抜粋)
真珠湾攻撃とバターン死の行進。第２次世界大戦について米国民が持っているイメージは、この二つだ。日本とは大きく違う。原爆については「戦争を早く終結させた。さらなる米国人の犠牲をくい止めた」と思っている。

だが１９６０年代から、戦争中の機密文書が順次公開され、原爆使用の決定過程が部分的に明らかになっていった。「戦争を終わらせるためだった」とされてきた原爆投下は、ソ連に誇示する意図も大きかったことが分かった。
「原爆を使わなければ多数の米国民が犠牲になっていた」という主張の根拠だった米国の本土上陸計画は、１１月まで実行に移す予定がなかったことも判明した。以下略（ヒロシマメディア平和センター）

海外の反応をまとめました。
(引用終り)

つづく
41 ：: >>40 つづき

下記は抜粋ですが、とにかくアメリカはこういう資料の保存と公開の文化があることに驚きですね
日本は、文書廃棄と隠蔽の文化（加計と森友と）
https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E3%81%B8%E3%81%AE%E5%8E%9F%E5%AD%90%E7%88%86%E5%BC%BE%E6%8A%95%E4%B8%8B
日本への原子爆弾投下
(抜粋)
トルーマン政権と軍の攻防、和平工作の破綻

ドイツ降伏後の1945年5月28日には、アメリカに核開発を進言したその人であるレオ・シラードが、後の国務長官バーンズに原子爆弾使用の反対を訴えている。
バーンズはマンハッタン計画の責任者の一人として、東ヨーロッパで覇権を強めるソ連を牽制するために、日本に対する原爆攻撃を支持しており、
天皇制の護持が容れられれば、日本には終戦交渉の余地があるとする、戦後日本を有望な投資先と考える国務次官ジョセフ・グルー、陸軍長官ヘンリー・スティムソン、海軍長官ジェームズ・フォレスタルら三人委員会とは正反対の路線であった。

さらに1945年7月17日にもシラードら科学者たちが連名で原子爆弾使用反対の大統領への請願書 (Szilard petition) を提出したが、原爆投下前に大統領に届けられることはなかった。
軍人では、アイゼンハワー将軍が、対日戦にもはや原子爆弾の使用は不要であることを1945年7月20日にトルーマン大統領に進言しており[27]、
アメリカ太平洋艦隊司令長官チェスター・ニミッツ提督も、都市への投下には消極的でロタ島への爆撃を示唆している。また政府側近でも、ラルフ・バードのように原子爆弾を使用するとしても、事前警告無しに投下することに反対する者もいた｡
また、大統領だったトルーマン自身も、自身の日記に「原爆の投下場所は、軍事基地を目標にする事。決して一般市民をターゲットにする事がないようにとスティムソンに言った。」と書いていたため、市民の上への原爆投下には反対していたことが明らかになっている。
しかしマンハッタン計画の責任者だったレスリー・グローブスは、原爆による最大の破壊効果を得たいが為に「広島は軍事都市である」との偽装した報告書を提出した挙げ句の果てに、勝手に原爆投下指令書を作成した(当然ながら大統領だったトルーマンがそれを許可した証拠はない)。
(引用終り)
以上
42 ：: >>22
>>「箱入り無数目」問題の同値類による分類は、選択公理と無関係
>>あくまで同値類から代表列を選ぶところでのみ選択公理が使われる
>分類すべき集合は、R^N(Rの可算無限べき集合)なんだよ、
>これ？分かっているのか？

関係ないな　あくまで同値類の数が非可算なら、
そこから代表列をとるのに一般的には非可算選択公理が必要
（同値類そのものの大きさは無関係　ぶっちゃけ有限集合でもよい）

>で、代表列をあんた神聖化してない？
idiotの>>1ほど馬鹿じゃないよｗ

>この場合は、代表列は同値類の中のどれでもそこら手近の一つで良いんだろ？
>言い換えれば同値類のどれか、どれでも任意の一つで良いんだよね、
もちろんだ

>対して、一方のR^N(Rの可算無限べき集合)のしっぽの同値類分類は、
>可算選択公理で可能だというのかい？　それ証明できないぜ！！（＾＾

同値類は定義できればいい　選択公理は必要ない
これ常識　知らん>>1はidiot

>そもそも、同値類[r]って、先に代表rを決めて、rと同値な元をR^Nから集めることで構成できるだろ？
>これなら、同値類からrを選ぶ必要ないし・・。

ダメ　非可算個あるすべての同値類について、あらかじめ１つの代表を決められるかい？
そんなことは非可算選択公理なしにはできないだろ
とくに大学でまったく数学の教育を受けなかったidiotの>>1にはなｗ

>勿論、r'∈[r] (つまり r'～r )なるr'に代表元を替えることも可だよ。で[r']＝[r]だよ。）
>おまえ、同値類とか代表とか、全く分かってないんだな～！（＾＾
>それに、選択公理の理解もあやしい～（＾＾

選択公理を分からずに縋ってるのはidiotの>>１、貴様だよｗ
数学諦めて金鉱でも掘ってろ、この山師がｗｗｗｗｗｗｗ
43 ：: >>38
笑いを取るために、戻ってきたのか？（＾＾
ピエロか？　ピエロやるなら、二度と数学科卒を名乗らない方がいいぞ。数学科卒のブランドを毀損していると思うからね（＾＾

で、>>21の同値類のオオボケの言い訳はどうかな？
言い訳の天才くん。どんなお笑い言い訳か、楽しみ（＾＾

ルベーグ積分については、過去スレでコンヌ先生のPDFを引用してやったろ？　読んだか？
過去スレ36 http://rio2016.2ch.sc/test/read.cgi/math/1499815260/524 だけど、君の高校数III頭じゃ読めないのかも（＾＾
(抜粋)
軽く解説すると、http://www.alainconnes.org/docs/book94bigpdf.pdf コンヌ先生
P51 より
4. Geometric Examples of von Neumann Algebras : Measure Theory of Noncommutative Spaces の
4.α Classical Lebesgue measure theory. で解説がある
(引用終り)

なんで、”4.α Classical Lebesgue measure theory. ”という付録を、コンヌ先生が付けたのか？
分かる？　分かるわけないか。おれも分からん（＾＾

が、おれなりの解説を後で書くよ
まあ、それ、自分の頭で考えて見ろよ（＾＾
44 ：: >>42
ID:1ojXlxJMさん、どうも。スレ主です。

>>43で”で、>>21の同値類のオオボケの言い訳はどうかな？
言い訳の天才くん。どんなお笑い言い訳か、楽しみ（＾＾”

と書いたところだった
ほんと、ピエロやるなら、二度と数学科卒を名乗らない方がいいぞ。数学科卒のブランドを毀損していると思うからね（＾＾

今日は、忙しいので、暫く晒してやるよ（＾＾
みんなの笑いを取ってくれ！（＾＾
45 ：: まあAREVAとかAIRBUSは国策企業ですからね。なので「売れ筋の安っぽい商品を沢山売る」
とかとは、全く意味が違うので。つまり『きちんとしたモノを本腰を入れて構築スル』ってのは売
れ筋の商品を沢山売ってカネを儲けるってのとは本質的に違います。コレこそがフランスの底
力ですわね。かつての日本でもトリニトロン管はそこそこは長持ちした感じはしますが。

日本でも（後藤先生のパラメトロンは、今となっては違うかも知れませんが）例えば『ベクトル
演算のスパコンを死守スル』とか、そういう独自路線があっても良かったかも知れませんね。
但し私は専門家ではないので、この考え方が正しいかどうかは自信がありませんが。例えば
「リスプ専用機がッ消滅した」なんて事もあるので。シンボリックスとかいう会社があったかと。

￥
46 ：: 数学科のブランドｗ
47 ：: 理学部数学科に入学して、そんでちゃんと卒業したいよォ～～～んｗｗｗ

￥
48 ：: >>39
> 頼むから可測性に固執しないでくださいや、統失君ｗｗｗｗｗｗｗ

ブザマな煽りしかできなくなったな(笑)

>>16
> H1∈Fならばμ_r×μ_r'(H1)が求める確率である

> H2∈Fならばμ_r×μ_r'(H2)が求める確率である

> 私の主張は
> μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
> μ_r×μ_r'(H1)＋μ_r×μ_r'(H2)＝１
> の2点に尽きる

fが非可測のときH1, H2∈Fは言えない
このときμ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定まらない

M＝N×Nとおき、お前が設定した確率空間(Ω,F,μ)に加え、可測空間(M, 2^M)を考える
実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数をfとする
決定番号d：R^N→Nは(R^N, F'）から(N, 2^N)への可測関数ではないので、
当然その直積f＝d×d：Ω→Mも(Ω,F)から(M,2^M)への可測関数ではない
よって「A∈M⇒f^{-1}(A)∈F」は言えない
H=f^{-1}(A)として、H∈FでなければHの測度μ_r×μ_r'(H)は定まらない

お前は誰の目にも明らかに完全に論破されている
お前は自分の間違いを認めるしかない

だいたい>>17は100!論法ですらなく、ただ単に2列の独立な
R^Nを用意しただけのオーソドックスな問題設定だ
お前は>>17で解けたつもりになっているようだが、むしろ命題Bにおいて測度論が
どこでつまづくのかを説明するのに良い例となっている(笑)

> 命題A：任意のfixされたr∈R^Nで99/100が成り立つ
> 命題B：r∈R^Nを確率標本にとっても99/100が成り立つ

お前がやるべきことは煽りではなく自分の間違いを認めることだ
俺が「統失君ｗｗｗｗｗｗｗ」かどうかは問題ではなく、
お前の数学が間違っていたことが問題だ
きちんと間違いを認めなさい
49 ：: 問題を単純化すると、100個の箱の中に当たりが一つ入っている。
各箱に当たりが入っている確率は計算できない（非可測である）
しかし、ランダムに箱を一つ選んだら当たりを引く確率は
1/100 だよねって話でしょ。
ランダムに99個の箱を選んだら、当たりを引く確率は99/100でしょ。
50 ：: スレ主が選択公理はおろか、同値類の概念さえ理解していない
という疑いは、まあそうだろうなと思う。
51 ：: >>45
￥さん、どうも。スレ主です。

>「リスプ専用機がッ消滅した」なんて事もあるので。シンボリックスとかいう会社があったかと。

ああ、なんかありましたね～（＾＾
覚えているのが、Prolog（下記）でフランス製でしたよね（＾＾

いまの人工知能ブームの先取りでしたね
ここらは、ほんと、C++さん（◆QZaw55cn4cさん）のコメントが欲しいところだ（＾＾

https://ja.wikipedia.org/wiki/Prolog
(抜粋)
Prolog（プロログ）は、非手続き型プログラミング言語の一つ。論理型言語に分類される。名称は、「論理を使ったプログラミング」を意味するフランス語「programmation en logique」に由来している[1][2]。

人工知能ブームとProlog
日本において、ICOT の活動時期から1990年代前半に掛けては、いわゆる人工知能ブームの時期であり、人工知能研究への期待はこの時期再び異様に高まった。LISP マシンによる医療情報エキスパートシステムでの成果は、人工知能の研究の成果の一部は情報処理に於いても利用可能なのではないかとの夢を抱かせた。
このような評価の中で Prolog は人工知能のアセンブリ言語的な位置づけを期待された。知識情報処理はこの水準の言語を基礎にその上側に築かれるべきだとの意味である。
手っ取り早く利用可能な人工知能技術としてエキスパートシステムが選別され、これを支えるナレッジエンジニアの存在とそれを養成するための教育が必要とされた。
Prolog はその中心に存在した。日本も例外ではないが、日本以外の国では特に、Prolog の名著は1990年代前半に刊行されている。これは、ICOT の活動とは若干のタイムラグがあるが、この時期社会的に人工知能向き言語としての Prolog に大きな期待が寄せられていたことの証しである。
エキスパートシステムはビジネス分野において広範囲に応用可能な基礎技術であったが、このような低水準な分野への適用はあまり試みられず、この分野からの Prolog 言語への要請はほとんど見られないまま終った。

つづく
52 ：: >>50 つづき

ICOT以後の日本における衰退
日本においては、ICOT 解散後数年を経て、論理プログラミングと Prolog は急激に下火となる。
先にあげたコワルスキの成果があまりにも完成されたものでその研究成果の範囲を越えることが難しかったこと、歴史的にプログラム言語でありながら論理学からの逸脱を厳しく制限され、自由なアイデアによるプログラミング言語としての発展・展開が困難に見えたことも研究者・技術者を離れさせた。
そして、人工知能ブームもまた去って行った。企業等で続けられた研究開発も発表される機会がProlog産業応用シンポジウム（INAP）などに限定され、人々の目に Prolog の成果が触れることは極端に少なくなった。
ICOT の多大な研究成果がネット上に閲覧可能な状態で置かれたが、Prolog 言語の処理系はインターネット時代の技術・流れに乗れず、初心者・初学者が利用するためのネット上での情報も他の有力言語に比べて少なく、新しい利用者を惹きつけることができなかった。
パソコンのオペレーティングシステムとして Microsoft Windows が一般に普及し始めると、初心者教育にウィンドウの部品の展開を題材とするのに適したオブジェクト指向言語に人気が集中し、Prolog は動作の遅い外れた言語のイメージを持たれるようになる。
さらに21世紀に入ると Prolog がクラス概念を持たないため、マイクロソフト社による .NET アーキテクチュアの共通言語基盤（CLR）の対象言語から外され、この傾向に拍車をかけた。ついには枯れた言語というニュアンスを含んでではあるが、「化石言語」と揶揄されるまでに至ったのである。

今日
盛時の勢いは失ったものの、Prolog は各教育機関で主として論理学の教材として利用され続け、今日まで数万人の人が Prolog の講座を受講している。実務的に利用される機会が少ないにも関わらず、その素養を持つ人が大量に存在するという特異な位置にあるプログラム言語となっている。
また、多くのプログラミング言語でその言語上にPrologインタプリタを制作してみることが難度の高い学習課題の一つとして採用され、その結果としてもPrologを理解しているプログラマは増加する傾向がある。
(引用終り)
以上
53 ：: >>49
ID:X0DMup6Wさん、どうも。スレ主です。

新参者らしいけど、時枝記事の引用が、下記過去スレにあるので、見て下さい
過去スレ35 http://rio2016.2ch.sc/test/read.cgi/math/1497848835/12-18

Q
問題を単純化すると、100個の箱の中に当たりが一つ入っている。
各箱に当たりが入っている確率は計算できない（非可測である）
しかし、ランダムに箱を一つ選んだら当たりを引く確率は
1/100 だよねって話でしょ。

A
違うね
１．100個の箱の中には、サイコロを振って、１～６の数を入れる。箱の中の数を当てる確率は１／６であり、1/100 ではないよね
２．P面サイコロ（p面ルーレットでも同じ）を振って、１～pの数を入れる。箱の中の数を当てる確率は１／ｐであり、1/100 ではないよね
３．ここで言いたいことは、数学的には、サイコロ面数に依存する確率となると考えるのが、普通の数学の思考だろうね。一律 1/100 ではないよね
４．そして、任意の実数だから→p面ルーレットを考えて貰えば良い。つまり、ルーレットの円周位置上の任意の実数を、100個の箱の中に入れて良いとするのが、本来の時枝記事の設定だ。これだよ。だから、確率０（ゼロ）（＾＾
54 ：: >>50
ID:X0DMup6Wさん、どうも。スレ主です。

>スレ主が選択公理はおろか、同値類の概念さえ理解していない
>という疑いは、まあそうだろうなと思う。

当たりだ。が、ID:clpGrOhbさん、もっと理解していないぜ（＾＾
というのが、>>21-22 & >>44だな（＾＾
55 ：: >>53 訂正

P面サイコロ
　↓
p面サイコロ
56 ：: https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%B3%E3%83%9C%E3%83%AA%E3%83%83%E3%82%AF%E3%82%B9

私が覚えてるのはコレですが、こういう類の専用機はまだ他にもきっとあるんでしょうね。私が
見た実物は当時数理研の地下に置いてあったものです。その後もある事情でLispにはチョット
だけ興味を持ちましたが、でもそういう特別の実装系では数学は進展しないと判断して放棄し
ました。その実装系の元々の考え方とかアルゴリズムにしか興味がないので。

￥
57 ：: >>53
あのさ、100個の箱は「決定番号」という自然数が入るという意味だよ。
「最大決定番号」を当たりとする。

各箱に当たりが入る確率は計算できないが
100箱の中に少なくとも一つは入っている
ことは分かっている。
58 ：: >>53 訂正

任意の実数だから→p面ルーレットを考えて貰えば良い。
　↓
任意の実数だから→r点（連続濃度）ルーレットを考えて貰えば良い。

にするわ（＾＾
59 ：: >>53
その設定は、元の時枝記事とは違うよ
60 ：: >>56
￥さん、どうも。スレ主です。

下記”ストールマンは新たなコミュニティを作るべくGNUプロジェクトを開始した。このストールマンの決断は、著作権侵害で人工知能研究所から除籍されたことも影響していると考えられる”
とありますね（＾＾
ストールマンは、いまやレジェンドですがね（＾＾

https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%B3%E3%83%9C%E3%83%AA%E3%83%83%E3%82%AF%E3%82%B9
シンボリックス
(抜粋)
歴史

シンボリックスは、製品を完全に制御しているとは言えないと判断し、ソフトウェアを社内のサーバで管理することにした。これについてストールマンは、シンボリックスの目的は同社が行った改良がLMIに渡るのを防ぐことだったとしている[1]。
その後シンボリックスはソフトウェアをあらゆる面で改良していき、それを（MITも含む）顧客に提供し続けた。しかし、MITはそれを他者に配布することは許されなかった。
オープンな協業関係の終焉は、MITのハッカーコミュニティの終焉を意味していた。
これに対して、ストールマンは新たなコミュニティを作るべくGNUプロジェクトを開始した。
このストールマンの決断は、著作権侵害で人工知能研究所から除籍されたことも影響していると考えられる。
(引用終り)

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%81%E3%83%A3%E3%83%BC%E3%83%89%E3%83%BB%E3%82%B9%E3%83%88%E3%83%BC%E3%83%AB%E3%83%9E%E3%83%B3
(抜粋)
リチャード・マシュー・ストールマン（1953年3月16日 - ）は、アメリカ合衆国のプログラマー、フリーソフトウェア活動家。コピーレフトの強力な推進者として知られ、現在にいたるまでフリーソフトウェア運動において中心的な役割を果たしている。また、プログラマーとしても著名な存在であり、開発者としてその名を連ねるソフトウェアにはEmacsやGCCなどがある。

1971年 - ハーバード大学に入学。Math55で好成績を残し[2]、MIT AI研のプログラマとなりハッカーコミュニティに加わる。
1974年 - 物理学の学位を取得し[3]、最優等の成績で大学を卒業。これに続いてMITの大学院に入学するが、MIT AI研でプログラマとしての活動を続けるうちに、物理学の研究をやめ、博士号をとることを放棄する。
1983年 - GNUプロジェクトを創始。
61 ：: >>57 & >>59
補足

その設定を争いたいなら、>>46の論争に参加して、ID:1ojXlxJMくんを応援してやんなよ
喜ばれるだろうよ
62 ：: そのStallmanの哲学は（学術という人間の創作物に対する考え方として）正しいでしょうね。でも
計算機の世界、特に昨今のAI関連は「モロにお金と関係する」から、まあ厄介な話ですわね。

￥
63 ：: >>46-47
取り敢ず、数学科のブランドについて（＾＾

http://neko317fnjt.hatenablog.com/entry/2016/12/28/000824
2016-12-28 数学科がもたれるイメージ（経験談）数学科卒のものぐさナナコのブログ
(抜粋)
※あくまで、私の経験談であり、私の意見ですのでご注意ください。

もちろん社会に出てからも数学科出身という目で見られることは多いですが、
やはり「専攻分野」という観点で人を見る・見られるのは学生時代が一番多かったので
学生時代の話が多くなります。

複雑さの度合いでいえば、他の学科（数学を活用する分野）の方が複雑だったと思います。
例えば工学系の微分方程式とか、すごい複雑でしたね。
「数学科の方がもっとすごいことやってるでしょ？これ解いてくれない？」
とかよく言われましたが、数学科の方は大抵、解きやすく作られていますから…
以上、他から見た数学科イメージ(体験談)をお伝えしました。

偉そうに書いてしまいましたが、なんだかんだ数学は応用分野が広いので、色んな分野の人に、良くも悪くも興味を持ってもらえて嬉しかったですね。
それでは、また。
(引用終り)

つづく
64 ：: >>63　つづき

http://nururi.com/math-major/
じゃあ、数学科シン 20170524
(抜粋)
数学
数学ってほとんどの学問の基礎であり、哲学者のライプニッツが数学者でもあるように、数学が全然出来ないと、ほとんどの理系専攻は卒業することすら難しく、最低でも高校生レベルの数ⅢCくらいは終えていないと、工学系講義はちんぷんかんぷんで、中退が頭をよぎると思います。

IT
昔のイメージで数学科を語る人って、IT革命後の社会変化について、あまり意識していないのではないか？、と思います。コンピューターサイエンスは数学から派生したものであり、コンピューターサイエンスの基礎研究は純粋数学研究に近いようなことをやっています。
学部が数学科でも、修士でほぼ確実に就職できるコンピューターサイエンスに進むことも出来ますし、純粋理論系をきわめて、アカポス取れなきゃ、野垂れ死に覚悟をして突き進む必要もありません。
最近、データマイニング、データサイエンティスト、と呼ばれる、人の頭では処理できない量の「ビッグデータ」を処理する人たちがいますが、この人たちも多くが数学を得意とする理学系の人たちです。

まとめ
強いて、数学科に進まなくても、まずは情報系に進んで、どうしても純粋数学をやりたいなら、修士から数学科に進めばいいので、強い思いがないなら、学部から進むことはないだろうと思います。でも、リカバリーできるので、少なくとも今は数学が一番したいなら、進んでもいいのではないか？、と思います。
ノーベル経済学賞受賞者の大半が実質的には数学者であるように、理系に限らず、理論研究の多くが数学を基礎とするので、若い頃に数学に打ち込むのは悪くないと思います。
更に言うなら、最低でも旧帝に入れないなら、数学科はやめておくのが無難だと思います。他の科目は全然ダメだけど、数学だけは図抜けているケースもあるかもしれませんが、旧帝にすら入れない人が数学に限らず、理論系専攻を選ぶこと自体がリスキーです。才能の世界なので、才能がない人には苦痛でしかありません。
学部批評は読者さんのコメントがかなり参考になると思うので、人生の先輩にあたる読者さんはリクエストをくれた高校生にアドバイスをあげてください。

(引用終り)
以上
65 ：: >>64 補足

「“じゃあ、数学科” への 20 件のフィードバック」が付いていますが
省略します（＾＾
66 ：: >>62
￥さん、どうも。スレ主です。

>そのStallmanの哲学は（学術という人間の創作物に対する考え方として）正しいでしょうね。でも
>計算機の世界、特に昨今のAI関連は「モロにお金と関係する」から、まあ厄介な話ですわね。

そうなんですよね
でも、ストールマンのGNUプロジェクトが、linuxを支えたんですよね

https://ja.wikipedia.org/wiki/Linux
Linux
(抜粋)
概要
ユーザ空間のシステムツールやライブラリの多くは、リチャード・ストールマンが1983年に立ち上げたGNUプロジェクトによって作られたものであるため、フリーソフトウェア財団 (FSF) はGNU/Linuxという名前を使うことを推奨している[12][13]。

GNU
GNUプロジェクトは1983年にリチャード・ストールマンによって開始され、フリーソフトウェアのみによって「完全なUnix互換ソフトウェアシステム」を作り上げることをプロジェクトのゴールとしていた。
作業は1984年より開始され、1985年にはストールマンがフリーソフトウェア財団を立ち上げ、1989年には GNU 一般公衆利用許諾書 (GNU GPL) を書いた。1990年代初頭までに、オペレーティングシステムに必要な多くのプログラム（ライブラリ、コンパイラ、テキストエディタ、Unixシェル、ウインドウシステム）が完成した。
しかしながら低水準の要素 ? デバイスドライバ、デーモン、カーネルといったものは頓挫しているか未完成であった[15]。リーナス・トーバルズは、もし当時GNUカーネルが利用できたならば、自分はLinuxを作っていなかっただろうと発言している[16]。

起源
リーナス・トーバルズはLinuxカーネルの開発をMINIX上で開始し、MINIX上で動作するアプリケーションはLinux上でも使われていた。Linuxが十分に成熟すると、それ以降のLinuxの開発はLinux上で行えるようになった[19]。すべてのMINIXコンポーネントはGNUのプロダクトによって置き換えられた。

当時、自由なソフトウェアによるUnix互換OSを開発しようとしていたGNUプロジェクトは自身のカーネル (GNU Hurd) を完成していなかった（2015年現在もなお開発途上である）[21]。

開発者たちはLinuxカーネルを育てていくとともに、GNUコンポーネントとLinuxを統合する作業を行い、最終的に実用的かつフリーなオペレーティングシステムを作り上げた[15]。
(引用終り)
67 ：: 日本の数学科はそろそろ何とかしないと、それこそ昨今崩壊した法科大学院みたいになるだ
けであり、せめて東大と京大だけでも早急に何とかスルべき。例えば：
１．修士論文と博士論文は、その全てを英文とする。
２．審査開始前に、自前の鯖で国際公開する。
３．指導教官は審査委員からは外し、そして委員には（外国人の）学外者を加える。
という様な事をしないとダメだろう。

純粋数学の場合には「小保方博士論文事件」みたいになっても、それは非常に顕在化しにく
いだろう。でもこのまま放置すれば無茶苦茶にナルだけだ。駅弁を取り締まったり潰すよりも、
先ずは『東大と京大からきちんとする』しかない。こういう状況を放置すれば、教官が地獄を見
るだけではなくて、通行手形を渡された学位取得者の方も困るだけ。

定員割れの歯学部とか、或いは獣医学部みたいになれば、もうシマイなので。

￥
68 ：: >>59 訂正

>>53
その設定は、元の時枝記事とは違うよ
　↓
>>57
その設定は、元の時枝記事とは違うよ
69 ：: >>67
￥さん、どうも。スレ主です。

>先ずは『東大と京大からきちんとする』しかない

これ生物学系で、「小保方博士論文事件」類似ですね
http://www3.nhk.or.jp/news/html/20170801/k10011083291000.html
東大教授の論文大学がねつ造と改ざんの不正認定 8月1日 17時04分 NHK
(抜粋)
国内有数の分子生物学の研究者である東京大学の教授らが、国際的な科学雑誌、ネイチャーなどに発表した５本の論文について、大学は実験データのねつ造などの研究不正があったとする調査結果を公表しました。教授は「各実験から得られる結論を覆えそうとする意図で行ったものではないが、深く反省します」とコメントしています。
(引用終り)
70 ：: >>67
￥さん、どうも。スレ主です。

>純粋数学の場合には「小保方博士論文事件」みたいになっても、それは非常に顕在化しにくいだろう。

へ～、そうなんですか？
まあ、確かに、下記望月新一博士のＩＵＴ論文、未決着という

あれから５年ですかね？
ほとんど、プロ数学者でも、これ読めないという
で、ＩＵＴ論文くらい話題になって、みなが読もうとして、これだもんな～（＾＾

学位論文レベルでは、逆に、話題にもならず、だけも読まないから・・
学位は出ても、真偽不明だと

それを良いことに
あやしい純粋数学の博士論文が・・ということかな？

早く、ＡＩの自動証明チェックマシーンを完成させる・・
ことですかね？？（＾＾

https://wired.jp/special/2016/shinichi-mochizuki/
「異世界からきた」論文を巡って：望月新一による「ABC予想」証明
(抜粋)
2012年、数学界に激震が走った。
30年近くだれも解けなかった「ABC予想」を
京都大学教授の望月新一が証明したというのだ。
ただ、その証拠である論文は「異世界からきた」と思われるほど難解で、
誰にも理解できなかった…。それから、3年の時を経て、
数学界最大の謎に立ち向かうべくイギリスでカンファレンスが昨年開かれた。
そこで一体何が起きたのか。
2016年7月下旬から、再度京都で開かれるカンファレンスに備え、レポートを緊急掲載。
［15年12月21日のQuanta Magazine掲載の記事を翻訳・転載］
(引用終り)
71 ：: 大切な論点だと思うので、きちんとレスします。

今回の東大の論文不正事件ですが、私の基本的な考え方は：
★★★『研究とは（作法を守る事、ではなくて）きちんと考える事であり、従ってミスは許容するべき。』★★★
です。私の雑駁な印象としては、特に生物医学系に関して：
１．ミステイクを装う事に拠って、ダメ論文をマトモに見せ掛ける行為が横行してる。
２．ソレを受けて、密告やチクリ等の『邪魔のし合い』もまた横行してる。
という印象です。

まあこれは科研費の獲得競争とか、また昇進を掛けた人事抗争がその裏にあり、そしてお金
や医療ビジネスに直結する状況がそうさせてる、云わば『近視眼的な打算性の結果』だと思
いますね。ヘンドリック・シェーンの有機物半導体とか高温超電導も同様でしょう。

でも何時だったか説明した通りで、真面目にチャレンジしてればミスや間違いはつきものだか
ら、こういう詰まらない「密告のし合い」は、サイエンスを後退させるだけです。例えば：
（あ）湯川の中間子論文は「その計算が間違い」で、そして『物理として正しい』です。
（い）ライナス・ポーリングが『DNAは三重ラセン構造である』という間違い論文を出版した。
この二人は共にノーベル賞学者ですが、この事実が彼等の研究者としての価値を減じるとは
私は考えません。真面目に難しい問題にチャレンジしてればミスを犯すのは『当たり前』です。

だから「こそ」、意図的にミスをして言い逃れる輩に対して私は激怒してるんです。

￥
72 ：: 望月論文に関して私見を申し述べます。

私はその論文を精読した訳ではないので、従って「あのアプローチが正しい方向である」と断言
する事は出来ません。ですが：
１．FLTに関して（例えばABCから）別ルートを付けるという事は『誰かが』スルべき。
２．正しい価値観に従った研究であれば、それはサポートするべき。
という判断です。私の基本的な考え方として：
★★★『正しい方向を向いた未完の研究よりも、遣りました出来ましたの集積よりは価値がある。』★★★
と思います。（この部分に関しては人に拠って判断が違うでしょうが。）

易しい数学には（その全てに）価値が無いとは言いませんが、でも：
★★★『易しいと最初から判ってて、そして「出来ると判ってる事しかしない」のは研究とは言わない。』★★★
という考え方を私はしています。

￥

追加：例えばかつての「ドゥブランジュによるRiemann予想の解決」（という不完全な論文）です
が、これは『十分に評価に値する』というP.Cartier先生の見解と、私は同意見です。
73 ：: 例えばA.WilesがShimura-Taniyama-Weilを（条件付きで）解決するまで、どれだけの紆余曲折
があったかは有名な話です。そしてPerelmanの証明が『バグなし』と確認されるまでに、どれ
だけ大変だったかは有名な話です。そしてそもそものThurstonの幾何学化予想は、未証明な
ので、従ってこれを無価値と言うのかと。

数学に取って一番大切な事は（恐らくは）『正しい方向を向く事』であり、その方向が正しくさえ
あれば、その証明には（些末とまでは言わないが）「そんなに大した価値はない」と思います。
岡潔とか佐藤幹夫の場合を考えれば、それは『自ずから明らか』だと思いますが。

￥

追加：微分幾何の「山辺の問題」も似た様なケースかと。
74 ：: 望月論文に関して。

現状のWiles経由（Taniyama-Shimura経由）は表現論を通過するので、だからその何処かで
函数解析みたいなものを避けて通れないのでは、という疑念がアルでしょう。であればもし
望月ルートが完成すれば、ソコからは『全く別の景色が見える筈』であり、これは猛烈に重要
と言う他はありません。

こういう数学はチカラがある研究者にしか絶対に出来ません。だから私は心底応援しますね。

￥
75 ：: 安っぽい完成品（そう見えるモノ）を提示して、何かが出来たとうそぶく偽善者よりも、正しい
方向を向いてドツボに嵌り堂々と泥だらけにナル勇敢な人材の方が、遥かに価値があります。
師匠のコンヌ先生が偉いのは『正にココ』ですわ。

昨日だったか田母神俊雄氏が防衛庁の前でTVカメラに向かって：
★★★『今の政治家の仕事は（何かをする事、ではなくて）失敗をしない無難な行動』★★★
とか言ってましたわ。研究者がこうなったらもうシマイだわね。

何でこんなクソみたいな国に暮らす事を余儀なくされるのか。ホンマに情けないわさ。

￥
76 ：: >>72
深刻な訂正：

★★★『正しい方向を向いた未完の研究よりも、遣りました出来ましたの集積よりは価値がある。』★★★
はマチガイで、正しくは：

１．正しい方向を向いた研究であれば、たとえソレが未完だろうと何だろうと、そんな事はどう
　　でも良い。正しい数学とは『そのアイデアこそが勝負』なので。
２．遣りました、出来ましたなんて、そんなモノには価値はありません。誰がやっても出来る様
　　な事は、私ならば放置します。そんな事をしても、面白くも何ともないので。

￥
77 ：: あのSTAP騒動も、そして今回の東大分生研の報道もそうですが、要は：
★★★『レフェリーの目さえ誤魔化せれば、ソレこそが研究業績であるというのは「単なる偽善者」』★★★
であり、こういう輩は火炙りにして始末するべき。但し今回もこのミステイクが意図的であった
かどうかを論理的に判断する客観的な判定基準なんて存在しません。

日本人は「アイツはどうせ…」という考え方をしますが、でもそれは『自分がそういうズルい人
間だから』でしょうね。だからお互いにチクったりするんでしょうね。

でも実際には「レフェリーが完全に理解してる」ってのは不可能であり、数学の場合であれば
特にそうです。なので大切なのは：
１．説明の都合上という事で、どうしても『不充分な説明』というのはある。
２．なので「レフェリーを騙す」という部分が避けて通れない場合がある。
３．でも自分を騙すのだけは『絶対にダメ』です。

即ち、自分が良いと思ってないモノを（レフェリーが通すと言ってるからといって）その口車に
乗って出版するなんてのは『絶対にダメ』です。自分が自分できちんと納得出来るというのが
基本中の基本です。

￥

追加：この考え方は応用系には通用しないかも知れないが、それは私は知らない。
78 ：: https://ja.wikipedia.org/wiki/%E5%8A%A0%E8%97%A4%E8%8C%82%E6%98%8E

この人が以前に東大分生研で研究不正の疑いを掛けられて、その取り調べの時に：
★★★『私ははもう既に教授に昇進してるので、だから研究不正をスル動機がもうありません。』★★★
とか言ったらしいです。（どっかのネットの記事にそう書いてあった。だから真偽は不明。）

この話の真偽はさて置き、この発想は『あのクソ芳雄であればさもありなん』とは思いますね。
この国では、こういう発想の奴が大学教授になったりしてるからホンマに末期的だわさ。でも
安倍政権の組閣とか見てると、そして稲田みたいな「外見と口先だけ」の人は、国会議員に
スル前に『ちゃんと知能検査を受けさせるべき』だわね。本当の知性は、口先だけでは判定
出来ない。ちゃんと話をさせて、ソレを論理分析すれば判る筈だ。

日本人が大好きな人柄なんてのは『何とでも誤魔化せる』し、ソレこそが本音と建て前という
便利な仕掛けであり、それはこの馬鹿板で良く判る。こういう馬鹿な事はそろそろいい加減に
しないと、この国は本当に終わってしまうだろう。いっその事、北朝鮮の新型核弾頭で一気に
焼いて貰えば、それで世界随一の偽善者国家も消滅するだろう。

￥

追加：生命科学に比べれば純粋数学は誤魔化しが効かないのは確かですが。でもだからと
言っても「小保方みたいなニセ博士」も結構居ると思う。こんな事を続けてたら日本人数学者
は国際的に一切信用されなくなるだけ。だから困るのは（私、ではなくて）『次の世代の人達』
なだけですが。私はもう関係がないので「黙って見てるだけ」ですが。
79 ：: >>71
￥さん、どうも。スレ主です。

>まあこれは科研費の獲得競争とか、また昇進を掛けた人事抗争がその裏にあり、そしてお金
>や医療ビジネスに直結する状況がそうさせてる、云わば『近視眼的な打算性の結果』だと

ああ、なるほどね
業績を論文数とか引用インデックスとか、数値化すると、それがあだになるということか

あと一つ論文が足りないとか
で、レフェリーを通さないといけないから、データを作ってしまうようなことですかね？

やれやれ
80 ：: >>72
￥さん、どうも。スレ主です。

望月論文の専門的な話は、パスとして

>追加：例えばかつての「ドゥブランジュによるRiemann予想の解決」（という不完全な論文）

これは、ＮＨＫ特集でしたね（下記）。ああ、「非可換幾何学」が登場していたのか？
https://soan.jp/nhk-special-math
(抜粋)
2014/05/18 2016/06/06
NHKスペシャル｜魔性の難問～リーマン予想・天才たちの闘い～ soanblog創庵
hirosh
株式会社創庵代表取締役 NHK教育テレビでIT番組の講師を１２年歴任。ソーシャルメディアによって、一人でも多くの人が自分の個性を生かし、新しい働き方、暮らし方を実践できるように、全国で地域、コミュニティづくり、教育、コンサルテーションを行っている。

いまだ未解決のこの予想ですが、番組の終盤には、ゼータ関数の零点の間隔の数式と、全く無関係の原子核のエネルギーの間隔を示す物理学の方程式が一致したことから、ブレイクスルーが起きました。それ以降、数学者と物理学者達が、タッグを組んでこのリーマン予想の解決に向けて動き出します。

そして、「非可換幾何学」をつかうことによって一見ランダムに見える「数」?「素数」の謎が解けるかもしれない。という道筋が立ち、その解によって、万物の理論、宇宙の設計図を手に入れる可能性に一歩近づいた。というところで終わります。

エンディングに、リーマン予想を証明したという論文をルイ・ド・ブランジュ博士が発表するシーンがありますが、２００９年に公開されたこの番組も、２０１４年の現在、この論文が証明されたというニュースがないので、まだ未解決のままなのでしょう。

現在進行形の天才数学者達の、あくなき闘い。見応えあるドキュメンタリーでした。
(引用終り)
81 ：: もし今治に新しい獣医学部を作りたいとします。その時には何をスルべきか？
１．世界に冠たる教授陣を揃え立派な研究計画を立て、充実した教育プログラムを準備。
２．世間に判り易い説明文を準備して学生の気を惹き、また地元からも応援を取り付ける。
３．政権の有力者と一緒にゴルフをし、密談の時に高級焼き肉を御馳走して機嫌を取る。

この項目の中で何が必要で何が無駄かは明白で、しかも「現実的に重要な事」は本来必要
な事とは『必ずしも一致しない』のではないかと。であれば（必要な事はソッチノケにして）：
（あ）先ずは出来る根回しをちゃんとやる。
（い）お金が掛かったり面倒な事は後回しにする。
（う）既成事実を積み上げて「今更後戻りなんて出来ない論法」に持ち込む。

一旦出来上がってしまえば、その後は『野となれ山となれ』とか。そして「教官も被害者、され
ど学生も被害者」って。（この話ってかつての数学科大学院の拡充と同じでは？？？）

ケケケ￥
82 ：: sage
83 ：: >>73
￥さん、どうも。スレ主です。

>数学に取って一番大切な事は（恐らくは）『正しい方向を向く事』であり、その方向が正しくさえ
>あれば、その証明には（些末とまでは言わないが）「そんなに大した価値はない」と思います。
>岡潔とか佐藤幹夫の場合を考えれば、それは『自ずから明らか』だと思いますが。

マイケル・アチャと渕野昌先生が、同様の発言をしていますね
過去スレ36 http://rio2016.2ch.sc/test/read.cgi/math/1499815260/239

山辺英彦先生は、結構若くして亡くなったんですよね。
なにかで読んだ記憶がある。ああ、神戸一中か。今の神戸高校ですね（＾＾
https://ja.wikipedia.org/wiki/%E5%B1%B1%E8%BE%BA%E8%8B%B1%E5%BD%A6
山辺英彦（やまべひでひこ、1923年8月22日 - 1960年11月20日）は、日本の数学者。兵庫県芦屋市出身。山辺武彦、レイの五男として生まれる。神戸一中、第三高等学校をへて、1944年東京帝国大学入学、1947年に東京大学卒業。その後大阪大学に行く。
1949年大阪大学助手、1951年講師。1952年から2年間プリンストン高等研究所研究員。1954年、大阪大学から理学博士号を取得。1954年ミネソタ大学助教授を経て、1957年准教授。1958年大阪大学教授。1959年再びミネソタ大学。1960年ノースウェスタン大学教授。同年11月くも膜下出血で死去。
　山辺は、位相群、リー群の構造を研究しヒルベルトの第5問題の解決に貢献したことで知られる。その後、偏微分方程式、力学系、微分幾何学の研究に移る。微分幾何学では共形幾何学における変分問題である「山辺の問題」が有名である。また山辺不変量、山辺フロー、山辺定数などに名を残す[1][2]。

「山辺の問題」下記
https://ja.wikipedia.org/wiki/%E5%B1%B1%E8%BE%BA%E5%95%8F%E9%A1%8C
https://en.wikipedia.org/wiki/Yamabe_problem
84 ：: 私は「コンヌ式の教育をみっちりと受けた」ので、だから：
☆☆☆『（遣り方、ではなくて）モノの考え方こそが学問研究の本質という思想圏の住人』☆☆☆
ですわ。なので「正しい方向」ってのは当たり前の感覚ですわ。まあコンヌ先生が言う知性と
は「自分のアタマの遣い方が自分で判ってる事」という認識ですかね。

つまり道具とか、或いはそのスキルなんていうものは『目標物を定めてから選ぶ』という発想
です。でも中にはそうではない人も（特に日本には）沢山いるし、なので何が正解かなんて事
は誰にも判りません。だから『私自身はそうしています』というだけです。

￥
85 ：: >>84
￥さん、どうも。スレ主です。
あまり、そういうプロ研究者の深い話は分からないのですが（＾＾

コンヌ先生の名を聞いたのは、いつだったか
覚えているのは、フォンノイマン環の分類で、富田竹崎理論を完成させたという話しだったような
ああ、下記にありますね。日本人がやっていたのに、最後の仕上げを、コンヌ先生にやられてしまったみたいな書き方だったな～
でも、その後は（最近まで、あまり知らなかったのですが）、フィールズ賞の後も、いろんな分野で重要な仕事（例えば「非可換幾何」の構築とか）をされた
最近でも、黒川先生が書いていたのが、リーマン予想の話でしたね
知れば知るほど、すごい人だなと思います（＾＾

https://ja.wikipedia.org/wiki/%E4%BD%9C%E7%94%A8%E7%B4%A0%E7%92%B0%E8%AB%96
(抜粋)
作用素環論とは、作用素環とよばれるクラスの位相線型環を主に研究する数学の分野である。研究対象の直接的な定義からは複素数体上無限次元の線型代数学と言え、普通関数解析学に分類されている。
しかし、その手法や応用はいわゆる代数学・幾何学・解析学の諸分野に幅広くわたり、アラン・コンヌが提唱する非可換幾何の枠組みを与えていることでも特筆される。

1930年代のフランシス・ジョセフ・マレー（英語版）とフォン・ノイマンのフォン・ノイマン環に関する一連の論文や、1940年代のイズライル・ゲルファントとマルク・ナイマルク（英語版）によるC*-環に関する研究が作用素環論の始まりだといわれている。
可換環と局所コンパクト空間の圏の同値性を与えるゲルファント・ナイマルクの定理はアレクサンドル・グロタンディークによるスキームの概念にも影響を与えている。1970年代に冨田・竹崎理論を駆使してコンヌが III 型フォン・ノイマン環の分類をほぼ完成させた。
1980年代にはヴォーン・ジョーンズによって部分因子環 (英: subfactor)の理論と、その派生物としてトポロジーにおける結び目の不変量を与えるようなジョーンズ多項式が得られた。一方で作用素環はそのはじめから数理物理（特に量子力学）の定式化に使われることが意識されており、現在でも物理学とのあいだに活発な交流がある。
日本の作用素環論の研究者で1994年以降、ICMで全体講演をしたものはいないが、招待講演者の中には小沢登高、泉正己がいる。
(引用終り)
86 ：: >>43
コンヌ？関係ないな
コンヌの書いてることはソロヴェイの定理とは無関係
ルベーグ測度に非可算選択公理が必要不可欠、という根拠にもならない

>>1のオウンゴールもここまでしつこいと食傷気味だなｗ

＞おれも分からん（＾＾
＞が、おれなりの解説を後で書くよ

わからんのに、解説書いても無駄
山師の>>1は、数学諦めて金鉱掘ってろ
レアアースでもいいぞｗ

>>44
誤　今日は、忙しいので、暫く晒してやるよ（＾＾
正　今、反論が思い付かない、暫く雲隠れする（－－；

暫くといわず永遠に戻ってこなくていいぞ
数学板に貴様のクソ芸は必要ない
87 ：: >>74
望月論文は、難しすぎて、全くだるま（手も足も出ない）ですが（＾＾
もう少し待てば、われわれ素人にも、そのうち分かる通俗解説が出るかもと
望月先生は、「そんなものあるか！」と拒否されていますがね～（＾＾

でもね～、数学の歴史を見ると
何年何十年と経つと、いろんな見方ができるようになって、分かり易くなるものです
微分積分なんて、中学だったかの先生のジョークで、「微分積分という難しい理論があってな、微分：少し分かった、積分：分かったつもりと言われる」なんてね
で、高校のときは、「ここら、本当は、デルタ－イプシロンでやらないと厳密じゃ無い」なんて、言われて
でも、大学になり、そのうち、ロビンソンのノンスタとか出て、演算子法とか、その発展形の佐藤先生の代数解析とか、いろいろ勉強すると、もっと高い立場に立てば、視野が広がり理解が深まるというのがよく分かりましたね（＾＾

だから、IUTも、そのうちもっと分かり見方が出てくると思っています（＾＾
IUTサーベイから、その後を進めていってほしいですね～
88 ：: >>86
ピエロくん、ご苦労（＾＾
89 ：: >>48
そもそもH1,H2が可測になるとは云ってない

(d(r1), d(r2))のように、r1,r2に同じdを作用させてる時点で
r1とr2の入れ替えだけで交換できるH1とH2に対する
確率が異なってしまうことはあり得ない

>測度論がどこでつまづくのか

どうせ
「非可測関数では、積分の順序交換が無条件に成り立つとは限らない」
というんだろうが、関数がf(x)×f(y)のような形なら、
積分の順序を交換したところで値が変わりようがない
90 ：: >>88
idiot、ご苦労ｗｗｗｗｗｗｗ
91 ：: >>50
>スレ主が選択公理はおろか、同値類の概念さえ理解していないという疑い
>>54
>当たりだ

idiotは金鉱でも掘ってろ

>が、ID:clpGrOhbさん、もっと理解していないぜ（＾＾

馬鹿は自分が利口だと思い込む

>>1　貴様のことだ
92 ：: >>87
＞ロビンソンのノンスタ
馬鹿は馬鹿略語を造語するｗｗｗｗｗｗｗ
93 ：: >>75
￥さん、どうも。スレ主です。

>師匠のコンヌ先生が偉いのは『正にココ』ですわ。

コンヌ先生のチャレンジ精神はすごいですね

>>77
"でも自分を騙すのだけは『絶対にダメ』です。
即ち、自分が良いと思ってないモノを（レフェリーが通すと言ってるからといって）その口車に
乗って出版するなんてのは『絶対にダメ』です。自分が自分できちんと納得出来るというのが
基本中の基本です。"

これ大事ですね～。絶対大事です！（＾＾

>追加：この考え方は応用系には通用しないかも知れないが、それは私は知らない。

応用系の定義が不明確ですが、なにかに応用しようというなら、間違った理論だと、それを適用したらおそらくすぐ「おかしい」「合わない」となりますよ
あと、実験系だと、「追試で再現されないぞ」となります。そこで、ウソがばれます
94 ：: >>87
＞マイケル・アチャ
馬鹿は口も回らないｗｗｗｗｗｗｗ
アティヤと云えないヤツは舌噛み切ってクタバレ
このクソ野郎
95 ：: 私が作用素環論に意図的に関わってたのは大学院時代の、しかも修士論文の時だけですか
らね。そしてそれ以降は（道具として使う事は幾分はあっても）直接に、そして積極的には関
与してませんし、また研究集会にも一切参加はしてません。だから特に何か言うべき事はあり
ませんね。但し「閉鎖的な印象を持つ」というのはありますがね。尤も閉鎖的というのは『何も
作用素環論に限った事ではない』でしょうね。他にもこういう研究分野は幾らでもあるだろうし、
加えて「その事だけで批判されるのは不当」という事もあるでしょう。閉鎖的でも重要な研究
は幾らでもあるので。例えばフリードマンの研究（Cassonハンドルは通常のハンドルと位相同
相になる。但し微分同相ではない。これで4次元ポアンカレ予想が解決。）は一般位相空間論
の結果という分類でしょうね。

但し作用素環論に関しては『問題意識が外部に向かって開いてない』という印象がどうしても
強く、この事が他分野の人からすれば「アクセスしにくい」という印象を持つ事にはなるでしょう。
でも他にも（一般位相空間論とか数学基礎論、非可換環論の事例を出すまでもなく）例えば抽
象ホモトピー論みたいな私が非常に重視する研究分野だって「閉鎖的だ！」という意見を吐く
人も居るし、だからこれだけでその分野を問題視は出来ませんよね。また外国人数学者です
が「D-加群の一般論は閉鎖的で孤立した分野」という言い方をする人も居ます。だからこうい
うのは、その人それぞれかと。

私自身は（個人的に）作用素環論に積極的に興味が持てないだけであり、重要な研究は確か
にあると思いますね。

￥
96 ：: その『所謂、応用数学』に関して幾分のコメントです。私自身も定義が判らないので。

１．そういう言葉を使ってるというだけでは応用数学にはならない。（フリをするのは簡単。）
２．応用数学だからというだけの理由で「厳密でなくてもいい」という免罪符はダメ。
３．本当の意味で『応用である』というのは、実は猛烈に難しい。
と思います。このうち１．と２．はまあ当然（数学は言葉遊びではないので！）としても、でもこ
の三番目は非常に重大なポイントでしょうね。

要は『数学の外部にアルものをモデル化する』というのが、本来の意味の応用数学なんだと
思いますが、この際に：
（あ）そのモデルが「どういう意味で」妥当なのか。Plausibilityの問題。
（い）そのモデルは『どういう論理構造』を持つのか。厳密性の階層の問題。
の二つは完全に別物ですよね。私が気になるのはこの（い）だけであり、最初の（あ）を実際
に「どうやって判定するのか」という様な事柄は、私には判りません。

例えば何時ぞやの議論になった：
★★★『数値的に良く合うというだけで、その数学モデルが正しいとは言えない。ケプラー問題の事例』★★★
という様な事もありますから、そんなに簡単な話ではないでしょう。例えば：
プトレミー：数値的には良く合うが発展性が少ない。
ケプラー：数値はさて置き、構造が多い（ブルバキ的な言い方ですが）
という様な事が、まあ『現代的な幾何学に繋がった』という様な事ではないかと。

だからこの「Plausibilityの問題」に関しては、私にはその感覚が無いので判りません。こういう
のは、例えば確率論と数理統計学の関係みたいな話かと。

￥
97 ：: >>89
> そもそもH1,H2が可測になるとは云ってない

往生際が悪いところも>>1とそっくりだな(笑)

>>17で自分が書いたことを忘れちゃったの？
自分で「H1∈F⇒μ_r×μ_r'(H1)が求める確率である」って書いてるじゃん
fが非可測ならH1∈Fが言えないからお前の主張は通らないの

>>17
> H1∈Fならばμ_r×μ_r'(H1)が求める確率である

> H2∈Fならばμ_r×μ_r'(H2)が求める確率である

> 私の主張は
> μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
> μ_r×μ_r'(H1)＋μ_r×μ_r'(H2)＝１
> の2点に尽きる

>>48
> (d(r1), d(r2))のように、r1,r2に同じdを作用させてる時点で
> r1とr2の入れ替えだけで交換できるH1とH2に対する
> 確率が異なってしまうことはあり得ない

「異なってしまうことはあり得ない」と直感で語られても困る(笑)
確率が"異なる"とか"同じ"とか言う前に確率を"計算できない"

そもそも直感を測度論で正当化できないことが記事の主題なわけだ
そこをすっ飛ばして「あり得ない」「確率は同じだ」と強く迫られても困っちゃうな(笑)
お前の直感や信念を否定するわけじゃないけど論理ミスは>>48で指摘済み
話はもう終わってます
自分の間違いを認められないなら>>1と同じくidiot(笑)
98 ：: >>89
> (d(r1), d(r2))のように、r1,r2に同じdを作用させてる時点で
> r1とr2の入れ替えだけで交換できるH1とH2に対する
> 確率が異なってしまうことはあり得ない

>>48じゃなくて>>89でしたね
99 ：: >>53
＞A
＞違うね
＞１．100個の箱の中には、サイコロを振って、１～６の数を入れる。箱の中の数を当てる確率は１／６であり、1/100 ではないよね
バカ丸出しｗ
100 ：: >>78

>この人が以前に東大分生研で研究不正の疑いを掛けられて、その取り調べの時に：
>★★★『私ははもう既に教授に昇進してるので、だから研究不正をスル動機がもうありません。』★★★
>とか言ったらしいです。（どっかのネットの記事にそう書いてあった。だから真偽は不明。）

ああ、人間らしいね
だが、人間の欲望には限りなく、教授の次は、学部長、次は副学長、学長とか、つぎつぎに（＾＾
だから常に「動機あり」ですよね（＾＾

>追加：生命科学に比べれば純粋数学は誤魔化しが効かないのは確かですが。でもだからと
>言っても「小保方みたいなニセ博士」も結構居ると思う。

まあ
数学でも
ですかね？（＾＾
困ったことですね

100～のスレッドの続きを読む

文理融合のための数学教育
「これ、本当に重要か？」って数学の概念
【1教科】山口大学理学部数理科学科【偏差値52.5】
自然対数ｅっていったい何者なの？
サイコロはどの目も出る確率が6分の1←根拠は？
【未解決問題】奇数の完全数が存在しないことの証明3
巨大数探索スレッド13
山口大学理学部数理科学科
数学統計に詳しい人が語るコロナウイルス
数学の本第82巻
--------------------
【ウマ娘ﾌﾟﾘﾃｨｰﾀﾞｰﾋﾞｰ】ダイワスカーレットは笑顔で頑張る可愛い2
福岡市には美人が多い…おしゃれに金使うからと判明
なろう「塩は海水から採れるんだぞ」王様「な、なんだと！？」 [324064431]
【ＵＳＡ】トランプ大統領「アップルは米国に工場を」強気の姿勢崩さず
【目からり…鱗】星　空　凛
ゆるキャン△ Part5.1
絶望
【はいふり】柳原麻侖と愉快な仲間達でぃ！2【機関科総合】
【MHW】受付嬢アンチスレ HR32【開発必読】
長崎の精神科医大坪先生の腕前について語れ！
【FC・SFC】歴代ハードクラシックミニ総合【NG・MD・PS】
Pioneer ±R/RWﾄﾞﾗｲﾌﾞ「DVR-A10J・110系」 Part10
野々村病院の人々
【東方神起】ユノ・ユンホ避難所420【(∵)を注文】
【Netflix】トラベラーズ
ローカル路線バス乗り継ぎの旅★２【ﾙｲﾙｲ＆蛭子】
【ガンダム】FW GUNDAM CONVERGE 85【コンバージ】
事故事例研究会
【Huawei】ファーウェイ製スマホ、microSDも搭載不可に。SDアソシエーションからも排除
【デリ】ビジホに泊まった時の高揚感11【キャバ】
TOP カテ一覧スレ一覧 100～終まで 2ch元削除依頼

現代数学の系譜 古典ガロア理論を読む37

現代数学の系譜古典ガロア理論を読む37