1 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2018/10/28(日) 08:56:13.27 ID:6dvusTGC.net] このスレは、皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.goo.ne.jp/gr 321 名前： mailto:sage [2018/11/08(木) 22:50:48.76 ID:4MtXsRCB.net] >>279 シャンクスの記録は小数点以下第527桁まで、ですね 322 名前： mailto:sage [2018/11/08(木) 22:52:34.91 ID:4MtXsRCB.net] >>280 ＞また数値にすることで比較検討ができたり、膨大なデータの分析の見当を付けられたりするだけでも意味はある。 その意味を作るのは、あくまで人間ですよね AI がまったく使えない、とはいいませんが、現在広まっている AI 万能論には疑問を感じます 323 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 07:47:25.91 ID:bl+FVzsQ.net] >>294 C++さん、どもありがとう >AI がまったく使えない、とはいいませんが、現在広まっている AI 万能論には疑問を感じます その話は、AI →コンピュータと置き換えて、歴史の繰り返しですね 「コンピュータが出した答えだから正しい」という キラーフレーズが（これは、全く都市伝説でもないが） 有効な人たちがいた いま 「AIが出した答えだから正しい」という キラーフレーズに変わったかな 「そんなことないだろう」という 突っ込みが正解ですけど 324 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 07:49:20.55 ID:bl+FVzsQ.net] >>293 C++さん、どもありがとう そうだったですね で、小数点以下第527桁までは正しく、 その後は間違いっていたというのは コンピュータでだれかが計算するまでは、 確定しなかったと それも良いですね 325 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 07:58:28.17 ID:bl+FVzsQ.net] >>292 ”ディープラーニング”が出て、AI囲碁ソフトが、プロ囲碁界を変えた 将棋は、”ディープラーニング”以前に、モンテカルロ法採用と、評価関数の棋譜機械学習と、あと自己対戦による評価関数の機械学習でどんどん強くなっている （個人的には、将棋ソフトは、”ディープラーニング”はあまり重視されていない感じだけど（もし、間違っていたら教えて下さい）） チェスは、ご存知IBMのマシーンが人間の名人超えを果たしたけど、あのときは、マシンパワーを上げて、全局面をしらみつぶしに読む方式だったと （現在の強いチェスソフトは、洗練されているそうですが） ”ディープラーニング”は、なので、向き不向きがあると思いますね （将棋やチェスのように、終盤の詰みが圧倒 326 名前：的に大事なゲームでは、”ディープラーニング”は限界があるかもです） [] [ここ壊れてます] 327 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 08:00:25.28 ID:bl+FVzsQ.net] >>291 >＞日本の行政機関の夢想的発案により政府や企業が500億円以上の資金をAI研究に注ぎ込んだが、 >第五世代コンピュータ、のことですね…でも、私はそれは無意味なことだとは思っていません、prolog は好きですし 私も同意です 500億円を第五世代につぎ込まなかったら どこかのもっと無駄遣いに消えたでしょうから 328 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 10:21:37.66 ID:RNrhSNP/.net] >>284 good job！ 「３．”超限順序数 ω”とかを持ち出されていますが、現代数学の確率論のテキストでは、”超限順序数 ω”は不要と思います。 ”超限順序数 ω”を使わずに、可算無限と連続無限を扱っています。」 これ、いまでも正しいと思う もし、”超限順序数 ω”などを使った面白い論文があるなら紹介願いたい ところで、確率論を離れて なぜ、時枝の解法が成り立たないかをかんがえるには ”超限順序数 ω”を使った説明もありだと思う まあ、”超限順序数 ω”のある世界とない世界を行ったり来たりと同じ それは、実数を考えるのに、∞を加えた、拡張実数を考えるがごとしだ リーマンが複素平面を球面に見立てた如く https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0 拡大実数 329 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 10:23:35.03 ID:RNrhSNP/.net] >>285 学術さん どうもありがとう 330 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 10:24:59.95 ID:RNrhSNP/.net] >>288 はい 331 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 10:31:53.49 ID:RNrhSNP/.net] >>286-290(除く288) 書けば書くほど、あなた方の確率過程論への無知と、そこに入れないことが明らかに まあ、かくいう私も、それほど確率過程論を専門に学んだわけじゃないのだが 熱過程とか拡散とか統計物理とか それに近いところに居たんでね 自然に確率過程とかそれに関する偏微分方程式とか マルコフ過程なども、自然に目に入る（真剣に学んだわけではないが） まあ、そういうところに居たわけです 以上です（私も相当無知ですが上には上が） 332 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 10:34:10.74 ID:RNrhSNP/.net] >>297 相撲取りに走る速さを求めてもしかたないし 陸上選手に相撲の強さを求めても仕方ない AIの限界を知りつつ、うまく長所を生かした使い方を考える それが、賢い人間だと 333 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 10:52:38.75 ID:RNrhSNP/.net] >>302 補足 小話その１ 学生「先生、一致の定理を、正則条件を外して、リプシッツ連続な関数に拡張できました！」 教官「よく証明を見直してみろ」 （教訓：証明のどこかが間違っているんだね。証明を読むときは、それを意識して読むべし） 小話その２ 住民「定理1.7を証明した。(>>14)”R−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、f はある開区間の上でリプシッツ連続である”だ！」 教官「その定理は、”補集合のリプシッツ連続でない点が、R中で稠密でない”という条件を（暗にでも）入れないと、反例を含むよ」 （教訓：証明の前に、定理の意味を考えるべし。この場合、証明はどこかが間違っているという意識で、それを読むべし。） 小話その３ 時枝記事「箱に入った可算無限数列のどれか一つの数を、箱を開けずに、確率99/100で当てて見せるぞ」 確率論の専門家「時枝先生、ごくろうさまです・・」 （教訓：時枝記事を読む前に、確率論と確率過程論を学びましょう！！（＾＾ ） 以上 ちゃんちゃん お後がよろしいようで（＾＾ 334 名前：１３２人目の素数さん mailto:sage [2018/11/09(金) 10:57:53.14 ID:6d84Idcj.net] >>302 ついに白状したか スレ主自身が確率過程論を専門に学んだわけでもなく、 それに類する分野も真剣に学んだわけではないのなら、 ＞ノーバート・ウィーナーを含めたその時代の天才たちが作り上げた ＞確率過程論の高みに ＞独力で、数時間の議論で、凌駕する高みに到達できると 少なくともスレ主はこの条件を満たしてないことが確定したわけじゃん？ だったら、自分が満たしてない条件を東大生に求める理由は何？ その条件を満たしてなければ議論に値しない、というのが理由かい？ 335 名前：１３２人目の素数さん mailto:sage [2018/11/09(金) 11:01:03.77 ID:6d84Idcj.net] じゃ、同じくその条件を満たしてなく東大生でもないスレ主自身の見解を スレ主自身が書き込んでいるのは何故？その見解は議論に値しないんでしょ？ 議論に値しないはずの見解を3年間も書き続ける理由は何？ 自分自身が考えた見解だけは例外的に議論する意味があるの？ おかしくね？二枚舌じゃね？自分勝手じゃね？ スレ主はこれに反論してないじゃん？そろそろ反論してみなよ 336 名前：１３２人目の素数さん mailto:sage [2018/11/09(金) 11:04:35.80 ID:6d84Idcj.net] てか、スレ主が東大生と議論したくない理由をそろそろ書いてみろよ 今のとこ１つも理由が書かれてないが？ >>290を回避できるような、正当な理由がスレ主に思いつくか？ 思いつかないなら、東大生と議論しない理由がないことになるが？ 337 名前：１３２人目の素数さん [2018/11/09(金) 15:19:54.04 ID:M04qm8/3.net] >>304 スレ主は、ウソツキだぁ 338 名前：１３２人目の素数さん mailto:sage [2018/11/09(金) 17:47:44.98 ID:xRfv/qjc.net] >>304 > お後がよろしいようで 全然よろしくないよ スレ主は支離滅裂だから >>248 > 確率過程論で、下記 > T としては離散時間 T = {1, 2, 3, …} > とすれば、加算無限個の数の列ができる https://rio2016.5ch.net/test/read.cgi/math/1537363981/124 > 決定番号は∞まで可能性があるから、 上の「決定番号は∞まで」の∞はスレ主は(無意識に？)順序数ωの意味で使っている しかし実際は無限数列の長さは{1, 2, 3, ... }の任意の元では表せない >>299 > これ、いまでも正しいと思う 時枝記事の立場は無限を直接扱えないから無限と有限を変換するステップを入れると 数当て戦略が成立する 変換ステップは2つの無限数列の差An - Bn = {s1, s2, ... , sn, 0, 0, ... , 0} を考えてある項以降(= 決定番号以降)が全て0となれば有限数列とみなせる 339 名前： mailto:sage [2018/11/09(金) 21:56:27.76 ID:yCxnEMhS.net] >>297 AI が本当にプロ本因坊級の打ち手なら、私のようなアマチュアに9子置かせても大勝利となるはずです あるいはアマチュアがどう打っても持碁にもちこめる、とかでもいいです そういう検証がない限り、私には過学習にしかみえないのです 340 名前： mailto:sage [2018/11/09(金) 21:57:54.16 ID:yCxnEMhS.net] >>298 実は PSI/PIM を手元のマシンで再現させたい、と思っているのです 341 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 23:41:06.62 ID:bl+FVzsQ.net] >>310 C++さん、どもありがとう >AI が本当にプロ本因坊級の打ち手なら、私のようなアマチュアに9子置かせても大勝利となるはずです 天頂の囲碁7 Zenとか、フリー囲碁AI「Leela」とか（下記） https://book.mynavi.jp/tencho7/ 天頂の囲碁7 Zen 好評発売中 (抜粋) コメント 三村智保九段 囲碁AIが飛躍的に進歩して、私達プロ棋士もAIから学ぶ時代になりました。 自宅で気軽に練習が出来るプログラムが、早く出て欲しいと思っていたところ、新しい天頂の囲碁を試してみませんか？とのお話を頂いて、興味津々で打ってみました。 結論から言うと、私より強い事は間違いありません。最強モードの「九段」に設定すると、互先で私が負けます。布石も、私達日本の棋士の感覚に近い、違和感のないきれいな打ち筋です。それでいつの間にか、こちらの形勢が悪くなってしまうのです。普段の試合の様に、数時間の持時間を使うつもりで打って、それでも勝てるかどうか、と言う感じがします。 そして対局後の検討機能を使って、局面ごとのZenの形勢判断とオススメの手が見られるのが、とても勉強になります。更に対局中「まった」機能を使って、選択しなかった別ルートの手順を色々試せるのが、プロにあるまじき行為ではありますが（笑）非常に楽しめます。 本当に素晴らしい物を作って頂きました。私にとって良い先生、練習相手になりそうです。もちろん全てのアマチュアの皆さまにも、お勧めします。 (引用終り) < 342 名前：br> つづく [] [ここ壊れてます] 343 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 23:42:53.38 ID:bl+FVzsQ.net] >>312 つづき mimura15.jp/?p=2339 三村囲碁JP フリー囲碁AI「Leela」と対戦 投稿日：2017-08-09 (抜粋) 無料でダウンロードして対局できる囲碁AIとして「Leela」がある事は、耳にしていた。ベルギーの方が作って公開して下さった物の様だ。 Leelaのサイト https://sjeng.org/leela.html 以前試した時は2子置かせて勝ったので「期待した程の強さではない」という感想を持った。 もちろん普通のアマにとっては充分な強さで、市販のソフトを買わなくてもOKと思う方も多いだろう。 その時試した後は忘れていたのだが、最近友人の某九段から聞いた。 「Leelaが使える。並のプロなら負かされる位強い。」 きっとバージョンアップで強くなったのだろう。試してみなければ！ それで自宅のノートで打ってみたのがこの棋譜だ。 スペックは Core i5-7200U 4GB SSD128GB Win10　という感じ。 30分ほどの対戦だったが、中々強いと思った。 おそらくPCの性能に強さが大きく影響される。 普段あまり高いパソコンの必要を感じないのだが、囲碁AI用にもっとハイスペックなPCを用意すれば、友人棋士の言うような強さを体感できる気がする。 ２４時間いつでも世界中の囲碁ファンと対局できます https://www.pandanet.co.jp/ パンダネット https://www.pandanet.co.jp/members/zen/ コンピュータ囲碁の最高峰『Zen』がパンダネットに登場！！ トップ棋士とも互角に渡り合える実力を持つ最高峰の囲碁AI『Zen』とあなたも打てる！！ Zenと会員様（黒番）の勝率を公開中！ 【Zenが白番のときの黒の勝率】 　 　　互先 先番 2子 3子 4子 5子 6子 7子 8子 9子 初段 0% 0% 1% 1% 3% 8% 18% 34% 56% 76% 3級 0% 0% 0% 1% 1% 3% 8% 18% 35% 57% 大橋拓文六段のコメント 強いですね。Zenは人間から見て、自然な手で強いところがいいですね。 Zenと会員の皆様が打てることは、すごいことです。強い相手とも、置石を置いて対等に打てるところは、囲碁のよいところですね、たくさんZenと打ってほしいですね (引用終り) 344 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/09(金) 23:48:12.73 ID:bl+FVzsQ.net] >>313 ”【Zenが白番のときの黒の勝率】 　 　　互先 先番 2子 3子 4子 5子 6子 7子 8子 9子 初段 0% 0% 1% 1% 3% 8% 18% 34% 56% 76% 3級 0% 0% 0% 1% 1% 3% 8% 18% 35% 57%” パンダ初段で、８子 勝率56%、3級なら勝率35%だそうです なお 大橋拓文六段のコメントで 「Zenは３子までは自然に打てますが４子以上だとちょっと調子が悪くなる可能性がありますので、皆さんチャンスですね。囲碁AIは互先を基本に勉強しているので、置石が増えるほど苦手になります。どんどん置石をおいて挑戦してください。」 とあります 345 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 00:03:01.30 ID:1AyCMT16.net] >>311 PSI/PIMか ほとんど詳しくないですが こんなのがヒットしますね いまどきの課題でいえば、ディープラーニングを制御するプログラミングが求められているような気がします 要するに、過学習の防止も含めて、最適学習制御というか、ルールを入れた学習プログラミングかな www.para.media.kyoto-u.ac.jp/jp/profile.html 中島 浩 1981年， 三菱電機(株) 情報電子研究所（現在 情報技術総合研究所） 入社。約10年間にわたり 第五世代コンピュータ・プロジェクトにて； 逐次型推論マシン PSI-I, PSI-II, PSI-III 並列推論マシン Multi-PSI/v2, PIM/m の研究開発に従事。これらの研究成果をまとめた論文「論理型言語向きプログ ラムのアーキテクチャに関する研究」により，京都大学博士（工学）を1991年 に授与。また1988年に元岡賞，1993年に坂井記念特別賞を授賞。 www.ueda.info.waseda.ac.jp/AITEC_ICOT_ARCHIVES/ICOT/Museum/VIDEO/FGCS91-J/HomePage.html 第五世代コンピュータプロジェクト プロトタイプ(PIM)へのアプローチ 並列応用プログラム ここでは、 プログラム開発用マシン マルチPSI 知的処理の応用 囲碁 人間とコンピュータの対局の例 [囲碁] ここでは、知識処理の新しい枠組みを探ることを目的とし、その題材として取り上げた囲碁を紹介します。人間の思考方法をシミュレーションすることにより、アマチュア中級レベルを目標に開発したものです。 実際の対局の様子を見ることができます。相手が打つと、それにより変化した盤面を認識し、次の手を決めて打ちます。また、自分が打った後も、盤面を見直しています。 346 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 00:21:26.16 ID:1AyCMT16.net] >>305-309 あんたがた、何を主張しているのか、全く意味不明だね じゃ、こうしようか？ 貴方が東大を訪問できないなら 地方大学でもなんでも良いから 数学科のある大学を訪問しなさいよ で、多分東大出身の教員がだれか居るでしょう ベストは、確率論とか確率過程論の専門家だが まあ、時枝トリックに引っかからないレベルで考えると、学部か院で 確率論と確率過程論の二つを履修していること （教員ならまず間違いなく、履修しているはずだが） （なお、私は東大出身者に拘りはないので、教員レベル（学生より上）ならどなたでも可です） で、あんたがた、聞いてきなさいよ 「時枝記事を真に受けていいですか？」と それを報告してください。 「おまえ信用しないだろう」ですと？ いやいや、そんなことはないです。 但し、教員の実名を出して良い条件でね 教員の実名があれば、本当かどうか確認できる まあ、私がやらなくても、ここを見た在校生がやってくれるでしょう （だから、信用します） 特に、「時枝記事を真に受けていいですか？」にYesの報告のときは、実名必須です 「時枝記事を真に受けていいですか？」にNoの報告のときは、実名不要で結構です （”No”が当然で、何の驚きもありませんから） 実名（どの大学の数学科のだれそれ）があれば、Yesでも信用しますよ （ついでに、Yesの裏付け文献を教えて貰ってくださいね） 以上 347 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 00:39:13.81 ID:q4cnUxR6.net] >>316 ＞じゃ、こうしようか？ 全く意味不明だね じゃ、こうしようか？を最初に提示したのはこっちなんだが？ なぜスレ主は東大生と議論したくないんだ？ 今のとこ１つも理由が書かれてないが？ >>290を回避できるような、正当な理由がスレ主に思いつくか？ 思いつかないなら、東大生と議論しない理由がないことになるが？ 348 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 00:41:59.42 ID:q4cnUxR6.net] ＞で、あんたがた、聞いてきなさいよ 全く意味不明だね で、あんたがた、聞いてきなさいよ、を最初に提示したのはこっちなんだが？ なぜスレ主は東大生と議論したくないんだ？ 今のとこ１つも理由が書かれてないが？ >>290を回避できるような、正当な理由がスレ主に思いつくか？ 思いつかないなら、東大生と議論することから単に逃げ回ってるだけになるが？ 349 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 00:46:22.44 ID:q4cnUxR6.net] ＞「時枝記事を真に受けていいですか？」と ＞それを報告してください。 全く意味不明だね そのような行動をスレ主がやりなさい、と最初に提示したのはこっちなんだが？ しかも、時枝の記事が正しいと思っているこっちには、そのような行動は不要じゃん？ 数学セミナーに載っている正しい記事、という認識をこっちは持っているのだから、 それで終わってるじゃん？ そういう認識を持ってなくて、時枝の記事が間違ってると思っているスレ主こそが、 そういう行動が必要じゃん？ 350 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 00:51:39.11 ID:q4cnUxR6.net] しかも、何も教員レベルにアポを取る必要はないと言ってるじゃん？ アポなしで訪問できる東大の祭りで、気軽に東大生と議論するだけでよいと言ってるじゃん？ もし学生と主張が対立しても、学生だから信用できないと言えば、 二枚舌だけど一応は逃げ道になるじゃん？ < 351 名前：br> 教員と主張が対立したら、もう逃げ道ないじゃん？ 要するに、東大生と主張が一致しても対立しても、 スレ主には逃げ道があるのだからメリットしかないじゃん？ しかもスレ主は東大に行ける距離に住んでいて、そろそろ祭りの時期じゃん？ やっぱりスレ主が祭りに行って東大生と話するのがベストじゃん？ 勇気を持って、一歩進んだ方が良いよｗ [] [ここ壊れてます] 352 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 01:01:09.46 ID:q4cnUxR6.net] ＞「おまえ信用しないだろう」ですと？ ＞いやいや、そんなことはないです。 いやいや、そんなことあるじゃん？ありまくりじゃん？ こっちが報告書を出しても水掛け論じゃん？ スレ主に都合が悪い報告が上がってきたら、 ＞小話その３ ＞時枝記事「箱に入った可算無限数列のどれか一つの数を、箱を開けずに、確率99/100で当てて見せるぞ」 ＞確率論の専門家「時枝先生、ごくろうさまです・・」 ＞（教訓：時枝記事を読む前に、確率論と確率過程論を学びましょう！！（＾＾ ） スレ主はこういう言い訳を持ってくるに決まってるじゃん？水掛け論じゃん？ スレ主自身が動けば、こういう水掛け論は発生しないと言ってるじゃん？ スレ主自身がリアルの会場で議論することがスレ主には必要だと言ってるじゃん？ 353 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 01:26:26.16 ID:hVRcRCG/.net] >>316 > 全く意味不明だね >>248 > 確率過程論で、下記 > T としては離散時間 T = {1, 2, 3, …} > とすれば、加算無限個の数の列ができる スレ主は「確率過程論」と予防線を張っているが 要はランダムに選んだ実数を可算無限個ならべるということでしょう 数列の添字に無限は扱えないでしょう？ a1, a2, ... , anのように添字が有限値の場合は良いけれども a{可算無限個}とかa{可算無限個 - 1}などと書けないのは分かりますか？ そうすると(しっぽの)可算無限個をまとめて一度に扱う方法がないと 可算無限個ならべることができない (念の為書いておくとランダムに選んだ実数をならべるので数学的帰納法は使えない) 354 名前：１３２人目の素数さん [2018/11/10(土) 02:54:43.22 ID:4kej56fS.net] 人に偉そうに確率過程論の本を読めと言っておきながら、自分はちゃんと勉強してないとかアホ過ぎだろ しかもそもそも時枝記事は確率過程論の話じゃない　小学生にも分る程度の確率しか使ってない スレ主が小学生以下なだけ　小学生に確率教えてもらえ 355 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 07:46:00.39 ID:1AyCMT16.net] >>316 ああ、ついでに ここを最近になって訪れた学生さんがいれば 先輩なり教員で、確率論と確率過程論を履修した方で 「時枝記事を真に受けていいですか？」にYesの答えを貰ったと いうことがあれば、報告して頂ければ大変うれしいです。 この場合、教員は匿名でも構いません。 実名でも、もちろん構いません。 なお、「時枝記事を真に受けていいですか？」にNoの答えも、大歓迎です。 匿名実名の条件は、上記に同じです。 356 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 07:48:18.85 ID:1AyCMT16.net] >>317-323 へへ、下記 ”トンデモってむりやり「議論しよう」って言ってくるよね ガロアスレもそうだけど” って、あなた方のことだよ だって、私スレ主は、「議論は終わりにしよう」って言っている側だからね 外から、そう見ている人がいるってこと、意識した方が良いよ （注：360度か。良い番号だね（＾＾） https://rio2016.5ch.net/test/read.cgi/math/1541001291/360 Inter-universal geometry と ABC予想 34 360 名前：１３２人目の素数さん[sage] 投稿日：2018/11/09(金) 10:21:15.60 ID:O6lq68Fq トンデモってむりやり「議論しよう」って言ってくるよね。 ガロアスレもそうだけど。 多分議論がされている（ふうに装っている）あいだは間違いと言う烙印を押されない、と思ってるんだろうが、 それはただのネットバトルのルール（？）であってアカデミックな場のルールじゃないから。 (引用終り) 357 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 11:34:22.75 ID:q4cnUxR6.net] >>324 ついでに、じゃないんだよなあ こっちが先にスレ主に対してそういう行動をしろと言ってるんだよなあ あとからオウム返しでお前がやれってのは通用しないんだよなあ なぜスレ主の方からそういう行動をしたくないのか、 スレ主は何の理由も提示してないんだよなあ < 358 名前：a href="../test/read.cgi/math/1540684573/290" rel="noopener noreferrer" target="_blank" class="reply_link">>>290を回避できるような、正当な理由がスレ主に思いつくか？ 思いつかないなら、東大生と議論することから単に逃げ回ってるだけになるが？ [] [ここ壊れてます] 359 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 11:37:48.36 ID:q4cnUxR6.net] ＞だって、私スレ主は、「議論は終わりにしよう」って言っている側だからね 終わりにしようと言いつつも未練タラタラに 時枝の記事に触り続けてるのはスレ主じゃん？ 時枝の記事に触れなかった時期は誰も来てないじゃん？ スレ主が時枝の記事に触れ始めた途端に人が来てるじゃん？ 本当に終わりにするなら、そもそも時枝の記事に触れないのが正解じゃん？ 触れたら人が来るの分かってるのに敢えて触れて、しかも表面上は 議論は終わりにするというポーズだけを取っていて新規の議論を 受け付けないなら、それは無意味に他人を煽ってるのと同じじゃん？ そんなことを3年も繰り返すなら、そろそろ祭りも近いし 東大生と議論でもしてきてみろって言ってるんだが？ スレ主はただ単に逃げ回ってるだけなんだが？ 360 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 12:19:25.01 ID:1AyCMT16.net] >>326-327 可哀想な人たちだね 361 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 12:30:12.76 ID:iGnPVCHj.net] 自分より賢いと思える人がレスしてきたら適当に小馬鹿にしたレスを返して 議論を諦めさせるのがここのスレ主 今回は自分の方がわかっているぞという変なプライドを見せてるから 何か今回の件にはコンプレックスかトラウマがあるんだろうな 馬鹿がくだらん意地張ってるのを見るのは楽しいからもっと続けてくれ 362 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 12:30:34.09 ID:q4cnUxR6.net] >>328 かわいそうに、そうやって逃げ回るだけなら、 未練タラタラに時枝の話なんかするべきじゃなかったね 363 名前：１３２人目の素数さん [2018/11/10(土) 12:34:39.41 ID:4kej56fS.net] >>325 お前がトンデモ発言するのが原因だろうが お前がコピペだけしてた時期ここは閑古鳥だったろうが トンデモ発言さえしなきゃ誰もお前なんて相手にしない、好きなだけコピペだけしてろ 364 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 13:23:44.54 ID:1AyCMT16.net] 突然ですが レンスター (Leinster) の本の 2014 年版 arXiv 版の PDFが落ちているらしい（＾＾ Akihiko Kogaさん、いいわ（＾＾ www.geocities.jp/koga58/category/index.html www.geocities.jp/koga58/category/short_explanation_of_leinster01_j.html 概要説明 Tom Leinster : Basic Category Theory, 2014 19th Sep. 2017 (update) by Akihiko Koga, 14th Sep. 2017 (抜粋) レンスター (Leinster) の本の 2014 年版 arXiv 版の PDF は Basic Category Theory (arXiv) にあります． https://arxiv.org/abs/1612.09375 Basic Category Theory Tom Leinster (Submitted on 30 Dec 2016) PDF https://arxiv.org/pdf/1612.09375 本の全体像 www.geocities.jp/koga58/category/pictures/Basic_Category_Theory_Leinster_cover.png ちらの本は少し薄くて 183 pages, 107 exercises です．速習をうたっていて，Awodey の本では，圏論の最高峰として最後の方に置いてあった Adjoints が，最初の方，圏の基礎的な定義を終えた直後にきます．とにかく例が豊富な 本です． 色々な例がありますが，ベクトル空間の例が多かったような気がします．あと，随所で，圏の諸定義の裏にある考え方を何とか伝えようとしてくれているのは嬉しいです． それを我々読者が受け止められるかどうかは分かりませんが，とにかく，伝えようとする 熱意は伝わってきます． こちらの本は，Awodey の本と違って，各章の扉の説明がしっかり書いてあるので， 忠実にそれを読み解くだけでも全体の内容がかなり分かります． つづく 365 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 13:24:18.99 ID:1AyCMT16.net] >>332 つづき １． 最初は "Natural transformation"と いう概念がつかみにくいと思いますが，重要な概念なので，多くの例にあたってみたり， 図を何度も描いてみたりして習熟してください．この章の扉の説明では，もともと圏論は Natural transformation を厳密に定義するために生まれたとのことです． www.geocities.jp/koga58/category/pictures/leinster-chap01.png 2.Adjoints ここでは Adjoints を学びます．Adjoints は２つの圏からお互いに相手に向かって 関手（functor）が定義され，それらがある種の条件を満たすことにより，お互いに 拘束しあっているものです．これらの裏にはある種の同型が隠れています． これら３つの定義はそれぞれ，ある種の直観を我々に与えてくれます． Leinster によると，Adjoints を知ることは，あなたの数学の工具箱にとても 貴重な工具を加えることになると言うことです． www.geocities.jp/koga58/category/pictures/leinster-chap02.png つづく 366 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 13:24:53.62 ID:1AyCMT16.net] >>333 つづき 3.Interlude on sets 集合論に関する幕間です．幕間ということは気楽に読んでよいということなんでしょうね． www.geocities.jp/koga58/category/pictures/leinster-chap03.png ４．Representables 圏の表現に関する章です．圏は射によってお互いに相手を見ているオブジェクトの世界です． それぞれのオブジェクトにはそれぞれの見方（View）があります．この図にはいくつかの例を 表にして示してあります． 例えば，位相空間の圏では，その中のオブジェクト R (実数の集合）は，ほかの位相空間の中に自分の像，つまり曲線を見ています（Leinster は，「見る」という言葉を使っていますが，相手を見るというより，相手の中に自分の像を見るといった方が正しい表現のように思います.むしろ，こちらの方が見られているという関係に見えます．）． www.geocities.jp/koga58/category/pictures/leinster-chap04.png つづく 367 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 13:25:34.94 ID:1AyCMT16.net] >>334 5.Limits ３つの目アプローチ，Limits/Colimits を学びます．数学では， ある概念を作り出す方法として，ある種のオブジェクトと射の集まりをとってきて，それらに 対するある関係にあるものを新しいものとして作り出すことがあります．このとき，Limits/Colimits を作り出していることが結構多いです． 例えば，群論で群Gから群Hへ準同型 h があるとき，その準同型の核 ker(h) という概念が ありますが（群論では G の中のある正規部分群），これは Limit にあたります．また，２つの整数の最小公倍数は，割り切れるという関係の順序を整数に導入した時の Colimit になっています． www.geocities.jp/koga58/category/pictures/leinster-chap05.png 6.Adjoints, representables and limits 最後の章は，これまで学んだ Adjoints (随伴関手），Representables, Limits/Colimits (極限/余極限) の関係です． www.geocities.jp/koga58/category/pictures/leinster-chap06.png これらは，Universal property を表現するためのアプローチで，基本的に三つの中の一つの方法で 表現できるものは他の二つの方法でも表現できます．それはあたかも，平面上の点が デカルト座標でも極座標でも表現でき，それぞれ注目している特徴寮が違うだけという状況と 似ています． (引用終り) 以上 368 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 14:56:51.95 ID:M10qQte1.net] スレ主、初等的な解析学を馬鹿にしちゃ駄目だぞ。 369 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 16:05:09.24 ID:1AyCMT16.net] >>325 補足 https://rio2016.5ch.net/test/read.cgi/math/1541001291/360 Inter-universal geometry と ABC予想 34 360 名前：１３２人目の素数さん[sage] 投稿日：2018/11/09(金) 10:21:15.60 ID:O6lq68Fq トンデモってむりやり「議論しよう」って言ってくるよね。 ガロアスレもそうだけど。 多分議論がされている（ふうに装っている）あいだは間違いと言う烙印を押されない、と思ってるんだろうが、 それはただのネットバトルのルール（？）であってアカデミックな場のルールじゃないから。 (引用終り) （補足） １．まあ、世の中いろんな人がいて、相対性理論は間違っていると主張するとか ２．カントールの無限の理論とか、対角線論法を認めないとか ３．あと、UFOとか超常現象を信じる人 ４．手品（マジック）を、そのまま現実だと ５．時枝記事は、マジックを文章にしたんです。 　　箱を閉じたまま、箱を開けずに、 　　問題の箱の周囲の箱を並べ替えるだけで＊）、 　　箱の数を確率99/100で的中させますと 　　それを、マジックだと思わずに、「数学� 370 名前：ｾ！」「さすが時枝先生だ！」と、議論を吹きかける人たち ６．それを、「トンデモ」と呼んでいると思いますよ ７．トランプのマジックで、裏を向けたまま、「あなたの選んだカードはこれですね」と的中させる 　　時枝記事そっくりですね PS ＊） エネルギー保存の法則と同様に、情報量を考えてみると 閉じた箱の周囲の箱を並べ替えるだけでは、 閉じた箱の中の数字の情報量は不変で、増えていない なので、これでは箱の中身はさっぱり分らない。 ところが、時枝記事は、箱の数が可算無限に増えたら、 箱の数を確率99/100で的中させますよと 手品（マジック）を、そのまま現実の数学だという だから、”トンデモ”さんだと [] [ここ壊れてます] 371 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 16:08:56.08 ID:1AyCMT16.net] >>337 追加 確率過程論とか、別に難しいことを勉強しろとは言っていない ただ、確率過程論を学べば、物理でいえばエネルギー保存即とか、 特殊相対性理論みたいな、常識が分るわけ その数理の常識を持って、時枝記事を読めば、マジックだと一発で分るってわけです 372 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 16:09:30.75 ID:1AyCMT16.net] >>336 その声は、おっちゃんかな？ お元気そうでなによりです（＾＾ 373 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 16:37:01.13 ID:q4cnUxR6.net] 選択公理を使って非可測な事象について考えてるのだから、 確率測度空間では扱えなくなってしまい、情報量とか エネルギー保存則とかのツールは数学的に適用できないじゃん？ 374 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 16:39:35.96 ID:q4cnUxR6.net] バナッハタルスキーのパラドックスは数学的に間違ってる 球を分割して組み直すことで同じ大きさの2つの球になるわけがない 球の体積は保存されなければならないからだ 別に難しいことを勉強しろとは言ってない 物理でいうところの体積という常識さえ知ってれば、 バナッハタルスキーのパラドックスはマジックだと一発で分かるってわけです とか言ってるようなものじゃん？ バナッハタルスキーのパラドックスは非可測集合に分割するから、 体積というツールが適用できないじゃん？ 時枝記事も同じじゃん？情報量もエネルギー保存則も適用できないじゃん？ 適用できないツールを適用できるように見せかけてるスレ主の方が 間違ってるじゃん？ 375 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 16:46:53.37 ID:q4cnUxR6.net] で、こんな見飽きたやりとりを3年間も繰り返して、 未だに>>337みたいなのを未練タラタラに書き続けるなら、 さっさと東大生と議論してこいって言ってるじゃん？ 駒場祭は11月23日〜25日の3日間あるから、好きな日にお忍びで行ってきなよ アポなしで行けるメリットは大きいぞ 普通は一般人など相手にしてくれないが、祭りの日だけは別だ こっちから話しかければ向こうも相手せざるをえないじゃん？ じゃ、報告よろしく 376 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 17:10:37.17 ID:M10qQte1.net] うーん、スレ主の頭大丈夫か 377 名前：１３２人目の素数さん [2018/11/10(土) 17:31:43.55 ID:4kej56fS.net] >>337 つまりスレ主は選択公理はトンデモだと、そう主張したいわけね？ 378 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 17:55:03.65 ID:1AyCMT16.net] >>335 関連 www.geocities.jp/koga58/category/list_of_pictures_of_awodey_category_j.html 概要説明 Steve Awodey : Category Theory Akihiko Koga (抜粋) 圏論の教科書としてはかなり定評のある本です． Awodey の本の 2006年版は，Awodey 自身の site の ここの一番下の Weekly lecture notes are here. www.andrew.cmu.edu/course/80-413-713/notes/ のリンクをたどったところから見えるようです． Awodey 先生の圏論の講義は Youtube にも動画がアップロードされており， そのプレイリストが https://www.youtube.com/playlist?list=PLGCr8P_YncjVjwAxrifKgcQYtbZ3zuPlb に作成されているようです．この本は，一応，簡単，かつ，きちんと書かれた本として 定評があります． 2.Abstract structures 第２章は，オブジェクトと射に関する色々な概念を 379 名前：，圏論的に，つまり， ほかのオブジェクトや射との関係で表現することを学びます．下の図の 左上のCharacterization of Properties と書いてある部分ですね． http://www.geocities.jp/koga58/category/pictures/awodey-chap02.png 3.Duality ここでも abstract characterization を見ていくみたいですが，特に，射を ひっくり返して出来た概念（Dual : 双対）を見ていきます． http://www.geocities.jp/koga58/category/pictures/awodey-chap03.png つづく [] [ここ壊れてます] 380 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 17:55:46.82 ID:1AyCMT16.net] >>345 つづき あと面倒なので、画像リンクのみ www.geocities.jp/koga58/category/pictures/awodey-chap04.png www.geocities.jp/koga58/category/pictures/awodey-chap05.png www.geocities.jp/koga58/category/pictures/awodey-chap06.png www.geocities.jp/koga58/category/pictures/awodey-chap07.png www.geocities.jp/koga58/category/pictures/faithful-but-not-injective.png www.geocities.jp/koga58/category/pictures/awodey-chap08.png www.geocities.jp/koga58/category/pictures/awodey-chap09.jpg www.geocities.jp/koga58/category/pictures/awodey-chap10.png この章では，モナドが Adjoints と相互に変換しあえる関係であることと 自己関手からの代数系とモナドの関係だけが述べられ，モナド自身や自己関手を 使った代数系がどのように使われるかは載っていません． これでこのテキストは終わりです．あとは，このテキストで身につけた基礎を 頼りに，荒海にのりだすか，あるいは，もっと専門的な本を読むかということ なのでしょう． ということで，Awodey の Category Theory の解説もこれで終わります． (引用終り) 381 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 18:09:52.43 ID:1AyCMT16.net] グレブナー基底について調べたのでメモしておく https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AC%E3%83%96%E3%83%8A%E3%83%BC%E5%9F%BA%E5%BA%95 グレブナー基底 (抜粋) グレブナー基底（グレブナーきてい、英: Grobner basis）は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される（#計算例参照）。 グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（英: Buchberger's algorithm）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている。 目次 1 概要 2 歴史 3 定義 3.1 イデアル 3.2 簡約化 3.3 グレブナー基底 4 ブッフベルガーアルゴリズム 5 計算例 6 脚注 7 参考文献 8 関連項目 つづく 382 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 18:10:30.97 ID:1AyCMT16.net] >>347 つづき 概要 グレブナー基底の基本的な考え方は、多項式の集合 F を以下の特性を持つ "性質の良い"（グレブナー基底と呼ばれる）多項式の集合 G に変換することである[1]。 F と G は "等価"（つまり同じイデアルを生成する） さらに、グレブナー基底についての理論から以下のことが分かっている。 グレブナー基底の "性質の良さ" のため、F で解くのが難しい多くの問題をグレブナー基底 G で解くことができる。 任意の F を等価なグレブナー基底 G に変換するアルゴリズム（ブッフベルガーアルゴリズム）が存在する。 G での問題の解法は、多くの場合、簡単に F での問題の解法に変換できる。 例えば、数式処理システムで多変数の連立代数方程式を解く場合、直接解くのは多くの場合難しい。その際に与えられた方程式のグレブナー基底を計算しそれらを解くことで、元の連立代数方程式の解を求めることができる。 歴史 多項式環上のグレブナー基底の理論はオーストリアの大学院生であったブルーノ・ブッフベルガー（英語版）によって1965年に発表され、その当時のブッフベルガーの指導教授ヴォルフガンク・グレブナー（英語版）の名前からグレブナー基底と名付けられた。 これと独立して1964年に局所環上での同様の理論が広中平祐によって発見され、標準基底（standard basis、あるいはHironaka's standard basis）とも呼ばれる。自由リー代数の枠組みでの同様の理論はA. I. Shirsho 383 名前：vによって1962年に発見されたが、ソ連の外には広く知られなかった。 つづく [] [ここ壊れてます] 384 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 18:11:00.56 ID:1AyCMT16.net] >>348 つづき 定義 イデアル F を n 変数の多項式の集合 {f1, f2, ... , fr} とするとき、多項式イデアル <F> = <f1, f2, ... , fr> とは、 h_1f_1+h_2f_2+ ・・・ +h_rf_r の形の多項式全体の集合のことである。ここで hi は任意の多項式を表す。このとき F をイデアル <F> の生成系、あるいは基底と呼ぶ。以下では F から生成されるイデアルを Ideal(F) と表現する。 f_1=0,f_2=0, ・・・ ,f_r=0 の解はイデアルの要素全ての共通零点と一致し、 イデアルは多変数の連立代数方程式を一般化したものと考えることができる。 例えば連立方程式の消去法は与えられた方程式 F のイデアル I から変数の個数が少ないものを選び出す方法と見ることができる。 (引用終り) 385 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 18:22:42.45 ID:1AyCMT16.net] >>342-344 おちこぼれは３人？　それとも２人 （明らかに、積極的に数学的内容を書く人が一人。あと、書けないでチョウチン専門が一人か二人） ワッチョイ設定できなかったからな、数学板では （なので、一人で携帯とスマホを使っても見分けつかん） で、自分達、「選択公理」を免罪符に持ちだそうと 笑えるが、ご苦労さんだな 386 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 18:33:10.93 ID:1AyCMT16.net] >>340 ちょっとだけ 「選択公理を使って非可測な事象について考えてるのだから、 確率測度空間では扱えなくなってしまい、情報量とか エネルギー保存則とかのツールは数学的に適用できないじゃん？」 箱が有限のｎ個なら 非可測ではなく 箱を開けない限り 箱の中の数の情報は得られない ここで、ｎ→∞の極限を考えたときに 突然、箱を開けないでも 箱の中の数の情報が、99/100の確率で的中できる情報が 得られるという 時枝記事 信じるものは救われるか どうぞ、救われて下さい 387 名前：１３２人目の素数さん [2018/11/10(土) 18:37:31.43 ID:4kej56fS.net] 有理数列は極限を取ると突然無理数になる（場合がある）ことも知らんのか？ 極限について無理を晒し過ぎｗ >>336の意味がわかってないようで 388 名前：１３２人目の素数さん [2018/11/10(土) 18:40:11.84 ID:4kej56fS.net] つまりスレ主は極限は、従って解析学はトンデモだと、そう主張したいわけね？ 389 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 18:41:24.61 ID:hVRcRCG/.net] >>337-338 > ところが、時枝記事は、箱の数が可算無限に増えたら、 > 箱の数を確率99/100で的中させますよと > 手品（マジック）を、そのまま現実の数学だという > だから、”トンデモ”さんだと > その数理の常識を持って 以下もスレ主の主張(= スレ主の数理の常識)と同じだよね 数列の極限は箱の数が可算無限に増えたら 箱の数を誤差εの範囲内で確率99/100で的中させますよと > 手品（マジック）を、そのまま現実の数学だという > だから、”トンデモ”さんだと スレ主はε-N論法は知らないがε-δ論法は知っているとのことだったが lim_{x→a} f(x) = f(a) ε-δ論法は誤差εが指定された場合に誤差εの範囲内での f(a)の数当てが成功するようなδを求めることだから > 手品（マジック）を、そのまま現実の数学だという > だから、”トンデモ”さんだと 390 名前：１３２人目の素数さん [2018/11/10(土) 19:02:37.87 ID:4kej56fS.net] ていうか、この三年間スレ主は散々に自然数や無限に対する認識の間違いを指摘され続けてきた訳だが、 1ミリも進歩してないじゃん。犬猫だって学習するのにスレ主の学習能力の無さは異常。 391 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 21:26:38.32 ID:1AyCMT16.net] 数学科生も同じかも https://www.nikkei.com/article/DGXMZO37580420Z01C18A1SHA000/ プログラミング、未来開く武器に　広がる進路 2018/11/10 11:48日本経済新聞 デジタル機器を動かすのに必要なプログラミングの高度な技能を教えるスクールが増え、子どもが将来の進路に生かし始めた。不登校から一転して有力大学に合格したり、スマートフォン（スマホ）向けのアプリ開発で活躍したりする高校生もいる。長期休暇に中高生向けに有力大学でITの最先� 392 名前：[を学ぶキャンプもある。子どもの未来を切り開く武器になりつつある。 「プログラミングと出合えたから、かけがえのない仲間に出会えたし、大学にも合格できた」。不登校だった吉開拓人さん（20）は慶応義塾大学に入学後、充実した日々を送っている。大学に通う傍らプログラマーとしても活動する。 勉強の意味がわからず、中学1年の秋に不登校になった。その後はゲームばかりして過ごした。「そんなに好きなら自分で作ったら」。父親のひとことでプログラミングに興味を持ち、専門書を読みあさって技能を身につけた。だが、中学卒業後も家にこもる日々は続いた。 そんなある日、プログラミング教育に注力する広域通信制（単位制）のコードアカデミー高校（長野県上田市）ができたことを知り、1期生として入学した。教科書に沿ったネット配信授業をパソコンなどで視聴し、ときどき校舎に集まる。仮想通貨で稼いだり、ITビジネスを考えたりする同級生がいた。 吉開さんは刺激を受け、数学や英語も積極的に勉強するようになった。「目的があれば楽しんで学べる」。昼間はベンチャー企業で働き、ロボット開発などに関わった。高校卒業の資格を得ると、プログラミング技能を武器にしてAO入試で慶大に合格、2017年に進学した。 同高校では3学年で約80人が学ぶ。授業の約3分の1がプログラミング関係で、17、18年と2年続けて早稲田大学と慶大に進学者を出した。吉開さんに続き今年も、中学時代に不登校だった生徒が慶大に入学した。 [] [ここ壊れてます] 393 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 21:28:31.72 ID:1AyCMT16.net] >>352 それ面白いわ 極限とったらなんでも可能か 有理数列は極限を取ると複素数にもできるかもな 394 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 21:30:13.24 ID:1AyCMT16.net] >>352 ああ あと、「有理数列は極限を取ると突然無理数になる」って 定義じゃなかったかい？ 395 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 21:31:25.97 ID:1AyCMT16.net] 切断を使う定義もあるから、ほとんど定義と言った方が適切か 396 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 21:36:03.15 ID:1AyCMT16.net] まあ、なんでも良いけど 有限個の箱なら、箱を開けずに、数当てをすることは決してできない それが、突然、箱が可算無限個になったときに、なぜ、箱を開けずに数当てするに確率99/100にできるのか？ 有限個と無限個の差！ それがきちんと説明できない限り、マジック（パズルかな）であって、数学ではないぜ 397 名前：１３２人目の素数さん [2018/11/10(土) 21:45:08.22 ID:4kej56fS.net] それを説明してるのが時枝記事なんだがｗ スレ主が理解できないだけの話なんだがｗ 398 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 22:30:29.11 ID:1AyCMT16.net] >>360 いま思ったんだが 箱の数が、例えば100億とか、まあ100万でも良いのだが 有限個として 100億の箱を 100列 １億ずつならべる あとは、時枝記事に同じ １億個を、しっぽの同値類に分類して 100列のどこか一つＬ番目の列を残して、他をすべて明け 同じようにして、Ｌ番目の列のしっぽのみを明けて、その属する同値類と 代表を得る 以下時枝記事と同じ では、100億の箱の場合、時枝記事の数当ては確率99/100で成功するのか否か 数当てが成功しないとすれば、それはなぜなのか？ ＰＳ 成功するなら、なんの問題もない 100億を、100兆、100京・・・100＊10^n (n→∞) で、話は終わるのだから まあ、有限と無限と 数学では、両方が分らないと、分ったとは言わない 399 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 22:35:22.23 ID:hVRcRCG/.net] >>360 > マジック（パズルかな）であって、数学ではないぜ >>242 > 「lim x→a f(x) (1) それがf(a) と一致する > 左右の極限が存在し、かつ一致すること」 それだったらスレ主は上のような 400 名前：書き込みをわざわざ数学板にする必要はないでしょう マジック板かパズル板に書き込めば良いのでは？ (0, 1)で定義された連続関数f(x)がある 出題者は(0, 1)から点aをランダムに選びf(a)の値を箱に入れる 回答者はf(a)以外のf(x)の値を全て知ることができる lim_{x→a-0} f(a) と lim_{x→a+0} f(a)より 箱の中身の数字を当てる確率は1 [] [ここ壊れてます] 401 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 22:36:29.13 ID:1AyCMT16.net] >>361 時枝には書いてないよ 下記だよ なお、Sergiu Hart氏のPDFには、結論だけしか書いてないよ 理由は記されていない 無理するな 44 rio2016.2ch.net/test/read.cgi/math/1506848694/463 463 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:55:58.49 ID:bqiuLoxO [4/9] １．まず、そもそも話が有限ですむ場合は、”当たらない（＝箱に数を入れる主題者勝率１、回答者勝率０）”ってことは、おっちゃん以外の全員が、同意している 　　実際にも、>>87に引用したSergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf? にも下記があるよ（これには全員同意だよ） 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.”とある つまり、意訳すると “リマーク：箱の数が有限の場合、プレーヤー1は勝利を保証することができます。 [0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって、game1の勝利確率1とgame2の勝利確率9/10になる。”と 言い換えると、プレーヤー２の立場では、game1の勝利確率0とgame2の勝利確率1/10になる。 注＊）、[0、1]はこの区間の任意の実数を、{0、1、・・・、9}は0〜9までの整数を、箱に入れるということ。 (引用終り) 402 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 22:50:16.45 ID:hVRcRCG/.net] >>364 > 時枝には書いてないよ 時枝に書いてあることをそのまま使えば 同値関係を用いてR^nからR^Nを構成することができる これを極限(n→∞)と考えている ε-N論法のN(ε)に対応するものが決定番号 n→∞のときに決定番号が有限ならばR^nのn→∞の極限はR^N 決定番号が∞ならばR^nはn→∞の極限で発散してR^Nにならない 403 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 23:02:10.89 ID:1AyCMT16.net] ああ、こんなのがヒットしたね たまにお世話に成る黒木 玄さんの「層の話」 面白いね https://www.math.tohoku.ac.jp/~kuroki/Articles/sheaf_no_hanashi.txt From: g.kur@tainsbbms (黒木 玄 (くろき げん)) Newsgroups: mathematics Subject: 層の話 Keywords: Message-ID: <517@tainsbbs> Date: 1995/05/01 03:52:17 Organization: 東北大学理学部数学教室 [kuroki@math.tohoku.ac.jp] (7-3221) Lines: 306 Until: 1995/05/30 (抜粋) 「層 (= sheaf = faisceau)」の話をせよと言われても、層の言葉はあまりに も基本的過ぎるので説明するのが大変です。「層」の例を挙げよという要求は、 ほとんど「集合」の例を挙げよという要求にかなり近い感じがします。 さてどうしま� 404 名前：ｵょう？どうしたら良いかわからないので、歴史的にも(加群の) 層の理論の発展の motivation の一つになったと思われる Cousin (クザン)の 問題を例に説明したいと思います。実は、多変数函数論におけるクザンの問題 には第1と第2があるのですが、ここでは第1問題を1変数複素函数の場合に限っ て説明することにします。 §1. 一変数の複素函数論の復習 略 (引用終り) [] [ここ壊れてます] 405 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/10(土) 23:03:27.03 ID:1AyCMT16.net] >>365 有限なら、なぜ当たらないのかの説明は？ 406 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 23:05:35.43 ID:hVRcRCG/.net] >>367 > 有限なら、なぜ当たらないのかの説明は？ スレ主は有限数列の極限を求めるのですか？ 求めるのならばどうやって？ 407 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 23:30:36.21 ID:q4cnUxR6.net] ほらな、この有様だよｗ 一連のやりとりが3年前と変わらないｗ こんな見飽きたやりとりを未練タラタラに繰り返すなら、 さっさと東大生と議論してこいって言ってるじゃん？ 駒場祭に行って東大生を相手にして、 リアルの会場でスレ主のこの醜態を晒してみろよ 失笑どころじゃないぜ いかにスレ主の頭がおかしいのか、 少しは現実世界に踏み出して自分の肌で体感してみろっての 408 名前：１３２人目の素数さん mailto:sage [2018/11/10(土) 23:43:06.89 ID:q4cnUxR6.net] もう繰り返さないゾ 駒場祭は11月23日〜25日の3日間あるから、好きな日にお忍びで行ってきな スレ主は東大に行ける距離に住んでて、ちょうど祭りの時期なんだから、 お忍びで行ってきな このスレの連中は信用ならないと思ってるスレ主が、 そんな信用ならない連中と３年間も未練タラタラに 見飽きたやりとりを繰り返すエネルギーはあるくせに、 １回ですら東大生とリアルに議論するのを拒むなんて許されないじゃん？ いい加減に１回外に出るべきじゃん？ 調べた限りでは、数学科の企画は毎年　ますらぼ　という名前になってるので、 今年も　ますらぼ　という名前で企画があるだろう じゃ、報告よろしくな 楽しみに待ってるゾ 409 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 07:08:28.00 ID:jyf+YT5g.net] >>368-369 まさに馬脚 あんたら馬だった（って・・・（＾＾； ） ・有限なら、なぜ当たらないのかの説明は？（>>367） ・有限個として、100億の箱を、100列 １億ずつならべる（>>362） ・時枝記事に書いてある、列のしっぽの同値類や代表と決定番号は全て有限でも実行可能 ・決定番号の大小から、99/100が導ける？ ・Sergiu Hart氏のPDFでは、そうならないと書いてあるが、理由が書いてない（>>364） ・理由を聞いたら、答えられない。馬だから？ https://kotobank.jp/word/%E9%A6%AC%E8%84%9A%E3%82%92%E9%9C%B2%E3%82%8F%E3%81%99-599994 コトバンク 大辞林 第三版の解説 ばきゃくをあらわす【馬脚を露わす】 〔芝居で、馬の脚に扮ふんしていた人が正体をあらわす意から〕 隠していたことが明らかになる。化けの皮がはがれる。 出典　三省堂大辞 410 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 07:09:47.77 ID:jyf+YT5g.net] >>370 >もう繰り返さないゾ はいはい、>>371をどうぞ（＾＾ じゃ、報告よろしくな 楽しみに待ってるゾ 411 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 07:14:01.07 ID:jyf+YT5g.net] >>371　補足 まあ、有限なら、なぜ当たらないのかの理由を考えたら、 「決定番号の大小から、99/100が導けない」となるんだけど それで、時枝記事への理解は深まるよ 412 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 10:11:00.83 ID:jyf+YT5g.net] >>263 Ｃ＋＋さんが言いたかったことは、こういうことかな？ premium.yomiuri.co.jp/pc/#!/news_20181110-118-OYTPT50323/search_list_AI__ ［サイエンス　Ｏｐｉｎｉｏｎ］「ＡＩは万能」誇大広告 読売 2018年11月11 (抜粋) premium.yomiuri.co.jp/sys/img/00/747/579/ML00747579_S00001.jpg 熱狂から幻滅　ブーム下火 　世間には今、ＡＩ� 413 名前：i人工知能）があふれ、「ＡＩブーム」のただ中にある。複雑な問題を瞬時に解く「極めて賢い機械」は、人間の生活の質を高めるばかりか、人間を支配するとの脅威論まで飛び出すほどだ。 だが、その実像を冷静に見ると、現時点で期待したほどの万能性はなく、脅威論にも違和感を覚える。イメージが先行した現状のままでは、やがてブームは終わり、ＡＩが社会に定着することはないだろう。　（科学部　笹本貴子） 　「ＡＩは過度な期待のピークを越え、熱狂が冷める段階に移行しつつある」。情報技術（ＩＴ）関連の米調査会社ガートナーの日本法人は１０月１１日、国内のＡＩ技術への期待感について、こんな分析結果を発表した。 　同社の「ハイプ・サイクル」という分析によると、ＡＩは昨年、ハイプ（過度な期待、誇張の意味）のピークを迎え、現在は熱狂が冷め始めて「幻滅期」への下り坂にさしかかりつつある。企業のＡＩを活用したビジネスは「今後、慎重な姿勢が広まる」と予想した。 　ＡＩという用語は１９５６年、米国で開かれた国際研究会議で初めて登場した。「人間にしか解けない問題を解く」など抽象的な概念を指していた。ＡＩはそれから７０年頃までと、８０〜９５年頃の２度のブームを迎え、そのたび衰退。今は２０１０年頃から始まった「第３次ブーム」にあるといわれる。 つづく [] [ここ壊れてます] 414 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 10:11:46.00 ID:jyf+YT5g.net] >>374 つづき 　現在、ＡＩは二つに分類できる。 　一つは、人間が「この場合はこうする」というような制御プログラムを入力し、その通りに動くＡＩだ。部屋の温度が下がれば自動的に暖める、ごく一般的なエアコンもこれに該当する。ゴミの有無や壁、障害物を認識して臨機応変に掃除するロボットもそうだ。 　もう一つは、過去のデータを学習して、自ら動作を判断したり、今後を予測したりできるＡＩ。これは「機械学習」と呼ばれ、さらに複雑な計算過程をたどる深層学習（ディープ・ラーニング）が実現した。これがブームの核心だ。 状況判断　最大の関門 　「判断の根拠を説明できない」ことも問題だ。ＡＩが様々な判断をしても計算過程が複雑すぎて、人間は、ＡＩがなぜそう考えたのかの因果関係がわからない。山田教授は「この問題が解消されれば、ＡＩの応用の幅は一気に広がるのだが」と話す。 　ＡＩは今後、社会に定着していくのか、あるいは過去２回のブーム後のように忘れ去られていくのか。社会がＡＩの実態を正しく知り、長い目で向き合う姿勢も重要だろう。ＡＩブームのピークを過ぎた今から数年間が、真の定着への正念場だ。 (引用終り) 以上 415 名前：１３２人目の素数さん [2018/11/11(日) 10:24:21.36 ID:65QngCDP.net] >>371 有限だと(決定番号+1)の項があるか分からないけど、無限だと必ずあるので無限だとうまくいく 416 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 11:12:14.28 ID:jyf+YT5g.net] でも ＡＩはブームが過ぎても 定着していくと思うし 応用できる部分が広がっていくと思う ＩＣＯＴとは時代背景が違うと思う 当時国家予算でしか実現できなかった計算機パワーが いまでは、普通の企業や、がんばれば個人でも実現できる時代 ＡＩの応用はこれからもっと広がると思います https://ja.wikipedia.org/wiki/%E7%AC%AC%E4%BA%94%E4%B8%96%E4%BB%A3%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF 第五世代コンピュータ (抜粋) 1992年: プロジェクトは当初の予定から一年延長され、この年に終了した。PIMOS のソースコードはパブリックドメインとして公開されたが、PIM でしか動作しないものだったため、KL1 を一般のUNIXマシンで動作させるためのプロジェクトが別途開始された。その成果はKLICとして公開されている。 成果 ハードウェア ・PSI-I：最初の逐次推論マシン。30KLIPS（Logical Inference Per Second、三段論法的推論を一秒間に実行できる回数）。CPUはワンチップ化されていない。 ・PIM（Parallel Inference Machine）：並列推論マシン 　PIM/p：512プロセッサ(RISC) 　PIM/m：256プロセッサ(CISC) 　PIM/c：256プロセッサ(CISC) 　PIM/k：16プロセッサ(RISC) 　PIM/i：16プロセッサ(LIW) (引用終り) https://news.mynavi.jp/article/20180607-computex15/ マイナビニュース Intelの28コア新CPUはSkylake-SPベース? 基調講演デモから読み解く【COMPUTEX TAIPEI 2018】2018/06/07 https://news.mynavi.jp/article/20180607-computex15/images/001.jpg https://pc.watch.impress.co.jp/docs/news/1151683.html Intel、最大48コアの「Cascade Lake-AP」を2019年に投入 〜Coffee Lake採用のXeon E-2100シリーズも発売 佐藤 岳大 PC Watch 2018年11月5日 https://pc.watch.impress.co.jp/img/pcw/docs/1151/683/01_l.png 417 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 11:16:51.53 ID:jyf+YT5g.net] >>376 １）なぜ、有限だと(決定番号+1)の項があるか分からないのですか？ ２）もし、例外的に、”(決定番号+1)の項があるか分からない”場合が生じるとして 　その場合を除外して計算すれば、99/100より下回るけれども、ある的中確率が得られますか？ 418 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 11:40:18.84 ID:jyf+YT5g.net] >>337 補足 世の中いろんな人がいて、相対性理論は間違っていると主張するとかあるけれども （トンデモさんたち） 時枝記事についていえば、確率過程論を学んだ人は、普通は時枝記事を真に受ける人はいない で（確率変数が有限個の場合だけれども） Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf? 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.” とある これは、確率過程論の当然の帰結である と同時に、確率変数 ”xi independently”で たとえ可算無限になろうとも、 あるいは非可算無限になろうとも 結論が変わらないことを、我々は知っている（確率過程論の常識） だから、時枝記事は 確率変数 ”xi independently”が有限個の場合はともかく 可算無限になると、 確率過程論の結論を破っている・・、 あるいは破ることができる そう主張しているのです。 で、数学セミナー201511月号の記事が出た当時、学生でまだ確率過程論を学んでいない人たちもいた だが、大学の教程が進んで行くについて、彼らはトンデモさんを卒業していきました。 いま、”相対性理論は間違っている”ならぬ 確率過程論の確率変数 ”xi independently”は、可算無限になれば、99/100で的中できるのだと 言い換えれば、確率過程論の確率変数 ”xi independently”でも、可算無限になれば、 ”independently”で無くなると主張する人が、２〜３人トンデモさんを卒業できずに残った 自分達が、”トンデモさん”あるいは、そういう主張をしているという自覚がない人たち 確率過程論の知識がないと、覚醒するのは無理かも 419 名前：１３２人目の素数さん [2018/11/11(日) 12:43:28.98 ID:GPbg3/KP.net] 時枝記事は可算無限個の箱の場合についての話なので、有限個の箱の場合については 何も言ってない。スレ主が有限個の場合にどうなるか知りたいのなら、まずは自分の 頭で考えるべき。最初から人に� 420 名前：ｷくのは思考停止の癖が染みついている証拠。 まあ無限の場合でさえわからないスレ主には無理だろうけど。 [] [ここ壊れてます] 421 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/11/11(日) 12:56:58.97 ID:jyf+YT5g.net] >>366 ついでに 図があるのがいいね https://www.youtube.com/watch?v=j7YmI5Prmnk Presheaves and Sheaves 16分もの Harpreet Bedi 2015/01/21 に公開 Ghazanfar Abbas 2 年前 wao nice way to explain the concept of sheaf...,? alan c 5 か月前 A great video thank you Sir !?

---

---

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

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