19/03/30 20:55:55.97 3xHZdnzF.net
このスレの常連さん説明
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)、
どこかの（某大学） 数学科卒 修士課程修了らしい
東京大学とか（>>43）、すぐわかる明白なウソをいうやつだ
こいつの発言は、全く信用できないので、基本スルーだ
スレ32 ｽﾚﾘﾝｸ(math板:351番)
(抜粋)
私？某大学の数学科卒 修士課程修了ですが何か？
ま、この程度でHigh Level Personなんていうほど自惚れちゃいませんよ
やっぱ博士号くらいとらないと数学の世界では人間とは認められませんから
(引用終り)
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
スレ28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたんだが（下記見るとこの人が、スレ28を立てたみたい）
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)＜(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義（>>517）も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
3)
あと、”High level people”を言い出した、英語おじさん（このスレで英語でのみカキコした人）がいたんだ
この人が、”High level people”を連発したので、借用させてもらったのだ（＾＾
4)
あと、”これは酷い”おじさん。これしか言わない、一言居士。英語おじさんと同一かも
さらに、キチガイサイコパスと同じ趣旨を書くのが一人いる。サイコパスピエロに、チョウチンをつけることが多い。サイコパスの成りすましの可能性もありかも
まあ、常連は、全員数学の非専門家（プロではない）
∵数学のプロが、こんなところに粘着するわけがない（＾＾
常連さんは、こんなところだ
まあ、解説が漏れていたら、ご容赦
全員、基本はスルーな
以上、おっちゃんと、このスレのROMさんたちのための、常連さん解説でした（＾＾；
4:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 20:56:55.66 3xHZdnzF.net
＜過去スレ＞ （そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 ｽﾚﾘﾝｸ(math板)
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ）
過去スレリンク集
62 ｽﾚﾘﾝｸ(math板)
61 ｽﾚﾘﾝｸ(math板)
60 ｽﾚﾘﾝｸ(math板)
59 ｽﾚﾘﾝｸ(math板)
58 ｽﾚﾘﾝｸ(math板)
57 ｽﾚﾘﾝｸ(math板)
56 ｽﾚﾘﾝｸ(math板)
55 ｽﾚﾘﾝｸ(math板)
54 ｽﾚﾘﾝｸ(math板)
53 ｽﾚﾘﾝｸ(math板)
52 ｽﾚﾘﾝｸ(math板)
51 ｽﾚﾘﾝｸ(math板)
50 ｽﾚﾘﾝｸ(math板)
以下次へ
5:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 20:57:26.39 3xHZdnzF.net
49 ｽﾚﾘﾝｸ(math板)
48 ｽﾚﾘﾝｸ(math板)
47 ｽﾚﾘﾝｸ(math板)
46 ｽﾚﾘﾝｸ(math板) ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 ｽﾚﾘﾝｸ(math板)
44 ｽﾚﾘﾝｸ(math板)
43 ｽﾚﾘﾝｸ(math板) （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
42 ｽﾚﾘﾝｸ(math板)
41 ｽﾚﾘﾝｸ(math板)
40 ｽﾚﾘﾝｸ(math板)
（40以降現代数学の系譜 工学物理雑談 古典ガロア理論も読む)
（39以前 現代数学の系譜 古典ガロア理論を読む)
39 ｽﾚﾘﾝｸ(math板) （別名 数学セミナー時枝記事の墓）
38 ｽﾚﾘﾝｸ(math板)
37 ｽﾚﾘﾝｸ(math板)
36 ｽﾚﾘﾝｸ(math板)
35 ｽﾚﾘﾝｸ(math板)
(35以降 現代数学の系譜 古典ガロア理論を読む)
(34以前 現代数学の系譜11 ガロア理論を読む)
34 ｽﾚﾘﾝｸ(math板)
33 ｽﾚﾘﾝｸ(math板)
32 ｽﾚﾘﾝｸ(math板) (251 サイコパスのピエロ登場 ID:1maZ/hoI )
31 ｽﾚﾘﾝｸ(math板)
30 ｽﾚﾘﾝｸ(math板)
以下次へ
6:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 20:57:43.99 3xHZdnzF.net
29 ｽﾚﾘﾝｸ(math板)
28 ｽﾚﾘﾝｸ(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
27 ｽﾚﾘﾝｸ(math板)
26 ｽﾚﾘﾝｸ(math板)
25 ｽﾚﾘﾝｸ(math板)
24 ｽﾚﾘﾝｸ(math板)
23 ｽﾚﾘﾝｸ(math板)
22 ｽﾚﾘﾝｸ(math板)
21 ｽﾚﾘﾝｸ(math板)
20 ｽﾚﾘﾝｸ(math板) （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
19 ｽﾚﾘﾝｸ(math板)
18 ｽﾚﾘﾝｸ(math板)
17 ｽﾚﾘﾝｸ(math板) （314 2015/12/20 数学セミナー2015年11月号の記事『箱入り無数目』の最初）
16 ｽﾚﾘﾝｸ(math板)
15 ｽﾚﾘﾝｸ(math板)
14 ｽﾚﾘﾝｸ(math板)
13 ｽﾚﾘﾝｸ(math板)
12 ｽﾚﾘﾝｸ(math板)
11 ｽﾚﾘﾝｸ(math板)
10 ｽﾚﾘﾝｸ(math板)
9 ｽﾚﾘﾝｸ(math板)
8 ｽﾚﾘﾝｸ(math板)
7 ｽﾚﾘﾝｸ(math板)
6 ｽﾚﾘﾝｸ(math板)
5 ｽﾚﾘﾝｸ(math板)
4 ｽﾚﾘﾝｸ(math板) スレタイに4が抜けてますが(4)です
3 ｽﾚﾘﾝｸ(math板)
2 ｽﾚﾘﾝｸ(math板)
1 ｽﾚﾘﾝｸ(math板)
以上
7:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 20:58:05.19 3xHZdnzF.net
以下、暫くテンプレ貼りを続けます。
（参考）
URLﾘﾝｸ(mathmathmath.dotera.net)
数学＠2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
URLﾘﾝｸ(www.dslender.com)
DS数学BBSへ 練習用BBSへ
【掲示板での数学記号の書き方例（2chのものを若干変更）】
追加（良く使うが出しにくい記号）
＼ ⇒⇔∈∋⊂⊃∀∃?（アレフ）買ﾐΠπζ∴∵
8:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 20:58:32.93 3xHZdnzF.net
趣味の定期巡回5chスレ （＾＾；
余談ですが、望月新一先生持ちこたえているみたい。つまり、IUTTは正しい可能性大だと思う（＾＾
（完全にヤジウマです）
Inter-universal geometry と ABC予想 37 ｽﾚﾘﾝｸ(math板)
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
math jin：（IUTT情報サイト） URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (November 2015) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (April 2016) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
(引用終り)
URLﾘﾝｸ(ja.yourpedia.org)
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
集合論は無限の階層を持つ。
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。
圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。
このモデルとなるのがグロタンディーク宇宙である。
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
Inter-universal Teichmuller theory (abbreviated as IUT)
(抜粋)
Contents
1 History
2 Mathematical significance
2.1 Scope of the theory
2.2 Consequences in number theory
3 References
4 External links
(引用終り)
(deleted an unsolicited ad)
9:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 20:59:00.77 3xHZdnzF.net
大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めて�
10:るんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ） （ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ） 以下過去スレより再掲 http://rio2016.2ch.net/test/read.cgi/math/1492606081/7 7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね ガロアスレは別として、数学板は焼け跡かな 再生は無理だろう そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない アスキー字に制限され、本格的な数学記号が使えない 複数行に渡る記法ができない 複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない） 大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
11:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:01:44.04 3xHZdnzF.net
個人的には、下記類似” 先生＞周りの人＞知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾
ｽﾚﾘﾝｸ(math板:494番)
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾；
URLﾘﾝｸ(note.chiebukuro.yahoo.co.jp)
Yahoo 知恵袋
数学の勉強法 学部～修士
ライター：amane_ruriさん 最終更新日時:2012/8/6
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）
2. 2ｃｈ*)の内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り) (注*)：2ｃｈは、現5ｃｈ)
12:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:02:22.29 3xHZdnzF.net
過去スレより
ｽﾚﾘﾝｸ(math板:338番)
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか
有名な話で、有限単純群の分類
”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか
おいおい、競馬じゃないんだよ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
13:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:03:24.46 3xHZdnzF.net
>>11補足
ｽﾚﾘﾝｸ(math板:352番)
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
14:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:04:01.00 3xHZdnzF.net
スレ56より
ｽﾚﾘﾝｸ(math板:178番)
>「イメージ」はバカが使う言葉
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いているぞ(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだよ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
（しばしば、厳密性な証明は後から与えられることも多くあった）
(引用開始)
スレ24 ｽﾚﾘﾝｸ(math板:654番) より
（抜粋編集）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.amazon.co.jp)
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである
(引用終り)
15:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:04:22.34 3xHZdnzF.net
スレ56より
ｽﾚﾘﾝｸ(math板:180番)
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
16:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:06:20.14 3xHZdnzF.net
>>11 補足
＜数学ディベート＞について
過去スレより
ｽﾚﾘﾝｸ(math板:50番)
50 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/06
どこの馬の骨ともしれん連中との、数学ディベートもどきより
URLとコピペやPDFの方によほど価値を見いだすスレ主です（＾＾；
ｽﾚﾘﾝｸ(math板:189-190番)
189 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09
いやはや、（文系） High level people たち（ ID:jEMrGWmk さん含め）の、数学ディベートもどきは面白いですね（＾＾；
”手強い？”とは・・、まさに、ディベートですね
私ら、理系の出典（URL)とコピペベース、ロジック（論証）＆証明重視のスタンスと、ディベートもどきスタイル（２ＣＨスタイル？）とは、明白に違いますね
私ら、（文系） High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ（＾＾；
190 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/09
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから
典拠もなしによく議論しますね～。よく分かりましたよ（＾＾；
私とは、議論がかみ合わないわけだ・・
”他サイトからのコピペでスレを埋め尽くす行為” なんて非難されましたけどね～（＾＾；
ディベートに勝ちたいからそういう発言なんですね～。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ（＾＾；
17:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:07:08.51 3xHZdnzF.net
過去スレより
(当のおっちゃんは、他のスレで苛められて、逃げて、偶にしか戻ってこないが（＾＾ )
ｽﾚﾘﾝｸ(math板:638番)
638 名前：現代数学の系譜 古典ガロア理論を読む[sage] 投稿日：2017/07/11(火) 08:40:28.58 ID:+FRiTcES
>>630
おっちゃん、どうも、スレ主です。
>>まあ、おっちゃんが、上記を理解したら、時枝は終わりにしよう
>マジメに時枝問題のことでスレ主に付き合う気はなく、
>もはやそういうことをする価値もない。
>スレ主自身の主張や考え方が大きく間違っていることを私のせいにするべきではない。
いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ～（＾＾
がまあ、おっちゃんのいう「価値もない」にも一理ある
ということで、皆さん悪いが、時枝は、一時棚上げだ。時々やろう
下記のパロディーで言えば、「数学雑談&ガロア理論 ～おっちゃんとボクと、時々、（時枝 ＆ ￥さん）～」かな（＾＾
まあ、話題を散らしながら、ゆっくりやりましょう（＾＾
おっちゃん！ いま気になっていることを、好きに書いてくれ！（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
東京タワー ～オカンとボクと、時々、オトン～ - Wikipedia
(抜粋)
『東京タワー ～オカンとボクと、時々、オトン～』（とうきょうタワー オカンとボクと、ときどき、オトン）は、リリー・フランキーの実体験を基にした長編小説である。
2006年と2007年にテレビドラマ化（単発ドラマと連続ドラマ）、2007年に映画化、舞台化されている。
2005年6月29日、扶桑社より発売された[1]。装丁もリリー本人。初版は3万部だった。2006年1月には100万部を突破。2006年10月31日には200万部（扶桑社発表）を越すベストセラーとなった。
久世光彦が「泣いてしまった…。これは、ひらかなで書かれた聖書である」と評価した。
(引用終り)
18:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:07:33.58 3xHZdnzF.net
「現代数学のもとになった物理・工学」のスレタイ 解題：
言わずもがなですが、数学の発展の大きな原動力は、物理です。数学の発展の大きな原動力は、工学です。
別に説明するほどのこともないですが。
古代の幾何学の背景に、実際の土地測量や巨大建築からの要請が原動力にあったことは間違いないでしょう。
ニュートン以来の解析や数論も同様。
で、物理学の背景に、工学に直結する日常のいろいろな事象がある。戦争というのも、大きな要因ではあります。仏エコールポリテクニークなども、ナポレオン戦争遂行のための工学校です。
（URLﾘﾝｸ(ja.wikipedia.org) エコール・ポリテクニーク 1804年にナポレオン・ボナパルトによって軍学校とされる）
工学が物理の進展を促した面は多々あります。有名なプランクの熱と光の放射の理論を研究した背景に、当時の工学的課題であった、高温物体を光学測定により正確な温度を知るため（今の光温度計）であったと言われています。
つまり、工学的課題「高温物体を光学測定により正確な温度を知るための光温度計」→物理的課題「高温物体の光放射理論構築」→プランクの量子仮説→量子力学の誕生→作用素環→非可換幾何（現代数学）ということなのです。
コンヌ先生もおっしゃっているそうですが、物理や工学の課題は、いままでもそうですが、現代数学のエネルギー源なのです。
京大数学科がだめになったのは、「20世紀の古い数学に閉じこもってしまった」というようなことがあるのではないでしょうか？ 新しい数学へのチャレンジが無い？
（参考 過去スレ39 ｽﾚﾘﾝｸ(math板:476番) (抜粋)「自己顕示欲だけが目的で人生を送り、ほんで他人の邪魔ばっかししてるから筑波とか京大みたいになってアカン様になんのや。」 ）
19:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:08:48.42 3xHZdnzF.net
さて、スレ54で議論していたのが、下記の定理1.7と関連の系1.8だ
（スレ53で一段落ですが）
定理1.7 (スレ26のNo.422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }
と置く: もしR－Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である．
証明
このとき, 補題1.5 を満たすN,M >= 1 が存在するので, 明らかにx ∈ BN,M である.
系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.
証明
定理1.7 が使えて, f はある開区間(a, b) の上でリプシッツ連続である.
一方で, x ∈ Q とf の仮定により, f は点x で不連続である. これは矛盾. よって, 題意が成り立つ.
(引用終り)
詳しくは、スレ62 ｽﾚﾘﾝｸ(math板:18番)-20ご参照
なお、
ｽﾚﾘﾝｸ(math板:169番)
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
169 名前：１３２人目の素数さん[sage] 投稿日：2018/01/21(日) 16:03:36.47 ID:lFNYSsdP
ちなみに今ガロアスレではスレ主が「背理法が分かってない」ことが判明し燃えているw
そしてID:792180RTことおっちゃんも背理法を分かっていなかった事実がある。
君らが相手にしているのはこのような輩である。
(引用終り)
”スレ主が「背理法が分かってない」”と書かれているが、これは全くの逆である
この議論中で、系1.8の背理法が問題になって、「私スレ主が背理法分っていない」という誤解された途中経過を辿ったが、その実定理1.7の証明が不成立であったから、系1.8の背理法も成立していないことが、はっきりしたというのが正しい。
（結局、途中私一人だけが正しく「背理法不成立を指摘した」ということです（＾＾； ）
なお、この定理1.7と関連の系1.8 に関連して、ほんといろんなことを勉強させてもらって、良かったよ。感謝しています（＾＾；
20:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:09:29.33 3xHZdnzF.net
さてさて、
時枝問題（数学セミナー201511月号の記事）まとめについては
スレ47 ｽﾚﾘﾝｸ(math板:11番)-67 ご参照！
（ 特に時枝記事アスキー版 スレ47 ｽﾚﾘﾝｸ(math板:18番)-25 ）
スレ54 ｽﾚﾘﾝｸ(math板:94番)
94 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/11/01(木) ID:ypCHJLQo
>>89
>「どの同値類が来ても、それに対応する(有限値の)決定番号を準備出来ますよ」
>ということです
>だから決定番号が有限に収まる確率は1になる
突然で、話が見えない人も多いだろうから、簡単に書くと
数学セミナー 2015年11月号 箱入り無数目 時枝 正（下記参考）で
話の前提は、こうだったね
１）可算無限個の箱の列（まあ自然数で１番～n番までの箱で、n→∞を実現したよと）
２）箱に任意の数を入れる（実数でもなんでも良し。重複も許す）
３）この数列を、列のしっぽの同値類で分類する
４）二つの数列において、ある番号mから先の数列しっぽが一致するとき、mを決定番号と呼ぶ
で、その流儀の説明倣えば
ａ）決定番号が１になる確率（２列の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
b）決定番号が２になる確率（２列の２番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
c）以下同様に、決定番号がｋになる確率（２列のｋ番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
d）よって、どの有限な決定番号を考えても、それ以降の全ての、しっぽの対応する可算無限個の箱の数が、一致する場合の確率は、０になります ！！（＾＾ （∵しっぽが可算無限個の箱の列だから）
（参考）
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2015年11月号
箱入り無数目────────時枝 正 36
(引用終り)
ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です！ ＼（＾＾）／
21:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:10:23.05 3xHZdnzF.net
>>19
つづき
なお、これ過去スレに書いたけど
スレ59 ｽﾚﾘﾝｸ(math板:840番)
840 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/03(日) 14:47:03.11 ID:BnDtX2yP [9/79]
纏めると
１）大学数学科で３年、４年で確率論と確率過程論を学べば、
それは時枝記事と不一致で、時枝不成立はすぐ分る
２）だが、さらに進んで、当たらないのになぜ当たるように見えるのかが問題になる
３）一つは、すでに述べたが、同値類である元と代表とを比較して、
なにか確たることが言えるが如くの標準外のトンデモ論法を使っているところだと
（例えば >>683-684 ご参照）
４）もう一つが、可算無限長の数列のしっぽの同値類にある
しっぽの箱を開けると、どの同値類に属するかが分る。
だが、それが分る全てだ。
どの同値類に属するかが分っても、箱の中の数で分るものが増えるわけでなないよと
（細かい議論は、上記>>838などをご参照）
で、最近、時枝の可算無限個の数列のシッポの同値類と、函数の芽の同値類（茎、層の関連）との対応で
これで、「時枝がなぜ当たるように見えるのか（実際は当たらないのに）」が説明できそうだということ
細かい話は、スレ62 ｽﾚﾘﾝｸ(math板:22番)-30ご参照
つづく
22:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:11:34.89 3xHZdnzF.net
つづき
< 時枝記事への敗北宣言か勝利宣言か？ （１）（＾＾； >
スレ55 ｽﾚﾘﾝｸ(math板:484番)
484 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/08(土) 22:50:48.10 ID:bIDCQoJi [42/43]
>>481
はいはい
>スレ主が以下のものを出すようになったら敗北宣言
じゃ、もっと敗北宣言を、させて下さい
１）全国の数学科生に告ぐ ＊＊）
どうぞ、大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ
及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可）
その方のサイトに、その方の実名で、アップしてもらえませんか？
（文案はどなたが書いても可です。その方が承認してアップするならね）
２）どうぞ、このスレ主に敗北宣言を出させて下さい
私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します
赤っ恥で結構です。
私は、このスレを閉じますよ。
（まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね）
３）それが出るまでは、私の勝利＊です（ 注＊：これ定義です（＾＾； ）
注＊＊）：どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です
上記１）について、よろしくお願いします。（＾＾；
（つまらん、低レベル（落ちこぼれレベル）の議論を、延々続けても仕方ないですからね）
それまでは、上記３）の定義の通り、私の勝ちです（＾＾
以上
23:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:12:40.84 3xHZdnzF.net
つづき
< 時枝記事への敗北宣言か勝利宣言か？ （２）（＾＾； >
スレ55 ｽﾚﾘﾝｸ(math板:571番)
571 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/11(火) 11:18:02.05 ID:5Lj3GQW7 [2/8]
>>549
「大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は誤り”
ということ及び、その理由を数学科の学生が検証できる程詳しく書いて
教員の実名で当人のサイトにアップしてもらいな」
はい
大学で数学を教えている恩師のところへ行ってきました
以下は、その概略です（＾＾
１．時枝記事の解法は成り立たない
２．それは、大学で数学を教える教員全員の常識だし
不成立が理解できないのは、数学科生としては、落ちこぼれだね
３．だが、それを実名で公表することは、日本でははばかられ�
24:� 時枝先生に賛成して”よいしょ”するのは実名でも可だが 反旗をひるがえして”反論”するのは、ははばかられるってこと みんな知っていることだし、いまさらだからね ４．そうか、ピエロというのがいるのか？ そいつは、完全に数学科落ちこぼれだな 彼は、選択公理を濫用している。選択公理で何でも簡単に証明できるなら、ツォルンの補題は不要だ 彼は、サイコパスで、誇大妄想・自己肥大だね 数学科出て不遇なのか。だが、性格が悪いし、能力が低いから、仕方ないね ということでした 私は、この面談の詳細な証明を持っているが、このスレの余白は狭すぎる。証明は思いつくであろう ということです。数学では、反例は一つで良い！ どうぞ、皆さんの手で反例を（>>21を使って）出して下さい ピエロ、頑張れよ（＾＾
25:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:16:58.78 3xHZdnzF.net
数学科出身者同士の見えない繋がりで、落ちこぼれを救うべく、「クソスレ閉めろ！」と言う人は
是非>>21 を実行願います
>数学科出身者同士にも見えない繋がりがあるんだよ
>敵は一人と思ってるスレ主には見えてないだけ。
はい、それ、是非実現願います（＾＾；
その見えない数学科出身者同士の繋がりってやつ、>>31 を即実現して、証明してください。簡単でしょ？
直ちに、この数学板への書き込みを止めますからｗ （＾＾
（なお、数学科１～２年で、まだ大学の確率論・確率過程論を終えていない人で、時枝記事が分らない人は、教員でなくとも、先輩の大学4年ないし修士以上やTAなどに聞いてみてください。 時枝記事不成立を教えて貰えますから）
26:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:23:14.03 3xHZdnzF.net
>>23
つづき
で、初歩の初歩「確率変数ってなに？」が分っていない人が、したり顔で時枝を語るの図
まさに、サイコパスそのものだね（＾＾；
(引用開始)
過去スレ35 ｽﾚﾘﾝｸ(math板:15番)
時枝問題（数学セミナー201511月号の記事より）
(抜粋)
独立な確率変数の無限族
X1，X2，X3，…
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)
（参考：>>1のサイコパスのピエロ発言例）
特に「実際に人を真っ二つに斬れたら 爽快極まりないだろう」にご注目ください（＾＾；
過去スレ58 ｽﾚﾘﾝｸ(math板:768番)
768 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/01/25(金) 06:35:26.99 ID:sw2GMLb3 [1/29]
それさ、時枝記事の話じゃなく
例えば下記の彼の発言引用みたいに
誰彼かまわず些末な揚げ足を取って
その実自分が間違えていて、
あるいは、理解不十分な難癖で
それが明らかになったら、
”君子豹変”で自己を正当化するが
その途中で相手に暴言を吐く
そういうサイコパス（＝ピエロちゃん）を、たしなめている
そういうことだと思うよ
もっと言えば、それを繰返すなら、コテ付けろと
NGするからみたいな（＾＾
”実際に人を真っ二つに斬れたら
爽快極まりないだろう”
か、全くサイコパスだねー
この発言が通常人にどう受け止められるか、理解できないんだろうね、彼には
つづく
27:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:24:22.77 3xHZdnzF.net
つづき
(引用開始)
(>>351より)
実際に人を真っ二つに斬れたら
爽快極まりないだろう
(>>352より)
なんだ、スレ主と同じ自己中か
焼かれて死ね
(>>612より)
勝手に吠えろ 狂犬
(>>616より)
狂犬がワ
28:ンワン吠えたおかげで 「代表元も決定番号もプレイヤーが勝手に知ればいいので ディーラーがそんなこと分かったら逆におかしい」 ということが明らかになった これこそ明確な態度の変更 君子豹変 ありがとよ 狂犬！！！ (>>617より) 必要ないことに 今更ながら気づいちゃったから ということで君の三パターン、全然無駄だから どうだ 狂犬 自分の発言で自爆した気分は？ (引用終り) つづく
29:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:25:51.36 3xHZdnzF.net
つづき
＜サイコのバカ発言集追加＞（＾＾
（サイコのバカ発言）
前スレ58 ｽﾚﾘﾝｸ(math板:634番)
634 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:03:41.92 ID:JF7m6dzy [46/62]
>>632
>むやみに振り上げてしまった拳
ああ、お前の>>539な
勝手に降ろせよ だれも振り上げろなんて頼んでないし
だいたいディーラーを持ち出すことで何がどう面白いのか結局語れずじまい
「論理的に同じ」とかいう自明な話したいだけなら、最初から云うなよ
だれもそんなクソ話聞きたくねえよ！
（相手の発言）
前スレ58 ｽﾚﾘﾝｸ(math板:637番)
637 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:12:02.88 ID:69vKfGyL [44/50]
>>634
＞「論理的に同じ」とかいう自明な話したいだけなら、最初から云うなよ
＞だれもそんなクソ話聞きたくねえよ！
やっと認めましたね？
そうです。「論理的に同じ」とかいう自明な話なんです
「自明」とは「わざわざ書くまでもなく正しい」という意味であり、
つまりこちらの書き込みは正しい書き込みなんです
まあナンセンスな話だったかもしれないけど、でも正しい書き込みなんです
それにも関わらず、あなたは執拗に批判してきました
しかも、あなたは途中で「君子豹変」とか言って主張内容を変化させています
誰がどう見ても、あなたは無暗に振り上げてしまった拳をずっとおろせずに
「頭がオカシイ」としか言えなくなっています
つづく
30:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:26:21.01 3xHZdnzF.net
>>26
つづき
（サイコのバカ発言）
前スレ58 ｽﾚﾘﾝｸ(math板:639番)
639 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:18:55.31 ID:JF7m6dzy [49/62]
>>637
＞正しい書き込みなんです
＞それにも関わらず、
＞あなたは執拗に批判してきました
狂犬は「批判」といってるが全くの誤り
私は「ナンセンス」だといってるのである
「自明な正しさ」なんてまさに「ナンセンス」の極致
そんな話を長々と数学板でするんじゃねえ
というのはまさに当然のことｗ
＞「君子豹変」
ええ、イヌにはできないことを人間様としてやって差し上げました
そもそもディーラーを持ち出すことに違和感があったのですが
それは「プレイヤーが勝手にやってることをディーラーが知る」
という点にあったと気づいたので、それを明確にしました
あなたは「全部の箱にπを入れる」ことにまだ固執してるようですが
それはあなたが「固定」の意味を誤解したままそれすら認めないから
でしょう あなたは君子ではない 人ですらない イヌコロですｗ
つづく
31:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:27:12.18 3xHZdnzF.net
>>27
つづき
（相手の発言）
前スレ58 ｽﾚﾘﾝｸ(math板:650番)
650 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:52:40.04 ID:69vKfGyL [49/50]
>>648の続きになるが、そういえば君、最初からずっと
こちらの書き込みについて誤読がつづいてたね
途中で「君子豹変」とか言って主張を変えてみたりしながら。
君のクセは大体わかってきたよ
ロクに今までの流れを把握することもなく、その貧弱な読解力で
表面的に他人のレスを1回だけ読んでみて、それで発言の意図や
書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判するというわけだ。君の誤読の中でも最高にヤバイのは
＞全ての箱に同じ数をいれるかどうかは固定とは無関係
これだね。バカじゃないのｗ 一体だれが
「ぜんぶ同じ実数でなければ固定ではない」
なんて言ったんだよｗ「箱の中で転がり続けるサイコロ」というバカな発想を
封印するための最も簡単な手段が「全部π」なのであって、そういう意図で
>>506が書かれていることは>>506周辺の流れを見れば一目瞭然だろうが。
「全部π」と「固定」を機械的に結び付けるからそういう誤読になるんだよ
（相手の発言）
前スレ58 ｽﾚﾘﾝｸ(math板:653番)
653 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 18:08:43.45 ID:69vKfGyL [50/50]
>>652
＞おまえみたいな池沼に数学板は無理 もう書き込むな
いやあ、「君子豹変」とか言って途中で
主張を変えてしまうような池沼の発言は一味違うね
君のクセは大体分かってきたと既に書いた
まとめると、君はAI読みしかできず、相手の発言もその前後の文脈もまともに読まず、
それで発言の意図や書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判し、後になって気が変わると堂々と「君子豹変」とか言って
自分の主張を変えるクズだということ
こういう唯我独尊な感じ、アホ主の高圧的な態度にそっくりだね
さすがに君への興味は薄れたというか、「お里が知れた」ので、
もう君の相手は十分かな
(引用終り)
以上
32:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:29:19.59 3xHZdnzF.net
>>28
つづき
なお、確率変数の定義と説明は、下記 渡辺澄夫 東工大が分り易い
スレ62 ｽﾚﾘﾝｸ(math板:892番)
”可測関数X: Ω→Ω’
・関数のことを確率変数と呼ぶ
関数を出力と同一視（混同）する(X=X(w))
関数がランダムなわけではない”
”P10 なぜこんな定義をするのか
（Ω, B, P)がわからずX だけ観測できる人には
Ｘがランダムである場合も含む定義になっている
そこで関数X(w) とその出力値X を同一視して
確率変数(random variable)と呼ぶことにした。
これで「ランダムでないとはいえないもの」が定義された”
確率変数と”変数”の違いが分らない人がいるな（＾＾；
（スレ61より ｽﾚﾘﾝｸ(math板:131番) ）
131 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/20(水)
過去の確率変数論争（”確率変数は箱に入れられない”）に対し、下記の説明いいね！（＾＾
URLﾘﾝｸ(watanabe-www.math.dis.titech.ac.jp)
確率論入門 渡辺澄夫 東工大 2018
(抜粋)
P8 確率変数
可測関数X: Ω→Ω’
を（Ω’に値をとる）確率変数という
・関数のことを確率変数と呼ぶ
関数を出力と同一視（混同）する(X=X(w))
関数がランダムなわけではない
P9 確率変数の気持ち
W
（Ω, B, P)
数学的に定義されるが
観測できないものとする
運（w)の決め方は
定めないでおく
↓
Ｘ=X(w)
Xの値は 実世界で ランダムでない とはいえない
P10 なぜこんな定義をするのか
もともとランダムに値をとるということを数学的に
定義することができなくて困っていた
（Ω, B, P)がわからずX だけ観測できる人には
Ｘがランダムである場合も含む定義になっている
そこで関数X(w) とその出力値X を同一視して
確率変数(random variable)と呼ぶことにした。
これで「ランダムでないとはいえないもの」が定義されたがランダムとは何かについてはわからないままである
(引用終わり)
33:１３２人目の素数さん
19/03/30 21:29:54.02 qjGMLU0Y.net
..-‐''"￣~''‐,,
_,.-‐''" ''‐,,
,.-' ,.--､ ＼
/ /~~＼ / /ёｌ＼__ ﾞi,, ハ ／
. / ｌ /ΘヽV | ー'| | 丶、 ﾞi,, ／ ￣｀ヽ/ ふ
/ /ヽ 二 ｜、￣ У ヽ、 ﾞi,, _,/ な な な ぅ
ｌ / ヽ＿__/ ヽ_／ L,,-‐''i" ′ る. る .る (
|/ （ | ,,..-‐"| | .| ほ ほ ほ )
‐‐|--,,.___ ｀Tﾞ | __,,⊥-! ど ど ど む
'i, | ￣l /＜ |
'i, '-､ 丶、/ / ＼ ＿_ ノ＼
'i, / -> | /丶､' ` ー― ´
_,. -‐く / ー′ l ,' ∠
X ', / ,' r'
/ ＼ '--─一'´ r'" _＿＿＿＿＿＿＿＿＿_
''‐- ＿＿,,...‐'、 .jﾞ~~| | | |
＿＿／ ＼ l_＿| | | |
| l / , ＼ｎ|| | | |
| l / / r. （ こ） | | |
| l | ⌒ ーnｎｎ |＼ (⊆ｿ .|_|_＿＿＿＿_＿＿＿＿_|
￣ ＼＿_､("二）￣￣￣￣￣ｌ二二ｌ二二 ＿|_|＿_|＿
34:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:31:52.00 3xHZdnzF.net
>>24 補足
(ご参考)
典型的サイコパスの典型的ウソつき反応
京大重川先生の確率論基礎 講義ノートが読めてないと“いじられる”
↓
「東京大学ですが何か？ｗ」と脊髄反射でウソを吐く
要するに、京大より自分が上だと、とっさのウソを言ったわけだ
だが、だれがピエロが東大だと思うのかね？ そのウソが通用すると思うところが怖いよね（＾＾
（参考引用）
スレ59 ｽﾚﾘﾝｸ(math板:957番)-962
957 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/03(日) 21:22:10.44 ID:BnDtX2yP [46/79]
Wikipediaだけじゃ、だめですよ（どっかで聞いたセリフだな（＾＾； ）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
重川一郎のホームページ 京都大学大学院理学研究科数学教室
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート
まあ、確率論基礎だからな
京大ではね
落ちこぼれの大学はどこだい？（＾＾
959 名前：１３２人目の素数さん[] 投稿日：2019/02/03(日) 21:23:44.99 ID:fS1IT7Pz [71/77]
＞大学はどこだい？（＾＾
東京大学ですが何か？ｗ
962 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/02/03(日) 21:29:01.38 ID:BnDtX2yP [48/79]
>>959
>＞大学はどこだい？（＾＾
>東京大学ですが何か？ｗ
わろた～ｗ（＾＾
今日一番の大笑いですｗｗ（＾＾
（なお、確率過程論については、下記が分り易いと思う
URLﾘﾝｸ(www.f.waseda.jp)
「確率過程とその応用」管理人 逆瀬川浩孝 早稲田大学）
35:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:34:11.26 3xHZdnzF.net
>>22 補足
スレ62 ｽﾚﾘﾝｸ(math板)
955 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/03/28(木) 21:24:02.18 ID:7L3ElMut [4/7]
Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
”independently and uniformly”が、独立同分布（IID)を含意
区間[0, 1]から、∀iで、任意の実数 xiを選べば、「ルベーグ測度は0」だから、的中確率も0だ
独立同分布（IID)で、”箱”つまり”i”の範囲は、有限あるいは無限どちらも無関係だ
よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実を選べば、「ルベーグ測度は0」だから、的中確率も0だ
（時枝記事は、区間[0, 1]→R全体だから、さらに的中は難しい）
さて、∀i xi で確率0が、スタート地点になる！（最初はgoo!でなく、最初は確率0だ）
時枝記事で、最初の１列の無限個の箱∀i xi で確率0
が、時枝記事の並べ変えを行うと、∃i xi で確率99/100になるという
”確率0”�
36:ﾍ、大学で学ぶ現代確率論（確率過程論）よりの結論 一方”∃i xi で確率99/100”は、数学セミナーの時枝記事よりの結論 ∃i xiの箱は、二つの異なる確率0と99/100と、二つの値を取ることになる（矛盾） かつ ∃i xiの”i”については、そのときの決定番号との関係で、可能性としては、1～∞の値を取り得る すると、1～∞の値のどの”i”についても、二つの異なる確率 0と99/100と、二つの値を取ることになる（さらに矛盾） つづく
37:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:36:08.69 3xHZdnzF.net
>>32
まず訂正
よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実を選べば、「ルベーグ測度は0」だから、的中確率も0だ
↓
よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実数を選べば、「ルベーグ測度は0」だから、的中確率も0だ
つづき
>独立同分布（IID)で、”箱”つまり”i”の範囲は、有限あるいは無限どちらも無関係だ
>よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実数を選べば、「ルベーグ測度は0」だから、的中確率も0だ
唯一(ただ一つ)の分布を考えれば良い
独立同分布（IID)は、仮定つまり与件です。これは覆せない！（＾＾
まあ、”独立同分布（IID)”が、ピンと来ていないんだろうね。それは、大学教程の確率論・確率過程論を学べば分るが、”落ちこぼれ”には理解できないんだろうね
早く、>>31を実行してねｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid）や独立同一分布（どくりつどういつぶんぷ）とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。
ホワイトノイズ
ホワイトノイズは、IIDの単純な例である。
URLﾘﾝｸ(ja.wikipedia.org)
ホワイトノイズ
(抜粋)
よく聞くノイズの例で擬音語で表現するなら、「ザー」という音に聞こえる雑音がピンクノイズで、「シャー」と聞こえる音がホワイトノイズである。
URLﾘﾝｸ(ja.wikipedia.org)
ホワイトノイズの例
カラードノイズ
(有色雑音)
ホワイト
ピンク
ブラウニアン/レッド
グレイノイズ
(引用終り)
38:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:37:52.50 3xHZdnzF.net
>>33
つづき
まあ、時枝記事が言っているのは、箱に”ホワイトノイズ”で生成される値を入れたとして、箱の並べ変えと同値類を使って、
ある箱の”ホワイトノイズ”で生成される値が、99/100の確率で的中できるという話しなんだけどね
まあ、ともかく>>21を実行してください。そうすれば、大学のプロ教員から、「なにが正しいか」を教えて貰えるからね！！（＾＾
>独立同分布（IID)は、仮定つまり与件です。これは覆せない！（＾＾
>まあ、”独立同分布（IID)”が、ピンと来ていないんだろうね。それは、大学教程の確率論・確率過程論を学べば分るが、”落ちこぼれ”には理解できないんだろうね
仮定つまり与件は、当たり前だが、数学的な推論をいくら並べても、これを覆すことはできない。もし、矛盾が生じるなら、推論が間違っているか、前提が間違っているかだ
ところで、独立同分布（IID)の仮定は、大学の確率過程論で、正しいと認められているので、矛盾が生じるなら、推論が間違っている
なお、高校レベルの確率論で、大学レベルの確率論・確率過程論を覆すことはできない。これもまた自明だ
これが分からない人は、>>21を実行ください。はよやれ！（＾＾
つづく
39:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/30 21:41:15.27 3xHZdnzF.net
>>34
つづき
なお
スレ62 ｽﾚﾘﾝｸ(math板:949番)
・ヴィタリ集合の意味する非可測は、0と∞を含む「いかなる値も λ(V) の値として定義してはいけない」ということ
・一方「可算集合のルベーグ測度が0であることの証明」（下記）にあるように、”有理数の各点のルベーグ測度は0”である
・時枝記事の無限次元R^N空間は、このままでは例えば”ヒルベルト空間”ではなく、計量が入らない
時枝記事では、ヴィタリ集合うんぬんを書いているが、もともと無限次元R^N空間に計量が入っていないから、ミスリードだな
（実数Rに計量が入っているヴィタリ集合の非可測とは、事情が全く異なる）
ご苦労さまでした（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
(抜粋)
数学において、ヴィタリ集合とはジュゼッペ・ヴィタリ (1905)によって作られたルベーグ不可測な実数集合の基本的な例である。
不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の
40:下で示される。 ルベーグ測度は平行移動について不変なので λ (V_{k})=λ (V) である。ゆえに、 1 <= Σk=0～∞{λ (V)} <= 3 であるが、これは不可能である。 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。 すなわち V は可測であってはいけない。 つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。 http://chemicallogical.hatenablog.com/entry/2017/10/09/194528 インフラSE日記 2017-10-09 可算集合のルベーグ測度が0であることの証明 https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E7%A9%BA%E9%96%93 ヒルベルト空間 (抜粋) 数学におけるヒルベルト空間（ヒルベルトくうかん、英: Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。 定義 H がヒルベルト空間であるとは、H は実または複素内積空間であって、さらに内積によって誘導される距離関数に関して完備距離空間をなすことを言う[2]。 テンプレ、以上です。（＾＾
41:１３２人目の素数さん
19/03/30 21:42:15.28 qjGMLU0Y.net
∧∧ ∧∧ ∧∧ ∧∧ ∧∧
（⊃⌒*⌒⊂) （⊃⌒*⌒⊂) （⊃⌒*⌒⊂) （⊃⌒*⌒⊂)（⊃⌒*⌒⊂)
/__ノωヽ__） /__ノωヽ__） /__ノωヽ__） /__ノωヽ__） /__ノωヽ__）
∧∧ ∧∧ ∧∧ ∧∧
（⊃⌒*⌒⊂) （⊃⌒*⌒⊂) （*:.｡.'.｡.:* （⊃⌒*⌒⊂)
/__ノωヽ__） /__ノωヽ__） *･゜ﾟ･* /__ノωヽ__）
42:１３２人目の素数さん
19/03/30 22:13:21.46 JtW3VGGI.net
数学ができてかつ楽器が演奏できる人になりたいなー
43:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 08:05:33.58 pd4YzCEG.net
URLﾘﾝｸ(lkozima.hatenablog.com)
2013-09-30
一階述語様相論理の sheaf semantics とか
ひさしぶりに様相論理の論文を読みました。なんとなくまとめ。
・TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC URLﾘﾝｸ(journals.cambridge.org)
・Neighborhood-Sheaf Semantics for First-Order Modal Logic URLﾘﾝｸ(dl.acm.org)
・Public Announcements under Sheaves URLﾘﾝｸ(link.springer.com)
最初のは first-order S4 の意味論を sheaf を使って与えるという内容。関数記号とか定数記号とかをどう解釈するかはこれまであんまり考えられてなかったらしい。sheaf だったら関数記号は sheaf の射だし定数記号は global section ということで自然に決まる。あと完全性の証明，詳細は書いてなかったけど力技でモデルを作るらしい。Lowenheim-Skolem の定理を使うとか書いてあった。
次のは first-order MC (K から necessitation を除いたもの) の意味論。Kripke sheaf と topological sheaf (普通の意味での集合の層) を統合する形で neighborhood sheaf というものを定義して，その上での意味論 (neighborhood sheaf semantics, NSS) を与える。細かい計算をまったく追いかけてないので MC より弱いところではなんでできないのかよくわかってない。
最後のは NSS を使って first-order public announcement logic の意味論も作ったよという話で，これは NSS の定義ができていればそんなに難しくなさそうに見えるけどどうなのだろう。
つづく
44:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 08:06:09.95 pd4YzCEG.net
>>38
つづき
どれも sheaf を使っているのだけど，なんで sheaf でないといけないかというとたぶん，ある世界 w に個体 a があったとして，世界 v が w から到達可能なとき v において a に対応する個体 b が一意に定まってほしい，ということなのだと思う。それがうまく定まるということが locally isomorphic という条件で表されているように見える。
こういう意味論だと，世界が変わったときに存在していたものが存在しなくなったり二つに分裂したりすることはない(NSS では「近傍を適切に選べば」という前提付きになる，のかな)。
昔そういうことの起きる意味論である counterpart semantics を少し触ったことがあるのだけど，あれは理論的に扱いづらい印象があった。とにかく話がきれいにならない。sheaf であればそれよりは大人しいので扱いやすくて公理化もできるのだろう。
URLﾘﾝｸ(profile.hatena.ne.jp)
kozimaさんのプロフィール Hatena 最終更新日: 2019/02/14
(抜粋)
一行紹介
数学とか論理とか競技プログラミングとか
プログラミングも好きといえば好きですが、実用的な何かを作ったことはあまりないような気がします。特にメタプログラミングと型理論に興味があります。普段よく使う言語は Common Lisp と OCaml です。
全体的に見て、物事を抽象化し、それを何らかの言語で記述することに興味があるような気がします。最近は，人間の知的活動の背景にある構造全般に興味があるのかなー，と思い始めました。
学校
Kyoto University
(引用終り)
以上
45:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 08:25:32.86 pd4YzCEG.net
URLﾘﾝｸ(www.researchgate.net)
Sheaf Semantics in Constructive Algebra and Type Theory
Thesis (PDF Available) ・ October 2016
Thesis for: PhD, Advisor: Thierry Coquand
Bassel Mannaa
IT University of Copenhagen
46:１３２人目の素数さん
19/03/31 11:14:43.71 wuWT3QNG.net
＞時枝記事は、気が向いたら、たまに触れますが
不要だ。完全に終わってる。
不成立などとほざいてるのはバカ一匹。
47:１３２人目の素数さん
19/03/31 14:43:27.03 vvtBVng8.net
>>21
以下の勝利宣言が出せない限り
スレ主は負け犬として永遠に嘲られる
１）全国の数学科生に告ぐ ＊＊）
どうぞ、大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は誤り”ということ
及び、その理由を完璧に書いて（理由は、論理的に検証できなくては不可）
その方のサイトに、その方の実名で、アップしてもらえませんか？
（文案はどなたが書いても可です。その方が承認してアップするならね）
２）どうぞ、このFランク大卒馬鹿スレ主に勝利宣言を出させて下さい
私は、大学の数学科プロ教員のお墨付きなくして
勝利宣言は出せません
私は、勝利宣言が出せないかぎりこのスレで負け犬として嘲けられますよ
（私は、数学科にも入れぬ落ちこぼれのピエロですからね。
３）勝利宣言が出るまでは、私Fランク大卒馬鹿スレ主の敗北です
（ 注：これ定義です！）
48:１３２人目の素数さん
19/03/31 14:56:18.82 vvtBVng8.net
>>22
大学で数学を教えている教員の総意
以下概略
１．時枝記事の解法は成立する
２．それは、大学で数学を教える教員全員の常識であり
成立が理解できないのは、数学が理解できない落ちこぼれである
３．スタンフォード大の時枝正氏による数学セミナーの記事について
その正当性を実名入りの文章で表明する必要性は感じない
理由は、記事の正当性は記事を読めば明らかだからである
人間であればみんな理解できることだ
４．５ｃｈ数学板の「現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE」氏
は数学のみならず論理および言語を理解しない点で、人間と呼べない
聞けば選択公理も理解できないらしい
「選択公理で証明できるならツォルンの補題は不要だ」
とほざいたそうだが、ツォルンの補題は選択公理から導けるから
公理として設定する必要はない
正直言って数学科を出ていない時点で人間でない
禽獣は屠殺して食うに限る
49:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 15:18:51.36 pd4YzCEG.net
図が多いのが良いね
URLﾘﾝｸ(www.researchgate.net)
Sheaf and cosheaf methods for analyzing multi-model systems
Article (PDF Available) April 2016?
Michael Robinson
American University Washington D.C.
Abstract
There is an interplay between models, specified by variables and equations, and their connections to one another.
This dichotomy should be reflected in the abstract as well.
Without referring to the models directly -- only that a model consists of spaces and maps between them -- the most readily apparent feature of a multi-model system is its topology.
We propose that this topology should be modeled first, and then the spaces and maps of the individual models be specified in accordance with the topology.
Axiomatically, this construction leads to sheaves and cosheaves. Sheaf theory provides a toolbox for constructing predictive models described by systems of equations.
Sheaves and cosheaves are mathematical objects that manage the combination of bits of local information into a consistent whole.
The power of this approach is that complex models can be assembled from smaller, easier-to-construct models.
The models discussed in this chapter span the study of continuous dynamical systems, partial differential equations, probabilistic graphical models, and discrete approximations of these models.
50:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 15:31:35.89 pd4YzCEG.net
『圏論による論理学?高階論理とトポス』 清水 義夫が来たので、いま読んでいる
URLﾘﾝｸ(msakai.jp)
λ. 『圏論による論理学?高階論理とトポス』 清水 義夫 日々の流転 2008-04-01
URLﾘﾝｸ(k.hatena.ne.jp)
「圏論による論理学―高階論理とトポス」を含むブログ
URLﾘﾝｸ(d.hatena.ne.jp)
20100520
清水義夫「圏論による論理学 高階論理とトポス」東京大学出版会 (2007)yoshitake-hyoshitake-h 本文を読む
51:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 15:35:11.31 pd4YzCEG.net
直接関係ないが、念のためアップ
URLﾘﾝｸ(www.utp.or.jp)
[PDF]清水義夫著『記号論理学講義』正誤表
52:１３２人目の素数さん
19/03/31 15:39:58.39 wuWT3QNG.net
>はい
>大学で数学を教えている恩師のところへ行ってきました
平気で嘘をつくサイコパス
53:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 15:41:03.15 pd4YzCEG.net
URLﾘﾝｸ(study-guide.hatenablog.jp)
54:1 勉強メモ （大学の講義動画や，資格試験の対策） 「圏論」は関数プログラミングの「モナド」に役立つ。入門PDF等のリンク集 数学の解説コラムの目次へ 圏論を学ぶ目的は，HaskellやScalaなどの関数型プログラミング言語をよく理解するため，としてよい。 モナドを実装するために必要という応用がある。 ・オンラインで圏論を学ぶための教科書： ・役に立つ読み物 ・関数プログラミングと関連が深い ・とくに，モナドを考えるために圏論が必須！ ・本格的に学ぶには？
55:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 17:51:09.12 pd4YzCEG.net
”位相空間上の層”（＾＾
だいぶ慣れてきたな（＾＾；
URLﾘﾝｸ(alg-d.com)
トップ > 数学 > 圏論 壱大整域
URLﾘﾝｸ(alg-d.com)
第0章 圏論入門 例: 位相空間上の層 壱大整域 PDF版 (2018-09-10微修正)
圏論に慣れる為の具体例の一つとして，層を取りあげてみます。 興味が無ければ飛ばして大丈夫です。
56:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 18:15:37.12 pd4YzCEG.net
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
超局所解析と代数解析を巡って 最終講義資料
片岡 清臣
２０１７年３月２１日，於：東京大学大学院数理科学研究科
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
円の族を含む曲面と微分方程式 代数解析資料 2013公開講座資料
片岡 清臣 (東京大学大学院数理科学研究科)
東京大学大学院数理科学研究科公開講座「円と球の解析学」
２０１３年１１月２３日
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
K. Kataoka's Laboratory of
MICROLOCAL ANALYSIS
57:１３２人目の素数さん
19/03/31 18:19:59.64 vvtBVng8.net
>大学で数学を教えている恩師のところへ行ってきました
平気で嘘をつくサイコパス
58:１３２人目の素数さん
19/03/31 18:22:58.80 vvtBVng8.net
＞時枝記事の解法は成り立たない
＞それは、大学で数学を教える教員全員の常識
＞だが、それを実名で公表することは、日本でははばかられる
＞反旗をひるがえして”反論”するのは、ははばかられるってこと
平気で嘘をつくサイコパス
実際は
「時枝記事の解法は成立する
それは、大学で数学を教える教員全員の常識
君、そんな簡単なことも理解できないなんて馬鹿だろ？」
と面罵された
59:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 18:38:22.59 pd4YzCEG.net
”Goodwillie の論文を読んだとき, テクニックよりも「関手の微積分」という発想, そしてそのような発想ができる自由な精神に感銘を受けた。日本のトポロジストの中からも新鮮なアイデアがどんどん出てくるようになって欲しい, と思う”
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
関手の微積分について 信州大学理学部 数理・自然情報科学教室 玉木 大 April 2, 2010
(抜粋)
Preface
これは, 筆者が 2003 年 11 月京都大学と 2004 年 10 月東京大学で行なった大学院生向けの集中講義の講義ノートである。
Goodwillie calculus には様々なホモトピー極限が使われ, それらの間の関係も必要になる。
そこでこのノートでは, ホモトピー (余) 極限について講義では触れなかったことを大幅に加筆した。
もちろん Goodwillie calculus を始めとして, 「関手の微積分」そのものが現代の代数的そして幾何学的トポロジーで重要なテクニックとなっている。
「関手の微積分」を行なうための基礎となることについて, できるだけ簡潔にまとめた。
しかしながら, 筆者は Goodwillie の論文を読んだとき, テクニックよりも「関手の微積分」という発想, そしてそのような発想ができる自由な精神に感銘を受けた。日本のトポロジストの中からも新鮮なアイデアがどんどん出てくるようになって欲しい, と思う。
Chapter 1
関手の微積分とは何か?
関手の微積分 (calculus of functor) とは, Goodwillie により Waldhausen の空間の代数的 K 理論 [Wal78c, Wal79]
を解析するために開発されたテクニック [Goo90, Goo92, Goo03] に基づくものである。Calculus (初歩の微積分) で
関数を調べるように関手を調べることにより, その関手の値として得られる空間 (object) に関する情報が得られる。
Weiss の論文 [Wei96] によると, Goodwillie は 80 年代には “関手の微積分” のアイデアを着想していたらしいが, そ
のことが可能であることは既に 1970 年代の多重ループ空間の研究により示唆されている。まずはその例から始める
ことにしよう。
1.2 関数の微積分との比較
1.3 関手の微積分の例
60:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 18:46:35.85 pd4YzCEG.net
URLﾘﾝｸ(blog.miz-ar.info)
雑記帳
圏論の入門書（2018年版）
目次 [hide]
1 入門書、教科書
1.1 圏論の歩き方
1.2 ベーシック圏論 (Basic Category Theory)
1.3 Category Theory （Awodey本）
1.4 圏論の基礎 (CWM)
1.5 Conceptual Mathematics
1.6 Category Theory in Context
1.7 圏論の技法
1.8 圏と加群
2 数学以外の分野がターゲットな本
2.1 Basic Category Theory for the Computer Scientists
2.2 Category Theory for the Sciences
2.3 Category Theory for Computing Science
3 オススメしない本
3.1 層・圏・トポス
3.2 圏論 原著第2版（Awodey本の邦訳）
3.3 圏論入門（数学のかんどころ 35巻）
4 オンラインの資料
5 他のまとめ（メタまとめ）
Category Theory in Context
Emily Riehl, Category Theory in Context, Dover Publications, 2016
著者ページ URLﾘﾝｸ(www.math.jhu.edu) からPDF版が入手できる（出版された版との差異は？）。
Category Theory for Computing Science
M. Barr, C. Wells, Category Theory for Computing Science, 3rd ed., Prentice Hall, 1998 （初版は1990年）URLﾘﾝｸ(www.crm.umontreal.ca)
最新の第3版がオンラインで入手できる：URLﾘﾝｸ(www.math.mcgill.ca)
オンラインの資料
@alg_d, 壱大整域 URLﾘﾝｸ(alg-d.com)
Kan拡張から今夜のおかずまで、圏論の種々の話題が日本語でまとめられている。作者は某数学バトル漫画で主人公を務めており、ここの豊穣圏PDFを印刷して体に貼り付けておけば敵の攻撃をガードできるらしい。
61:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 18:59:31.21 pd4YzCEG.net
URLﾘﾝｸ(www.math.sci.hiroshima-u.ac.jp)
代数曲線に触れる:補足 松本 眞 広島大学理学部数学科 平成 21 年 12 月 2 日
目 次
1 局所環 1
2 ネーター環 4
3 近代的代数幾何（空間概念とスキーム論） 5
3.1 アフィンスキーム：集合から関数環へ . . . . . . . . . . . 6
4 層 10
4.1 カテゴリー（圏） . . . . . . . . . . . . . . . . . . . . . . . 10
3 近代的代数幾何（空間概念とスキーム論）
１９世紀的な幾何においては、多
様体は「局所的に、標準的なものと同一視される位相空間」であった。す
なわち、「集合に、付加的な情報が追加されたもの」を部品として組み立
てられたもの、なのである。
それに対し、Grothendieck や米田信夫らの発想は、「関係こそが実在
（関数環や準同型がものの存在の実態）」というあらたな哲学を切り開い
たと言える。
その一つの表れには、カテゴリー論：対象と射によって、事物をとら
えて研究するという哲学がある。
またそれとは別のレベルとして、「環を所与のものとして、それを関数
とみなすべき空間を作ろう」というスキーム論がある。
3.1 アフィンスキーム：集合から関数環へ
定義 3.1. 単位的可換環 A に対して、付随する位相空間 SpecA を以下の
ように定義する。SpecA は、点集合としては A の素イデアルの集合であ
る。（スペクトラムといい、日本語では光符ということもある。美しくか
つ実態をあらわした用語と思う。）
定義 3.6. A を可換環とする。SpecA の関数環とは、A のことである。A
の元を、「SpecA 上の正則関数」(regular function) と言うが、定義上は
ちっとも「関数」にはなっていない。
すなわち、スキーム論では、「関数」は通常の「集合から集合への写像」
を意味しない。
定義 3.7. 環 A と位相空間 SpecA を組にして考えたものをアフィンス
キームという。が、記号としては SpecA であらわす。位相空間 SpecA の
ことは、「SpecA の台集合 (underlying set)」と呼ぶことが多い。
4 層
4.1 カテゴリー（圏）
定義 4.1. カテゴリー C とは、材料として次が与えられていて：すなわち
つづく
62:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 18:59:49.86 pd4YzCEG.net
>>55
つづき
1. 「C の対象の集合」と呼ばれ ob(C) と書かれる集合
2. 任意の二つの C の対象 a, b ∈ ob(C) に対して「a から b への射の集
合」と呼ばれ HomC(a, b) と書かれる集合 (homomorphism set)
3. 合成とよばれる写像
HomC(b, c) × HomC(a, b) → HomC(a, c), (g, f) 7→ g ? f
4. 各対象 a ごとに恒等射と呼ばれる元 ida ∈ HomC(a, a)
が与えられていて、次の公理を満たすもの。
層の条件とは、「局所的に一致していたら、大域的に一致」「局所的に
存在しているものが、共通部分で一致していたら貼りあって大域的に存
在するものになる」という気持ちを公理化したものである。
X 上の実数関数の前層、実連続関数の前層などは層である。
前層だが層でないものの例として、X を非連結な位相空間とし、F(U)
を U 上定義された実定数関数として得られる前層がある。
定義 4.12. F を X 上の集合のカテゴリーに値をとる前層とする。P ∈ X
における F の stalk FP を、順極限
FP := lim P ∈U F(U)
で定義する。
(引用終り)
以上
63:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 19:10:03.35 pd4YzCEG.net
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
数理新人セミナー
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
第1回琵琶湖若手数学者勉強会
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
(抜粋)
導来圏から眺める代数多様体 2006年12月
第一回琵琶湖若手数学者勉強会代数幾何班
大橋 久範 (京都大学数理解析研究所)
岡田 拓三 (京都大学数理解析研究所)
瀧 真語 (名古屋大学大学院多元数理科学研究科)
福山 浩司 (京都大学大学院理学研究科数学教室)
星 裕一郎 (京都大学数理解析研究所)
0 序
本稿は、第一回琵琶湖若手数学者勉強会において代数幾何学班が勉強をした D. Huybrechts の「FourierMukai transforms in Algebraic Geometry」（本稿内では [Hu] として引用）という教科書の内容をまとめた
ものです。勉強会では、代数幾何学班の五人が、（比較的）適切だと思われる章を分担して、それらについて
議論をしながら勉強をしました。
§ 1: 五人の原稿を集めて編集を行った際、これは補足しておいた方が良いと判断して星が書いた部分です。
「Serre 関手」という概念に関する事実がごくごく簡単に書かれた節です。
§ 2: 福山が書いた部分で、基本的には [Hu] の 4 章と 5 章をまとめた節です。
§ 3: 星が書いた部分で、基本的には [Hu] の 9 章をまとめた節です。
§ 4: 瀧が書いた部分で、基本的には [Hu] の 10 章をまとめた節です。
§ 5: 岡田が書いた部分で、基本的には [Hu] の 11 章をまとめた節です。
§ 6: 大橋が書いた部分で、基本的には [Hu] の 6 章と 12 章をまとめた節です。
§ 7: 勉強会の中で見つけた [Hu] の間違いのリストです。[Hu] を読む際の一助になればと考え、このように
掲載することにしました。
上述したとおり、それぞれの節を違う人間が書いているため、節毎に記号の使い方や表現が若干違ってい
ますが、大きな誤解を招くことはないと思います。また、五人がそれぞれ書いた原稿をまとめたために発生
した誤植や間違いは、編集を行った星の責任であることをここに明記しておきます。 👀
Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
64:１３２人目の素数さん
19/03/31 19:33:48.57 wuWT3QNG.net
バカのくせに嘘吐きとか最悪だな、終わってる
65:１３２人目の素数さん
19/03/31 19:35:32.56 gb5ObMGa.net
工学部はな、工学部はな、工学部なんだぞ！
66:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 20:11:58.75 pd4YzCEG.net
層－圏－トポス－高階論理
やっぱり
ZFCの一階論理を超えているのかも
67:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 20:17:34.90 pd4YzCEG.net
URLﾘﾝｸ(www.atmarkit.co.jp)
「AI」エンジニアになるための「基礎数学」再入門（1）：
AIは「単なる関数」、数学は「言語の一つ」、「文系出身」でも問題ない―Pythonで高校数学の範囲から学び始めよう
＠IT 自分戦略研究所 スキル創造研究室
2018年10月10日 05時00分 公開
AI人材の不足
世界的に「AI人材の不足が深刻だ」といわれています。日本は特に深刻
ITエンジニアからAIエンジニアへのスキルアップ
68:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 20:21:25.98 pd4YzCEG.net
URLﾘﾝｸ(www.nikkei.com)
NTTデータ、AI技術者らに最大3000万円
2018/12/4 15:00日本経済新聞 電子版
URLﾘﾝｸ(tech.nikkeibp.co.jp)
2018/06/14 05:00
記者の眼
あなたも年収3000万円超のAI人材になれる
田中 淳＝日経 xTECH／日経コンピュータ
AIスペシャリストは年収30万～50万ドル
優秀なAI人材を確保するのが難しい─。この問題は世界中で深刻になりつつある。中国テンセントの調査機関であるテンセント・リサーチ・インスティテュートは2017年12月、「AI人材（タレント）の需給は著しくバランスを欠いている」とする調査結果を報告している。
テンセント・リサーチ・インスティテュートの報告書はこちら（中国語）
報告書によれば、世界のAI人材は約30万人いる。内訳は企業に20万人、大学に10万人だ。これに対し、AI人材に対する需要は「市場全体で数百万人のオーダーに達する」。AI人材に関して、需要に供給が全く追い付いていないのが現状ということだ。特にAI開発を主導できるトップ人材は「世界を見渡しても1000人未満」と報告書は指摘する。
深刻なAI人材不足は給与水準の高騰を招いている。米ニューヨークタイムズ紙は2017年10月22日付の記事で、「典型的なAIスペシャリストは年間30万～50万ドルを得ることが可能だ」と報じている。
ニューヨークタイムズの記事「Tech Giants Are Paying Huge Salaries for Scarce A.I. Talent」はこちら
69:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 20:52:08.20 pd4YzCEG.net
プリファードネットワークスの西川徹社長（下）｜日経 社会人大学院サーチ
キャッシュ
URLﾘﾝｸ(webcache.googleusercontent.com)
日経 社会人大学院サーチ
URLﾘﾝｸ(www.ajitep.org)
ブログ
2017年11月16日 - 世界を舞台に戦うプログラミングのスーパースターを育てる─情報オリンピック日本委員会の筧捷彦理事長に聞く
メダル獲得数をもとに独自に算出した国別順位では、日本は当初20位あたりに位置していたが、このところ11位、5位と着実に上昇して、今年はついに1位まで上りつめた。ダントツに強かった年だった。
個人成績でも総合1位、4位、5位、59位と過去最高だ。総合1位に輝いた髙谷さんは、中学3年生のときに日本代表選手として参加し、高校3年生の今回まで4回連続で金メダルを獲得した。そのうえ、今年は数学オリンピックでも全体で1位を獲得した逸材だ。将来は研究者になりたいと話している。
スーパースターが“普通に”就職するという大問題
06年に参加を再開して以降、48人の選手はほぼ全員が東京大学の数学科か情報科学科に進学した。ただし、全員が博士課程に進むわけではなく、修士課程までで卒業して、IT企業に“普通”に就職する人もいる。ここが最大の問題だ。
経営者は「ITの時代。IT技術者は命」などと言いながら、就職の仕組みは依然としてそうなっていないように思う。昔からのコンピュータメーカーでも企業でも同じだ。採用時点では、専攻とは関係なく、4年制大学の卒業者を横並びで、学部を問わずに採用する。
こうした古いスタイルの人の採用方法から抜け出していない。その結果、博士課程を出て、特殊能力が光っている人を採りたがらない傾向にあるようにも思える。
アメリカでは、学生時代にプログラミングやコンピュータサイエンスを必死にやった人たちがシリコンバレーで会社を興し、それがgoogleになり、Yahooになった。そんな例は日本にはない。だから、コンピュータを極めた人はほとんどがgoogleのような企業に就職していく。
名のある海外メーカーの日本支社に勤めても、結
70:局技術を生かすのはちょっとした日本語化ぐらいで、営業に回されたりする。世界中からできる人を採るgoogleに優秀な人材が集まる。
71:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 21:41:58.30 pd4YzCEG.net
URLﾘﾝｸ(modegramming.blogspot.com)
Modegramming Style
2015年9月30日水曜日
関数型プログラミング技術マップ2015
『圏論の歩き方』を読んで少し理解が進んだので、関数型プログラミング技術マップを更新しました。
URLﾘﾝｸ(1.bp.blogspot.com)
以下の点を改良しています。
・Curry-Howard対応をCurry-Howard-Lambek対応に拡張
・直観主義述語論理を追加して直観主義命題論理を包含
・カルテジア閉圏とトポス(圏)を追加
・直観主義命題論理⇔カルテジアン閉圏、単純型付ラムダ計算⇔カルテジアン閉圏間の関係を追加
この図は関数型プログラミング(FP: Functional Programming)を取り巻く理論を整理することを目的としています。
誤解があるといけないので補足しておきますがFPを行うために必須の理論という意図ではありません。
業務アプリケーションをFPで開発するという目的には、圏論も論理学も抽象代数も必須知識ではなく、MonoidやMonadのプログラム上での使い方をパターンとして覚えておけば十分だと思います。代数的データ型もcase classの筋の良い使い方を覚えてしまえば大丈夫です。(もちろんFPとして筋の良いプログラミングをするためには、こういった理論を知っておいた方がよいのは言うまでもありません。)
一方、ビジネス・モデリングや要件定義といった上流のモデリングとFPとの連携を考えていく際には、こういった理論も取り込んでいく必要がありそうです。
つづく
72:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 21:42:27.80 pd4YzCEG.net
>>64
つづき
OOAD(Object-Oriented Analysis and Design)はUML/MOF(Meta Object Facility)によるようなメタモデルの議論はあるものの、現実的には数学や情報科学とは一定の距離がある現場ベースのベストプラクティスの集大成といえます。OOADによるモデルをOOPで実装するという目的には、数学や情報科学の知識は(あった方がよいのは確かですが)必須スキルという形ではなかったと思います。
しかし、実装技術としてFPが導入されると上流モデルとFPとの連携が論点となってきます。
こういった「FP成分」を取り込んだOOADをOFAD(Object-Functional Analysis and Design)と呼ぶとすると、このOFADでは数学や情報科学をベースとした数理モデルを部分的にでも取り込んでいくことになるかと思います。
一つの切り口としては、OOADのモデルが静的構造モデル、動的モデル、協調モデルから構成されるとすると、(記述力が弱い)協調モデルを数理モデルベースのデータフローで記述し、静的構造モデル、動的モデルを数理モデルとの連続性を担保できるように強化する、といった戦略が考えられます。
このためのモデルとしてどのようなものを採用するのがよいのか分かりませんが、Curry-Howard対応あるいはCurry-Howard-Lambek対応による直観主義命題論理、単純型付ラムダ計算、カルテジアン閉圏によるトライアングルが中心になることが予想されます。
もちろん、一階述語論理/論理プログラミング(Prologなど)や直観主義高階述語論理/証明プログラミング(Coqなど)といった方向性も有力ですが、Scala＆ScalazによるFPでは述語論理は(言語機能的には)スコープ外なので、仮に上流モデルで取り入れたとしてもプログラミングとは不連続になってしまいます。
また、一階述語論理/論理プログラミングや直観主義高階述語論理/証明プログラミングが最終的な解であるにしてもその前提として「Curry-Howard-Lambek対応」の理解は必要です。
そういった意味で、まずは「Curry-Howard-Lambek対応」のスコープで�
73:F々と考えていくのがよさそうと考えています。 (引用終り) 以上
74:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 22:14:28.20 pd4YzCEG.net
URLﾘﾝｸ(www.nikkei.com)
トヨタも頼る AI異能の100人集団
プリファードのすべて(1)
（1/3ページ）2018/1/15 6:30日本経済新聞 電子版
トヨタが求めたのはプリファードが持つディープラーニング（深層学習）と呼ぶAI技術だった。人間の脳神経ネットワークの動きを模して膨大なデータの中から特徴を見分けていく技術で、AIの進化を大きく後押しした。AIは世界中で開発競争が始まっているが、プリファードはこの技術の開発に集中しており、その実力は世界でも屈指といわれる。
技術者の陣容は約100人。AIの世界では知られたメンバーが名を連ねている。同社が公表している採用の条件には、よほどの自信がなければ応募することさえはばかられそうな言葉が並ぶ。
「コンピューターサイエンスの全ての分野に精通していること」「自分の研究分野では世界で一番優れていること」「誰にも負けない技術的な能力を持っていること」
実際に若くして世界を相手に戦った経験の持ち主が多い。例えば、高校生がプログラミングを競う国際情報オリンピック。2006年以降の世界大会出場者のうち5人がプリファードに在籍している。特に複雑なAIの技術を実際にプログラムに落とし込むスピードでは群を抜いているといわれる。
17年に京都大学助教からプリファードに転じた前田新一は「京大でも優秀な学生が2～3カ月かかることを、ここでは2～3日で済ませてしまう」と驚く。技術力だけで勝負するため営業マンはゼロだ。
75:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 22:14:50.62 pd4YzCEG.net
URLﾘﾝｸ(www.nikkei.com)
35歳コンビ、「盛田・井深の再来」か
プリファードのすべて(2) （杉本貴司、矢野摂士）
（1/3ページ）2018/1/16 6:30日本経済新聞 電子版
■プログラマー同士、東大同級生
情報処理推進機構が2000年に始めた優秀なIT人材の発掘・育成を目指す未踏プロジェクトに大学2年で選ばれ、コンピューターの才能を開花させていく。卓越した成果を認められた者だけに贈られる「スーパークリエータ」の称号も得た。
「こいつにはかなわないな」。そんな才能に感嘆したのが同級生の西川徹だった。その西川も、競技プログラマーとして世界大会に出る実力の持ち主。気が合った2人は将来の夢を語り合った。「いつかテクノロジーのビジネスをしたいね」
その夢は早くも現実となる。修士課程の1年になった西川がプログラマー仲間と会社を設立する。真っ先に声をかけたのが岡野原だった。「かなわないなら味方にしちゃおう」というわけだ。2006年3月にプリファード・インフラストラクチャー（PFI）を発足。創業メンバー6人の力を発揮できる自然言語処理と検索エンジンの開発を仕事に選んだ。
東京大学の近くにあった事務所を訪れた長谷川の目にとまったのが岡野原だった。「これはソニーでも見たことのない天才だ」。一方の西川は言葉が少ないが技術の本質を見抜いているように思えた。「この2人に賭けてみよう」。長谷川は25年間務めたソニーを辞めてPFIに合流した。
AI開発の戦いに立ちはだかるのは、かつて検索エンジン時代に仰ぎ見る存在だったグーグルだ。
巨人を超えられるか、岡野原は言う。
「今、勝てるようにやっているところだし、勝てると思いますよ。そうですね、5年以内かな」
もちろん、その未来が来る保証はないが、誰もが認めるITの巨人を相手に今度こそ鮮やかなトライを決めてみせるつもりだ。
76:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 23:18:45.63 pd4YzCEG.net
こんなのがあるね
URLﾘﾝｸ(www.preferred-networks.jp)
PFN2019 夏季インターン募集要項 20190325
(抜粋)
Preferred Networks (PFN) は、今年の夏に PFN 東京オフィスで熱意をもって一緒に働いてくださるインターンを募集します。
PFNインターンの特徴
・深層学習、コンピュータビジョン、自然言語処理、ロボティクス、バイオヘルスケア、強化学習、分散処理など、様々な分野の弊社スペシャリストがメンターとなり、2ヶ月の長期にわたって一緒に議論・研究・開発を行います。
・インターン実施中に研究成果としてすぐれた結果が出た場合、公開可能な範囲でインターン後にOSSや論文にすることもできます。
期間
開始日：8月初旬（各人のスケジュールを考慮して決定）
終了日：2019年9月20日 （金）
希望者は9月24日～27日もインターンシップと同条件にて勤務可能です：
実施テーマ一覧
・2019年度夏季インターンシップの実施テーマは以下の通りとなります。
・選考の過程もしくは選考終了後、弊社メンバーと相談の上、取り組むテーマを最終決定いたします。応募フォームには必ず第2希望までご記入ください。第3希望は、希望するものがある方のみで結構です。
応募方法
・こちらの応募フォームからご応募ください。応募フォームへのアクセスにはGoogleアカウントによるログインが必要です。応募フォームに記入いただいた個人情報は、インターン選考の目的に利用いたします
・PR 資料の提出に関して
・能力を証明、アピールするものをA4一枚程度でまとめてください
・形式は自由ですが、ファイルフォーマットはPDFのみとします。（特にアピールしたいソフトウェア、サービス、受賞歴、論文リスト、ポートフォリオ、プログラミングコンテストの参加歴、ブログやサイト、Twitter ほかソーシャルネットワークのアカウント等を想定しています）
・「応募フォーム」の【ご自身のPR資料】欄からアップロードしてご提出ください。
・応募締切：2019年4月18日（木）正午12:00PM（日本時間、締切後の応募不可）
待遇
・時給
・高専生・大学生・大学院生 2,500円
・高校生 2,000円
77:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 23:41:35.10 pd4YzCEG.net
東京大学 理学部 数学科 (2006/04 ? 2010/03)
↓
東京大学 情報理工学系研究科 数理情報学専攻 (2010/04 ? 2012/03)
東京大学情報理工学系研究科の博士課程 (2016/4 ? 現在)
URLﾘﾝｸ(www.beam2d.net)
得居 誠也
(抜粋)
得居誠也（とくいせいや）はPreferred Networksのリサーチャーです． また，東京大学情報理工学系研究科の博士課程にも在籍しています． 得居は東京大学情報理工学系研究科数理情報学専攻で2012年に修士号を取得し，現在は深層学習フレームワーク Chainer のリード開発者をしています． 現在の主な研究・開発対象は深層生成学習および深層学習におけるソフトウェア設計やプログラミングモデルです．
学歴
東京大学 情報理工学系研究科 コンピュータ科学専攻 (2016/4 ? 現在)
指導教員：佐藤一誠 講師
東京大学 情報理工学系研究科 数理情報学専攻 (2010/04 ? 2012/03)
研究テーマ：機械学習，最近傍探索，自然言語処理
修士論文：Learning Hash with Sequential Buckets Partitioning（逐次的なバケ
78:ット分割によるハッシュの学習） 指導教員：中川裕志 教授 東京大学 理学部 数学科 (2006/04 ? 2010/03) 栄光学園中学・高等学校 (2000/04 ? 2006/03) 54期生 受賞 得居誠也. Deep Learningのフレームワークの開発. ソフトウェアジャパンアワード 2017, 情報処理学会, 2017. ソフトウェア Chainer: 深層学習のフレームワーク (2015/04 ? 現在) 原作者，開発リーダー 公式サイト, GitHub リポジトリ スキル プログラミング： C++/Python（常用）, CUDA/C コミュニケーション： 日本語（母語），英語 👀Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b)
79:現代数学の系譜 雑談 古典ガロア理論も読む
19/03/31 23:53:38.41 pd4YzCEG.net
これは、かなり怪しいサイトですが、まあこんなのもあるという例です
（売る方だと、安いと飛びつくといろいろ裏があって実際は安くない。と同じように、求人も見かけ高給でも裏がある可能性大です。一般求人よりは上でしょうけどね（＾＾； ）
URLﾘﾝｸ(bigdata-navi.com)
BigData Navi
AI開発・データ分析案件
専門サイト
ご紹介案件例
AIエンジニア
電子機器メーカー
バイタルデータを元にした
勤怠異常検知システムの開発
150万円/月
業務委託
スキルPython、深層学習
機械学習エンジニア
大手製造業
異常音を検知するための
学習モデルの実装・評価・チューニング
150万円/月
業務委託
スキルPython、機械学習、統計
80:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/01 00:00:42.85 XaItjfXH.net
>>70
> 150万円/月
> 業務委託
計算上は、150万ｘ12ヶ月＝１，800万円
なれど、一流企業の正社員だと、退職金と健康保険に厚生年金、福利厚生など、見かけの年収以外にいろいろメリットがある
それに、業務委託よりは、雇用は安定しているし
（例えば、病気になっても、有休休暇に福祉休暇制度があると、6ヶ月くらいは休んでいても給料が貰えるとか）
81:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/01 00:08:22.54 XaItjfXH.net
これは、読んでおいた方がいいね（＾＾
URLﾘﾝｸ(career-theory.net)
Career Theory｜最高の転職を実現するメディア
2019.03.01
AIエンジニアの転職事情｜プロが教える後悔しない人生のための第一歩
(抜粋)
「未経験でもAIエンジニアになれるのかな？」「市場ニーズの高い仕事がしたい！」など、AIエンジニアへの転職を意識していませんか?
AIエンジニアの将来性は非常に高いですが、実はおすすめな人はかなり限定されます。闇雲に転職活動を開始してしまうとあなたのキャリアに傷がついてしまう可能性があります。
転職コンサルタントとして働いてきた経験を生かして、AIエンジニアとして働くことを検討する上で重要なポイントを、以下の流れでお伝えします。
1.AIエンジニアに転職するのは本当に可能か
2.AIエンジニアになるための手順
3.開発経験があるAIエンジニアが転職を成功させるたった一つのコツ
4.開発未経験でもAIエンジニアになるには
すべて読めば、AIエンジニアとして転職すべきかと転職成功のコツがわかり、あなたのキャリアをより良くすることができるでしょう。
82:現代数学の系譜 雑談 古典ガロア理論も読む
19/04/01 06:57:14.84 XaItjfXH.net
参考
URLﾘﾝｸ(ja.wiki)
83:pedia.org/wiki/Chainer Chainer (抜粋) Chainerは、ニューラルネットワークの計算および学習を行うためのオープンソースソフトウェアライブラリである。バックプロパゲーションに必要なデータ構造をプログラムの実行時に動的に生成する特徴があり[2]、複雑なニューラルネットワークの構築を必要とする深層学習で主に用いられる。 Python 2.x系および3.x系から利用でき、GPUによる演算をサポートしている。Preferred Networksの主導で開発が進められており、Preferred Networksが日本の機械学習系のベンチャー企業であることから、日本国内を中心として利用が広がっている。 初版 2015年6月9日（3年前） リポジトリ github.com/chainer/chainer プログラミング言語 Python プラットフォーム Linux 応用 以下のような用途に利用可能。 顔認識 音声認識 被写体認識 画像検索 線画自動着色 自然言語処理 http://segafreder.hatenablog.com/entry/2017/08/15/154326 verilog書く人 2017-08-15 ディープラーニングフレームワーク開発競争に見る、ライブラリ国際競争の本質 (抜粋) chainerはガラパゴスか？ ガラパゴスという言葉を正しく定義しないとこれを論じることは出来ないが、私としては（今のところは）NOというのが答えだ。 wikipedia(ガラパゴス化 - Wikipedia)にはガラパゴス化には独自仕様になるとか、世界標準から離れるとか、そういう意味があるが、chainerのデザインは他のディープラーニングライブラリにも影響を与えている。 独自進化をしながら外界には一切の影響を与えなかった、ガラパゴス諸島の生物たちとは違う。 ディープラーニングフレームワーク選びに迷ってる貴方へ 流行ってる奴使いましょう。 ハッカーや研究者はchainer使うのをおすすめします。 中は本当によくできてる。コードは隅から隅まで綺麗だ(MXNetは結構汚いとこあるし、tensorflowもあれ？と思うコードは散見する)。非常に勉強になる。ハックしやすい。ほぼPythonだからIDEでデバッグしやすい。 小回りが効くから新しい手法を試すにはいい。 バックエンドのcupyもAPIが増えてnumpy同然で使えるようになってきた。 勉強になる。癒される。