1 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2018/11/27(火) 20:51:39.89 ID:Oqu1XNS+.net] このスレは、皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.g 421 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 01:27:58.64 ID:amEiWaJg.net] >>382 > 1/qおよび1/q'を「客観的かつランダムな確率計算に使う代表として」 > 選ぶことはできないことが示された。 1/qおよび1/q'は関数が出題される前に選んだ代表元と 出題された関数で決まるのですよ 回答者から見れば箱を開けた段階です スレ主は一度回答者が箱を開けて1/qや1/q'を計算した段階で 出題者が箱の中身や代表元を変更することが許されると 「本気で」信じているのですか？ > 同じ論法で、 それは数当ての結果を見てから出題された関数か代表元を変更して 数当てが失敗するといっていることと同じでしょ それのどこが客観的な確率計算なんですか？ スレ主は過去スレでも同じようなことを書いていた 以下のような設定で 出題者が自然数を選びその数を見た回答者がより大きな数を答えれば勝ち 一般人: 出題者がnを選んだので回答者はn+1を選べば常に勝ち スレ主: (n+1を見て)n+2を選べば出題者が勝ち 一般人の心の声: n+2が出題されれば回答者はn+3(= (n+2)+1)を選ぶ 422 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 06:52:45.59 ID:+P+lGjiR.net] >>383-385 はいは〜い 伊東由文先生のPDFを読んでください 時枝記事を、関数論の芽茎層のε近傍の局所同値類に写した利点は すでにある数学の理論、近傍系の理論や、伊東由文先生のPDFなどを、援用できることです で、時枝記事に戻れば、時枝のいう代表は、集合の同値類の代表ではあるけれども （集合の同値類の代表では、確率計算はしないので、客観性やランダム性は求められないが） 確率計算に乗せるには、選ぶ代表に客観性とランダム性が求められ 423 名前：る そうしないと、確率計算にのらない。そこらを、錯覚させているところにこのパズルのタネがあります そのことは、伊東由文先生のPDFにある関数論の近傍の局所同値類を理解すれば 分りますよ (>>328より) http://wwwa.pikara.ne.jp/yoshifumi/THF-I/THF-I-2.pdf 超函数の理論I 第２章　層 伊東由文 (抜粋) P1 例2.1.1(2) Oxをxのある近傍で正則な関数のにおける芽のつくる環とする。 各x∈ωに対し、γx(f)をxにおいてfによって定まる芽とする。 P6 この関係は同値関係になるから上の商空間が意味をもつ。Fxをxにお ける茎といい、s∈F(U)のFxにおける像をsのxにおける芽といい、 sxと表す. P9 この例のように、関数の作る前層{F(U)}は局所化の原理を満た していることが多い.しかしR^n上の2乗可積分関数のようなも のは前層{L2(U)}をつくると, 条件(S1)を満たしているが条件 (S2)は満たさない. 前層{L2(U)}から誘導される層は, 局所2乗可 積分関数芽の層L2locになる. したがって, 一般に関数空間の族は 前層になるということによって特徴付けられる.そのうち特に良 い性質を持つ関数の空間のつくる前層は層になる. 本書で考察する 関数概念の一般化である超函数も局所化の原理を満たすようなもの として特徴付けられる. (引用終り) [] [ここ壊れてます] 424 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 07:05:19.78 ID:+P+lGjiR.net] >>386 追加 ＜トランプ手品＞ 52枚のカードを使う マジシャン：どうぞ、この中から好きなカードを、選んで下さい （と伏せたカードを示す） マジシャン：カードを選んだら、そのカードをお客様によく見えるようにして下さい。私には見せないように マジシャン：カードを、元のトランプの束に戻して下さい マジシャン：よーくシャッフルします。はい、貴方の選んだカードは、これですね （と選んだカードを差し出す） ＜手品終り＞ これは、手品であって、数学ではありません 数学の確率論では、的中確率は1/52です 確率1/52より的中確率を上げるには、どこかに手品のタネが必要です 情報を貰うってことです。トランプの裏に分らない印があるとか。お客の中に助手が居てサインで選んだカードを教えるとかね 貴方の>>375ってのは、自分で関数が当たるように、ε_minを設定しています 客観性とランダム性が、欠落しています 多分、それを自覚していない 伊東由文先生のPDF（>>386）を読みましょう。そうすれば、分ります 以上です 425 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 07:25:24.22 ID:EqrP/qmz.net] >>366 >f≠g である連続関数を二つ >それでx=0のε近傍の同値類から、 >代表を示しなさい この瞬間、スレ主は選択公理を理解できてないことが明らかになった 代表は選択公理によってその存在が示されるだけであって 同値類から代表を選ぶ具体的手続きが示されているわけではない ここが高校数学と大学数学のギャップ 具体的計算はできても、論理的推論ができない馬鹿は 大学１年の数学の講義で必ず落ちこぼれる 426 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 07:30:06.64 ID:EqrP/qmz.net] >>380 >では、こうすればいいですね >２） >ここで、 >(条件2) f(x) = a'(x) (x < 1/2q), g(x) = b'(x) (x < 1/2q') >と変更できます 後から代表元をすりかえることはできませんな スレ主完全敗北決定 427 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 07:52:52.19 ID:HrQk6Tz9.net] ここのスレ主は頭おかしすぎるだろ なんでこんな奴が数学板にいるんだ？ 428 名前：１３２人目の素数さん [2018/12/07(金) 08:52:40.55 ID:5A/XrNtZ.net] >>386 ＞確率計算に乗せるには、選ぶ代表に客観性とランダム性が求められる ＞そうしないと、確率計算にのらない。そこらを、錯覚させているところにこのパズルのタネがあります バカですか？ 1. お前の言ってる確率とは何の確率か？ 2. その確率を計算するのになぜ選ぶ代表に客観性とランダム性が求められるのか？ ごまかさずにきちんと答えてみ？アホな答えはやめてね 429 名前：１３２人目の素数さん [2018/12/07(金) 09:02:12.08 ID:5A/XrNtZ.net] >>387 ＞どこかに手品のタネが必要です ＞情報を貰うってことです。 はい、時枝戦略は同値類から情報を貰います。 これまで何度も言われてきたのに、お前が未だに理解できてないだけ。 いい加減にアホなレスやめてもらえませんか？ 430 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 1 ] [ここ壊れてます] 431 名前：0:20:46.05 ID:4ttD0GqB.net mailto: >>388-392 数学科卒落ちこぼれのピエロちゃんを筆頭に、皆様ご苦労さまです（＾＾ 「超函数の理論I 第２章　層 伊東由文 PDF」 を読みましょう （ http://wwwa.pikara.ne.jp/yoshifumi/THF-I/THF-I-2.pdf 超函数の理論I 第２章　層 伊東由文） 時枝記事を、関数論の芽茎層のε近傍の局所同値類に写しました 関数論の芽茎層のε近傍の局所同値類が分かれば 時枝記事の加算無限の数列のシッポの同値類がどんなものか、なぜ当たらないかが理解できます あなた方は、恥じることはありません 時枝先生でさえハマったんですからね これ以上、時枝記事を突いても仕方ない 時枝記事がなぜ当たらないかを通じて 関数論の芽茎層のε近傍の局所同値類の理解を深めるのが 数学の正道と思います まあ、数学科卒落ちこぼれのピエロちゃんには、一生理解は無理かもしれない （ピエロちゃん、無理しなくていいから。おっちゃんに遊んでもらいな） では [] [ここ壊れてます] 432 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 10:56:37.50 ID:LZATMxx0.net] おっちゃんです。 >>351 >>338には >一般の(不連続）関数 >ｆ_１,・・・,f_100 >に対して、その近傍系の同値類の代表元 >fr_1,・・・,fr_100 >が存在して、それぞれ、「ある」範囲 >ε_1,・・・,ε_100 >で、f_i＝fr_i(i=1〜100)となっているとする と書いてあるから、 >「ある関数f_nを選んでその近傍系の同値類の >代表元との一致範囲ε_nが、100個の関数中 >最小でなければ、他の関数の近傍系の同値類の >代表元との一致範囲の最小値ε_minより >小さい範囲で、任意の点を選べば、当然 >ε_n以内なのだから、f_n=fr_nが成立し、予測可能である」 の ε_n n=1,…,100 も固定されている。 だから、ε ε＞0 を走らせて反論するようなことしても意味がない。 433 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 11:11:20.94 ID:4ttD0GqB.net] これだね >>89 https://www.goethekyodai.xyz/entry/college-highschool-math - 我、京大生ぞ 20180318 大学数学と高校数学の違い (抜粋) 大学数学 教科書・参考書の例題が鬼のように難しい 理系の９割が理解していない 教科書の定理の証明方法は凡人には到底理解できない 434 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 11:13:40.19 ID:4ttD0GqB.net] >>394 おっちゃん、どうも、スレ主です。 ありがとう（＾＾ 435 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 11:14:45.51 ID:4ttD0GqB.net] >>396 「超函数の理論I 第２章　層 伊東由文 PDF」 を読みましょう （ wwwa.pikara.ne.jp/yoshifumi/THF-I/THF-I-2.pdf 超函数の理論I 第２章　層 伊東由文） 436 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 11:16:49.16 ID:4ttD0GqB.net] 読めてないんだよね これ そういう人が見当はずれのコメントをする（>>395） 437 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 11:31:28.29 ID:LZATMxx0.net] >>351 >「最小値ε_min」を考えるのは、適切ではないですよ 100(有限)個の一般の(不連続）関数 ｆ_１,・・・,f_100 に対して、 それらの各同値類の代表元を考えていて、 各 i＝1,,100 に対してε_i-近傍は固定されているから、 自ずと正の実数 ε_i i＝1,,100 の中の最小値 ε_min は存在する。 438 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 11:44:55.32 ID:HrQk6Tz9.net] >>399 おっちゃんでもきちんと分かっている 商売で煽りやってるのがミエミエなんだよスレ主さん 439 名前：１３２人目の素数さん [2018/12/07(金) 13:13:03.37 ID:Bgzr68r/.net] ああレベルは違うが「わかってないことをさもわかってるように大量に書く」点では 伊東由文とここのスレ主は通じるものがあるな 数学会の困ったちゃん伊東の方がずっとマシだが 440 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 16:58:35.72 ID:4ttD0GqB.net] https://www.nikkei.com/article/DGXMZO3866066007122018000000/ グーグルAI「囲碁・将棋・チェスを制覇」米誌掲載 日経 2018/12/7 (抜粋) 米グーグル系の英ディープマインドは6日、世界最強で知られる同社の囲碁向け人工知能（AI）を将棋とチェスにも適用し、両分野でも世界トップの実力を得たと発表した。 ディープマインドが手掛けるソフトの特徴は「強化学習」と呼 441 名前：ばれる手法を駆使して、AIが独学で能力を高めていく点だ。人間は将棋やチェスのルールを教えるだけ。 その後は別のソフトを相手に数十万回単位で対局を繰り返し、高いレベルの駒の打ち方を学んでいった。 チェスでは世界最強ソフトとされる「ストックフィッシュ」と1000回対局して155勝6敗、残りは引き分けだった。将棋は「エルモ」と呼ばれる世界最強ソフトと競い91.2%の勝率を得た。囲碁は自社の「アルファ碁」と戦い勝率61%だった。 ディープマインドによると難易度が最も高いゲームは囲碁だが、将棋も「持ち駒があることでチェスよりもシナリオが複雑で難解」（同社）。それでもAIとして独学を始めて12時間程度で学習を終えたという。 アルファゼロは3つのゲームに対応したことでAIアルゴリズムの優位性を示した。 チェスのストックフィッシュは数千ものプロの定石を「先生データ」として取り込み、それを基に最適な一手のシナリオを導いている。 経験から学ぶアルファゼロは整理されたデータを先生として用意する必要がなく、汎用性を高めやすい。 ディープマインドはゲームの枠を超えた汎用AIの実現を目指す。 医療や省エネなど「世界のより重要な課題の解決にアルゴリズムを活用したい」と述べた。 同社はAIでたんぱく質の構造を予測する「アルファフォルド」を3日に公表したばかり。また10月には日本の慈恵医科大学と組みX線画像から乳がんを見つける研究を始めると発表している。 アルファゼロがもたらしたもう一つの成果は、過去のデータやシナリオに頼らない新たなAIのあり方を研究者らに知らしめた点といえる。アルファゼロの100局分の棋譜を見た羽生善治竜王は「王将を中段に動かすことをいとわないのは今までの将棋理論にはなく、新たな可能性を示している」とコメントした。AIから創造性が生じれば、その用途は絵画や音楽などにも広がっていく。 （モントリオール=中西豊紀、山川公生） [] [ここ壊れてます] 442 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 17:03:49.63 ID:LZATMxx0.net] 一応、>>399の「i＝1,,100」は「i＝1,…,100」な。 スレ主の応答はないようだが、>>399のような基本的なことを書かせるために>>393に >おっちゃんに遊んでもらいな みたいに私を呼び出すようなことを書くのはやめてくれ。 私はスレ主と意見が一致している訳でも何でもない。 それじゃ、おっちゃんもう寝る。 443 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 17:13:08.36 ID:LZATMxx0.net] 書いた後に見たら、いきなり>>402でコピペのレス(応答)がはじまっていたw それじゃ、おっちゃんもう寝る。 444 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 17:58:39.53 ID:amEiWaJg.net] >>386 > すでにある数学の理論、近傍系の理論や、伊東由文先生のPDFなどを、援用できることです >>354 > 関数f1(x), f2(x)で(何らかの)極限を考えてその極限が収束している場合に > 関数f(x) = (f1(x) + f2(x)) / 2も収束することを考える場合 > δ1(ε)とδ2(ε)のどちらがより小さいε近傍に対応するかを考えることになる >>355 > 三年間で進歩したと思ってください > 以前の話は、私がレベルが低かった > はい認めます >>367のf(x), g(x)は連続関数である そこでh(x) = f(x) + g(x)を考えるとh(x)は連続関数である lab.twcu.ac.jp/nick/lecture/2013/conti.pdf p.2の定理3.2.3より「f + g は連続である」 このことと時枝戦略「この点の値f(x'')がa(x'')に等しい確率は1/2」 は同値である >>387 > 貴方の>>375ってのは、自分で関数が当たるように、ε_minを設定しています > 客観性とランダム性が、欠落しています いいえ 2つの区間(近傍)A:(0, a), B:(0, b)の状態としては (1)区間Aと区間Bは等しい (2)区間Aが区間Bを含む (3)区間Bが区間Aを含む しかないのです (1)の確率は0としているので((2) or (3))時枝戦略の確率は1/2 445 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 19:18:43.03 ID:EqrP/qmz.net] あらためて >>380-382 を読むと、スレ主が 「関数の近傍系の同値類」 について全く理解してないことがわかる 特に>>382の６） ＞Sf⊂Sf2・・・⊂Sfn、Sg⊂Sg2・・・⊂Sgn ですから、 ＞代表は集合SfnとSgnの中から、 選ばれるべきです。 が見当違い そもそもｆの近傍系の同値類Sflは いかなるSfnをも包含している そしてそのようなSflからある関数aを 代表元として選んだ場合、結果的に あるε＞０においてｆ＝ａとなる それが「近傍において同値」の意味 だからだ 446 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 19:20:53.86 ID:EqrP/qmz.net] >>387 ＜カード遊び＞ ｎ枚のカードを使う 私：どうぞ、この中から好きなカードを、選んで下さい （と伏せたカードを示す） 私：はい、貴方の選んだカードの数は、全カード中で最大でしたか？ ＜遊び終り＞ これは、手品であって、数学ではありません 数学の確率論では、最大のカードを引く確率は1/ｎです 時枝論法も、これと同じです 447 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 20:22:11.17 ID:amEiWaJg.net] >>387 > 貴方の>>375ってのは、自分で関数が当たるように、ε_minを設定しています > 客観性とランダム性が、欠落しています 条件の後出しでゲームの勝敗を変えようとするのはいつもスレ主の方なのだが >>385 > スレ主は過去スレでも同じようなことを書いていた > 以下のような設定で > 出題者が自然数を選びその数を見た回答者がより大きな数を答えれば勝ち > 一般人: 出題者がnを選んだので回答者はn+1を選べば常に勝ち > スレ主: (n+1を見て)n+2を選べば出題者が勝ち > 一般人の心の声: n+2が出題されれば回答者はn+3(= (n+2)+1)を選ぶ 過去ログだと rio2016.5ch.net/test/read.cgi/math/1503706544/381 へのレスで rio2016.5ch.net/test/read.cgi/math/1503706544/383 > > nに上限はないのでn+2を出題すればn+1より大きく出題者が勝利する > そうです。それで無問題です。 > 数学の確率論では、的中確率は1/52です 数当てでは回答者は残した1つ以外の箱を全て開けて中身をみることができます 選ばなかった51枚のカードを見ることができれば当てられますよ 1組52枚(ジョーカー抜き)の1セットを使うことが守られる限り 448 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 20:29:33.59 ID:EqrP/qmz.net] >>402 スレ主がAIの話したら敗北宣言と思え 449 名前：１３２人目の素数さん [2018/12/07(金) 20:48:24.37 ID:5A/XrNtZ.net] ε-N論法で落ちこぼれたスレ主が芽を勉強せよと説教するスレ 450 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 21:38:28.13 ID:EqrP/qmz.net] >>410 無能の癖に全能感丸出しのスレ主 痛々しいことこの上ない 451 名前：１３２人目の素数さん mailto:sage [2018/12/07(金) 22:00:09.00 ID:5lSIzJwz.net] 間抜けなスレ主が・・・ 452 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 00:16:18.24 ID:gBY/bObG.net] スレ主のバカ歴史のまとめサイトはないの？ 453 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:09:19.89 ID:bIDCQoJi.net] >>403-404 おっちゃん、どうも、スレ主です。 おっちゃん、悪かった 謝るよ おっちゃんを、みんなと同じレベルだなんて（＾＾ 454 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:10:25.46 ID:bIDCQoJi.net] >>403-413 まず、結論は、>>129なので 「時枝記事と、関数の芽の同値類との関係は、>>21>>25>>29>>57>>106>>111に書いた通り」 これ、一段落したので、しばらく時枝記事関連のカキコはスルーします（＾＾ 皆さん、「超函数の理論I 第２章　層 伊東由文 PDF」 を読みましょう （ wwwa.pikara.ne.jp/yoshifumi/THF-I/THF-I-2.pdf 超函数の理論I 第２章　層 伊東由文）(>>397より) つづく 455 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:13:55.46 ID:bIDCQoJi.net] >>415 つづき えーと、あと １）まず、時枝記事の再録します（下記） (引用開始) （スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-27 特に スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/21-22 21 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:08:43.55 ID:IqNIthYM [21/76] さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある 「R^N/〜 の代表系を選んだ箇所で選択公理を使っている. その結果R^N →R^N/〜 の切断は非可測になる. ここは有 456 名前：名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」 さらに、過去スレでは引用しなかったが、続いて下記も引用する 「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない. しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う. 現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ. だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう. 確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」 (引用終り)） 22 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/30(木) 22:09:12.61 ID:IqNIthYM [22/76] 数学セミナー201511月号P37 時枝記事より 「もうちょっと面白いのは，独立性に関する反省だと思う. 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である. いったい無限を扱うには， (1)無限を直接扱う， (2)有限の極限として間接に扱う， 二つの方針が可能である. つづく [] [ここ壊れてます] 457 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:14:29.37 ID:bIDCQoJi.net] >>416 つづき 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ. (独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.) しかし，素朴に，無限族を直接扱えないのか? 扱えるとすると私たちの戦略は頓挫してしまう. n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって， その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら， 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. 勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる. ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」 (引用終り) つづく 458 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:15:00.75 ID:bIDCQoJi.net] >>417 つづき ２）さて、時枝記事は、前半は数当ての解法についてだが 　後半で、論点を二つあげている（当然ここが、時枝記事のキモだ） 　１．非可測集合を経由していること 　２．（現代数学は）”素朴に，独立な確率変数の無限族（X1，X2，X3，…）を直接扱えない” つづく 459 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:15:29.05 ID:bIDCQoJi.net] >>418 つづき ３）非可測集合を経由していることの言い訳は、「非可測集合を経由したからお手つき， と片付けるのは，面白くない」で終わっている。つまり、数学としての証明なし！ （スレ20 rio2016.2ch.net/test/read.cgi/math/1466279209/519 519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13] (抜粋) X=(X_1,X_2,…)をR値の独立な確率変数とする． 時枝さんのやっていることは 無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める． 無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める． P(f(X)=X_{g(X)})=99/100 ということだが，それの証明ってあるかな？ 100個中99個だから99/100としか言ってるようにしか見えないけど． (引用終り)） つづく 460 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:16:05.90 ID:bIDCQoJi.net] つづき ４）「（現代数学は）”確率の中心的対象， X1，X2，X3，…，独立な確率変数の無限族（X1，X2，X3，…）を直接扱えない”」については、 　下記、「確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので， ”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ」を引用しておく （(引用開始) 20 rio2016.2ch.net/test/read.cgi/math/1466279209/538 461 名前： (抜粋) 538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13] うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな >確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ. の認識が少しまずい． 任意有限部分族が独立とは P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい） これがきっと時枝氏のいう無限族が直接独立ということだろう． ということは(2)から(1)が導かれてしまったので， 「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス 確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるので， ”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ (引用終り)） 以上 つづく [] [ここ壊れてます] 462 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:16:41.53 ID:bIDCQoJi.net] >>420 つづき 追記 時枝先生自身が、かれの記事の前半の解法について、疑問を呈している あなた方、そこをスルーしても、ダメダメ １）確率過程論を学べば、「確率の中心的対象，独立な確率変数の無限族 X1，X2，X3，…」を、扱います 　　そこで、時枝記事の前半の解法不成立が分ります ２）では、なぜ”当たらないのに、当たるように見えるか”について書いたのが 　　冒頭のカキコ（>>415）です 463 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 08:33:48.65 ID:bIDCQoJi.net] 余談だが 「選択公理〜！」を魔法の呪文に使っている落ちこぼれ 「選択公理〜！」と一言となえれば、オレ様証明が出来上がると勘違いしているみたい だったら、ツォルンの補題なんていらないぜ paiotunoowari.hate nadiary.jp/entry/2016/01/15/001334 2016-01-15 ツォルンの補題 ぱいおつ日記 pomb.org/ 学生団体POMB(ポム)は、「数学で広がる、世界がある。」をテーマとして、自主ゼミやイベント企画、Web運営を行っています。 pomb.org/joint/201703/doc/yoshioka.pdf Zorn の補題と選択公理 神戸大学理学部数学科１回生 吉岡玲音 ２０１７年３月 https://nekodamashi-math.blog.so-net.ne.jp/2018-05-07 第１９回　選択公理と整列可能定理　[集合論入門] ねこ騙し数学 2018-05-08 ３　Zornの補題 464 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 08:51:50.65 ID:MWKZqV5M.net] >>415 スレ主が伊東由文の名前をだしたら敗北宣言 そう（層）ですね 465 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 08:55:53.98 ID:MWKZqV5M.net] >>421 ＞確率過程論を学べば、 ＞「確率の中心的対象，独立な確率変数の無限族 X1，X2，X3，…」 ＞を、扱います これスレ主の妄想ね 確率過程論では、時枝の例のような扱いについて、何も言及してない スレ主こそこの事実から逃げてはいけないね 466 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 08:58:23.43 ID:MWKZqV5M.net] >>422 スレ主は、以前、整列定理は当然成立、みたいなことをいってたが 実数の全要素が１つづつ並べられた時に「不都合」が生じたら 「どうやって実数の要素が並べられるんだ！」と前言撤回して 発狂する悪寒 467 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 09:02:18.73 ID:MWKZqV5M.net] スレ主が選択公理なしでも発狂する問題 自然数を無作為に１００個選んだ上で そのうち９９個を公開する さて隠した１個が、他の９９個より大きい確率は？ スレ主はここで１／１００と答えられない なぜならそこでそう答えた瞬間 時枝論法が成立するから 468 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 09:04:41.83 ID:MWKZqV5M.net] スレ主が唯一可能？な言い訳 「自然数の無作為抽出は不可能」 理由：測度の可算加法性の定義に反するから ああ、下らない 469 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 09:09:40.10 ID:MWKZqV5M.net] スレ主は一応大卒らしいが、どうせ工学部なので 大学１年の解析と線形代数くらいしかやってないだろう 電気系なら、大学２年で複素解析くらいやるかもしれんが どっちにしても、時枝問題が理解できるレベルに達してない 470 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 09:11:44.46 ID:MWKZqV5M.net] スレ主は数学が得意なつもりらしいが、それも大学受験までの話 大学で見事に鼻っ柱を折られて以来、ヤケクソになってる模様 多分大学１年の実数の定義（デデキントの切断・カントルの基本列）が 理解できなかったんだろう 471 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 09:14:14.87 ID:MWKZqV5M.net] スレ主は世間的にはエリートかもしれんが、 この数学板では、数学のスの字も分からんサル扱い なぜならここでは、数学科卒業レベルが最低線だから そのレベルに達してない奴は人間とはみなされない まあ、実際に数学板に書いてる奴らのいかほどが 人間扱いされるかは知るところではないが 472 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 09:17:25.23 ID:MWKZqV5M.net] スレ主がイチャモンをつけた数セミの記事が 「箱入り無数目」のようなチャチなものだった 点からもスレ主の数学理解レベルが分かる もっと高尚な記事（それこそコホモロジーが出てくるとか）では イチャモンのつけようもないだろう　 命題からして何言ってるのか理解できないから 473 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 09:18:47.07 ID:MWKZqV5M.net] 結論：スレ主は数学板一番のピエロ 嫌なら二度とここに書き込まないことだな 474 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 10:06:07.76 ID:Dy9q2lNv.net] >>431 数セミ批判かよ 楽しんで読んでる身としては嫌な気分だわ 475 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 10:10:32.68 ID:Dy9q2lNv.net] どの雑誌に書かれていようが記事の正誤は変わらんよな？ スレ主を攻撃したいだけなら他の方法でやれよ 476 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 10:51:36.73 ID:nzKzKTmO.net] 数セミを一番批判してるのはスレ主でしょ 3年以上にわたって1つの記事をマチガッテイルと誹謗し続けてるんだからな 数学の記事にとってこれ以上の誹謗はない >>431のチャチという言葉も、言葉のチョイス自体は口が悪いかもしれないが、 数セミ批判を目的とした「チャチ」ではないでしょ明らかに 477 名前：１３２人目の素数さん [2018/12/08(土) 12:12:39.15 ID:HF56cOWG.net] >>422 ＞余談だが ＞「選択公理〜！」を魔法の呪文に使っている落ちこぼれ 公理とは証明不要な命題、いわば魔法の呪文である。 ＞「選択公理〜！」と一言となえれば、オレ様証明が出来上がると勘違いしているみたい 選択公理を仮定すれば代表系が得られることは既に示されているがスレ主には理解できなかったようだ。 だからと言って ＞だったら、ツォルンの補題なんていらないぜ などと発狂されても困る。 478 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 17:18:58.49 ID:MWKZqV5M.net] >>435 「チャチ」は数学のレベルとして高くないという意味 もちろん、数セミの記事としてはよくできている 批判でもなんでもない 479 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 17:40:50.22 ID:7s/F+/XB.net] スレ主が選択公理と層と確率過程と伊東由文をだしたら敗北宣言 まあどんどん負けワードが増えていくな デデキントの切断からして何もわかってないのにコピペするだけだから 480 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 17:42:10.58 ID:bIDCQoJi.net] >>402 追加 https://deepmind.com/research/alphago/alphazero-resources/ Deepmind (抜粋) 2018 science.sciencemag.org/content/362/6419/1140 Games from the 2018 Science paper A General Reinforcement Learning Algorithm that Masters Chess, Shogi and Go through Self-Play Shogi https://deepmind.com/documents/254/alphazero_elmo_top10.zip ・Top 10 AlphaZero-Elmo games chosen by shogi Master Yoshiharu Habu (.zip file). https://deepmind.com/documents/253/alphazero_elmo_all.zip ・100 AlphaZero-Elmo games (.zip file). (引用終り) 481 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 17:47:12.92 ID:MWKZqV5M.net] >>439 482 名前： スレ主がAIだしたら敗北宣言ｗ [] [ここ壊れてます] 483 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 17:49:19.76 ID:bIDCQoJi.net] >>423-432 落ちこぼれ（ ID:MWKZqV5M ）の 秘孔をついたようだな（＾＾； https://dic.pixiv.net/a/%E7%A7%98%E5%AD%94 ピクシブ百科事典 秘孔 ひこう 特に『北斗の拳』の北斗神拳的な意味での「経絡秘孔」を指す表現。 484 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 17:51:12.97 ID:MWKZqV5M.net] >>441 俺様、勝利宣言ｗ https://www.youtube.com/watch?v=EpNf-6jmQ8g 485 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 17:52:06.96 ID:bIDCQoJi.net] >>433 数学から批評を抜いたら 宗教だろう 哲学にもならん 書かれた記事を信じるのか？ 数学では？ それは権威主義だろう どんなえらい先生に対しても どうどうと疑問点を論ずべし それが数学だろうぜ 486 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 17:53:00.35 ID:bIDCQoJi.net] >>442 ピエロちゃん、またまた不遇になったのか？（＾＾； 487 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 17:55:25.94 ID:MWKZqV5M.net] >>443 数学から理解を抜いたら 只の念仏だろう 書かれた記事が理解できないのか？ 数学が理解できないのか？ それじゃ無意味だろう 自分が何を理解できず 何を誤解しているのか？ それを反省するのが数学だろうぜ なあ、自惚れスレ主よ 488 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 17:56:34.01 ID:bIDCQoJi.net] >>443 補足 数学セミナーに類する雑誌は、アメリカにもあるのだろうが 数学セミナーの読者層（w）は、結構広いと思う 時枝記事も、もっとしっかり結論が伝わるように、書くべきだったろうと思う あんな、生煮えの書き方じゃ、何を主張したかったのか？ それが見えない そこが一番の問題だな 489 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 17:57:59.01 ID:bIDCQoJi.net] >>445 ピエロちゃん、小学生に数学を教えていたんだって？　首になったのか？　無職のひきこ？ まあ、このスレで遊んでいきなよ（＾＾ 490 名前：１３２人目の素数さん [2018/12/08(土) 17:58:16.84 ID:MWKZqV5M.net] >>444 数学板一番のピエロは雑談野郎のスレ主　貴様だｗ 491 名前：１３２人目の素数さん [2018/12/08(土) 17:59:28.85 ID:MWKZqV5M.net] >>446 時枝記事が理解できないのは お前の数学レベルが低すぎるせい 著者の時枝のせいにするな 492 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 18:01:21.86 ID:MWKZqV5M.net] >>447 小学生にも数学が理解できることはあるが サルのスレ主には数学の理解は無理らしい もうここに書くな　ここはサルの落書き場所じゃねぇ！ 493 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 18:01:41.81 ID:bIDCQoJi.net] >>447 まあ、中学受験のトップ校の算数の試験問題は、難問ぞろいだからね 底辺の大学入試の数学問題よりレベル高いかもしらん そういう記事（「大学への数学」（誌））を読んだ記憶がある（灘中の問題だった） ピエロちゃんじゃ、解けないかもな（＾＾ 494 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 18:03:08.98 ID:bIDCQoJi.net] >>448-450 不遇に負けずがんばれよ 落ちこぼれ数学科卒（＾＾ 495 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 18:05:21.14 ID:bIDCQoJi.net] >>450 5CHの公式定義は（＾＾ 天下のチラシの裏のらくがき または 公衆便所のらくがき である 496 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 18:33:24.81 ID:bIDCQoJi.net] >>443 ああ、>>433は、ピエロちゃんへの批判だったか 私も、数セミの愛読者ですが 497 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 19:01:00.70 ID:fs/+7rWW.net] >>415 > 結論は、>>129なので 数当てとは無関係の単なる極限の話として h(x) = f(x) + g(x)を考えるとh(x)は連続関数である lab.twcu.ac.jp/nick/lecture/2013/conti.pdf p.2の定理3.2.3より「f + g は連続である」 f(0)の近傍(0, ε_f)をε_fと書きg(0), h(0)に対しても 同様にε_g, ε_hと書くことにする h(x) = f(x) + g(x)であるからε_hはε_fとε_gの少なくとも1つと一致する P(X={ε_f, ε_g}) = 1/2 ε_fあるいはε_gをランダムに1つ選べばそれがε_hと一致する確率は1/2 >>421 > 時枝記事の前半の解法不成立が分ります > なぜ”当たらないのに、当たるように見えるか”について書いたのが >>386 > すでにある数学の理論、近傍系の理論や、伊東由文先生のPDFなどを、援用できることです 上の確率1/2が確率0であるというのがスレ主の主張であるが 「すでにある数学の理論」あるいは「近傍系の理論」に反している 498 名前：１３２人目の素数さん [2018/12/08(土) 19:52:15.25 ID:HF56cOWG.net] スレ主よ これ以上醜態晒すな 499 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 19:59:47.59 ID:yh9aYAvL.net] >>443 ウィキを信じている君が言ってはいかん。 500 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 20:24:21.21 ID:MWKZqV5M.net] >>452-454 ま、そうコーフンしないでｗ 落ちこぼれピエロのスレ主にも分かる時枝論法のエッセンスを 確率過程や層はもちろん、選択公理や同値関係も抜きで 話してあげるからさ　ま、それまで大人しく待ってな　 小学生未満のおサルさんｗ 501 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:12:50.64 ID:bIDCQoJi.net] >>415 >「超函数の理論I 第２章　層 伊東由文 PDF」 を読みましょう >（ wwwa.pikara.ne.jp/yoshifumi/THF-I/THF-I-2.pdf 超函数の理論I 第２章　層 伊東由文）(>>397より) Sheaves(層)とその関連のyoutubeを集めました（主に関数系（代数幾何で省いたものがある）） あまり理解できていませんが、良さそうなものを見繕いました（＾＾ https://www.youtube.com/watch?v=0GC2zPnfEiQ Space with functions Harpreet Bedi2012/11/16 に公開 Algebraic Analogue of Manifolds, and a precursor to sheaves Ref: Part III notes Burt Totaro https://www.youtube.com/watch?v=6Vv_OUHfn7c&t=1s Sheaves and Stalk Harpreet Bedi2012/11/28 に公開 Motivation for Sheaves, Definition, Examples, Germ and Stalk コメント Soham Chowdhury2 年前（編集済み） I think "lie in the germ at at 0" is a bit misleading. Shouldn't it be that the constant 0-function (i.e. x-axis) and the two functions with the red tick have the same germ at 0? So your "germ at -1" is actually "germ of functions which take the value -1 in a small neighborhood of 0". Please correct me if this is wrong. erikkk1 年前 i have a question, its probably a bit stupid but iam not shure if i am getting the idea of a germ correctly! The fact that you write F_(0,0) confuses me a little bit. So are the Germs of functions taking value say -1 at x=0 also in the Stalkt F_(0,0) or is this another one.? https://www.youtube.com/watch?v=LpFOtSv8ziM Sheaves and Stalks 2 Harpreet Bedi2012/12/06 に公開 Relationship between sheaves and stalks コメント Miguel Zamora5 年前 Is it the continuation of Shaves and Stalks? I think something is missed, thank you? つづく 502 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:13:28.06 ID:bIDCQoJi.net] >>459 つづき https://www.youtube.com/watch?v=zkmSjRUcdXU&t=1s Stalks and Sheafification Harpreet Bedi2015/01/24 に公開 https://www.youtube.com/watch?v=DHRaQ1IsB5c 06. Algebraic geometry - Sheafification, continued (Diana Carolina Castaneda) Anton Mosunov2016/10/28 に公開 Algebraic geometry seminar Department of Pure Mathematics University of Waterloo October 27th, 2016 Following the notes of Ravi Vakil, available at https://www.youtube.com/redirect?q=http%3A%2F%2Fmath.stanford.edu%2F%7Evakil%2F216blog%2Findex.html&redir_token=daDhTC5mL_GSRKBgcwo1ChbXPgx8MTU0NDM1MzU5NkAxNTQ0MjY3MTk2&event=video_description&v=DHRaQ1IsB5c https://www.youtube.com/watch?v=j7YmI5Prmnk Presheaves and Sheaves Harpreet Bedi2015/01/21 に公開 コメント Ghazanfar Abbas2 年前 wao nice way to explain the concept of sheaf...,? https://www.youtube.com/watch?v=487LjWIi_RU Sheaves/Presheaves as Contravariant Functors, Kernel Presheaf is a Sheaf Harpreet Bedi2013/08/27 に公開 There are two slides, in the first slide we talk about Presheaves as contravariant functors, talk about equalizer condition, sheafification and in the second slide we talk about Image and Coker presheag コメント tomuf2 年前 Hi, at the end of the video (around 12:45) - if you manage to lift s_1 and s_2 to G(U), doesn't it give you a unique projection to G(U)/Im(U)? Isn't the problem with coimage not being sheaf more related to the fact that s_1 and s_2 in G(U_1) and G(U_2) don't neccessarily need to agree on the intersection of U_1 and U_2?? つづく 503 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:13:58.93 ID:bIDCQoJi.net] >>460 つづき https://www.youtube.com/watch?v=H1xe9g3dJCg Sheaf Regular functions Harpreet Bedi2012/12/26 に公開 We describe the sheaf of regular functions, and prove gluing and restriction conditions. コメント Ron Erez5 年前 Hi. Really great lectures. I do have a question. I've been using a bamboo tablet to teach lectures. I'm curious as to what program your using and more importantly how large is your computer screen? https://www.youtube.com/watch?v=WZ1dYKsAF60 Ideal Sheaf Harpreet Bedi2012/12/17 に公開 We describe the Ideal Sheaf コメント tomuf2 年前 You define O_Y(U) = O_X(Y \cap U) for Y a closed subset. But aren't the sections of sheaf O_X defined only on open sets? It is not clear to me that Y \cap U is open in X for Y a closed subset.? https://www.youtube.com/watch?v=hmGX0LV5Lb4 Acyclic Sheaves and Cohomology Harpreet Bedi2012/12/21 に公開 Compute cohomology using flabby resolutions. Ref: Algebraic Varieties (Kempf), Part III notes(Burt) https://www.youtube.com/watch?v=1hWJaoA2Az8 Cech Cohomology Motivation I Harpreet Bedi2014/01/23 に公開 Ref: 24 hours of Local Cohomology コメント MAPPLE2 年前 a question, the sheaf, at the beginning, is only defined for U1 and U2, but not for their intersection, right And because of properties one can say that the sheaf at U12 is the direct sum of 2 copies of Z.Thanks? https://www.youtube.com/watch?v=UKy 504 名前：k5K7fTYw 1. Introduction to Cohomology (Revised) Harpreet Bedi2013/05/29 に公開 コメント Dougystyle112 年前 This is a rather minor point, but around 5:40, wouldn't it be more clear to write \phi_{i} \in Hom(C_{i}, Z) rather than equality?? SuperMoufle4 年前 I didn't get why phi_i= d_{i-1} o phi_{i-1} ? d_{i-1} takes his value in C_{i-1} and phi_{i-1} ends in Z, not C_{i-1}. つづく [] [ここ壊れてます] 505 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:14:39.33 ID:bIDCQoJi.net] >>461 つづき https://www.youtube.com/watch?v=AUxl7e4zsD0&t=10s 1 Intro to Algebraic Geometry Harpreet Bedi2014/07/28 に公開 コメント Ghazanfar Abbas1 年前 Very nice lecture series , Please suggest the tex 506 名前：t book.? https://www.youtube.com/watch?v=oCRE-kvw3k0 2 Chain Complex and Homology Harpreet Bedi2013/09/11 に公開 Describe Chain Complex and Homology algebraically. コメント Justin Scarfy3 年前 around 4:40- shouldnt x-y \in \Ker \partial_2 ? Similarly for g(x)-g(y) ... since they are cosets...? https://www.youtube.com/watch?v=bWCfAboTSs8 Motivation for CW Complexes Harpreet Bedi 2012/07/12 に公開 Motivation for CW Complexes, Algebraic Topology. The fill map mentioned is nothing but an attachment map described on the next slide https://www.youtube.com/watch?v=WHh9tLAdMwQ Computing Cohomology Groups Circle Torus Klein Bottle Harpreet Bedi2014/03/27 に公開 https://www.youtube.com/watch?v=fiBVn3s94Pc Torus Homology Harpreet Bedi2012/07/31 に公開 Homology of Torus without triangulation https://www.youtube.com/watch?v=w9HWrGHosA4 Delta Complex Harpreet Bedi2012/07/30 に公開 Delta Complex definition Algebraic Topology Hatcher Page 102-103 コメント Mike K6 年前 This is a definition of a simplex, not a delta complex. You need a quotient topology on a simplex or simplicial complex? https://www.youtube.com/watch?v=IuOL_YP26ZY Delta Complex Continued 1a Harpreet Bedi2012/07/30 に公開 Delta Complex definition Algebraic Topology Hatcher Page 102-103 つづく [] [ここ壊れてます] 507 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:15:00.08 ID:bIDCQoJi.net] >>462 つづき https://www.youtube.com/watch?v=CCWem0zP7EU Homology of Torus using Delta Complex Harpreet Bedi2012/07/31 に公開 Homology of Torus using Delta Complex コメント gavrilo aleksic2 年前 Great thing. I had so much trouble calculating H1 delta. Hatcher's stupid explanation "bla bla bla since a+b-c is part of base...bla" zap oh itz Z + Z. Thanks man? https://www.youtube.com/watch?v=D6r66kd9XVs Homology of Klein Bottle using Delta Complex Harpreet Bedi 2012/07/31 に公開 Homology of Klein Bottle using Delta Complex https://www.youtube.com/watch?v=AZnJFyDOq3E Exact Sequence and homology of good pair with Example Harpreet Bedi2012/08/02 に公開 Define Exact Sequence and relative Homology https://www.youtube.com/watch?v=1HmV2ngb0wc Long Exact Sequence of Pair Harpreet Bedi2012/08/03 に公開 Long Exact Sequence of a Pair コメント Guillermo Valle1 年前 At the very end I think you mean "relative homology"? https://www.youtube.com/watch?v=N4_E8ngK3s0 3 Short exact sequence and Long Exact sequence Harpreet Bedi2013/09/11 に公開 Describe Short and Long Exact sequence, and how to break a LES into constituent SES https://www.youtube.com/watch?v=HFoonpPprig Long Exact Sequence Harpreet Bedi2012/08/25 に公開 Cohomology Introduction, Ref: Allen Hatcher Chapter 3 つづく 508 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:15:47.69 ID:bIDCQoJi.net] >>463 つづき https://www.youtube.com/watch?v=OvhyFbsVtmY Exact Sequence , Direct and Inverse image Sheaves Harpreet Bedi2012/12/17 に公開 We talk about exact sequence of sheaves and Direct and Inverse image of sheaves コメント Brian Droncheff4 年前 Thanks again Harpreet. A question around 13:05 or so. you said that f^(-1)(G(u) = .. I am a bit lost as F is a sheaf on X and U subset X, I don't understand how we G is being re-used on X. instead should this be f^(-1)G(v) = .. ? https://www.youtube.com/watch?v=VmNxWtG8xxQ Long Exact Sequence of Sheaves Harpreet Bedi2012/12/18 に公開 Get a Long Exact sequence of sheaves, from the Godement resolution. Ref: Algebraic Varieites Kempf, Part III notes Burt https://www.youtube.com/watch?v=3mg425y8Ze0 Loss of Exactness and Resolution of Sheaves Harpreet Bedi2012/12/18 に公開 コメント goodwillhart1 年前 I don't understand the first couple of lines of this lecture. You start with a SES of sheaves, but then write a short exact sequence for an open subset U of X. What is the link between these? If this were true for all open subsets U of X then it would be true for X. Or, if it were true for only the open subset U, I don't see why 0 -> F1(X) -> F2(X) -> F3(X) should be exact.? MathProofsable5 年前 Thank you for the? videos, they are a great help. In your example, don't you want to take a punctured disk small enough that it doesn't intersect the set 2pi*iZ. The k 509 名前：ernel of the map Om --> Om* is the inverse of the identity map in Om*?? https://www.youtube.com/watch?v=iazzWijM9h4 SES of Flabby Sheaves Harpreet Bedi2012/12/18 に公開 Short Exact sequence of Flasque/Flabby Sheaves extends to Global Sections Ref: Algebraic Varieites Kempf, Part III notes Burt つづく [] [ここ壊れてます] 510 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:17:28.53 ID:bIDCQoJi.net] >>464 つづき https://www.youtube.com/watch?v=87QOohKasLs Sheaf of Differential Forms Harpreet Bedi2013/01/01 に公開 We talk about the sheaf of differential forms, cotangent and tangent bundle, Canonical Bundle. There are three slides in this presentation, and the last one is extremely short about 2 minutes. Ref: Part III notes (Burt) https://www.youtube.com/watch?v=kWOSCHtu2Rg Sheaves of Modules Harpreet Bedi2012/12/27 に公開 We talk about sheaves of modules, tensor product of sheaves Ref: Daniel Perrin Algebraic Geometry https://www.youtube.com/watch?v=ltz5YjGPc20 Sites and Sheaves Mainline 1 mimir2012/02/29 に公開 Definition of sieves and covering sieves in the special case of the open set category of a topological space. https://www.youtube.com/watch?v=XMJ_cHISUBQ Definition of a Sheaf mimir2012/02/16 に公開 A reminder of a definition: Sheaf. つづく 511 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:21:14.55 ID:bIDCQoJi.net] age 512 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:21:21.87 ID:bIDCQoJi.net] >>465 つづき https://www.youtube.com/watch?v=019PmBvX6vE&feature=youtu.be&t=1 Lecture 6: Sheaves of sets (Part 1) Daniel Murfet2018/07/10 に公開 The most important examples of topoi are categories of sheaves of sets on a small category. Patrick Eilliott introduced this class of examples over two talks, of which is the first. In this talk he defines presheaves and sheaves on a topological space, and explains using the Yoneda lemma how to think about the sheaf condition in terms of sieves on objects in a category. This is preparation for his second lecture, where he defines sheaves with respect to a Grothendieck topology. The lecture notes are available here: https://www.youtube.com/redirect?v=019PmBvX6vE&event=video_description&redir_token=5dbVEXe6jNpg_oOQ73LHI8F89WR8MTU0NDM1NDU5N0AxNTQ0MjY4MTk3&q=http%3A%2F%2Ftherisingsea.org%2Fnotes%2Fch2018-lecture6.pdf For the general seminar webpage see therisingsea.org/post/seminar-ch/ つづく 513 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:22:50.35 ID:bIDCQoJi.net] >>467 つづき https://www.youtube.com/watch?v=8nm2ByS5NnY David Ayala: Higher categories are sheaves on manifolds University of Notre Dame2012/07/26 に公開 David Ayala, Harvard University) Abstract: Chiral/factorization homology gives a procedure for constructing a topological field theory from the data of an E_n algebra. I'll explain a mulit-object version of this construction which produces a topological field theory from the data of an n-category with adjoints. This construction is a consequence of a more primitive result which asserts an equivalence between n-categories with adjoints and ``transversality sheaves'' on framed n manifolds - of which there is an abundance of examples. This work is joint with Nick Rozenblyum. https://www.youtube.com/watch?v=vWkHJdu7vBU 11 Derived Functors Ext and Tor Harpreet Bedi2013/09/16 に公開 We describe left and right derived functors コメント PHD OF MATH SK82 年前 Does a left derived functor sometimes involve "additive, contravariant, right exact" with a injective resolution????? つづく 514 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:25:37.95 ID:bIDCQoJi.net] >>468 つづき https://www.youtube.com/watch?v=c-HstnQ99MU 16 End of Story (Recap) Harpreet Bedi2013/09/18 に公開 Long Exact Sequence, Ext and Tor https://www.youtube.com/watch?v=miFcB_QM-cQ Yoneda LemmaHarpreet Bedi 2015/11/21 に公開 Proof of Yoneda Lemma from Handbook of Categorical Algebra Borceaux コメント Rostislav Svoboda1 週間前 1. Everytime 515 名前：he says "number of natural transformations", he actually means "number of components of (this particular) natural transformation". 2. At 5:17 he talks about "other direction" but he defines τ and draws the components of τ in the same direction as in the first part of the proof. I.e. τ should be from [FA, Hom(A,-)] and the arrows on the picture should go from right to left: Hom(A, A) ← FA and Hom(A, B) ← FB. 3. At 5:58 the small "a" should be written next to the Object FA not A. Object A is an object from category C where C is locally small, i.e. only the morphisms of C must form Sets. Where objects of C may or may not be Sets.? つづく [] [ここ壊れてます] 516 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:26:22.72 ID:bIDCQoJi.net] >>469 つづき https://www.youtube.com/watch?v=45ykUAY4s04 02. Algebraic geometry - Sheaves and morphisms (Diana Carolina Castaneda) Anton Mosunov2016/09/23 に公開 Algebraic geometry seminar Department of Pure Mathematics University of Waterloo September 22nd, 2016 Following the notes of Ravi Vakil, available at https://www.youtube.com/redirect?event=video_description&v=45ykUAY4s04&q=http%3A%2F%2Fmath.stanford.edu%2F%7Evakil%2F216blog%2Findex.html&redir_token=h2ESdRN20_uFkW6mUcNE20gIAbt8MTU0NDM1MTY0N0AxNTQ0MjY1MjQ3 下記、20:15辺りの図が綺麗だね https://youtu.be/b1Wu8kTngoE?t=1215 https://www.youtube.com/watch?v=b1Wu8kTngoE Tutorial on Sheaves in Data Analytics : Lecture 1 Michael Robinson 2015/08/25 にライブ配信 つづく 517 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:28:10.61 ID:bIDCQoJi.net] >>470 つづき 付録（Category Introduction） https://www.youtube.com/watch?v=P6DvIfTJhx8 Category Theory: The Beginner’s Introduction (Lesson 1 Video 1) Dr. Martin J.M. Codrington2015/06/14 に公開 Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. つづく 518 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:28:31.53 ID:bIDCQoJi.net] つづき https://www.youtube.com/watch?v=jBkO1eerU8A What is Category Theory? MathProofsable2018/01/04 に公開 https://www.youtube.com/watch?v=cTWe5b13M80 The Interaction Between Category Theory and Set Theory - Set Theory Lectures Audio Mathematics2015/09/17 に公開 The Interaction Between Category Theory and Set Theory - Set Theory 以上 519 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:31:11.62 ID:bIDCQoJi.net] >>472 ここら、全部英語だが 英語の方が、どうせなら、雰囲気が良いかも（＾＾ なんとなく、少しだけ分った気にさせてくれるから（＾＾； まだ、全部は見てないが、さわりだけ見て、良さそうなのを選んだ 520 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:35:42.78 ID:bIDCQoJi.net] Harpreet Bediさん https://www.genealogy.math.ndsu.nodak.edu/id.php?id=230259 Mathematics Genealogy Project Harpreet Bedi Ph.D. The George Washington University 2018 UnitedStates Dissertation: Cohomology of line bundles of Rational Degree over Perfectoid Space Mathematics Subject Classification: 14?Algebraic geometry Advisor 1: Yong Wu Rong Advisor 2: Jozef Henryk Przytycki 521 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 21:36:33.74 ID:fs/+7rWW.net] >>473 > なんとなく、少しだけ分った気にさせてくれるから 自分(スレ主)の方が正しいという気にさせてくれるから > さわりだけ見て、良さそうなのを選んだ 結局自分(スレ主)に都合の悪い書き込みをコピペで流しているだけでしょう 522 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:37:38.91 ID:bIDCQoJi.net] >>473 いやね ビデオを見ると 自分が読んできた層の関係の文書と、イメージが合っているかどうかの確認ができるのが良いね（＾＾ 523 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:40:00.10 ID:bIDCQoJi.net] >>475 >自分(スレ主)の方が正しいという気にさせてくれるから これな>>475 >結局自分(スレ主)に都合の悪い書き込みをコピペで流しているだけでしょう 正確には、ごみレス流しかな 都合が悪いというより、” 524 名前：つまらない” [] [ここ壊れてます] 525 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 21:41:05.35 ID:bIDCQoJi.net] >>476 あなたも、層の勉強でビデオを見たらどうですか？ 526 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 21:52:02.40 ID:fs/+7rWW.net] >>478 > 層の勉強でビデオを見たらどうですか？ 大丈夫？ 文章が変ですね 動揺しているのですか？ スレ主の主張が「すでにある数学の理論」あるいは「近傍系の理論」に 反していることを示したのでその必要もないでしょう 527 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 22:09:53.79 ID:bIDCQoJi.net] >>455 > lab.twcu.ac.jp/nick/lecture/2013/conti.pdf >p.2の定理3.2.3より「f + g は連続である」 ああ、失礼 新國 亮 (にっくに りょう)先生ですか。珍しい名前ですね（＾＾ lab.twcu.ac.jp/nick/ 新國 亮のウェブサイトです． lab.twcu.ac.jp/nick/profile.html 履歴 lab.twcu.ac.jp/nick/gif/nick2014.jpg 新國 亮 (にっくに りょう) 1974(昭和49)年5月11日生, 山形県新庄市出身 東京女子大学 現代教養学部 数理科学科 教授 (学歴) 1993年3月 山形県立 新庄北高等学校 卒業 1996年3月 立教大学 理学部 数学科 卒業 1999年3月 東北大学大学院 情報科学研究科 システム情報科学専攻 (数学教室) 博士課程前期2年の課程 修了 2002年3月 東北大学大学院 情報科学研究科 システム情報科学専攻 博士課程後期3年の課程 修了 博士(情報科学) 取得 2002年4月 -2003年3月 東北大学大学院 情報科学研究科 研究生 lab.twcu.ac.jp/nick/research.html 研究 専門 ： 位相幾何学(トポロジー), 特に空間グラフ理論, 結び目理論 (Researchmap / Google Scholar Page / ResearchGate Page) lab.twcu.ac.jp/nick/lectures.html 担当講義 lab.twcu.ac.jp/nick/lectures2013.html 2013年度担当講義 lab.twcu.ac.jp/nick/DA301_302.html 幾何学AI, AII／幾何学I 配布物 (2013年度前期) lab.twcu.ac.jp/nick/lecture/2013/conti.pdf 実連続関数についての補足 (6月19日(水)配付) 528 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 22:11:24.17 ID:7s/F+/XB.net] スレ主が以下のものを出すようになったら敗北宣言 選択公理 層 確率過程 伊東由文 youtube AI まだまだ増えるよ〜〜 529 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 22:19:26.48 ID:bIDCQoJi.net] >>480 つづき 　（>>455より） 「> 結論は、>>129なので 数当てとは無関係の単なる極限の話として h(x) = f(x) + g(x)を考えるとh(x)は連続関数である lab.twcu.ac.jp/nick/lecture/2013/conti.pdf p.2の定理3.2.3より「f + g は連続である」 f(0)の近傍(0, ε_f)をε_fと書きg(0), h(0)に対しても 同様にε_g, ε_hと書くことにする h(x) = f(x) + g(x)であるからε_hはε_fとε_gの少なくとも1つと一致する P(X={ε_f, ε_g}) = 1/2 ε_fあるいはε_gをランダムに1つ選べばそれがε_hと一致する確率は1/2」 それ、貴方の書いている意味が、全く分らないが おそらく、私のいう伊東由文先生のＰＤＦの関数の同値類（下記）を （ wwwa.pikara.ne.jp/yoshifumi/THF-I/THF-I-2.pdf 超函数の理論I 第２章　層 伊東由文）(>>397より) 思いっきり勘違いしていると思います 530 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 22:20:32.09 ID:bIDCQoJi.net] >>479 　はい、>>480>>482です（＾＾； 531 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 22:50:48.10 ID:bIDCQoJi.net] >>481 はいはい >スレ主が以下のものを出すようになったら敗北宣言 じゃ、もっと敗北宣言を、させて下さい １）全国の数学科生に告ぐ ＊＊） 　　どうぞ、大学の数学科教員に頼んで 　　”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ 　　及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可） 　　その方のサイトに、その方の実名で、アップしてもらえませんか？ 　（文案はどなたが書いても可です。その方が承認してアップするならね） ２）どうぞ、このスレ主に敗北宣言を出させて下さい 　　私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します 　　赤っ恥で結構です。 　　私は、このスレを閉じますよ。 　（まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね） ３）それが出るまでは、私の勝利＊です（ 注＊：これ定義です（＾＾； ） 注＊＊）：どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です 上記１）について、よろしくお願いします。（＾＾； （つまらん、低レベル（落ちこぼれレベル）の議論を、延々続けても仕方ないですからね） それまでは、上記３）の定義の通り、私の勝ちです（＾＾ 以上 532 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/08(土) 22:51:23.70 ID:bIDCQoJi.net] >>484 もちろん、そんなことには絶対ならんだろうという 見込みで書いていますよ（＾＾ 533 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 22:54:00.49 ID:fs/+7rWW.net] >>482 f(x), g(x)は連続関数である f(x)が点0の近傍(0, ε_f)で同値類の代表元a(x)に一致する g(x)が点0の近傍(0, ε_g)で代表元b(x)に一致する ならば h(x) = f(x) + g(x)は連続関数で点0の近傍(0, ε_h)でa(x) + b(x)に一致する 534 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 22:54:48.72 ID:fs/+7rWW.net] >>482 f(x), g(x)は連続関数である f(x)が点0の近傍(0, ε_f)で同値類の代表元a(x)に一致する g(x)が点0の近傍(0, ε_g)で代表元b(x)に一致する ならば h(x) = f(x) + g(x)は連続関数で点0の近傍(0, ε_h)でa(x) + b(x)に一致する 535 名前：１３２人目の素数さん mailto:sage [2018/12/08(土) 22:56:18.77 ID:fs/+7rWW.net] 書き込みが重複しました 失礼しました 536 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 00:03:29.69 ID:I7n67ZWh.net] >>472 追加 Limit関係 https://www.youtube.com/watch?v=Agn5LBN0mFk Stalks and Direct Limit Harpreet Bedi2012/12/03 に公開 Start with definition of direct limit and construct very important examples of stalks from the definition. Definition of Birational varieties is also given. https://www.youtube.com/watch?v=1HLMybWdBJA Direct Limit Harpreet Bedi2017/04/06 に公開 コメント 沈嘉?1 年前 I had trouble in understanding the equivalence of defining a stalk at a point through direct limit and through germs . Now I get it! Thank you! https://www.youtube.com/watch?v=JGbMji_4Xic What is Direct Limit? Harpreet Bedi 2012/09/16 に公開 https://www.youtube.com/watch?v=8pr8vqEL8Xg Direct Limit (Mapping Telescope, Construction of Rational Numbers) Harpreet Bedi2014/01/24 に公開 Construction of Rational Numbers via direct limit, copied from Hatcher section 3F. https://www.youtube.com/watch?v=JrFSoHzb24w InverseLimit Harpreet Bedi2017/08/30 に公開 537 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 00:24:20.44 ID:I7n67ZWh.net] >>486 代数や関数の中では、h(x) = f(x) + g(x)の代表として f(x) の代表a(x)とg(x)の代表b(x)との和、a(x) + b(x)を取るのは、なんの問題もない 但し、確率を考えるときは h(x) の同値類の代表の取り方は、別の可能性もあるでしょ（a(x) + b(x)でなくともよい） h(x) の同値類の中から、いろんな可能性を考えないといけない （というか、確率計算だから、全ての可能性を考えないといけない） とすると、近傍(0, ε_h)は、（ε近傍についての実数の完備性から） 近傍(0, ε_h/2)に、取り直すこともできれば 近傍(0, ε_h/n)などに、取り直すこともできる(ここに、∀ｎ∈Ｎ（自然数）) （>>382にも類似のことを書きましたよ） そうして、全ての場合を尽くした確率計算を（1/nに限らないので積分でしょう）しないといけないですよ 貴方がh(x) = f(x) + g(x)を持ち出した意味が、いまいち分らないが、そう思います 538 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 00:26:23.43 ID:I7n67ZWh.net] >>490 タイポ訂正 代数や関数の中では 　↓ 代数や関数論の中では 539 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 00:27:55.66 ID:I7n67ZWh.net] 代数幾何かな？ まあ、私は代数幾何は分らないので、よく分りませんが（＾＾； 540 名前：１３２人目の素数さん [2018/12/09(日) 01:04:29.14 ID:ACXjBIKa.net] >>484 > 私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します > 赤っ恥で結構です。 > 私は、このスレを閉じますよ。 時枝正先生はStanfordの数学教授。プロ教員です。 https://mathematics.stanford.edu/people/department-directory/name/tadashi-tokieda/ 有言実行。スレを閉じてください。 541 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 01:05:08.65 ID:Q0MhjwKR.net] >>490 > h(x) の同値類の代表の取り方は、別の可能性もあるでしょ ないです 重要なのは和をとったときに連続であるということです > f(x)が点0の近傍(0, ε_f)で同値類の代表元a(x)に一致する > g(x)が点0の近傍(0, ε_g)で代表元b(x)に一致する であるからf(x) + g(x)ならa(x) + b(x)にしかならない > 近傍(0, ε_h)は(略)取り直すこともできる 和をとる意味はf(x) = a(x)かつg(x) = b(x)となる点xを取りだせる ような点0の近傍(0, ε_h)があるのかということです すると>>40 542 名前：5の(2), (3)は (A) (0, ε_f)⊂(0, ε_g)ならば共通部分は(0, ε_f) (0, ε_f)から点xを選べばf(x) = a(x)かつg(x) = b(x) つまり (0, ε_h) = (0, ε_f) (0, ε_g)から点xを選べばg(x) = b(x)しか確定しない (B) (0, ε_g)⊂(0, ε_f)ならば共通部分は(0, ε_g) (0, ε_g)から点xを選べばf(x) = a(x)かつg(x) = b(x) つまり (0, ε_h) = (0, ε_g) (0, ε_f)から点xを選べばf(x) = a(x)しか確定しない >>482 > P(X={ε_f, ε_g}) = 1/2 > ε_fあるいはε_gをランダムに1つ選べばそれがε_hと一致する確率は1/2 上に書いたことで少し書き直すと P(X={ε_f, ε_g}) = 1/2 ε_fあるいはε_gをランダムに1つ選んでそこから点xをとりだしたとき 点xでf(x) = a(x)かつg(x) = b(x)である確率は1/2 f(x) = a(x)かつg(x) = b(x)である点xを選べば数当ては成功します [] [ここ壊れてます] 543 名前：１３２人目の素数さん [2018/12/09(日) 01:40:46.45 ID:9ChKwkDV.net] 大学一年の授業に着いていけないスレ主がスタンフォード大学教授を見下すスレ 544 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 08:08:00.76 ID:I7n67ZWh.net] >>46 「数学セミナー201511月号P37 時枝記事より 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である.」 (>>198 より) Sergiu Hart氏のPDF November 4, 2013 （www.ma.huji.ac.il/hart/puzzle/choice.pdf ） Sergiu Hart氏の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.”とある (引用終り) さて Sergiu Hart氏のPDFに倣って、”choosing the xi independently and uniformly on [0, 1] ”としてみよう 確率変数の無限族から、ある二つxi,xjを取る。 xi >= xj となる確率は1/2 時枝の言葉で言えば、”xiがxjより大きい確率は1/2” ここまでは良い xi,xjが箱に入っているとする xjの箱を開ける １）xj＝0.1だと分った。時枝理論では、xi >= xj(=0.1) となる確率は1/2 ２）xj＝0.5だと分った。時枝理論では、xi >= xj(=0.5) となる確率は1/2 ３）xj＝0.9だと分った。時枝理論では、xi >= xj(=0.9) となる確率は1/2 これって、なんか変（＾＾； 545 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 08:09:46.48 ID:I7n67ZWh.net] >>494 はい>>496 546 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 08:14:35.14 ID:I7n67ZWh.net] >>493>>495 問題文>>484の重要な条件を見落としています その解答では、院試は通りませんね（＾＾； で、どうぞ、時枝先生に連絡して ”　”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ 　　及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可） 　　その方のサイトに、その方の実名で、アップしてもらえませんか？ 　（文案はどなたが書いても可です。その方が承認してアップするならね）” を、実行して貰って下さい 以上です それが実現したら、このスレを閉じますよ どうぞ、よろしくお願いします（＾＾ 547 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 08:22:57.59 ID:ACXjBIKa.net] >>498 > 　　及び、その理由を簡単に書いて（理由は、「正しいから正しい」でも可） 理由は書いてるじゃん。記事の内容そのもの。 > その方のサイトに、その方の実名で、アップしてもらえませんか？ 実名で雑誌に書いている。『サイトにアップ』じゃなきゃダメな屁理屈はなに？ 結局辞める気はないんだねえ 548 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 08:35:00.79 ID:ACXjBIKa.net] まあ『バカは4年かけても分からない』で時枝の話は終わりでいいんじゃないか？ 奇数芸人と同類で、どんなに教えても分からないバカはいるもんだ 煽ってスレ伸ばして小銭かせぐ社会活動をすることがバカなのか、 バカにいつまでも数学を教えようと頑張っちゃうことがバカなのか、わからんけども。 煽られて書き込んじゃうほうも、バカに教えたり罵倒することを快感に感じてるわけだからな 快感でなきゃ書きこまないもんな。快感はスレ主がいてこそ味わえる。 奇数芸人との決定的な違いは、お前が実在のスタンフォード教授の記事にケチをつけてるってことだな 本当にケチをつけたいならお前がメールしたらいいのに、なぜしないんだ？ｗ 理由はひとつ、おまえがこ 549 名前：の話題に大して興味がないからだろうな 数学的興味はなく、スレのネタとしての興味しかないからだろう [] [ここ壊れてます] 550 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 08:39:49.36 ID:ACXjBIKa.net] プロ固定とは resistance333.web.fc2.com/newpage7.htm ★過去に流失したプロ固定の報酬表 【料金表】 スレ立てる：+200円 スレ削除される：-5000円 スレストされる：-2000円 ゴミ箱逝き：-1000円 DAT落ち：-500円 1000突破：+1000円 1レス付くごとに：+1円 30分で1000：+5000円 1時間以内に1000：+2000円 6時間以内に1000：+1000円 24時間以内に1000：+500円 リミッター発動：-3000円 鯖飛び：-5000円 551 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 09:19:21.38 ID:NUP9RcR1.net] 自然数ｎを 「先頭からｎ番目まで箱に●が入りその後は○が入った無限列」 と同一視する 自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で●が出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ （つづく） 552 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 09:24:48.79 ID:NUP9RcR1.net] >>503 さて、次に自然数を100個無作為に選択し そのうちさらに無作為に1個ｎを選んで 残りの自然数の最大値maxを求める 自然数ｎに対応する列のmax番目の箱を開けたとき 中身が●の確率は1/100である なぜならn>maxとなる確率が1/100だから これまた、「100個」「1/100」のところは 「10000個」「1/10000」でよい ある自然数ｉを選んでi個選べばいいだけ その場合の確率は1/iになる （つづく) 553 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 09:30:52.48 ID:NUP9RcR1.net] 時枝論法のエッセンスは>>502と>>503の違いに集約される もはや同値類も選択公理もない また、このトリックに対して確率過程では反駁できない 芽・茎・層も全く無関係である つまり、>>484のような「大学教員の権威」に訴える非数学的行為によらずとも >>502-503のトリックにスレ主が一切反駁できなければスレ主の負けが確定 スレ主が何をいっても数学板のピエロに成り下がるだけのこと 554 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 09:34:02.71 ID:NUP9RcR1.net] >>484 >それが実現したら、このスレを閉じますよ スレを続ける限り、スレ主は「勝った勝った」と吠える負け犬ピエロ 吠えるのは>>502-503に反駁できてからにしてね 555 名前：１３２人目の素数さん [2018/12/09(日) 09:40:30.34 ID:NUP9RcR1.net] 自然数ｎを 「先頭からｎ番目まで箱に●が入りその後は○が入った無限列」 と同一視する １．自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で●が出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ ２．さて、次に自然数を100個無作為に選択し そのうちさらに無作為に1個ｎを選んで 残りの自然数の最大値maxを求める 自然数ｎに対応する列のmax番目の箱を開けたとき 中身が●の確率は1/100である なぜならn>maxとなる確率が1/100だから これまた、「100個」「1/100」のところは 「10000個」「1/10000」でよい ある自然数ｉを選んでi個選べばいいだけ その場合の確率は1/iになる 時枝論法のエッセンスは １．と２．の違いに集約される もはや同値類も選択公理もない 上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定 「勝った」と吠えるのは上記のトリックに反駁できてからにしてね 負け犬ピエロのスレ主ちゃまへ 556 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 09:41:30.97 ID:OsPfE/uU.net] 今回のケースを分析してみると [1] 刑事事件としての名誉毀損（刑法230条1条） [2] 民事事件としての名誉毀損 [3] 刑事事件としての侮辱罪 に該当することがわかると思います。 この問題が４年にわたって解決していないことを考慮すると、司法の場での裁判が最善の解決策であると思われます。 名誉毀損でお困りでしたら、一度弁護士に相談してみることをおすすめします。 557 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 09:51:13.32 ID:NUP9RcR1.net] >>506でテンプレが出来上がったから 今後、スレ主が何をほざいても >>506を貼りつけるだけのこと じゃ、オレはこれから↓聞きながら 乃木坂板読むから邪魔しないてくれｗ https://www.youtube.com/watch?v=h1LbmpjEs_E 558 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 12:13:26.93 ID:I7n67ZWh.net] >>439 追加 qhapaq.hatenablog.com/entry/2018/12/07 559 名前：/220556 コンピュータ将棋 Qhapaq (抜粋) 2018-12-07 AlphaZeroに投了宣言しないといけないかも知れない AlphaZeroの論文が出てきました。 （ https://deepmind.com/documents/260/alphazero_preprint.pdf ） arxivに出してた論文はイケてなかったですが今回のはイケてます。 QRLのレーティングではelmoとaperypaqのレート差は170程度、AlphaZeroとelmoのレート差が（勝率91%、400ちょい。なおelmoもaperypaqも探索部のバージョンが4.79にあがっている）なので、AlphaZeroとaperypaqのレート差は230程度となり、AlphaZeroの勝率は80％程度と予想されます。aperypaqを相手にした勝率は図でしか与えられていませんが https://cdn-ak.f.st-hatena.com/images/fotolife/q/qhapaq/20181207/20181207215404.png こんな感じになっており、図の長さから測定すると約88％（勝率から換算されるレートはaperypaq+340）程度の勝率であると推測できます。 (引用終り) [] [ここ壊れてます] 560 名前：１３２人目の素数さん [2018/12/09(日) 13:34:45.30 ID:9ChKwkDV.net] ＞理由は書いてるじゃん。記事の内容そのもの。 その通り。落ちこぼれスレ主が理解できないだけの話。 スレ主は約束通りさっさと退場せよ。 561 名前：１３２人目の素数さん [2018/12/09(日) 14:07:56.99 ID:9ChKwkDV.net] スレ主屁理屈考え中ナウ 562 名前：１３２人目の素数さん [2018/12/09(日) 14:44:21.79 ID:NUP9RcR1.net] >>509　スレ主　AIネタてまず一敗 563 名前：１３２人目の素数さん [2018/12/09(日) 14:46:28.66 ID:NUP9RcR1.net] 自然数ｎを 「先頭からｎ番目まで箱に●が入りその後は○が入った無限列」 と同一視する １．自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で●が出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ ２．さて、次に自然数を100個無作為に選択し そのうちさらに無作為に1個ｎを選んで 残りの自然数の最大値maxを求める 自然数ｎに対応する列のmax番目の箱を開けたとき 中身が●の確率は1/100である なぜならn>maxとなる確率が1/100だから これまた、「100個」「1/100」のところは 「10000個」「1/10000」でよい ある自然数ｉを選んでi個選べばいいだけ その場合の確率は1/iになる 時枝論法のエッセンスは １．と２．の違いに集約される もはや同値類も選択公理もない 上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定 「勝った」と吠えるのは上記のトリックに反駁できてからにしてね 負け犬ピエロのスレ主ちゃまへ 564 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 17:12:39.65 ID:JK6NgeBP.net] スレ主は層や伊東やAIのコピペをしていくだけの虚しい作業を始めるだろう 565 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 18:42:30.37 ID:NUP9RcR1.net] スレ主におくる歌 https://www.youtube.com/watch?v=bRWqxv3iMaY 566 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 18:56:17.03 ID:Q0MhjwKR.net] >>496 > これって、なんか変 変なのはスレ主の頭 計算がめちゃくちゃ > ここまでは良い 良くない > choosing the xi independently and uniformly on [0, 1] たとえばxiが0.1234ならN_i(ε) = 4, di = 5 xjが0.56789ならN_j(ε) = 5, dj= 6 xi, xjの2つから1つ選んだ時にN_i(ε)とN_j(ε)(or diとdj)の値が 最大のものを選ぶ確率は1/2 (ただしN_i(ε) = N_j(ε), di = djが起きる確率は0としている) 100個ならばN(ε)(or d)が最大であるものを選ぶ確率は1/100 567 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 19:08:20.93 ID:I7n67ZWh.net] >>508 ピエロちゃん、ありがとう（＾＾ 568 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 19:17:24.49 ID:I7n67ZWh.net] >>513 笑えるよ、ピエロ このスレにおける”ピエロ”の定義は、>>1 だよ（＾＾ そんなだから、数学で落ちこぼれるんだと思う 思うに、数学では まずは定義を受入れないとね もちろん、定義への批判と、改良・改善もありだがね だが、おまえが自分の”ピエロ”という定義を変えようというのは まさに、おまえにとって”ピエロ”という名称が、”効いているって”こと（ダメージになっている） を、示しているってことだと思うぜ、おれは（＾＾； 参考（>>1） サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人を� 569 名前：ｾまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 [] [ここ壊れてます] 570 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 19:20:21.65 ID:I7n67ZWh.net] >>507 どもありがとう（＾＾ 571 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 19:21:48.50 ID:Q0MhjwKR.net] >>496 スレ主は > 確率変数の無限族から、ある二つxi,xjを取る。 > xi >= xj となる確率は1/2 > 時枝の言葉で言えば、”xiがxjより大きい確率は1/2” と > 時枝理論では、xi >= xj(=0.1) となる確率は1/2 > これって、なんか変 とでxiの扱い方が異なっているよ 上では線の上に点を2つつけてそれらがxi, xjの2つだとみなしている状態 (等号は無視したとして)点の順番はxi < xjとxj < xiのどちらか 「なんか変」の場合は線の上にxjの1つしかなくて2つめの点xiをつける線の 長さがxjの左右で異なることを問題にしている 572 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 19:26:14.79 ID:I7n67ZWh.net] >>514 スレ主は層や伊東やAIのコピペをしていく楽しくかつ有益な作業を始めるだろう つまらん、時枝記事のカキコをほとんど無視してね（＾＾ あと、来週早くに「敗北宣言」を出せて下さるように(>>484)、みなさん頑張って下さい（＾＾； 私は、すぐにこのスレを閉じますので 573 名前：１３２人目の素数さん [2018/12/09(日) 19:57:21.24 ID:9ChKwkDV.net] あれ？>>513へのレスを読むつもりだったのに誹謗中傷以外何も見つけられなかった。 読解力落ちたかな？ 574 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 20:13:23.27 ID:I7n67ZWh.net] >>522 はい>>521（＾＾； 575 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 20:14:06.47 ID:I7n67ZWh.net] >>516 なにを言っているのか、さっぱり分りません よって、”つまらん”ね 576 名前：１３２人目の素数さん [2018/12/09(日) 20:17:00.39 ID:9ChKwkDV.net] 得意の屁理屈すら出せなくなったかｗ ゴミはゴミ箱へ　スレ主は・・・ 577 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 20:22:26.88 ID:I7n67ZWh.net] >>520 >「なんか変」の場合は線の上にxjの1つしかなくて2つめの点xiをつける線の >長さがxjの左右で異なることを問題にしている ここ違うな。>>496で言っていることは １）”確率変数の無限族から、ある二つxi,xjを取る。xi >= xj となる確率は1/2”の場合、 　　xiとxjの二つが、同じ確率分布に従うなら、その確率分布の”形”には鈍感（ほとんど影響されない）ということ 　　勿論、xiとxjが、異なる確率分布に従うなら、”xi >= xj となる確率は1/2”は言えない 　　（∵ 例えば、xi が[0、1]の区間の任意の実数を一様にとり、xj が[0、10]の区間の任意の実数を一様にとる場合など） ２）ところで、>>496に示したように、xiの値が分ってしまうと、 　　xiとxjの二つが、同じ確率分布に従うとしても 　　「xi >= xj となる確率」は 　　その確率分布の”形”に敏感になる ３）例えば分り易く、模擬試験の得点を考えよう 　　沢山の人が受けたが、試験が難しく、平均点30点で標準偏差が10とする。 　　xiが、50点だったとするとxiの標準偏差は70になる 　　なので、xjがかなり出来ればともかく、偏差値70超えまでいかないと、xi >= xjが成り立ち、かなり高確率でこうなる 　　しかし、問題が易しくて、平均点60点で標準偏差が10とすると 　　xiが、50点だったとしても xiの標準偏差は40になる 　　なので、xjがかなり出来が悪ければともかく、偏差値40以上なら、xi >= xjは不成立になる。かなり高確率でこうなる 　　（xjの点数が未知なら、粗くは偏差値の理論から確率が推定でき、もっと正確には得点分布から確率計算できる） 　　上記のように、同じxj＝50点でも、確率分布の”形”でこれだけ異なる つづく 578 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 20:23:37.69 ID:I7n67ZWh.net] >>526 つづき ４）さて、時枝の場合も、箱を開けてしまって、その結果と、まだ開いていない箱の数を比較するとき、 　　xiとxjの二つが、同じ確率分布に従うとしても上記のような違いが生じることに加え 　　模擬試験の得点とは異なる部分もあるのだ 　　それは、模擬試験の得点はほぼ正規分布に従う場合が多いが 　　xi,xjの分布はそう（正規分布に従う）とは限らない 　　例えば、仮にコーシー分布なら、平均値や標準偏差を考えることはできない 　　だから、箱を開けてしまったら、決定番号の確率分布を求める必要があるのだが、 　　時枝記事ではそこをスルーしているのだった 　　そこが 579 名前：大きな問題だな 以上 （参考） https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%86%E5%B8%83 コーシー分布 (抜粋) コーシー分布は、期待値＊）や分散（あるいはより高次のモーメント）が定義されない分布の例として知られる。 期待値が定義されない限り、分散や標準偏差を考えることは不可能である。しかし、原点を中心とした2次モーメントを考えることは可能である。しかし、これもまた無限大となる。 （注＊）ここでいう期待値とは、平均値のことである ） [] [ここ壊れてます] 580 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 20:27:43.38 ID:I7n67ZWh.net] >>525 はいはい どうぞ、(>>498)時枝先生に連絡して下さい 来週の吉報をまってます ”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”という時枝宣言が出されたという吉報をね（＾＾ 581 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 20:39:40.76 ID:I7n67ZWh.net] >>516 >たとえばxiが0.1234ならN_i(ε) = 4, di = 5 > xjが0.56789ならN_j(ε) = 5, dj= 6 こんなん 意味分る人いるんかね？ はて ”得意の屁理屈”すら出せなくなったよ（＾＾ 582 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 20:42:55.95 ID:I7n67ZWh.net] >>528 まあ、別に時枝先生に限らずとも どこの大学でも可 数学科に限らずとも、大学で数学を教えているということが分る教員なら可だ 来週の吉報をまってます ”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”という宣言が出されたという吉報をね（＾＾ 583 名前：１３２人目の素数さん [2018/12/09(日) 21:01:11.39 ID:9ChKwkDV.net] 権威に縋ろうとする醜態、みっともないことこのうえなし 権威に縋る必要などまったく無い、>>513に対するスレ主自身の見解を述べればいいだけ なぜそれすらできない？　敗北を認めることになるから？ 584 名前：１３２人目の素数さん mailto:sage [2018/12/09(日) 21:17:11.54 ID:Q0MhjwKR.net] >>527 > 箱を開けてしまったら、決定番号の確率分布を求める必要があるのだが、 > 　時枝記事ではそこをスルーしているのだった > 　そこが大きな問題だな 回答者はどの列を選ぶかは箱の中身を見る前に決めます どの列も当確率で選ぶとしています 6列に分ける場合で考える 2つの決定番号が等しい場合を考えなくて良い場合は 6個の決定番号d1, d2, d3, d4, d5 ,d6は自然数であるから d'1 < d'2 < d'3 < d'4 < d'5 < d'6と並べ替えることができ {1, 2, 3, 4, 5, 6}と対応させることができる 6面体サイコロ{1, 2, 3, 4, 5, 6}の各面の数字にシールを貼って隠したとします そのうちの5面のシールをはがして数字を確認しました スレ主はシールが貼ったままの面が出る確率が1/6から 変わるというのですか？ >>529 > 意味分る人いるんかね？ スレ主はこう書いているから > >>494 > はい>>496 それは>>494の内容だとという意味ですよ 585 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 23:28:50.83 ID:I7n67ZWh.net] >>459 関連 下記Harpreet Bedi先生の20：50辺りに茎と芽の説明がある https://youtu.be/6Vv_OUHfn7c?t=1250 この説明は、ほぼ>>249と合っているように思う なお、 下記の14：15辺りに層の例示がある https://youtu.be/6Vv_OUHfn7c?t=855 これ結構分り易いかも 余談だが、層の説明と例示が、 関数論と代数幾何とでは、かなり違う。 いや、圏論ベースでの説明も、またかなり違う。 （関数論は当然関数論ベースの説明だが、代数幾何での説明はかなり圏論寄りで、 　圏論では、相当（輪をかけて）抽象的で、まあよく分らんがトポスを意識しているのかもしれない） なので、そこをかなり意識して読まないと、つまづくように思う （私は、かなり混乱しましたね（＾＾ ） （>>459 より） https://www.youtube.com/watch?v=6Vv_OUHfn7c&t=1s Sheaves and Stalk Harpreet Bedi2012/11/28 に公開 Motivation for Sheaves, Definition, Examples, Germ and Stalk 586 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 23:39:16.53 ID:I7n67ZWh.net] 突然ですが（＾＾； https://www.youtube.com/watch?v=xBKAEvTegN8 大学と大学院の違い 予備校のノリで学ぶ「大学の数学・物理」 2018/12/08 に公開 大学の仕組みって外からだとかなり分かりにくいですよね。そこで今回は高校生や一般の人向けに大学・大学院の構造をお話します。 コメント KeikyuTobuLine 1367F 1 日前 1:45 みんな彼女が出来る… 1:47 君はできませんwwwww けーすけ 1 日前 卒論は参加賞 修論は努力賞 ドク論は成果が必要 587 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 23:46:41.43 ID:I7n67ZWh.net] これも突然ですが（＾＾； https://www.youtube.com/watch?v=z43zenOGmxs 文系美女が、もしも天才数学少女だったら？【ドッキリ】 予備校のノリで学ぶ「大学の数学・物理」 2018/12/01に公開済み 文系東大生YouTuberもっちゃんに協力してもらい、数学教育系YouTuber鈴木貫太郎さんを騙します。YouTube史上最高に理系色が強いドッキリ企画になっております。結果やいかに・・・ コメント もっちゃんねる 1 週間前 ドッキリ大成功！ 迫真の演技でしたね！( ) 588 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/09(日) 23:57:03.26 ID:I7n67ZWh.net] >>474 Harpreet Bedi先生 Ph.D. The George Washington University 2018 UnitedStates Dissertation: Cohomology of line bundles of Rational Degree over Perfectoid Space これ（Perfectoid Space）、ご存知 Peter Scholze さん、Fields Medalのお仕事関連ですね（＾＾ https://en.wikipedia.org/wiki/Perfectoid_space Perfectoid space In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime p. A perfectoid field is a complete topological field K whose topology is induced by a nondiscrete valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on K°/p where K° denotes the ring of power-bounded elements. Perfectoid spaces may be used to (and were invented in order to) compare mixed characteristic situations with purely finite characteristic ones. Technical tools for making this precise are the tilting equivalence and the almost purity theorem. The notions were introduced in 2012 by Peter Scholze.[1] https://en.wikipedia.org/wiki/Peter_Scholze Peter Scholze He won the Fields Medal in 2018, which is regarded as the highest professional honor in mathematics.[7][8][9] 589 名前：１３２人目の素数さん [2018/12/10(月) 00:22:18.56 ID:QhPNJW0G.net] スレ主現実逃避中なう 590 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 07:01:51.12 ID:ZA5TjRWZ.net] 突然ですがメモ（＾＾ https://math.stackexchange.com/questions/379994/what-does-the-stalk-of-a-sheaf-of-discontinuous-sections-look-like What does the stalk of a sheaf of discontinuous sections look like? (抜粋) I'm having some kind of cognitive dissonance here, but I'm having trouble figuring out which of my beliefs is false. asked May 3 '13 at 5:25 Daniel McLaury 2 Answers 10 First let me note that the asociation F→G=G(F) is an extremely useful functor introduced by Godement in 591 名前：his book and through which he calculates the Grothedieck cohomology of sheaves, the main virtue of his sheaves being that they are flabby, hence acyclic. So your choice of the letter G for this Godementification is excellent! And you are perfectly right that the stalk Gx is much, much larger than the corresponding Fx: congratulations for not sharing the common misconception that these stalks are equal. 3 In the third line you write that taking stalks commutes with direct sums, but the actual construction of G is a direct product, not a direct sum (unless X is finite). Even if X is finite, it won't be true that F=G unless all the points x are closed (so that X is actually discrete, in which case there is no difference between continuous and discontinuous sections). The reason is that if x is not closed, then i?(Fx) has non-zero stalks not just at x, but at all the points in the closure of x. [] [ここ壊れてます] 592 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 07:02:19.15 ID:ZA5TjRWZ.net] >>537 どもありがとう（＾＾ 593 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 07:05:55.88 ID:ZA5TjRWZ.net] >>528 吉報をまってます 時枝先生が、書いたとか 大学の先生が、書いたとか（＾＾ 594 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 07:13:40.14 ID:ZA5TjRWZ.net] そんなことが、起こるわけねーだろ！ 「ボーっと生きてんじゃねえよ!」 https://ja.wikipedia.org/wiki/%E3%83%81%E3%82%B3%E3%81%A1%E3%82%83%E3%82%93%E3%81%AB%E5%8F%B1%E3%82%89%E3%82%8C%E3%82%8B! チコちゃんに叱られる! (抜粋) 『チコちゃんに叱られる!』（チコちゃんにしかられる）は、NHK総合テレビで放送されているクイズバラエティ番組である。 回答者が答えに詰まると、チコちゃんの顔がCGによって突然真っ赤になり巨大化し、「ボーっと生きてんじゃねえよ!」[注釈 1]の決めぜりふと共に叱られてしまい、その後専門家に取材をしたVTRを流して答えを掘り下げるという構成で進められる番組[注釈 2][4][1]。タイトルロゴに描かれた「Don’t sleep through life!」は「ボーッと生きてんじゃねえよ!」の意訳[注釈 3]。 595 名前：１３２人目の素数さん [2018/12/10(月) 07:44:58.70 ID:pkGwI701.net] >>518 スレ主、記事に反駁一つ出来ず ピエロに成り下がり二敗目を喫する 596 名前：１３２人目の素数さん [2018/12/10(月) 09:01:42.90 ID:QhPNJW0G.net] もはや数学でも何でもない ただの駄々っ子 597 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 09:52:58.18 ID:JZrNonw2.net] >>401 >ああレベルは違うが「わかってないことをさもわかってるように大量に書く」点では >伊東由文とここのスレ主は通じるものがあるな >数学会の困ったちゃん伊東の方がずっとマシだが ああ、これ今気づいた 遅レスすまん そうなんか 知らなかった というか、おれのレベルでは、 「わかってないことをさもわかってるように大量に書く」 とか 「数学会の困ったちゃん」とかは、 全く検知できない だが、 「わかってないことをさもわかってるように、”間違い”を大量に書く」なら問題だが ”間違い”でなければ許容範囲だろう 多くの大学数学教師が、海外の種本をベースに、 「わかってないことをさもわかってるように、自分の教科書に大量に書く」のは、日本の数学ではよくある （多かれ少なかれね。分かっているレベルの差の問題はあるとしても） そこから、本当に分かった人が小数でも数学者に育っていく で、>>484を頼むわ もし、数学教員なら貴方自身でも可だし 数学会に知り合いがいるなら、その人に頼んでおくれ 598 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 10:05:40.81 ID:JZrNonw2.net] 突然ですが 599 名前： "Inter-universal geometry と ABC予想"は、定期的に覗いているここ以外で唯一のスレだが 下記で、「ZFCG」が出てきて、検索すると、下記の「宇宙際タイヒミュラー理論」がヒットしたので貼る https://rio2016.5ch.net/test/read.cgi/math/1543778612/242 Inter-universal geometry と ABC予想 35 http://a.yourpedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96 宇宙際タイヒミュラー理論 (抜粋) 目次 1 論文について 2 宇宙際について 3 楕円曲線と高さの理論 4 ディオファントス幾何 5 ホッジ＝アラケロフ幾何 6 フロベニオイド 7 遠アーベル幾何 8 ホッジ舞台 9 対数殻 10 核性 11 多輻的復元アルゴリズム 12 テート＝セミツイスト 13 数学基礎論による厳密な定式化 数学基礎論による厳密な定式化 グロタンディーク宇宙や種の言語と呼ばれる理論により宇宙際の議論の数学的定式化の構想をしている。 グロタンディーク宇宙 集合論は無限の階層を持つ。 公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。このモデルとなるのがグロタンディーク宇宙である。 グロタンディーク宇宙とは以下の定義で与えられる集合 U である： ZFCに付け加える公理、つまり論理式によってことなるモデルであるグロタンディーク宇宙が無数に作れるようになる。このとき、ZFCで成り立つ論理式の集まりをひとつの構造とみなす。すると種の理論によって別の構造や種との理論が作られる。種の理論は決定的なアルゴリズムとして利用する。 （ただし、通常の自己同型がこの理論では自己言及による非決定性問題となるという困難の解消が必要だという。）このような視点が'宇宙際'幾何という名称の由来となっているとしている。 以下の問題点が指摘されている。 [] [ここ壊れてます] 600 名前：１３２人目の素数さん mailto:sage [2018/12/10(月) 15:26:28.05 ID:Dm5OJtCt.net] おっちゃんです。 土日は随分と盛り上がっていたようだが、スレ主には投了の2文字がないようだ。 これでは暖簾に腕押しだな。 それじゃ、おっちゃんもう寝る。 601 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 18:41:12.83 ID:JZrNonw2.net] >>546 おっちゃん、どうも、スレ主です。 レスありがとう 投了の2文字はあるよ 条件は、>>484に示した おっちゃんも、もし知人の大学の数学教員が居れば、 あるいは学生を通じてでも良いが >>484を頼むわ ピエロも頼むよ、>>484を！ おまえも、いくら数学科”落ちこぼれ”とはいえ（＾＾ 出身の数学科の教師に、依頼くらいできるだろ？ それとも、数学科はモグリで、学歴詐称かい？（＾＾ 602 名前：１３２人目の素数さん [2018/12/10(月) 19:08:06.90 ID:pkGwI701.net] >>526 >xi >= xj となる確率は1/2”の場合、 >xiとxjの二つが、同じ確率分布に従うなら、 >その確率分布の”形”には鈍感（ほとんど影響されない）ということ 正しくは 「xiとxjの二つが、同じ確率分布に従うなら 　xi >= xj となる確率は1/2」 >xiの値が分ってしまうと、 >xiとxjの二つが、同じ確率分布に従うとしても >「xi >= xj となる確率」は >その確率分布の”形”に敏感になる スレ主は確率分布の積分計算でのみ 「xi >= xjとなる確率」を正当化しようとするから 確率分布の積分計算に敏感になる し・か・し、「xi >= xj となる確率」は 確率分布に依存しないから 積分計算に固執するのは無意味である >>527 >箱を開けてしまったら、決定番号の確率分布を求める必要があるのだが、 >時枝記事ではそこをスルーしている 時枝記事の場合、「決定番号の確率分布」が積分不能であるし そもそも「xiとxjの二つが、同じ確率分布に従うなら 　xi >= xj となる確率は1/2」を多重積分の計算で 確認する必要はない 必要のないことを無視するのは当然である >そこが大きな問題だな 何の問題もない スレ主は「数学は計算だ」と思ってるらしいが 実際はそうではない 603 名前：１３２人目の素数さん [2018/12/10(月) 19:11:55.73 ID:pkGwI701.net] >>547 ＞>>484を頼むわ なに、たわけたこといってんだ？ スレ主こそ、自分が正しいというのなら 大学の数学科教員に頼んで ”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は誤り” ということ及び、その理由を数学科の学生が検証できる程詳しく書いて 教員の実名で当人のサイトにアップしてもらいな はっきりいって素人のスレ主の難癖なんて全然意味ないんだよ （工学部卒の数学レベルなんてたかだか高卒程度） 604 名前：１３２人目の素数さん [2018/12/10(月) 19:13:09.46 ID:pkGwI701.net] >>484 ＞私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します じゃ、即刻、時枝氏に敗北宣言出しなよ ＞赤っ恥で結構です。 もう、スレ主は赤っ恥かきまくりだけどな ＞私は、このスレを閉じますよ。 無理無理(呵呵大笑) ネット依存症なんだろ？ スレ主が、赤っ恥かいても、 みんなに相手してもらいたい 淋しいピエロだってことは 先刻ご承知 P.S. 「宇宙際タイヒミュラー理論」もＡＩ同様、敗北宣言扱い スレ主は自分が理解できない話をコピペするの好きだな 誰かに説明求めてるのか？だったら土下座して頼めよ　サル 605 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 20:41:26.15 ID:ZA5TjRWZ.net] >>548-550 ピエロご苦労 今日は、吉報なしかね（＾＾ こうやって、毎日、落ちこぼれピエロを上から目線（＾＾ 楽しいよ ピエロ、早く>>484をだれかおまえの母校の恩師に頼んだ方がいいぞ だが、頼んだ瞬間、お前は敗北を悟ることになるんだ 606 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 20:45:32.63 ID:ZA5TjRWZ.net] まあ、こうやって、公開で、時枝記事を指示する 大学の数学プロ教員を募っているんだ まあ、時枝が正しければ、一人くらいは出てくるでしょうね 正しければだがｗ（＾＾ 607 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 20:46:14.36 ID:ZA5TjRWZ.net] >>552 誤変換訂正 時枝記事を指示する 　↓ 時枝記事を支持する 608 名前：１３２人目の素数さん [2018/12/10(月) 20:50:35.33 ID:QhPNJW0G.net] スレ主以外の全員がスレ主が間違いと言ってるんだからスレ主が確かめるのが筋だろ また駄々こねる気か？ 609 名前：１３２人目の素数さん [2018/12/10(月) 20:53:12.18 ID:QhPNJW0G.net] >>552 キチガイ 610 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 21:36:29.91 ID:ZA5TjRWZ.net] >>545 下記で、「ロバーツの改訂版PDF」とかあってね、検索すると、下記がヒットしたので貼る https://rio2016.5ch.net/test/read.cgi/math/1543778612/242 Inter-universal geometry と ABC予想 35 https://thehighergeometer.wordpress.com/2018/09/28/on-mochiukis-report-on-discussions/ theHigherGeometer On Mochizuki’s “Report on discussions…” SEPTEMBER 28, 2018 ~ DAVID ROBERTS (Edit 22nd October: I have updated my notes below). (抜粋) The documents relbaeased by both sides include two versions of a report by Scholze?Stix, titled Why abc is still a conjecture, each with an accompanying reply by Mochizuki, as well as a 41-page article, Report on discussions, held during the period March 15 ? 20, 2018, concerning Inter-Universal Teichmuller Theory (IUTCH). This latter document is written in a style consistent with Mochizuki’s IUTT papers, and his other documents concerning IUTT. As such, it can be difficult (at least for me) to extract concrete and precisely-defined mathematical results that aren’t mere analogies or metaphors. Rather than analogies, one should strive to express the necessary ideas or objections in as precise terms as possible, and I argue that one should use category theory to clean up the parts of the arguments that are not actual number theory or arithmetic geometry. I made some more detailed notes about this here. NEW !! (2018-10-22) https://thehighergeometer.files.wordpress.com/2018/10/mochizuki_final2.pdf 611 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 21:41:05.96 ID:ZA5TjRWZ.net] >>554-555 >スレ主以外の全員がスレ主が間違いと言ってる 笑えるし（＾＾ それ（スレ主以外の全員が）には、 反例が存在するよ 過去ログ嫁め（＾＾ お前も、早く、>>484をだれかおまえの母校の恩師にでも、頼んだ方がいいぞ だが、頼んだ瞬間、お前は敗北を悟ることになるんだ（＾＾ 612 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/10(月) 21:50:10.88 ID:ZA5TjRWZ.net] >>550 >「宇宙際タイヒミュラー理論」 >スレ主は自分が理解できない話をコピペするの好きだな >誰かに説明求めてるのか？だったら土下座して頼めよ　サル ワロタ、わろた、笑ろたぁ〜！！ ほんと、サイコパスって、幸せな性格だね〜（誇大妄想・自己肥大）（＾＾ おれが、「宇宙際タイヒミュラー理論」が理解できないのは当然だ（当然、おれはヤジうまですよ〜（＾＾ ） だが、数学落ちこぼれのピエロに「宇宙際タイヒミュラー理論」の説明を頼む人いるんかね？？　居たら、親の顔を見たいわ！（＾＾ 613 名前：１３２人目の素数さん mailto:sage [2018/12/10(月) 21:51:00.93 ID:RD26rSGW.net] 数学セミナー2015年11月号 箱入り無数目 時枝正 については(ほぼ)公式には誤りであるとは発表されたいませんね https://www.dpmms.cam.ac.uk/~tokieda/Tokieda_publications.html 2013年-2015年 月刊誌『数学セミナー』連載「こどもの眼・おとなの頭」 正誤表や補遺 https://www.nippyo.co.jp/blogsusemi/ https://www.nippyo.co.jp/blogsusemi/正誤情報/ 参考までに 数学セミナーの編集 www.nara-wu.ac.jp/initiative-MPI/images/Oga/Oga-file.pdf スレ主を通じて>>484を時枝氏か数学セミナー編集部あてに依頼しますよ 依頼した旨をスレ主は報告してください 614 名前：１３２人目の素数さん mailto:sage [2018/12/10(月) 22:43:15.77 ID:G2P1qfAV.net] 　　　　　＿＿＿ 　　　 ／　　　 　＼　　　　　 ＿＿＿＿＿＿＿＿＿ 　　 /　　 ／　＼　＼　　 ／ 　　|　　　　(ﾟ)　(ﾟ) 　 |　＜　クソスレにうんこしていきますね 　　|　　　　 ）●（　　|　　 ＼＿＿＿＿＿＿＿＿＿ 　　＼　　 　 ▽　 　ﾉ 　　　 ＼＿＿∪ ／ 　　／　　　 ￣￣　＼ 　　|　|　　　　　　　 |　| 　　|　|　　　　　　 　|　| |⌒＼|　　　　　　　 |／⌒| |　　　|　　　 |　　　 |　　　| |　＼ （　　　　　　　） ／　| |　　|＼＿__人＿___／| 　 | |　　|　　　ヾ;;;;|　　　　| 　 | 　　　 　 　 ,lﾉl| 　　　　　　人i　ﾌﾞﾊﾞﾁｭｳ!! 　　　　　ノ:;;,ﾋ=-;､ 　　　　(~´;;;;;;;ﾞ'‐;;;） 　　,i`（;;;ﾞ'―---‐'ヾ 　　ヽ;;';ｰ--―-､'';;;;;ﾞ） 615 名前：１３２人目の素数さん [2018/12/11(火) 03:35:00.49 ID:AB3xIuDT.net] https://blog.goo.ne.jp/nichikon1/e/da81f66fa7c437e7ca 616 名前：19667c2bf35065 ↑これおもろいｗ、コメント読んでみて。 出来たらみんなに広げていってほしいな。 [] [ここ壊れてます] 617 名前：１３２人目の素数さん [2018/12/11(火) 06:19:25.06 ID:mjPLNApz.net] >>551 スレ主　ピエロ役ご苦労 今日にいたるまで大学教員の支持なしかい ま、時枝記事に反感感じたその瞬間 お前は敗北したわけだが 618 名前：１３２人目の素数さん [2018/12/11(火) 06:23:08.67 ID:mjPLNApz.net] >>554 ＞スレ主以外の全員がスレ主が間違いと言ってるんだから ＞スレ主が確かめるのが筋だろ >>557 ＞反例が存在するよ ここの匿名はあてにならない、といったのはスレ主 大学の教員が実名で書いたHPは出たかい？ないだろ 5chで確率論の専門家を名乗っても誰が信じるかい 619 名前：１３２人目の素数さん [2018/12/11(火) 06:25:30.77 ID: ] [ここ壊れてます] 620 名前：mjPLNApz.net mailto: ま、一言言わせてもらえば 自分の反感だけで 時枝記事は間違ってる と吠えるスレ主は 一番のサイコパスだなｗ [] [ここ壊れてます] 621 名前：１３２人目の素数さん [2018/12/11(火) 06:26:35.32 ID:mjPLNApz.net] 自然数ｎを 「先頭からｎ番目まで箱に●が入りその後は○が入った無限列」 と同一視する １．自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で●が出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ ２．さて、次に自然数を100個無作為に選択し そのうちさらに無作為に1個ｎを選んで 残りの自然数の最大値maxを求める 自然数ｎに対応する列のmax番目の箱を開けたとき 中身が●の確率は1/100である なぜならn>maxとなる確率が1/100だから これまた、「100個」「1/100」のところは 「10000個」「1/10000」でよい ある自然数ｉを選んでi個選べばいいだけ その場合の確率は1/iになる 時枝論法のエッセンスは １．と２．の違いに集約される もはや同値類も選択公理もない 上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定 「勝った」と吠えるのは上記のトリックに反駁できてからにしてね 負け犬ピエロのスレ主ちゃまへ 622 名前：１３２人目の素数さん [2018/12/11(火) 06:27:05.88 ID:mjPLNApz.net] スレ主こそ、自分が正しいというのなら 大学の数学科教員に頼んで ”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は誤り” ということ及び、その理由を数学科の学生が検証できる程詳しく書いて 教員の実名で当人のサイトにアップしてもらいな はっきりいって素人のスレ主の難癖なんて全然意味ないんだよ （工学部卒の数学レベルなんてたかだか高卒程度） 623 名前：１３２人目の素数さん [2018/12/11(火) 06:33:32.35 ID:mjPLNApz.net] >>559 スレ主はもう日本評論社あてに 「数セミの時枝正の箱入り無数目は間違ってる！」 と投書して黙殺されたんだろうｗ 624 名前：１３２人目の素数さん [2018/12/11(火) 06:34:55.72 ID:mjPLNApz.net] >>558 ＞おれが、「宇宙際タイヒミュラー理論」が理解できないのは当然だ そりゃそうだ「時枝記事」も理解できないんだもんなあｗ 625 名前：１３２人目の素数さん [2018/12/11(火) 08:47:33.74 ID:msYcD5Yr.net] スレ主へ 潔く諦めろ まだ駄々っ子続けますか？ 626 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 10:58:04.85 ID:5Lj3GQW7.net] >>559 >スレ主を通じて>>484を時枝氏か数学セミナー編集部あてに依頼しますよ はい、どうぞ、数学セミナー編集部あてに連絡してあげてください 「こんなスレがあり、時枝記事は間違いだと言っている人がいて、2015年11月から３年書いている」と その返事を貴方が貰って下さい 「時枝先生に連絡しました。時枝先生に追加の記事を書いてもらいますよ」とかね（＾＾ 627 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 11:18:02.05 ID:5Lj3GQW7.net] >>549 「大学の数学科教員に頼んで ”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は誤り” ということ及び、その理由を数学科の学生が検証できる程詳しく書いて 教員の実名で当人のサイトにアップしてもらいな」 はい 大学で数学を教えている恩師のところへ行ってきました 以下は、その概略です（＾＾ １．時枝記事の解法は成り立たない ２．それは、大学で数学を教える教員全員の常識だし 　　不成立が理解できないのは、数学科生としては、落ちこぼれだね ３．だが、それを実名で公表することは、日本でははばかられる 　　時枝先生に賛成して”よいしょ”するのは実名でも可だが 　　反旗をひるがえして”反論”するのは、ははばかられるってこと 　　みんな知っていることだし、いまさらだからね ４．そうか、ピエロというのがいるのか？ 　　そいつは、完全に数学科落ちこぼれだな 　　彼は、選択公理を濫用している。選択公理で何でも簡単に証明できるなら、ツォルンの補題は不要だ 　　彼は、サイコパスで、誇大妄想・自己肥大だね 　　数学科出て不遇なのか。だが、性格が悪いし、能力が低いから、仕方ないね ということでした 　私は、この面談の詳細な証明を持っているが、このスレの余白は狭すぎる。証明は思いつくであろう 　ということです。数学では、反例は一つで良い！ 　どうぞ、皆さんの手で反例（>>484）を出して下さい 　ピエロ、頑張れよ（＾＾ 628 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 11:32:39.45 ID:5Lj3GQW7.net] >>568 >＞おれが、「宇宙際タイヒミュラー理論」が理解できないのは当然だ >そりゃそうだ「時枝記事」も理解できないんだもんなあｗ ほんとピエロは、面白いやつだ あのなー、たかがと言っては失礼だが 数学セミナーですよ 「時枝記事」� 629 名前：ﾍ それと、望月先生の「宇宙際タイヒミュラー理論」を比較してどうする？（＾＾ 望月先生の「宇宙際タイヒミュラー理論」の弱ABC予想の証明を理解したと名乗る数学者が、 世界全体で一体何人いると思っているんだ？ 笑えるよ、ピエロくん [] [ここ壊れてます] 630 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 11:49:16.43 ID:5Lj3GQW7.net] >>572 補足 ”望月先生の「宇宙際タイヒミュラー理論」の弱ABC予想の証明を理解できないし、あやしい” と主張している人は、 Scholze and Stix を筆頭に、DAVID ROBERTSさん（>>556）もそうらしいが、世界中に何人かいる 631 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 12:09:13.35 ID:5Lj3GQW7.net] >>509 追加 https://japan.cnet.com/article/35129871/ チェス、将棋、囲碁のすべてでこれまでの最強AIに勝利した人工知能「AlphaZero」 JACKSON RYAN （CNET News） 翻訳校正： 湯本牧子 吉武稔夫 （ガリレオ）2018年12月10日 11時27分 (抜粋) 　訓練と学習のプロセスは、グーグルの機械学習向けプロセッサ「Tensor Processing Unit」（TPU）5000基を使用し、チェスで9時間、将棋で12時間、囲碁で13日間かかった。参考までに、TPU 1基だけでも「Google Photos」で1日に1億枚以上の写真を処理できるため、AlphaZeroはかなり強大な処理ハードウェアと言える。学習完了後、AlphaZeroはAI同士の対局に臨んだ。 　そして、相手をことごとく打ち破った。 　この研究で独特なのは、学習アルゴリズムを「モンテカルロ木探索」（MCTS）と呼ばれる「検索手法」と組み合わせた点だ。MCTSは、囲碁AIプログラムが次に打つ手を識別する手法だ。DeepMindチームはこれと同じシステムをチェスと将棋にも使い、他の複雑な古典的ゲームにも応用できることを初めて示した。 　おそらく人間のチェスプレイヤーにとって最も興味深いのは、AlphaZeroが、人間から知識を与えられることなく、これまでに見られなかった戦略や斬新な考え方を実践したことだろう。その攻撃的姿勢と極めてダイナミックな対局は、DeepMindのブログにコメントを寄せたチェスのグランドマスターMatthew Sadler氏を驚かせた。 　だからといって、AIが文字通り、これまでに発明されたあらゆる対戦型ゲームで人間を打ち負かしつつあると言えるだろうか？いや、そうとも言えない。今回、DeepMindが利用した3種のボードゲームは際立って複雑だが、いずれも2人で戦うゲームであり、次の手を打つのに必要なすべての情報が常に目に見えているという点で、AIにやや有利だ。 632 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 18:34:13.36 ID:5Lj3GQW7.net] >>489 補足 ”https://www.youtube.com/watch?v=1HLMybWdBJA Direct Limit Harpreet Bedi2017/04/06 に公開 コメント 沈嘉?1 年前 I had trouble in understanding the equivalence of defining a stalk at a point through direct limit and through germs . Now I 633 名前：get it! Thank you!” この動画、わずか11分だが 4:10辺り（下記）に、茎・芽の説明が出てくる （”in understanding the equivalence of defining a stalk at a point through direct limit and through germs ”） これいいね（＾＾ https://youtu.be/1HLMybWdBJA?t=250 （参考） https://ja.wikipedia.org/wiki/%E5%B8%B0%E7%B4%8D%E6%A5%B5%E9%99%90 帰納極限 (抜粋) 数学における順極限（じゅんきょくげん）または直極限（ちょくきょくげん、英: direct limit）もしくは帰納極限（きのうきょくげん、英: inductive limit）は、「対象の向き付けられた族」の余極限である。 本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。 目次 1 厳密な定義 2 例 例 ・Ai を長さiの有限数列全体からなる集合、fij (i<=j) を数列の後ろに0をj-i項付け加える写像とすると、その帰納極限は、有限項を除いて0であるような数列全体の集合となる。 ・添字集合 I が有向集合で最大元 m を持つならば、そのような任意の直系の直極限はXm に同型であり、標準射 φm: Xm → X は同型となる。 ・p を素数とすると、群の族 Z/pnZ および p を掛けることで誘導される準同型の族 Z/pnZ → Z/pn+1Z での組は帰納系を成す。この帰納系の帰納極限は、p の適当な冪を位数とするような 1 の冪根の全体からなる。これをプリューファー群 Z(p∞) という。 ・F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって（つまり U <= V ←→ U ⊇ V とおいて）有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), rU,V) が得られ、この系の直極限は x における F の茎 Fx と呼ばれる。 x の各近傍 U に対して標準射 F(U) → Fx は F の U 上の切断 s を茎 Fx の元 sx へ対応させる。元 sx は切断 s の x における芽と呼ばれる。 [] [ここ壊れてます] 634 名前：１３２人目の素数さん mailto:sage [2018/12/11(火) 18:36:17.57 ID:tU8PEQRp.net] >>571 > 数学では、反例は一つで良い！ > 大学で数学を教えている恩師のところへ行ってきました その恩師に以下の主張が正しいか尋ねましたか？ 尋ねていないのならもう一度行って来てください [スレ主の主張] サイコロの目P(X = {1, 2, 3, 4, 5, 6}) = 1/6の目の最大値6をたとえば P(Y = {100, 101, ... , 199}) = 1/100にしたらこれは確率変数だから P(X) = 1/6の1/6(最大値が出る確率)が大きくなる 635 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 18:48:48.79 ID:5Lj3GQW7.net] >>575 補足 >・Ai を長さiの有限数列全体からなる集合、fij (i<=j) を数列の後ろに0をj-i項付け加える写像とすると、その帰納極限は、有限項を除いて0であるような数列全体の集合となる。 これまさに、多項式環だね（＾＾ 時枝の数列とも、少し関係している 時枝の数列は、定義上可算無限個の箱による数列だから、形式的冪級数環に相当するんだね >・p を素数とすると、群の族 Z/pnZ および p を掛けることで誘導される準同型の族 Z/pnZ → Z/pn+1Z での組は帰納系を成す。この帰納系の帰納極限は、p の適当な冪を位数とするような 1 の冪根の全体からなる。これをプリューファー群 Z(p∞) という。 このp∞は、可能無限だね。上記の多項式環と同じだ。形式的冪級数環には至らない∞なのだ >・F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって（つまり U <= V ←→ U ⊇ V とおいて）有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), rU,V) が得られ、この系の直極限は x における F の茎 Fx と呼ばれる。 この”包含関係を逆にする順序”の意義がいまいち分らなかったが 直極限（帰納極限）を使いたいためにこうしているのかな？ はて？ 636 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 18:51:03.46 ID:5Lj3GQW7.net] >>576 自分の恩師のところへ行きな そうして、時枝が正しいかどうか 聞いてこい そして、正しいというなら、その結果を、その恩師のサイトにアップしてもらえ それで、この話は決着するから 637 名前：１３２人目の素数さん [2018/12/11(火) 18:54:23.76 ID:mjPLNApz.net] >>571 >大学で数学を教えている恩師のところへ行ってきました >以下は、その概略です（＾＾ スレ主は大したサイコパスだね 口から出まかせの大嘘をつくとは あきれても 638 名前：のがいえんよ もし本当ならどこの大学の誰だい そんなトンデモなヤツは 名前を明らかにしたほうがいいな ま、実在しないから書きようもないだろうが 実際、恩師のところに行ったら １．時枝記事の解法は成立する ２．それは、大学で数学を教える教員全員の常識だし 　　成立が理解できないのは、数セミ読者としても、落ちこぼれだね ３．時枝記事は実に分かりやすく書かれているので 　　これ以上補足することがないな 　　君、わかるまで読んで見給えよ ４．そもそも、記事が理解できないのはともかくとして 　　だから記事が間違ってるとかいうのは 　　サイコパスかつ、誇大妄想・自己肥大だね 　　キミ、能力が低いのは仕方ないが、人格に問題あるんじゃないか？ といわれるのがオチだろう（呵呵大笑） [] [ここ壊れてます] 639 名前：１３２人目の素数さん [2018/12/11(火) 19:00:06.20 ID:mjPLNApz.net] そもそも１００人がそれぞれ自然数を選び（重複可） それぞれ自分には見えないようにして相手に見せ 自分の数を予測した場合、アホスレ主の言い分では 全ての人は「自分が誰よりも大きい数」だと予測すること になるが、もちろんそれが当たるわけはなく、実際は たかだか一人が「誰よりも大きい数」になるに過ぎない だから時枝論法の失敗確率が、100人の場合たかだか 1/100であるのはどんな数学者でも認めざるを得ない スレ主の恩師がこんな自明なことも気づけないとしたら 認知症にかかってる可能性が大 スレ主が恩師の名前を出さないのは、スレ主の意図とは 全く異なる意味で「正解」だろうｗ 640 名前：１３２人目の素数さん [2018/12/11(火) 19:19:45.58 ID:mjPLNApz.net] スレ主の今の気分 「吉本坂４６ってお笑いだから 　大したことねぇと思った 　何だよコレ、ガチじゃねぇか！」 https://www.youtube.com/watch?v=M5p45flAuDw 641 名前：１３２人目の素数さん [2018/12/11(火) 21:13:32.82 ID:msYcD5Yr.net] >>570 ＞その返事を貴方が貰って下さい どこまで甘えれば気が済むのか 図々しいにも程がある 642 名前：１３２人目の素数さん [2018/12/11(火) 21:17:49.10 ID:msYcD5Yr.net] >>571 うわっ　さむっ お前なに？面白いと思ってるのそれ？ 643 名前：１３２人目の素数さん [2018/12/11(火) 21:22:19.88 ID:msYcD5Yr.net] もはや数学でも何でもない ここまで醜態晒して何がしたいの？ 即刻消えた方がいいよ 644 名前：１３２人目の素数さん [2018/12/11(火) 21:23:49.73 ID:msYcD5Yr.net] >>572 ほんと真のピエロは、アホなやつだ あのなー、たかがと言っては失礼だが 数学セミナーですよ 「時枝記事」は 645 名前：１３２人目の素数さん [2018/12/11(火) 21:32:26.89 ID:msYcD5Yr.net] >>572 >＞おれが、「宇宙際タイヒミュラー理論」が理解できないのは当然だ >そりゃそうだ「時枝記事」も理解できないんだもんなあｗ ↑ 時枝記事さえ理解できないアホが宇宙（ｒｙを理解できるはずない 全然文章として成り立ってるじゃん アホ主君は数学の前に日本語がダメだね（以前から頻繁に言われてきたことだが） 646 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 21:34:10.80 ID:NughUjF/.net] >>579-586 ピエロか カキコの時間帯を見ると おまえまだ小学生相手の講師役続いているのかい？（＾＾ えらいね、小学生に数学を教えるなんて（＾＾； 647 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 21:36:13.36 ID:NughUjF/.net] >>579-586 吉報はまだかい？ ピエロ！（＾＾ （ピエロのためにAKB48を付録にしたよ（＾＾ ） 「今日も、勝利宣言かまして、よかですか？」 https://netatopi.jp/article/1113710.html Impress Corporation エンタメ 「ゴーマンかましてよかですか？」〜「週刊SPA!」で、小林よしのりさんの「ゴーマニズム宣言」連載が23年ぶりに復活！　4/3(火)発売の「週刊SPA! 4/10・17 ゴー宣合併特大号」から連載開始 [工藤ひろえ] [2018/3/27 13:37] (抜粋) https://netatopi.jp/img/ntp/docs/1113/710/0.jpg https://netatopi.jp/img/ntp/docs/1113/710/1_s.jpg https://www.amazon.co.jp/dp/4344024532/ref=cm_cr_arp_d_product_top?ie=UTF8 ゴーマニズム宣言スペシャル AKB48論 単行本 648 名前： ? 2013/9/26 小林 よしのり (著) (抜粋) AKB48から現代の問題点を照射した画期的日本論、渾身の描き下ろし。 これほどの 【本気・ストイック・実存】 を見せてくれるものが今の日本にあるか? ・かつてはわしもAKB48の良さが全然わからなかった ・わしがAKB48に血が滾った瞬間 ・冷笑主義の時代に本気を掲げたのは少女たちだった ・震災への寄付総額13億円! 新しい公共心をAKB48が教えてくれた [] [ここ壊れてます] 649 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 21:42:14.71 ID:NughUjF/.net] >>579-586 はっきりしていること それは、下記だよ（＾＾ １）私スレ主に致命傷を与えるのは、簡単で、自分の恩師、知り合い、近所の大学生を通じて>>484を実現すれば良い 　　単に、どの大学でも数学を教えている教員に、「時枝記事は正しい。理由はｘｘだ〜！」と、かれのサイトで宣言してもらだけのことだ ２）だが、ピエロや、あるいはその他の人が、敏感に察知したように、これは私の”ノーガード戦法”（下記）だよ 　　強烈なカウンターが仕込んであるんだ 　　頼みに行った先の大学の教員から、「実は、時枝解法は不成立です」を告げられることで、自分（＝ピエロ）のノックアウトという寸法になるのだ〜（＾＾ 　さあさあ、頼むよ！　ピエロちゃん。ノックアウトされておくれ〜！ｗ （＾＾ https://dic.pixiv.net/a/%E3%83%8E%E3%83%BC%E3%82%AC%E3%83%BC%E3%83%89%E6%88%A6%E6%B3%95 ノーガード戦法 ピクシブ百科事典 (抜粋) ノーガード戦法とは、『ガードを捨てて他の要素に集中する戦法』、または　『ガードしないことで得られる別の効果を利用する戦法』、もしくは『まったくの無防備の戦いを他者や自身が見たときの感想』　である。 https://dic.nicovideo.jp/a/%E3%83%8E%E3%83%BC%E3%82%AC%E3%83%BC%E3%83%89%E6%88%A6%E6%B3%95 ノーガード戦法 ニコニコ大百科 初版作成日: 11/10/09 01:40 ◆ 最終更新日: 16/09/16 17:37 650 名前：１３２人目の素数さん [2018/12/11(火) 21:43:22.05 ID:msYcD5Yr.net] なんで>>565を避けるの？ >>565に自分の見解を述べるのに恩師もクソも無いじゃん 自分の素直な見解を書けばいいだけじゃん >>565はスレ主の中傷レスと違って純粋な数学レスだよ？ 何で避ける必要があるの？何か不都合があるの？ 651 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 22:27:17.04 ID:NughUjF/.net] >>451 関係ないけど、検索でヒットしたから貼る（＾＾ www3.mfour.med.kyoto-u.ac.jp/~htsukita/index.html#Anchor1013177 京大大学院医学部 月田研究室 www3.mfour.med.kyoto-u.ac.jp/~htsukita/new-pub/Tsubuyaki7.html つぶやき〜7〜 4・1　2001中学入試における異様な体験 (抜粋) この冬は、息子の中学入試で大変だった。普段あまり勉強の面倒を見てやれなかったので、年末の願書の提出から、１月１０日から２０日までの受験シリーズを徹底して付き合うことにした。実際、自分の息子の試験でもないと、現代の中学入試の実態を肌で感じることはできなかったであろうから、大学に身をおく教育者の端くれとして、ある意味では貴重な体験の日々であった。 なぜ、この私的な体験について「つぶやいて」みようと思ったのかというと、大体、大学の教職者の多くは子供を持ち、多くはこのような中学入試の実態を親として経験しながら、誰もこれが「変だ」と騒がないのが、「変だ」と思ったからでもある。 そう� 652 名前：｢う僕も、神戸に生まれ育ち、「灘中高等学校」で６年間を過ごしたのであるが、僕が中学を受けた頃とは中学入試を取り囲む状況そのものが全く別物だと言ってよい。　それを如実に表しているのが、灘中学校にもっとも近い小学校である我が母校、魚崎小学校から灘中学校に受かる人数の変遷である。 僕が灘中を受けた頃は、大体クラスの上位の人が各クラスから一人ずつくらいは受かったように思うので、１０人前後はもっとも近い小学校から灘中学校へ移ったのではなかったろうか。　 最近は、ほとんど、魚崎小学校から灘中へ行ける人がいないというのである。　曰く、灘中は昔と違って全国区なのですよ、と。　 　息子が入試会場に入ってから、保護者控え室というところに、論文の材料を詰め込んだカバンを持ち込み、コンピューターを広げて仕事をしようとした。　が、無理であった。　そこにいたのは、ほとんどが母親だったのであるが、その母親の間の会話が強烈で、こちらの耳がロバ状態になり、とても集中して論文書きが出来る状態ではなかったのである。 ある母親は、「XX中学は、去年は何点までが合格で何点までがその後の補欠合格だったし、＃＃中学はそれが何点と何点だっし、＋＋中学は何点と何点だったし−−−−−−」とすべてを諳んじていて、しゃべりまくっている。 つづく [] [ここ壊れてます] 653 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 22:27:50.78 ID:NughUjF/.net] >>591 つづき 　ある母親は、壁に張り出された算数の入試問題を頭から解き始め、去年より難しいとか易しいとか議論している。　過去の問題を全部やって、覚えているのか？　試しに、横から問題を覗いてみて、またまた驚いた。　難しいし、量が多い。　これをどうして６０分間で解けというのだ？　でも、その母親は、この問題だと１００点もいるだろうと騒いでいる。 　嘘だろう！　これが時間内に全部解けるということは、それは「数学（算数）」の実力とは別物だ。　小さい時から鍛え上げた曲芸のようなものだ。　まともに考えていたら絶対に時間が足らない。 　まぁ、自分の子供を曲芸のできる達者な子供に育てることは、親の勝手で、とやかくいう事ではないとも思ったが（うちの子だって、曲芸を習わせるのが一般よりはかなり遅かったにせよ、習わせていた訳であるし）、一番僕が常識を疑ったのは、出題する側の良識である。 　なぜ、このような曲芸のうまさで、子供を選抜しようとするのだろう？　これが、本質的にものを考える子供を選ぶ方法として、明らかに不適切なことは、数学が好きで教育者になった人なら、当然分かるだろう。　何故だろう。　と、ボーと考えていたら、結局、大学の入試のあり方が、その根本にあるのかもしれないという、自省の念が生まれてきた。　 これもありきたりの議論であるが、教育は国の将来を決める根本である。　僕と息子の間のたった一世代で、これだけ変な方向に迷い込んでしまっている教育システムを抜本的に変えないと、孫の時代のこの国は駄目になるんじゃぁないか。 　　この日を皮切りに、いろんな事を体験した１０日間であった。　つぶやき疲れてきたので、このぐらいにするが、驚くこと、怒りを感じることの連続であった。　 我が息子は、距離的にもレベル的にもとても無理なので受けていないが、我が母校の灘中では、合格者も不合格者もすべて点数を公開するそうである（お母さん方の会話を盗み聞きした）。　全国区の余裕なのだろうか？　 　 654 名前：　教育者である筈の僕が、こんなレベルの教育に対する認識かと笑われるかもしれないと、つぶやきながら考えたが、毎年講義をしている学生さんに「目の輝いている」子が少ないことが常々気になっていた僕にとって、少し謎が解けたような気がしたので、つぶやいてしまった。　でも、悲しい複雑なつぶやきではある。 (引用終り) [] [ここ壊れてます] 655 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 22:28:29.01 ID:NughUjF/.net] >>590 なんで>>484を避けるの？ｗ（＾＾ 656 名前：１３２人目の素数さん [2018/12/11(火) 22:52:41.67 ID:msYcD5Yr.net] >>593 他人に頼る必要があるから 自分の見解を自由に述べるだけなら誰にも頼る必要無い 次はお前が答える番な、わかるよな？ガキじゃねーんだから 657 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 23:58:50.96 ID:NughUjF/.net] >>591 ついでに（＾＾ sansu-seijin.jp/?cat=191 算数星人のWEB問題集 （灘中解説速報）2018年 sansu-seijin.jp/blog/archives/2810 算数星人の中学受験お役立ち情報 2018年 灘中＆開成中 算数全解説PDFをアップしております！2012年からの7年分がダウンロード可能です。 2018年3月12日 658 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/11(火) 23:59:50.75 ID:NughUjF/.net] >>594 ちがうな 自分の恩師からとどめを刺されるのが怖いからだろｗ（＾＾ 659 名前：１３２人目の素数さん [2018/12/12(水) 00:13:07.97 ID:BA1I9KcR.net] >>596 お前日本語わからんの？ お前が答える番って日本語が 660 名前：１３２人目の素数さん [2018/12/12(水) 00:15:58.70 ID:BA1I9KcR.net] 最初に質問したのはこちら 最初に答えるべきはお前 そこを曲げてこっちが先に答えてやったんだぞ？ わからんか？　そこまでアホか？ 661 名前：１３２人目の素数さん [2018/12/12(水) 00:29:25.21 ID:BA1I9KcR.net] お前なに？リアルでもそんなクズなん？ だから失業しとるんか　わかるわ　お前みたいなクズ誰も雇わんやろ 無能だしいても邪魔なだけやしな　 そんで性格ヒネクれてますますクズになっとんやな かわいそうだけど自業自得やな　ごくろうさん 寝る前に薬忘れずに飲むんやぞ 662 名前：１３２人目の素数さん mailto:sage [2018/12/12(水) 01:20:03.07 ID:gz1QPXZ7.net] スレ主はε-δは知っているがε-Nは知らないと逃げていたが 当然ε-δも分かっていないんだよね > 貴方の>>375ってのは、自分で関数が当たるように、ε_minを設定しています > 客観性とランダム性が、欠落しています ε-δだとεを小さくしてもそれに対応してδも小さくなるように δ(ε)を設定する スレ主は関数版で同値類としっぽが一致するような極限を考えた場合は ε = δ = 決定番号となることが全く分かっていないね (少し前のスレで収束するなら数当ては成功すると書いてあったでしょ) だから > 連続関数でどうですか？ > 潰してあげますよ > 「最小値ε_min」を考えるのは、適切ではないですよ > ってこと > これで潰します > 実数の完備性からεを、いくらでも小さく選べることから従います のようなことを恥ずかしげもなく書き込めるんだろうね 663 名前：１３２人目の素数さん [2018/12/12(水) 02:28:23.49 ID:BA1I9KcR.net] 完備性とは何なのかさっぱりなようだね だったら完備性なんて言葉使わなきゃいいのに ほんとに恥知らずと言うか何というか 664 名前：１３２人目の素数さん [2018/12/12(水) 06:20:15.39 ID:9Di8ABEE.net] >>589 >私スレ主に致命傷を与えるのは、簡単 >>580で君、死んだよ 嘘だと思うなら恩師とやらに聞いてみたらいい 何も反論できない筈 >私の”ノーガード戦法”だよ >強烈なカウンターが仕込んであるんだ >>580に対するカウンターが帰ってこない時点で スレ主は恩師に相談してないことがバレバレｗ ほんとスレ主は嘘つきサイコパスのピエロだな < 665 名前：１３２人目の素数さん [2018/12/12(水) 06:25:21.75 ID:9Di8ABEE.net] >>591-592 スレ主、数学と無関係の中学受験ネタとは 敗北宣言投稿もヒートアップしてるなｗ >>565にも>>580にも反論できず >>566も実現できない スレ主はこのスレ一番の負けイヌ 666 名前：１３２人目の素数さん [2018/12/12(水) 06:27:36.72 ID:9Di8ABEE.net] スレ主は今度は自分の出身大学と恩師の名前をデッチあげるか？ 一度ウソをついたら二度三度と続けるのがサイコパス 667 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 06:59:36.61 ID:zEpleIaR.net] >>597-604 ”独りよがりな正義感　衝動に潜む劣等感”、”劣等感を隠しもつヒーロー”（下記） これ、おまいのことかな？ サイコパスのピエロ（>>1）に、ピッタリこんだな（＾＾ ピエロは、数学落ちこぼれの劣等感つよいからなー https://style.nikkei.com/article/DGXMZO38323820Z21C18A1000000?channel=DF200920184399&waad=Qfp74BHo かかわると面倒くさい人 厄介な同僚の独りよがりな正義感　衝動に潜む劣等感 タイプ5・劣等感を隠しもつヒーロー 出世ナビ 日経 2018/12/4 (抜粋) かかわると面倒くさい人はどこにでもいる。心理学者の榎本博明氏はその著書「かかわると面倒くさい人」（日経プレミアシリーズ）で、「何とかうまくかわす術を身につければ、心のエネルギーを吸い取られずにすむ」とアドバイスする。 そのためにはまず「行動パターンやその背後で作動している心理メカニズムを知ることが必要だ」という。そこで、私たちの身の回りでよく見かける典型的な面倒くさい人10タイプを、同書から紹介する。 ネット時代になって目立つのが、独りよがりの正義感を振りかざす行為だ。 こうしたタイプが社内にいると、ほんとうに厄介なことになる。 (引用終り) 668 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 07:06:29.73 ID:zEpleIaR.net] >>597 答えてやらないよ おれの作戦は、>>484の一択に追い込んで ピエロの母校から、「時枝記事の解法は不成立」という驚愕の事実を自得させること （おれにとっては当たり前の事実だが） 楽しみだな ピエロの驚く顔が目に浮かぶよ 別に、母校を訪問する必要もない 電話でも、メールでも、両者の併用でも可 例えば、母校の数学教師にメールを送って、そこに時枝記事のPDFと自分の主張を付けて あとから電話して、話すれば良いでしょ それで、全てが解決するんだ ピエロの負けが確定するんだ 楽しいじゃないか おれの作戦は、>>484の一択に追い込むこと 答えてやらないよｗ（＾＾ 669 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 07:33:30.22 ID:zEpleIaR.net] >>606 「不都合な真実」 ピエロにとっては、”時枝記事の解法不成立”を知ることだな（>>484）ｗ（＾＾ https://ja.wikipedia.org/wiki/%E4%B8%8D%E9%83%BD%E5%90%88%E3%81%AA%E7%9C%9F%E5%AE%9F 不都合な真実 670 名前：１３２人目の素数さん [2018/12/12(水) 09:04:09.71 ID:BA1I9KcR.net] 思考停止のスレ主は母校の教師に縋ることしか思いつかないようだ だったら自分でやればいいのにそれすらも他人に依存しようとする どこまでも困ったちゃんでちゅねこのピエロ坊は 671 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 11:21:11.15 ID:Xy0989oc.net] >>608 ピエロちゃん、笑えるよ、落ちこぼれ おれの恩師は、やれることは最大限やってくれた（>>571） ピエロちゃん、あなたは同じこと（>>484）をやれば良いじゃない 自分に自信があればね だけど、あなたが薄々感じているように、それは私の仕掛けた罠だ つまり、時枝記事が正しい場合、 「私は時枝先生の記事を支持します。時枝先生の記事の解法は正しい。理由はｘｘ」と 実名で意見表明してもらうことに、何の問題もない 672 名前： その場合は、私の負け このスレを閉じましょう！（＾＾ だが、時枝記事が正しくない（とその方が思っていた）場合には、 そういう意見表明は、はばかられるってこと いま、そういう状態だね 全国への公開呼びかけ（>>484）をして、もう五日目だぜ あなたが薄々感じているように、だれも”時枝先生の記事への支持”表明をしない さあ、おれの作戦は、ピエロを>>484の一択に追い込むこと おまえの母校で、止めをさされてこい おれは、おまえの泣きっ面が見たんだよ！ [] [ここ壊れてます] 673 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 11:54:22.31 ID:Xy0989oc.net] おまえの泣きっ面が見たんだよ！ 　↓ おまえの泣きっ面が見たいんだよ！（＾＾ 674 名前：１３２人目の素数さん [2018/12/12(水) 18:55:24.30 ID:BA1I9KcR.net] 母校だ止めだの前になんで>>565を無視するの？ 母校だ止めだと違って純粋な数学レスの>>565を無視するということは お前は数学になんの興味も無い、あるのは上から目線したいという欲求だけ ってことをお前自身が認めてることになるんだが 675 名前：１３２人目の素数さん [2018/12/12(水) 19:29:16.15 ID:9Di8ABEE.net] >>606 誤　答えてやらないよ 正　答えられないよ スレ主は「時枝記事の解法は不成立」と妄想してるようだが 順序関係の基本的性質からいってあり得ない 2つ以上の自然数があって その全てが「他よりも大きな数」 ということはあり得ない どんな数学者に訊いても上記の通り答える もし、スレ主の「恩師」が 2つ以上の自然数があって その全てが「他よりも大きな数」 ということがあり得る というなら、その例を一つ示してごらん できるものならな はっきりいってスレ主は 「時枝記事の解法は不成立」 とほざいた瞬間詰んだのであって 今更何言っても無駄なんだな >>484？　無駄無駄ｗ 676 名前：１３２人目の素数さん [2018/12/12(水) 19:31:37.89 ID:9Di8ABEE.net] >>607 「不都合な真実」 スレ主にとっては、「時枝記事の解法は成立する」ということだな 時枝記事は、地球温暖化と同じく、否定しようもない真実なのだよ スレ主はドナルド・トランプかい？ｗ >>608 母校の恩師は妄想上の存在でしょう 実際に数学教師に尋ねたら、自分が玉砕するからね 677 名前：１３２人目の素数さん [2018/12/12(水) 19:31:57.89 ID:9Di8ABEE.net] >>609 スレ主は>>571のブラフで自爆死 (ノーガードが聞いてあきれる 　思いっきりパンチ撃とうとして 　空振りしてスッ転んでる） >>580のような明白な事実に反する発言を 数学の教師がするなら認知症レベル つまり>>571の恩師がスレ主の「妄想」 だという可能性が飛躍的に高まっちゃってる 実際に恩師に相談したら１００％蹴られる >>580に反論しようがないからな 順序の性質によることだから 確率分布のせいにはできない >時枝記事が正しくない（とその方が思っていた）場合には、 >そういう意見表明は、はばかられる 呵々大笑 >>580に反論できない時点で 「>時枝記事が正しくない」という考えが 間違ってると悟らざるを得ないからな スレ主は100個の自然数がすべて 「他より大きな数」になる状況が あるとマジでおもってんのか？ 正真正銘のアホか？ 678 名前：１３２人目の素数さん [2018/12/12(水) 19:34:18.84 ID:BA1I9KcR.net] 時枝問題を理解できないスレ主でもさすがに>>565は理解できるだろ？ 無視するってことは>>565すらも理解できないってことなのか？ なら冗談抜きに小学校からやり直せ 679 名前：１３２人目の素数さん [2018/12/12(水) 19:46:01.82 ID:9Di8ABEE.net] 565に580を加えて改良したテンプレ 自然数ｎを 「先頭からｎ−１番目まで箱に●が入りその後は○が入った無限列」 と同一視する １．自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で●が出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ ２．さて、次に100人がそれぞれ自然数n_i(i=1〜100)を1個無作為に選択し （２人以上が同じ数を選択することも可能） 自分の数以外の自然数の最大値max_iを求める 自然数n_iに対応する列のmax_i番目の箱を開けたとき 中身が●となる人物は高々1人である つまり確率は高々1/100 なぜならn_i 680 名前：>max_iとなるようなnは高々１個だから これまた、「100人」のところは 「10000人」でもよい 時枝論法のエッセンスは １．と２．の違いに集約される もはや同値類も選択公理もない 上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定 「勝った」と吠えるのは上記のトリックに反駁できてからにしてね 負け犬ピエロのスレ主ちゃまへ [] [ここ壊れてます] 681 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 19:48:18.34 ID:zEpleIaR.net] 突然ですが（＾＾ https://www.youtube.com/watch?v=qwYyXtttns0 3-2. 五次方程式が代数的に解けないわけ - 2015/5/22 プログラマのための数学勉強会 2015/05/22 に公開 資料: www.slideshare.net/junpeitsuji... 第3回 「プログラマのための数学勉強会」にて発表。 maths4pg.connpass.com/event/14... コメント kaiserknown 1 年前 プレゼンうまくて尊敬 682 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 19:53:55.61 ID:zEpleIaR.net] ついで 「ガロアは集合（群論）を用いて５次方程式が代数的に解けないことを証明しましたが」 ってところ 上記は、正確には、ガロアより前に解決されていて、ルフィニ・アーベルの定理と呼ばれる ガロアは、代数方程式がベキ根で解ける条件を、群（正確には正規部分群）の理論で与えた https://www.youtube.com/watch?v=cFW4hRipUEE ガロアの理論と生涯１ー体の拡大とガロア群 nekonoteschool 2014/03/15 に公開 私の授業が本になりました。「図解と実例と論理で、今度こそわかるガロア理論」SBクリエイティブより平成２９年２月２１日発売。 動画による解説「今度こそわかるガロア理論（多面体と可解性）」をアップしました。 平成２６年３月１５日に都立西高等学校で行った土曜講座の再現動画です。数学�Uの高次方程式からの発展的内容として、前半に「虚数の誕生と現在」後半に「ガロア理論」を行いました。 ガロアは集合（群論）を用いて５次方程式が代数的に解けないことを証明しましたが、その理論の基礎のなるのがガロア群です。ガロア群は、定義は簡単ですが実態を理解するのは難しいです。 授業では具体例を多く挙げることでイメージしやすいようにしました。「ガロアの理論と生涯２ー対称群と可解群」、「ガロアの理論と生涯３ー可解性の証明」、「ガロアの理論と生涯４ー多面体群と可解性」の３つの動画と一連の構成になっています。 使用した教材は「ガロアの理論と生涯１?４教材Keynote」の動画です。制作協力：�鞄�立ソリューションズ。掲載元：Memory of the mathematics lover (URL:suzukitomohide.com／blog:suzukitomohide.tumblr.com) コメント To Yu 3 年前 非常に分かりやすくて面白かったです！！ 683 名前：１３２人目の素数さん [2018/12/12(水) 20:04:32.25 ID:9Di8ABEE.net] >>617-618 スレ主、自分でも全然理解できないガロア理論持ち出して敗北宣言 ホント連戦連敗のサイコパスピエロだな 684 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 20:05:37.15 ID:zEpleIaR.net] これもついでに https://www.youtube.com/wat ch?v=eKg--UMWFZc 【代数学】群がどうしても分からない君へ(群論超入門)【特別講義】 予備校のノリで学ぶ「大学の数学・物理」 2017/11/10 に公開 群論がわかると世界が変わる 動画の内容に関する質問はコメント欄へどうぞ。また、今までの質問についての回答をまとめたQ&Aは固定コメントにあります ---------------------------------------------------------------------------------------------------------------- 群論のおすすめ入門書はこちら 略 685 名前：１３２人目の素数さん [2018/12/12(水) 20:13:10.45 ID:9Di8ABEE.net] >>620 スレ主は順序構造がどうしても分からないｗ ２つの数があったら、どっちも他より大きいとかあり得ないんだぞｗ 686 名前：１３２人目の素数さん [2018/12/12(水) 20:19:05.04 ID:9Di8ABEE.net] 自分の思い込みに凝り固まったスレ主におくる唄 https://www.youtube.com/watch?v=A2k6ZO6B0A8 ガラスを割れ！！！ 687 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 20:21:20.48 ID:zEpleIaR.net] https://www.youtube.com/watch?v=ALGyXdO5Kbc 数学科ガイダンス 東京大学大学院理学系研究科・理学部 School of Science, The University of Tokyo 2015/05/31 に公開 公式　ホームページ：www.s.u-tokyo.ac.jp/ja/ 東京大学大学院理学系研究科・理学部　School of Science, The University of Tokyo 東京大学理学部数学科の紹介ビデオです。 688 名前：１３２人目の素数さん [2018/12/12(水) 20:24:01.37 ID:9Di8ABEE.net] >>623 スレ主、必死の現状逃避 >>616に反論不能だからな だからいっただろう？ >>571みたいな口から出まかせのブラフ吐くなって 689 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/12(水) 20:37:27.93 ID:zEpleIaR.net] これいいわ お薦めです（＾＾ https://www.youtube.com/watch?v=UWW4SCAUR7w 今度こそわかるガロア理論（多面体と可解性） nekonoteschool 2018/01/05 に公開 私の授業が本になりました。「図解と実例と論理で、今度こそわかるガロア理論」SBクリエイティブより平成２９年２月２１日発売。 この動画は、「図解と実例と論理で、今度こそわかるガロア理論」の動画解説用に撮影したもので、動画「ガロアの理論と生涯４ー多面体と可解性」をリニューアルしたものです。 動画「ガロアの理論と生涯４ー多面体と可解性」では５次の交代群を正１２面体群あるいは正２０面体群で表していました。「図解と実例と論理で、今度こそわかるガロア理論」では正五胞体群を用いています。 正五胞体群を用いることで、方程式の次数が上がることと正多面体群の次元が上がることが同値ことであることが分かります。 「ガロアの理論と生涯１ー体の拡大とガロア群」、「ガロアの理論と生涯２ー対称群と可解群」、「ガロアの理論と生涯３ー可解性の証明」の３つの動画と併せてご覧ください。 制作協力：�鞄�立ソリューションズ。掲載元：Memory of the mathematics lover (URL:suzukitomohide.com／blog:suzukitomohide.tumblr.com) 690 名前：１３２人目の素数さん [2018/12/12(水) 20:41:18.02 ID:9Di8ABEE.net] スレ主のイミフな御託よりはるかに面白い動画 https://www.youtube.com/watch?v=ztsi0CLxmjw 691 名前：１３２人目の素数さん [2018/12/12(水) 20:55:46.94 ID:9Di8ABEE.net] １．自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で●が出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ ２．さて、次に100人がそれぞれ自然数n_i(i=1〜100)を1個無作為に選択し （２人以上が同じ数を選択することも可能） 自分の数以外の自然数の最大値max_iを求める 自然数n_iに対応する列のmax_i番目の箱を開けたとき 中身が●となる人物は高々1人である つまり確率は高々1/100 なぜならn_i>max_iとなるようなnは高々１個だから これまた、「100人」のところは 「10000人」でもよい 時枝論法のエッセンスは １．と２．の違いに集約される もはや同値類も選択公理もない 上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定 「勝った」と吠えるのは上記のトリックに反駁できてからにしてね 負け犬ピエロのスレ主ちゃまへ 692 名前：１３２人目の素数さん mailto:sage [2018/12/12(水) 21:27:17.74 ID:gz1QPXZ7.net] >>355 > はいは〜い > 三年間で進歩したと思ってください > 以前の話は、私がレベルが低かった > はい認めます 通常の極限と同値類に一致する極限が異なることをやっと理解したのは 進歩ではあるけれども >>420 > P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど > これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい） これは通常の極限ではなくて同値類に一致する極限ですよね 極限の違いを理解する前から上のコピペを何度もしていたのは おそらくスレ主は正しいと思っていたからだろうと推測されるが 実際どういう理由によるものですか？ たとえば以前は極限の違いは理解していなかったが>>571にあるように 上の極限は > 大学で数学を教える教員全員の常識だし (この場合は極限の成立が) > 理解できないのは、数学科生としては、落ちこぼれだね ということによるのですか？ 693 名前：１３２人目の素数さん [2018/12/13(木) 01:22:30.88 ID:7jkD3c2y.net] 頑固一徹にバカを貫くスレ主であったとさ 694 名前：１３２人目の素数さん [2018/12/13(木) 06:19:49.80 ID:miY/uBcQ.net] >>629 スレ主は自分が天才だと自惚れてるんだろう 大したサイコパスだな 695 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/13(木) 07:36:29.71 ID:pcsKJguZ.net] 落ちこぼれピエロ、吉報（>>484）はまだかい？（＾＾ お前が、時枝記事擁護で書いているデタラメは、全て自分に返ってくる 時枝記事不成立を知ったときにね >>484は、ピエロお前だけじゃなく、全ての人への呼びかけだ もう6日目に入ろうとしている 時枝記事を支持する大学の数学科教員はいまだゼロ この現実をしっかり受け止めた方が良いぞ 696 名前：１３２人目の素数さん [2018/12/13(木) 18:58:40.18 ID:miY/uBcQ.net] >>631 スレ主は、まだ>>484にすがってるな >>627に反論できない時点で敗北確定なのに スレ主こそ"自分が間違ってる"という 現実をしっかり受け止めろよ >>571みたいな妄想ブラフは笑止千万 出身大学も恩師の名前も書けないくせに 実在しないもんな 697 名前：１３２人目の素数さん [2018/12/13(木) 18:59:15.13 ID:miY/uBcQ.net] スレ主の失敗は、積分計算に固執したことにある 確率分布の形によっては、積分がうまくいかないこともある しかし、計算馬鹿のスレ主にはそういうことが理解できない いや、正確には”理解したくない”といったほうがいいだろう スレ主がガロア理論に固執するのは 「５次以上の代数方程式の解の公式の非存在」 が限界のように感じられるからだろう 実際には、いくらでも数値的に正確に解が求められる 別に代数的な解の公式に固執する必要もない 工学馬鹿でもそのくらい理解できそうなもんだが 698 名前：１３２人目の素数さん [2018/12/13(木) 18:59:45.42 ID:miY/uBcQ.net] スレ主はスレ立てて書き続ける自分が 「ピエロ」に成り下がってることに気づけない いや、正確には”気づきたがらない” 誰一人友人のいないスレ主にとって たとえ罵詈雑言しか返さない相手であっても 淋しさを紛らわす点ではいないよりまし ということだろう オレたちはスレ主がピエロを演じる限り いくらでも相手してやろう ピエロを演じるのが楽しいのなら ガロア理論だろうが層だろうがAIだろうが いくらでも自分が理解できない文章を コピペすればいい　嘲笑してやるから それがおまえにとって生を実感できる瞬間なんだろ？ 699 名前：１３２人目の素数さん [2018/12/13(木) 22:12:16.92 ID:7jkD3c2y.net] スレ主は時枝問題には当てられないという間違った見解を述べるのに、 同値類も選択公理も実数すらも必要無い>>627にはなぜ見解を述べないの？ まさか中学レベルすらも分からないの？ そんな学力でスタンフォード大学教授に勝った気でいるなんてまさにピエロ。 このスレいつも上位にいるから数学板の名物ピエロだね。 700 名前：１３２人目の素数さん [2018/12/13(木) 23:23:41.60 ID:K7iWE9nr.net] もともとガロア理論スレだったのにスレ主が代数の初歩を知らないのがバレて 雑談スレになった 結局はスレ主が自分勝手に書くだけのスレで 正しいか間違ってるか判断すらできないアホがスレ主気取っている 701 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/13(木) 23:37:07.03 ID:pcsKJguZ.net] >>632-636 落ちこぼれピエロ、吉報（>>484）はまだかい？（＾＾ お前が、時枝記事擁護で書いているデタラメは、全て自分に返ってくる 時枝記事不成立を知ったときにね 哀れだな、落ちこぼれは お前の書いていることは 全て、時枝記事の解法が成り立つことを前提としている だが、仮に、時枝記事の解法が成り立たないとすると その推論は、全て、誤りなのだ 推論が誤っているということは、 お前の論理能力の欠如であり、 数学の能力のレベルの低さの表れだ 哀れなり、ピエロ 実際、時枝記事の解法は不成立 お前は墓穴を掘っている そのことが分っていない数学科出身落ちこぼれは、 今や日本中で、お前一人になったようだ お前にとっての援軍となる吉報は、決して来ない なぜなら、時枝記事の解法が成り立たないからだよ 落ちこぼれくん まだ理解できないんだろうね、哀れな落ちこぼれよ さあ、踊れ踊れ、落ちこぼれピエロよ 墓穴の中で おれは、お前の相手には、 こうやって１日一回 ”吉報（>>484）待ち”を、書くだけで良いんだよ（＾＾ PS お前が数学科出身など、中学生並みの論理能力で、聞いているこちらが恥ずかしいよ 数学科出身など、おこがましいわ 702 名前：（＾＾ 後な、もし数学科生でピエロを救ってやろうと思う人が居たら、>>484を教官に頼んでやってくれ （しかし、教員からは100％時枝解法不成立を説かれるだろうね） [] [ここ壊れてます] 703 名前：１３２人目の素数さん [2018/12/13(木) 23:59:31.04 ID:7jkD3c2y.net] >>637 スレ主には時枝問題は無理だからもういいよ 代わりに>>627にレスしてみて 君の苦手な同値類も選択公理も実数すらも無いからできるでしょ？ 704 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 01:01:51.63 ID:1RzyLg/g.net] https://cs.stanford.edu/people/slingamn/limits.pdf > 2 The game formulation > 1. Hater chooses an ε > 0. > 2. Player looks at the ε and chooses a δ > 0. > 3. Hater looks at the δ and chooses a point x such that 0 < |x − c| < δ, > i.e., an x ≠ c in (c − δ, c + δ). > 4. Now, the value |f(x) − L| is checked. If |f(x) − L| < ε, Player wins. If > |f(x) − L| >= ε, Hater wins. > Claim 1 > If lim_{x→c} f(x) = L, then if Player plays cleverly, Player will win > the game and Hater will lose. > If lim_{x→c} f(x) ≠ L, then if Hater plays cleverly, Hater will win > and Player will lose. > 時枝記事の解法が成り立たないとすると > その推論は、全て、誤りなのだ スレ主によるとClaim 1も間違いなのか 705 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 10:03:35.66 ID:rZE8QA7r.net] >>638-639 ピエロちゃん、その選択肢には応じられないね おれの作戦は、ピエロを>>484の一択に追い込むこと（>>609） なので、 １．その議論に乗ると、横道に逸れちゃうよね ２．>>484は、ピエロだけじゃなく、全国の皆さんに（それこそ数学科生に限らず、だれでも） 　　呼びかけている。全国津々浦々の大学の数学教員だれでも、 　　「おれは、時枝先生を支持する。時枝記事の解法は正しい」と表明すれば、それで即決着でしょ ３．まあ、これは最低でも数か月は続ける（最低でも年度変わりまで） 　　そうしないと、意味ないでしょ ４．そうやって、>>484の呼びかけの結論として、これだけの期間を掛けても、 　　「時枝記事を支持するプロ数学者は出てこなかった」という実績を残す 　　いま、そういうプログラム（作戦）を遂行中なんだ（ピエロをからかいつつね） ５．「時枝先生は、スタンフォード大学教授だ」という議論もあるが 　　１）人間だれでも間違い勘違いはある（どんな大先生でもね） 　　２）数学で、どんな大先生であれ、間違いは間違い。是々非々を曲げてはいけない 　　そう思っている 以上です 706 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 11:14:21.63 ID:rZE8QA7r.net] https://headlines.yahoo.co.jp/hl?a=20181214-00000020-it_monoist-ind PFNが深層学習プロセッサを開発した理由は「世界の先を行くため」 MONOist Yahoo 2018 12/14(金) (抜粋) 　Preferred Networks（PFN）は2018年12月12日、ディープラーニング（深層学習）に特化したプロセッサ「MN-Core（エムエヌ・コア）」を発表した。同プロセッサは学習の高速化を目的とし、行列の積和演算に最適化されたものとなる。 https://headlines.yahoo.co.jp/hl?a=20181214-00000020-it_monoist-ind&p=2 2020年春に高性能計算クラスタを構築、最終的には2EFLOPSにも (引用終わり) 👀 Rock54: Caution(BBR-MD5:1341adc37120578f18dba9451e6c8c3b) 707 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 15:04:12.15 ID:7PXaPZ/g.net] おっちゃんです。 >>636 まあ、スレ主が群論の初歩を知らなかったお陰で 私が大誤算があったことに気付いて、或る意味で数学の方法は分かった訳だが。 私が見るところでは、スレ主を演じている人物は多分一人だろうな。 わざわざ性格の悪い人物を演じるために複数人が書いても何も意味はないだろう。 708 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 15:21:13.62 ID:7PXaPZ/g.net] >>636 まあ、性格が悪いだけではなく、第一に挙げられるスレ主の特徴はコピペをする点にあるな。 これはほぼ毎回といっていいような程のことなんだがな。 709 名前： >>640 教えてもいいけど、まあすぐに分かるようなことだと思うぞ。 [] [ここ壊れてます] 710 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 15:29:16.42 ID:rZE8QA7r.net] >>642-643 おっちゃん、どうも、スレ主です。 ありがとう やっぱり、このスレはおっちゃんがいないと盛り上がらないね（＾＾ 711 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 15:49:29.67 ID:rZE8QA7r.net] >>642 >まあ、スレ主が群論の初歩を知らなかったお陰で >私が大誤算があったことに気付いて、或る意味で数学の方法は分かった訳だが。 あれは、ずいぶん前で、多分スレ番号の一桁の時代だったかも知れないが 当時メンターさんと私が呼ぶ人が、常駐（多分数学板全体で）していて 私の交換子の理解が不十分だった（下記PDFは、直接関係ないが”交換子”の一般的ご参考に）のを、メンターさんが教えてくれたんだ そこにおっちゃんが、登場して、なにか問題を出して、おれがスラっと解いた そしたら、おっちゃん、「証明が、不十分だ」と言い出して、例によって、延々、スクラッチ（手書き）の証明を書き散らかして その中に、おれが解答中で「実数だから、アーベルで、部分郡は正規部分郡になる」と一言で流した証明を、延々細かく書いて 肝心の部分が証明できてなかった それを見かねて、メンターさんが、助け船を出したと そういうことだったね（＾＾； （参考） www.isc.meiji.ac.jp/~kurano/ Kazuhiko KURANO Department of Mathematics School of Science and Technology Meiji University www.isc.meiji.ac.jp/~kurano/soturon/soturon.htm 研究室の学生の卒業論文・修士論文・博士論文 www.isc.meiji.ac.jp/~kurano/soturon/ronbun/10kurano.pdf 2010 年度卒業研究 群の交換子全体は交換子群と一致するか？ www.isc.meiji.ac.jp/~kurano/soturon/ronbun/14kurano.pdf 2014 年度卒業研究 S_6 の部分群の分類 注：この「S_6 の部分群の分類」結構面白いよ（＾＾ 712 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 15:53:51.54 ID:rZE8QA7r.net] >>642 >私が見るところでは、スレ主を演じている人物は多分一人だろうな。 >わざわざ性格の悪い人物を演じるために複数人が書いても何も意味はないだろう。 意味わかんねーけど 多分誤解しているよ おれは、ほとんど他のスレでは書いてないけど おっちゃんは、他のスレでは「誤答おじさん」なんて愛称（蔑称？）で呼ばれているらしいね そう呼んでいるのは、おれじゃないんでな おれの呼び方は、あくまで、愛称「おっちゃん」だよ （なお、余談だが、おれの「おっさん」は蔑称な（＾＾； ） 713 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 15:59:05.50 ID:7PXaPZ/g.net] >>645 いや、この問題には裏があって、その裏の基になっている定理を 全く私が知らなかったことから大誤算が生じて、例のようなことになったんだよ。 714 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 16:01:19.00 ID:rZE8QA7r.net] >>643 >まあ、性格が悪いだけではなく、 まあ、おっちゃんが「自分は性格が良い」と思っているとしたら、おれとは性格が明らかに違うね それを、「性格が悪い」と言われるならその通りだし ただし、おっちゃんがある数学的事項で、「AはBである」と言ったら 大抵、反例があったりする。あるいは、おっちゃんの証明が間違っていたりね それを看過もできないから いつも指摘する >第一に挙げられるスレ主の特徴はコピペをする点にあるな。 >これはほぼ毎回といっていいような程のことなんだがな。 おれは、あほバカで、間違いも多いから 必ず、裏付けの根拠（URLなど）と、そこからのコピペを付ける それを言っているんだろ？ だが、おれの発言より、 ”裏付けの根拠（URLなど）と、そこからのコピペ”に、このスレの値打ちがあると思っている 過去スレに、いろんな参考になる資料が詰まっているんだ 自分にとっても、他人にとってもね（＾＾ 715 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 16:03:07.45 ID:rZE8QA7r.net] >>647 おっちゃん、どうも、スレ主です。 >いや、この問題には裏があって、その裏の基になっている定理を >全く私が知らなかったことから大誤算が生じて、例のようなことになったんだよ。 どんな定理だったんだい？ 良かったら教えておくれ（＾＾ 716 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 16:05:46.43 ID:rZE8QA7r.net] >>643 >>>640 >教えてもいいけど、まあすぐに分かるようなことだと思うぞ。 いやいや おっちゃんの知り合いの数学教師が大学に居れば 是非「時枝先生を支持します。時枝先生の記事の解法は正しい」と、アップするように頼んでくれよ（＾＾ そう� 717 名前：ｷれば、私スレ主が正しいことが、直ちに分かるってものよ（＾＾ [] [ここ壊れてます] 718 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 16:08:55.16 ID:7PXaPZ/g.net] >>649 これはやめとく。 まあ、メンターから間違いを指摘されるまで全く知らなかったような定理だ。 つまり、あの問題は私の予測が間違ったまま出題した問題だ。 719 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 16:18:21.19 ID:7PXaPZ/g.net] >>650 そんなに権威にすがりたいなら、大学のカリキュラムでも調べてみればいい。 大学の確率論の教員は、間違いなく公理的な確率論だけでなく、高校までの確率論も知っている。 時枝記事の解法は正しいというであろう。 720 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 16:26:36.43 ID:7PXaPZ/g.net] >>648 ＞>まあ、性格が悪いだけではなく、 ＞ ＞まあ、おっちゃんが「自分は性格が良い」と思っているとしたら、おれとは性格が明らかに違うね ＞それを、「性格が悪い」と言われるならその通りだし 一般に、或る人A、Bについて、Aの性格が悪い ならば Bの性格がよいという命題は成り立たない。 一般に、或る物事が悪いからといって直ちによいとはいえない。 721 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 16:28:51.63 ID:rZE8QA7r.net] >>648 補足 >過去スレに、いろんな参考になる資料が詰まっているんだ >自分にとっても、他人にとってもね（＾＾ 方程式の可解性に関する古典ガロア理論の資料は、 過去スレのけっこう早い時期にかなりの量がね ピエロの理解している以上のことがね なので、いまは別の話題を扱っているが 適宜、新しいものを見つけたら、フォローでアップしているんだ そのうち纏めでも、作りますかね 722 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 16:35:54.96 ID:rZE8QA7r.net] >>653 >一般に、或る人A、Bについて、Aの性格が悪い ならば Bの性格がよいという命題は成り立たない。 >一般に、或る物事が悪いからといって直ちによいとはいえない。 おっちゃんらしいね それは正しい が、おっちゃんが数学的主張を３つしたら まず、二つは外れ そういう経験則は、個人的にはあるんだ だから、おっちゃんが右と言えば、おいらは左 おっちゃんが左と言えば、おいらは右という 今回も、おっちゃんは、時枝記事を支持しているから おれは、大船に乗った気で、逆張りできたね（＾＾ 723 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 16:37:26.46 ID:rZE8QA7r.net] >>651 おっちゃん、どうも、スレ主です。 了解だよ 724 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/14(金) 16:49:05.98 ID:rZE8QA7r.net] >>652 >そんなに権威にすがりたいなら、大学のカリキュラムでも調べてみればいい。 >大学の確率論の教員は、間違いなく公理的な確率論だけでなく、高校までの確率論も知っている。 >時枝記事の解法は正しいというであろう。 おっちゃん、元記事を読まずに言っているだろ？ それって、すごい良い性格しているね で、そう思うなら、知り合いの大学数学教師に聞いてみてくれよ それで、おれが正しくて おっちゃんが間違っていることが分かるぜ（＾＾ 725 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 16:55:07.35 ID:7PXaPZ/g.net] >>648 >ただし、おっちゃんがある数学的事項で、「AはBである」と言ったら >大抵、反例があったりする。あるいは、おっちゃんの証明が間違っていたりね >それを看過もできないから >いつも指摘する 一般に、任意の正の超越数xと、任意の |y|≠0 かつ |y|≠1 なる代数的数 y∈R に対して、log_x|y| は無理数である。 或る正の超越数xと、或る |y|≠0 かつ |y|≠1 なる代数的数 y∈R が存在して、log_x|y|∈Q とすると、|y|≠0 かつ |y|≠1 から log_x|y| に対して或る既約有理数 p/q (p,q)＝1 q＞1 が存在して log_x|y|＝p/q から x^{p/q}＝|y| となって x^{2p/q}＝y^2。 xは正の超越数であるから、x^{2p/q} は正の超越数である。しかし、yは実数の代数的数だから、y^2 は正の代数的数である。 従って矛盾が生じる。背理法が適用出来るから、背理法を適用すると、示すべき結論は導かれる。 726 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 17:00:22.74 ID:7PXaPZ/g.net] >>657 いやいや、時枝記事に関して間違っているのはスレ主だ。 727 名前：１３２人目の素数さん mailto:sage [2018/12/14(金) 17:27:12.75 ID:7PXaPZ/g.net] それじゃ、おっちゃんもう寝る。 728 名前：１３２人目の素数さん [2018/12/14(金) 19:11:42.74 ID:spifTVJ4.net] >>638 > >>627にレスしてみて >>640 >その選択肢には応じられないね スレ主、恩師に訊いても反論不能だったか（呵呵大笑） 当たり前だ　２つの数のどっちも もう一方より大きいなんて 順序の基本的性質からいって あり得ないことだからな だから>>571みたいなブラフ書かなきゃいいのに ノーガードが聞いてあきれる　 思いっきり反撃試みて空振ってんじゃん >その議論に乗ると、横道に逸れちゃうよね いや、本筋で反駁できず、 スレ主が焼死するだけだが 真っ白な灰になってな >「時枝先生は、スタンフォード大学教授だ」 じゃ、>>484はいらんじゃん 729 名前：１３２人目の素数さん [2018/12/14(金) 19:14:07.61 ID:spifTVJ4.net] >>655 スレ主の数学的主張もおっちゃん並に見当はずれ その� 730 名前：T型が時枝記事に対する「間違ってる！」の発狂発言 無知無能のくせに自惚れが過ぎるんだよ　スレ主は [] [ここ壊れてます] 731 名前：１３２人目の素数さん [2018/12/14(金) 19:22:44.75 ID:spifTVJ4.net] >>654 ＞方程式の可解性 工学馬鹿は数値解析やってりゃいいんだ ガロア理論なんかサルのスレ主のオツムじゃ無理 732 名前：１３２人目の素数さん [2018/12/14(金) 19:34:11.86 ID:spifTVJ4.net] >>657 ＞おっちゃん、元記事を読まずに言っているだろ？ スレ主は元記事読んでも理解できない池沼だがな 733 名前：１３２人目の素数さん [2018/12/14(金) 19:51:13.73 ID:spifTVJ4.net] 「さて、1〜100のいずれかをランダムに選ぶ。 　例えばkが選ばれたとせよ。 　s_kの決定番号が他の列の決定番号どれより 　大きい確率は1/100に過ぎない」 この言明に反論する数学者がいるならそいつは認知症 734 名前：１３２人目の素数さん [2018/12/14(金) 22:33:40.74 ID:BfXeurX9.net] スレ主は>>627すらわからないのか？ そりゃ時枝がわかるはずないわｗ なぜなら>>627はエッセンスだけ抜き出した大幅な簡略版だからな 735 名前：１３２人目の素数さん [2018/12/14(金) 22:40:38.25 ID:BfXeurX9.net] >>648 ＞おれは、あほバカで、間違いも多いから なんでスタンフォード大学教授の言ってることは間違いであほバカの言ってることは正しいと言えるの？ 736 名前：１３２人目の素数さん [2018/12/14(金) 22:42:44.13 ID:BfXeurX9.net] >>648 ＞過去スレに、いろんな参考になる資料が詰まっているんだ ＞自分にとっても、他人にとってもね（＾＾ いや、お前は理解せずにただコピペしてるだけ 参考になる？自惚れるな 737 名前：１３２人目の素数さん [2018/12/14(金) 22:49:30.12 ID:BfXeurX9.net] >>657 ＞おっちゃん、元記事を読まずに言っているだろ？ 読めてないのはお前なんだが で、そもそもお前のレベルでは時枝は無理だから読まなくてよい その代わり>>627に答えてみ?　>>627も無理？　アホ過ぎて話にならんね 738 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 05:18:38.39 ID:5eNorcFF.net] おっちゃんです。 >>662 >おっちゃん並に これは余計。 間違いに気付くのに要した期間が、私の場合は1年もかからなかったことに対して、 スレ主の場合、3年以上たった今でもとても基本的な間違いにスレ主は気付いていない。 数学的予想を間違える割合からしても、私が間違える割合とスレ主が間違える割合とでは、恐らくスレ主の方が高いであろう。 そして、何よりもスレ主は自らの間違いをなかなか認めない。 以上のようなことからしても、私とスレ主とを単純比較しないでおくれ。 739 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 05:50:53.86 ID:5eNorcFF.net] >>662 >>670の訂正： 私とスレ主とを単純比較 → 私とスレ主とを単純に比較するようなこと 単純比較という日常用語としての略語はあるようでいて、実際はないみたいだ。 まあ、敢えて私とスレ主とを比較するなら、>>670に書いたような事柄からしても、私の方が上になる。 スレ主は、他の件でもなかなか間違いを認めなかったしな。 740 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 07:05:37.00 ID:T3LlDTB7.net] >>670-671 >スレ主の場合、3年以上たった今でもとても基本的な間違いにスレ主は気付いていない。 それ、私スレ主が、「時枝記事の解法不成立を主張していること」かい？（＾＾ 笑える >数学的予想を間違える割合からしても、私が間違える割合とスレ主が間違える割合とでは、恐らくスレ主の方が高いであろう。 >まあ、敢えて私とスレ主とを比較するなら、>>670に書いたような事柄からしても、私の方が上になる。 確かに、おっちゃん、あんたは、「良い性格」しているよ（＾＾； 良く分かった 741 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 07:07:41.58 ID:T3LlDTB7.net] >>661-669 落ちこぼれピエロ、吉報（>>484）はまだかい？（＾＾ お前が、時枝記事擁護で書いているデタラメは、全て自分に返ってくる 時枝記事不成立を知ったときにね 742 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 07:27:21.53 ID:T3LlDTB7.net] さあ、踊れ踊れ、落ちこぼれピエロよ 墓穴の中で(>>637) そして、スレ伸ばしに貢献しておくれ（＾＾； 743 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 07:58:47.86 ID:5eNorcFF.net] >>672 ＞>スレ主の場合、3年以上たった今でもとても基本的な間違いにスレ主は気付いていない。 ＞ ＞それ、私スレ主が、「時枝記事の解法不成立を主張していること」かい？（＾＾ その通り。 公理的な確率論は、高校までの空でない有限集合からその有限集合の点全体が等確率で選ばれる確率をモデルにしていて、 時枝記事の類の有限集合から等確率で選ばれる確率は、公理的な確率論では一番初めで扱われていたりする。 確率分布の積分はその後に出て来るような話で、最初に出てくる話ではない。 中には高校までに扱う確率のような話を丁寧に書いているような本もある。 >>652にはそのような意味もある。 744 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 08:09:52.87 ID:5eNorcFF.net] >>672 >>675の訂正： 空でない有限集合からその有限集合の点全体が等確率で選ばれる確率 → 空でない有限集合から「その有限集合の各点が」等確率で選ばれる確率 745 名前：１３２人目の素数さん [2018/12/15(土) 09:13:15.17 ID:Dd4sKQZB.net] >>673-674 負け犬ピエロのスレ主ちゃまへ 「勝った」と吠えるのは 下記のトリックに反駁できてからにしてね １．自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で� 746 名前：怩ｪ出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ ２．さて、次に100人がそれぞれ自然数n_i(i=1〜100)を1個無作為に選択し （２人以上が同じ数を選択することも可能） 自分の数以外の自然数の最大値max_iを求める 自然数n_iに対応する列のmax_i番目の箱を開けたとき 中身が●となる人物は高々1人である つまり確率は高々1/100 なぜならn_i>max_iとなるようなnは高々１個だから これまた、「100人」のところは 「10000人」でもよい 時枝論法のエッセンスは １．と２．の違いに集約される もはや同値類も選択公理もない 上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定 [] [ここ壊れてます] 747 名前：１３２人目の素数さん [2018/12/15(土) 10:19:00.07 ID:Dd4sKQZB.net] さあ、踊れ踊れ、サイコパススレ主ｗ 炎熱地獄で(>>677) 748 名前：１３２人目の素数さん [2018/12/15(土) 11:58:59.13 ID:BZoFhknI.net] >>673 ＞お前が、時枝記事擁護で書いているデタラメは、全て自分に返ってくる え？　>>677がデタラメってこと？ 本当にそれでいいのね？　Y/N 749 名前：１３２人目の素数さん [2018/12/15(土) 12:10:27.79 ID:BZoFhknI.net] >>674 ＞そして、スレ伸ばしに貢献しておくれ（＾＾； スレ主はバカを装うプロ固定（>>501）なのか、それともプロ固定を装うバカなのか これは難問だ 750 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 13:12:01.64 ID:T3LlDTB7.net] >>677-678 お茶目なピエロちゃん、どもです 君は、本当に友達おらんのやね おれば、「時枝不成立」をすぐ教えて貰えるのにね ご愁傷様です 751 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 13:13:23.49 ID:T3LlDTB7.net] >>679-680 はい>>484 どうぞ、これ実行願います（＾＾ 752 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 13:15:54.02 ID:T3LlDTB7.net] まあ、全国に呼びかけて１週間 いまだ、時枝を支持すると名乗り出る大学教員なし （一言「私は時枝先生を支持します」と書くだけのことなのに） この現実を見よ！ 753 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 13:20:38.17 ID:T3LlDTB7.net] >>658 おっちゃん、どうも、スレ主です。 おれは、確かに性格悪いと思うけどな しかし、おっちゃん、書き込みする前に、見直してない で、人に見せる文になってない（最低限の体裁が整っていない） 長文だらだらで訳分からん 私は、ほとんど読まずにスルーしているのだが、今回は短いので ”一般に、任意の正の超越数xと、任意の |y|≠0 かつ |y|≠1 なる代数的数 y∈R に対して、log_x|y| は無理数である。 或る正の超越数xと、或る |y|≠0 かつ |y|≠1 なる代数的数 y∈R が存在して、log_x|y|∈Q とすると、|y|≠0 かつ |y|≠1 から log_x|y| に対して或る既約有理数 p/q (p,q)＝1 q＞1 が存在して log_x|y|＝p/q から x^{p/q}＝|y| となって x^{2p/q}＝y^2。 xは正の超越数であるから、x^{2p/q} は正の超越数である。しかし、yは実数の代数的数だから、y^2 は正の代数的数である。 従って矛盾が生じる。背理法が適用出来るから、背理法を適用すると、示すべき結論は導かれる。” で、性格悪いから、ズバッと単刀直入に書くけど １）証明すべき結論命題と証明とを分けないといけないでしょ ２）「背理法を適用する」なら、最初にそれを宣言しないと ３）「任意の |y|≠0 かつ |y|≠1 なる代数的数 y∈R 」は、”任意の y >= 0 かつ y≠1 なる代数的数 y∈R”とすれば、|y|を単にyと表記できるので、すっきりするよ ４）「log_x|y|＝p/q から x^{p/q}＝|y| となって」の誘導がへん ５）よって、証明は不成立。 　（反例がないか考えたが、無さそうなので＊）、命題自身は正しそう。） 注＊）超越数x＝ｅ（ネイピア数）とすれば、任意の y >= 0 で、 　　log_x|y|＝log_ey＝log_e+log_y＝1+log_y 　　下記の(リンデマン)で、「代数的数 α ≠ 0, 1に対する、 log α」は超越数 　　なので、”1+log_y”は、超越数だから、まあ正しそう https://ja.wikipedia.org/wiki/%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2%E6%95%B0 ネイピア数 e = 2.71828 18284 59045 23536 02874 71352 … と続く超越数である。 https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0 超越数 (2) 初等関数の特殊値が超越数となる例 ・代数的数 α ≠ 0, 1に対する、 log α 。　(リンデマン) 754 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 13:21:39.04 ID:T3LlDTB7.net] >>675-676 おっちゃん、どうも、スレ主です。 ありがとう まあ、よくそれだけ、適当なことかけるね〜（＾＾ 755 名前：１３２人目の素数さん [2018/12/15(土) 13:39:02.43 ID:BZoFhknI.net] >>683 間違ってると名乗り出る方もゼロだった事 756 名前：実を考えれば 大学教員が便所の落書きを真剣に読むという前提をまず疑うべきだろう [] [ここ壊れてます] 757 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 13:49:38.11 ID:CSPxdhfv.net] 「全国に呼びかけて」とか何言ってるの？ こんな5chの辺境の地を一体誰が見るの？ 大学教員は忙しいんだぞ？ 本当に時枝記事の是非を宣伝したかったら、 ツイッターで有名人に絡んで、そいつに宣伝してもらえよ SNSの使い方も知らないのかこのバカは 758 名前：１３２人目の素数さん [2018/12/15(土) 15:53:17.78 ID:Dd4sKQZB.net] >>687 まあ>>571のようなみっともないブラフを書くスレ主ですから 大学教授のもとを訪れて 「間違ってるのは君だよ、キ・ミ」 といわれるのを恐れてるのはスレ主でしょう ま、言われなくても間違ってるんですけどね いわれなければ誤魔化せると思うのは スレ主のほんとバカなところだね 759 名前：１３２人目の素数さん [2018/12/15(土) 15:57:00.91 ID:Dd4sKQZB.net] >>681 ＞君は、本当に友達おらんのやね スレ主は鏡にむかってこの言葉をいうべきだな 友達がいないからこのスレでバカ書き続けてるんでしょ？ ピエロのスレ主君 もし読者も同じだとしても、そこ憐れむのはおかしいな むしろ喜ぶべきでしょ 「ああ、ボクのバカな戯言に 　こんなに一生懸命レスしてくれる 　奇特な人がいる！」 って スレ主がピエロ演じ続けられるのは 読者あってのことだよ　感謝したまえ ま、お金は要らないからさｗ 760 名前：１３２人目の素数さん [2018/12/15(土) 16:00:54.39 ID:Dd4sKQZB.net] >>684 ＞私は、ほとんど読まずにスルーしている スレ主は文章読解力がない このことは時枝記事に対する稚拙な反応からも明らか 結論の不思議さに反発してるだけで、証明は全く読めてない 多分、感情に支配されると冷静さを失するタイプ こういう人に学問は無理 761 名前：１３２人目の素数さん [2018/12/15(土) 16:11:05.19 ID:Dd4sKQZB.net] >>549に対して>>571を書かずにいられないのは スレ主の肝っ玉のちっちゃいところ 要するに>>484が両刃の剣だと気づきたがらない 見苦しい嘘をついてでも非対称性をデッチあげようとする ここがサイコパスでありそして哀しきピエロである由縁 だいたい賢かったらそもそも>>484は書かない だってそもそも時枝記事が理解できない時点で 「ああ、おれってバカ」って気づくでしょ 時枝記事が時枝の単なる思いつきならともかく 多くの向うの学者が手を変え品を変え同様のトリックを口にし プレプリントまで書いてるようないわば「枯れたネタ」 なんだからさ　だから数セミに書いたんだよ そこに気づけないのは、やっぱり数学の専門教育を 全く受けたことがないトーシロだからだろうな 762 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 16:11:38.53 ID:T3LlDTB7.net] >>684 >”一般に、任意の正の超越数xと、任意の |y|≠0 かつ |y|≠1 なる代数的数 y∈R に対して、log_x|y| は無理数である。 >　（反例がないか考えたが、無さそうなので＊）、命題自身は正しそう。） これ、反例ありそうだなー ピエロちゃん、分るかなー？ わかんねーだろうな、ピエロちゃんじゃねー（＾＾ これで、ピエロのレベルが分るな（＾＾ 763 名前：１３２人目の素数さん [2018/12/15(土) 16:16:46.17 ID:Dd4sKQZB.net] >>692 スレ主は反論できなくなると話をそらしたがる ここも実に幼稚なところ おまえはまず>>677を読め そして、時枝論法には貴様が付け入る隙がない という厳然たる事実をまず受け入れろ 「オレが予測できないと感じたから間違い」 とか三歳児みたいな駄々こねるなバカ 764 名前：１３２人目の素数さん [2018/12/15(土) 16:24:30.97 ID:Dd4sKQZB.net] スレ主はバカの癖にリコウぶりたがる まあ、コドモの頃は小賢しいガキだったのかもしれんが １０で神童、１５で才子、２０すぎれば只の人 の典型　有名大学にもこんなのゴロゴロいる でも、昔の� 765 名前：h光が忘れられなくていつまでもリコウぶる ピエロの出来上がりだ　 バカがバカに気づいたらピエロはできない [] [ここ壊れてます] 766 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 16:30:07.51 ID:T3LlDTB7.net] >>686-687 笑える １．あなた方が連絡すれば良い（だれでも知り合いに。直接知らなくても、近所の大学生を通じてでも可） ２．あなた方が頼めば良い。「時枝先生の記事は正しいと書いて下さい」と それが出来ないと自白しているんだね？（＾＾ ということは、数学ド素人！！ おれと同じじゃん（＾＾； 767 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 16:31:11.99 ID:T3LlDTB7.net] >>693-694 わかんねーだろうな、ピエロちゃんじゃねー（＾＾ これで、ピエロのレベルが分るな（＾＾ （>>692） 768 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 16:32:35.32 ID:5eNorcFF.net] >>684 >まあ、よくそれだけ、適当なことかけるね〜（＾＾ >>658は以下のような命題とその証明を略して直観的に書いたモノだ。 [命題]：任意の正の超越数xと、任意の |y|≠0 かつ |y|≠1 なる代数的数 y∈R に対して、log_x|y| は無理数である。 証]：或る正の超越数xと、或る |y|≠0 かつ |y|≠1 なる代数的数 y∈R が存在して、log_x|y|∈Q とする。 仮定から x＞0 であり、|y|≠0 かつ |y|≠1 だから、log_x|y| は0ではない有理数である。 (1)：log_x|y| が正の有理数のとき。このとき、log_x|y| に対して 或る正の既約有理数 p/q (p,q)＝1 p≧1 q≧1p,q∈Z が定まって、log_x|y|＝p/q となる。 従って、x^{p/q}＝|y| から x^{2p/q}＝|y|^2、故に x^{2p/q}＝y^2 を得る。 仮定からxは正の超越数だから、x^{2p/q} は正の超越数である。 同様に仮定からyは実数の代数的数だから、y^2 は正の代数的数である。 従って、x^{2p/q}≠y^2 となる。しかし、これは x^{2p/q}＝y^2 に反し矛盾する。 (2)：log_x|y| が負の整数のとき。このとき、(1)と同様に考えると、 log_x|y| に対して或る正の既約有理数 p/q (p,q)＝1 p≧1 q≧1p,q∈Z が定まって、 log_x|y|＝-p/q となる。従って、x^{-p/q}＝|y| から x^{-2p/q}＝|y|^2、故に x^{-2p/q}＝y^2 を得る。 ところで、仮定からxは正の超越数だから、x^{-2p/q} は正の超越数である。 また、同様に仮定からyは y≠0 なる実数の代数的数だから、y^2 は正の代数的数である。 従って、x^{2p/q}≠1/y^2 から x^{-2p/q}≠y^2 となる。 しかし、これは x^{-2p/q}＝y^2 が得られたことに反し矛盾する。 (1)、(2)から、或る正の超越数xと、或る |y|≠0 かつ |y|≠1 なる代数的数 y∈R が存在して、log_x|y| が有理数であるとすると、 何れの場合も矛盾が生じたことになる。背理法が適用出来るから、背理法を適用すると、示すべき結論は導かれる。 これでスレ主でも分かるだろう。 769 名前：１３２人目の素数さん [2018/12/15(土) 16:35:14.65 ID:Dd4sKQZB.net] >>695 虚勢張るな　スレ主 >>571はブラフだって、とうに見透かされてんだよ 素人は素人らしく黙っとけ 口が臭ぇんだよ　おまえ何食ってんだ？ 770 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 16:36:45.82 ID:5eNorcFF.net] >>684 >>697の訂正： (2)：log_x|y| が負の整数のとき。 → (2)：log_x|y| が負の有理数のとき。 771 名前：１３２人目の素数さん [2018/12/15(土) 16:39:45.98 ID:Dd4sKQZB.net] >>696 スレ主は分からないといいたがらない見栄っ張りだな しかも他人も自分と同じだと思ってる 残念ながらこっちはそんな異常者じゃないから スレ主の上ずりまくった挑発に乗ったりはしない 結果としてスレ主は孤独なピエロに成り下がる おまえ、感情を抑える訓練をしたほうがいいぞ ピエロでいたいなら結構だが、本当は自分でも こんなみっともない状況から脱したいんだろ？ 772 名前：１３２人目の素数さん [2018/12/15(土) 16:44:42.24 ID:Dd4sKQZB.net] スレ主が時枝論法の>>665の文章を読解できなかった時点で スレ主が大学数学の初歩にもついていけない落ちこぼれだと露見してる そんなテイタラクでガロア理論なんか無理、やめとけ、マジで 773 名前：１３２人目の素数さん [2018/12/15(土) 16:49:50.24 ID:Dd4sKQZB.net] スレ主は実にしばしば「笑える」という言葉から始めるが これがいかにも他人を上回りたがる欲求に満ちていてみっともない スレ主の”ありふれた”挫折体験なんて別に聴きたくもないが いいかげん克服しろよ　いい歳した大人なんだろ？ 774 名前：１３２人目の素数さん mailto:sage [2018/12/15(土) 16:55:40.77 ID:5eNorcFF.net] それじゃ、おっちゃんはもう寝る。 775 名前：１３２人目の素数さん [2018/12/15(土) 16:57:33.41 ID:Dd4sKQZB.net] スレ主が>>665、>>677のような簡単な理屈を理解できず 感情丸出しで反発しつづけてるのはもはや笑いを通り越して 絶対零度レベルの寒さを感じさせる 776 名前：１３２人目の素数さん [2018/12/15(土) 17:22:13.22 ID:wkjyZ8xr.net] スレ主のばかなレスとスレ主のバカっぷりを指摘するレスでこのスレは伸びてます^^ 777 名前：１３２人目の素数さん [2018/12/15(土) 17:25:52.26 ID:BZoFhknI.net] 数学板の名物ピエロとなったスレ主 778 名前：１３２人目の素数さん [2018/12/15(土) 18:53:44.67 ID:Dd4sKQZB.net] ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::。::::::::::::::::::::::::::::::::::::::::::::: :::::::::::::::::::::::::::::::::。::::::...... ...　::::::::::::::::::::::　:::::::::::::::::::: ..::::: . ..:::::::: :::::::::::::::::...... ....:::::::゜::::::::::..:::::::::　:::::::::::::::　　　::::。:::::::::::::::::　゜.:::::::::::: :. .:::::。:::........　.　.:::::::::::::::::　　∧_∧　　::::::::::::::::::::。::::::::::: . . . ..:::: :::: :::::::::.....:☆彡::::　:::::::::::　 ( ´･ω･)　:::::::::::::::::::゜:::::::::: ...:: ::::: 　:::::::::::::::::: . . . ..: ::::　:::::::　 ( つ旦O　::::::::::::::::::.... .... ..　.:::::::::::::: ::::::...゜　.　.:::::::::　　　:::::::　　と＿)__)　:::::::.......　.　.::::::::::::........ ..:::: :.... .... ..　..:.:.:.　:.:　.:　.:.:.:.:.:.:.:.:.:.:.:.:　.:.:.:.　:.:.:.:.:.　:.:.:.:　.:.:　:.... .... ..　.:. :.... .... ..:.... .... ..... .... ..　.:.... .... ..　..... .... ..　..... ............. ..　.　........　...... :.... . ∧∧　 　∧∧　　∧∧　 　∧∧　.... .... ..　.:.... .... ..... .... ..　. ... ..:（　　 ）ゝ （　　 ）ゝ（　　 ）ゝ（　　 ）ゝお茶しやがって… .......... ....　 i⌒　/ 　 i⌒　/ 　i⌒　/ 　 i⌒　/　..　..... ................... ..　.　... .. 　 三　 | 　 三　 | 　 三　 | 　 三　|　　... ............. ...........　.　..... ...　 ∪ ∪ 　 ∪ ∪ 　 ∪ ∪ 　∪ ∪　............. ............. ..　........　... 　　三三　　三三　　三三　　　三三 　三三　　三三　　三三　　　三三 779 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 19:39:48.05 ID:T3LlDTB7.net] >>698-707(除く>>699) 笑える >>484はね〜（＾＾ １．あなたが連絡すれば良い（だれでも知り合いに。直接でなくても、近所の大学生を通じてでも可） ２．あなたが頼めば良い。「時枝先生の記事は正しいと書いて下さい」と それが出来ないと自白しているんだね？（＾＾ 数学を落ちこぼれて、母校とも切れ、友人とも切れた、不遇な数学科卒よ それ、良質な情報が入ってこないってことだ ということは、おまえ数学ド素人同然だね！！ おれと似たレベルじゃん（＾＾； 780 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 19:42:17.36 ID:T3LlDTB7.net] >>698-707(除く>>699) わかんねーだろうな、ピエロちゃんじゃねー（＾＾ これで、ピエロのレベルが分るな（＾＾ （>>692） 781 名前：１３２人目の素数さん [2018/12/15(土) 19:52:34.49 ID:BZoFhknI.net] スレ主苦しそうやな 関係無い話まで持ち出して 782 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 21:39:44.43 ID:T3LlDTB7.net] >>697 おっちゃん、どうも、スレ主です。 おっちゃんらしいね（＾＾ おれが、>>684(証明の細部の不備)と>>692（反例の存在）とを、カレーにスルーかい？（＾＾ ・「背理法を適用する」なら、最初にそれを宣言しないと ・「log_x|y|＝p/q から x^{p/q}＝|y| となって」の誘導がへん 　（>>697では”、log_x|y|＝p/q となる。従って、x^{p/q}＝|y| ”の部分だよ） 　（log_x|y|で自然対数の底は、eでしょ？ 忘れてないかい？） ・反例が存在する つづく 783 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 21:47:31.65 ID:T3LlDTB7.net] >>711 つづき 追伸 ・自分で定理を考えるのは良いが、もうちょっと落ち着けよ 　証明も同様だが（＾＾ ・おれなら、なにか定理を思いついたら、１）何かの大定理の系ではないか、２）何かの大定理の系に矛盾してないか 　の二つは必ずチェックするぜ ・で、おっちゃんの>>697で、log_xで、xが代数的数ならリンデマンとかベイカーとか（下記ご参照）あるが 　xが超越数の場合は、結構複雑で、確たることが言えないみたい 　（例えば、「logπ, loglog 2, (log 2)^{log 3} は、それ自身が超越数であるかについても今のところ未解決」 ） ・で、そこに反例が存在する余地ありだと （参考） https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0 超越数 (抜粋) (2) 初等関数の特殊値が超越数となる例 ・代数的数 α ≠ 0, 1に対する、 log α 。　(リンデマン) 注意 logπ, loglog 2, (log 2)^{log 3} は、それ自身が超越数であるかについても今のところ未解決である。 https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%AB%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 ベイカーの定理 (抜粋) 定理の主張 定理1 (対数関数の一次形式の線形独立性) α _{1},・・・ , α _{n} を 0 ではない代数的数とする。 もし、 log α _{1},・・・ , log α _{n} が有理数体上線形独立であるならば、 1, log α _{1},・・・ , log α _{n} は、代数的数体上線形独立である。 定理からの派生的な結果 定理1 から得られる系をいくつか挙げる。 系1　 α _{1},・・・ , α _{n} を 0 ではない代数的数とする。 また、 β _{0}, β _{1},・・・ , β _{n}を 満たす代数的数としたとき、 β _{0}+β _{1}log α _{1}+・・・ +β _{n}log α _{n}≠ 0 。 784 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 21:49:02.56 ID:T3LlDTB7.net] >>710 いやいや 単に、ピエロの数学の力が、どれくらい落ちているか、>>692（反例の存在）で試してやろうというだけ（＾＾ 785 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 21:55:02.76 ID:T3LlDTB7.net] 時枝は、>>484を出した以上 時間が経てば経つほど 時枝記事を支持するの数学教員がいない ことがはっきりして そのうち、さすがに落ちこぼれ低脳の� 786 名前：sエロも 事実に気付くよね 時間が経てば経つほど こちらのものですよ 考えても見なさいよ 時枝擁護の人は だれでも良いから 大学教員に 「時枝記事を支持します」と 書いて貰えば それで済む それやんなさいよ それで、自分が間違っていたと 気付くって仕掛けですよ [] [ここ壊れてます] 787 名前：１３２人目の素数さん [2018/12/15(土) 21:55:10.39 ID:2xuN1L7F.net] > いいかげん克服しろよ　いい歳した大人なんだろ？ スレ主はもう70歳前後だから克服は無理でしょうね 症状をいかに悪化させないかとか進行を遅らせるかということでしょう https://www.j-cast.com/2015/12/12252866.html > 感情のコントロールや衝動の抑制が困難になるという。 > そのため、平気で思ったことをそのまま相手にぶつけたり、ルールを無視したりしてしまうのだ。 https://kaigo.news-postseven.com/9282 rio2016.5ch.net/test/read.cgi/math/1475822875/101- ガロガロやりだしたころに次のステージに進行したという個人的印象を受けた 788 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 21:58:42.32 ID:T3LlDTB7.net] >>714 >それで、自分が間違っていたと >気付くって仕掛けですよ 教員に頼んだときに 「時枝記事は不成立」という事実を教えて貰えるってことです 789 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 21:59:20.40 ID:T3LlDTB7.net] >>715 はい、鏡（かがみ）（＾＾ 790 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 22:06:04.62 ID:T3LlDTB7.net] >>715 はい、あなたにも >>692（反例の存在）考えてみて 感情のコントロールや衝動の抑制が困難に そのため、平気で数学の問題をそのまま相手にぶつけたりして あなたの力を試そうと（＾＾； 791 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 22:23:17.46 ID:T3LlDTB7.net] ま、時枝不成立を理解するには かなり高度の理解力と学力を必要とする それを欠いている人は 大学教員から教えて貰って下さいってこと それを強制するのが、>>484ってことです 792 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/15(土) 22:55:50.99 ID:T3LlDTB7.net] この46分くらいのところ（すぐ下のURL）に ε−δ論法の解説、長岡亮介先生が熱心に解説してくれている https://youtu.be/DYgegz4qzfI?t=2760 まあ、1.5倍速くらいで如何？（＾＾ https://youtu.be/DYgegz4qzfI?t=1 長岡亮介(明治大学理工学部 特任教授) 大学数学の魅力について〜『難解さ』にくじける前に分かって欲しいこと 2016/3/29収録 「長い歴史をもつ数学ですが、17世紀における微積分法の発見をきっかけとして 『自然を理解し、生活の役に立つ数学』という新領域が開拓されました。 しかしこの画期的な変動は、すぐに数学自身の飛躍的な発展を生み出すことになります。 現代数学はこうした劇的な運動の中で誕生したものなのですが学校数学は微積分法発見の初期段階で終わっており、他方大学数学は19世紀後半以降の数学の現代的展開を整理した形で講ぜられることが多いため、それらの間の数学的・論理的・文化的な不連続性に目を向けられることが気ぜわしい近年は特に減っているような気がします。 その間を繋ぐことは容易でありませんが、『小さな試み』を継続することが大切だと思っています」と語る長岡先生に、大学数学の魅力を語っていただきます! 【講師紹介】 長岡亮介(ながおか・りょうすけ) 1947年、長野県に生まれる。 東京大学理学部数学科卒業、同大学院理学系研究科博士課程満期退学。津田塾大学助教授、大東文化大学教授、放送大学教授等を経て、現在、明治大学理工学部特任教授数理哲学、数学史を専攻。 793 名前：１３２人目の素数さん [2018/12/16(日) 00:16:46.29 ID:CospbzSj.net] スレ主と云う人物はものすごい頑固者だと思ってたけど70前後の病気持ちなのか どうりでね 2年以上前から「数列の連結」とかバカな事言い続けてるんだね ある意味凄い 794 名前：１３２人目の素数さん [2018/12/16(日) 00:37:12.49 ID:kmLobKmk.net] altohumano.com/ 795 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 07:12:10.03 ID:JTc4r8fR.net] >>715>>716>>719>>721 ピエロ、おっちゃん、そして貴方は 前提が間違っている 時枝記事の解法が正しいと思っている 間違った前提で推論を進めれば、間違った結論が得られる ちょうど>>711-712のようなことだ 時枝不成立を理解するには かなり高度の理解力と学力を必要とする それを欠いている人は 大学教員から教えて貰って下さいってこと それを強制するのが、>>484ってことです ピエロ、おっちゃん、そして貴方の三人に限らず だれでも、>>484を実行できる 「スレ主を終わらせてやろう」と思った人はね それを呼びかけて、１週間が経過した 多分、>484を実行した人はいるんだろう その人は、大学教員から「時枝解法不成立」という事実を 正しいことを、教えて貰ったことだろう ピエロ、おっちゃん、そして貴方は、前提となる事実認定が間違っているのです 796 名前：１３２人目の素数さん mailto:sage [2018/12/16(日) 07:18:46.11 ID:bB/JzT3m.net] 横レスだが、「log_x|y|＝p/q から x^{p/q}＝|y| となって」の誘導は正しいでしょ 工学バカのくせに対数の計算もできなくなったか？ ＞（log_x|y|で自然対数の底は、eでしょ？ 忘れてないかい？） log_x|y| の底はeではなくxだから、おっちゃんの誘導は正しいでしょ log|y| ではなく、log_e|y| でもなく、log_x|y| だぞ？ 797 名前：１３２人目の素数さん mailto:sage [2018/12/16(日) 07:29:12.70 ID:bB/JzT3m.net] おっちゃんの言うことだからどうせ間違ってるだろうという先入観にとらわれて、 完璧に正しい記述から「間違い」を見つけてしまうスレ主 しかも、これをダシにして上から目線で大口を叩くという、まさにピエロ あたまが腐ってるね 798 名前：１３２人目の素数さん mailto:sage [2018/12/16(日) 08:02:25.06 ID:bB/JzT3m.net] 先入観によって「間違い」を見つけてしまったスレ主の恥ずかしい語録 ＞これ、反例ありそうだなー ＞ピエロちゃん、分るかなー？ ＞わかんねーだろうな、ピエロちゃんじゃねー（＾＾ ＞これで、ピエロのレベルが分るな（＾＾ ＞単に、ピエロの数学の力が、どれくらい落ちているか、>>692（反例の存在）で試してやろうというだけ（＾＾ ＞はい、あなたにも ＞>>692（反例の存在）考えてみて ＞感情のコントロールや衝動の抑制が困難に ＞そのため、平気で数学の問題をそのまま相手にぶつけたりして ＞あなたの力を試そうと（＾＾； 799 名前：１３２人目の素数さん [2018/12/16(日) 08:18:56.34 ID:TerSJhG2.net] >>715 スレ主が老人かどうかは知らないが rio2016.5ch.net/test/read.cgi/math/1475822875/129 でいう「暗黙の仮定」の １．100列全て均一であること ２．特に、各列の決定番号の確率分布が均一であること 　　（例えば、ある列と他の列とで、確率分布に偏りがあるなら99/100は不成立） ３．大数の法則や中心極限定理が成り立つこと の３が、いかにも計算馬鹿のスレ主らしい（もちろん要らない） １と２（というか１の詳細化が２だから１は必要ない）を否定するのは 問題自体を否定するのと同じで無意味 恩師とやらの主張がそこにあるならスレ主と同類の耄碌爺 800 名前：１３２人目の素数さん [2018/12/16(日) 08:22:34.49 ID:TerSJhG2.net] >>716-719 時枝記事が間違ってると喚いてるのはスレ主一匹だから 主張の正当性を立証する責務があるのはスレ主 801 名前：１３２人目の素数さん [2018/12/16(日) 08:29:34.41 ID:TerSJhG2.net] >>723 ＞前提が間違っている スレ主が喚く「前提」とはズバリ 「各列の決定番号の確率分布が均一であること」 かね？ 上記はそもそも問題の前提だから、 否定は問題自体の否定であり無意味 スレ主はコーフンのあまり気づけていないが、 スレ主が本当にいいたいのは、 「もし、各列の決定番号の確率分布が均一であっても 　その確率分布（とやら）から99/100という値が計算できない」 ということだろ？ ここがスレ主の実にアサハカなところで 確率分布が奇妙なものであれば、 そもそも計算による「証明」はできない それは確率分布側の問題であって、 結論が間違っていることを示すものではない 結論は順序の簡単明瞭な性質から証明される スレ主がいかほど恩師を尋ねたところで、 上記は否定しようもない 「時枝論法否定」の目的を達せず イライラしてるのはスレ主だろう だから自分の間違いを認めとけ 工学馬鹿が数学の一つや二つ間違ったって こっちは全然驚きはしない　 なんてったってスレ主はバカなんだから 802 名前：１３２人目の素数さん [2018/12/16(日) 08:37:05.65 ID:TerSJhG2.net] >>723 ＞スレ主を終わらせてやろう スレ主は終わっている それに気づけずピエロに成り下がってまで 本スレでぐだぐだクソコピペしてるのはスレ主 スレ主は確率分布の計算に固執するな 計算は時に人を欺く 803 名前：１３２人目の素数さん [2018/12/16(日) 08:41:25.44 ID:TerSJhG2.net] じゃオレは「情熱大陸　齋藤飛鳥」を見てるから https://www.youtube.com/watch?v=9novDZBYlLQ 邪魔すんなよｗ 804 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 09:27:43.79 ID:JTc4r8fR.net] >>724-726 >og_x|y| の底はeではなくxだから、おっちゃんの誘導は正しいでしょ >log|y| ではなく、log_e|y| でもなく、log_x|y| だぞ？ >おっちゃんの言うことだからどうせ間違ってるだろうという先入観にとらわれて、 >完璧に正しい記述から「間違い」を見つけてしまうスレ主 おお、そうか！　これは、失礼した。おっちゃんにも、大変失礼をした だが、貴方の指摘（2018/12/16(日) 07:18:46.11）まで、だれも（ピエロ含め）気付かなかったのは事実だ まあ、おれならこう書いている （>>697のおれ流書き直し） [命題]：任意の正の超越数xと、任意の 正かつy≠1 なる代数的数 y∈R に対して、log_x (y) は無理数である。 　　　　（注：ここに、log_x (y) は、xを底とする対数関数である） [証明]：背理法を使う 　log_x (y) が有理数 とする。 　log_x (y) ＝ p/q （ここに、p,q は整数） 従って、x^{p/q}＝y これは、矛盾である。 （∵超越数の有理数ベキが、代数的数と等しくなったから） よって命題は成り立つ。 ＱＥＤ まあ、おれと>>697とはちょっとセンスが違う おれなら、この板のアスキーで見にくい数式には、気を遣って”注”を入れる |y| とする必要はないので、正に限定する それで、証明は数分の一になり、本質が見えると思う （元は>>658だったし、よけい見にくかったのだが） ＰＳ ID:bB/JzT3mさん、アドバイスありがとう まあ、xを底とする対数関数に気付けば良かったんだが・・（＾＾； おっちゃんには、大変失礼をした。再度お詫びしておきますｍ（＿ ＿）ｍ 805 名前：１３２人目の素数さん [2018/12/16(日) 09:33:59.51 ID:TerSJhG2.net] >>732 ま、おサルのスレ主に礼儀なんか誰も期待してないけどな おまえ、何様なの？ ＞xを底とする対数関数に気付けば良かったんだが・・ おサルが粗雑な畜生だってことは皆、先刻ご承知 詫びる？必要ない その代わり、腹を切れ！サル！ 806 名前：１３２人目の素数さん [2018/12/16(日) 09:34:51.54 ID:TerSJhG2.net] 負け犬ピエロのスレ主ちゃまへ 「勝った」と吠えるのは 下記のトリックに反駁できてからにしてね １．自然数をランダムに選択し、 例えば100番目の箱を開け続ければ 確率１で●が出る 「100番目」のところは「1000番目」でも「10000番目」でもいい とにかく、ある自然数ｉを固定し、ｉ番目の箱を開け続ければいいだけ ２．さて、次に100人がそれぞれ自然数n_i(i=1〜100)を1個無作為に選択し （２人以上が同じ数を選択することも可能） 自分の数以外の自然数の最大値max_iを求める 自然数n_iに対応する列のmax_i番目の箱を開けたとき 中身が●となる人物は高々1人である つまり確率は高々1/100 なぜならn_i>max_iとなるようなnは高々１個だから これまた、「100人」のところは 「10000人」でもよい 時枝論法のエッセンスは １．と２．の違いに集約される もはや同値類 807 名前：も選択公理もない 上記のトリックにスレ主が一切反駁できなければスレ主の負けが確定 [] [ここ壊れてます] 808 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 09:36:28.05 ID:JTc4r8fR.net] >>727-731 ピエロ、５連投ありがとう（＾＾ >時枝記事が間違ってると喚いてるのはスレ主一匹だから 時枝記事が間違ってると喚いてるのは、私スレ主一匹だが 時枝記事が間違ってると思っているのは、日本全国の大学数学教員な＊） （注：＊）反例は一つで良いんだよ） >じゃオレは「情熱大陸　齋藤飛鳥」を見てるから 自分にリアルで彼女が居ないことと 幼稚さ（中学生かい？）を自慢したいのか？（＾＾； 早く、時枝記事不成立に気付く方が 墓穴が大きくならないで、良いと思うよ（＾＾ 809 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 09:37:33.52 ID:JTc4r8fR.net] >>733-734 おお、２連投追加か ありがとう、ピエロ（＾＾ 810 名前：１３２人目の素数さん [2018/12/16(日) 09:39:47.00 ID:TerSJhG2.net] >>735 ＞時枝記事が間違ってると思っているのは、日本全国の大学数学教員 妄想ブラフは必要ないよ そもそもおまえ恩師に挨拶にいって 「時枝論法は間違ってる」HPの掲載を 真正面から断られてたんだろ？ 「間違ってるのは、お前だ」の一言でｗ おまえさ、そろそろ自分が無知無能な馬鹿だって気づけよ 811 名前：１３２人目の素数さん [2018/12/16(日) 09:54:22.64 ID:TerSJhG2.net] P.S. >>じゃオレは「情熱大陸　齋藤飛鳥」を見てるから >自分にリアルで彼女が居ないことを自慢したいのか？（＾＾； あしゅにそっくりですねｗ https://www.youtube.com/watch?v=zEOvc-P9ew0 812 名前：１３２人目の素数さん [2018/12/16(日) 10:02:27.16 ID:TerSJhG2.net] つーか、さっさと>>734読んで 時枝論法成立認めろよ 豆腐頭のスレ主よぉｗ 813 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2018/12/16(日) 13:02:53.72 ID:JTc4r8fR.net] 次スレ https://rio2016.5ch.net/test/read.cgi/math/1544924705/ 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 814 名前：１３２人目の素数さん [2018/12/16(日) 14:09:22.60 ID:CospbzSj.net] >>723 ＞時枝記事の解法が正しいと思っている いや、スレ主のレベルでは時枝問題は無理だからもういいって何度も言ってるんだが。 簡易版時枝問題（>>734）が今の対象だよ。 対象は変わったんだよ。あまりにスレ主のレベルが低いから。 で、簡易版にすらスレ主は答えられないから言ってるんだけど。 815 名前：１３２人目の素数さん [2018/12/16(日) 14:11:25.46 ID:CospbzSj.net] >>724 スレ主は高校数学もできないことが判明 816 名前：学術 [2018/12/16(日) 14:19:16.05 ID:SqWrHHtW.net] 全てできる様になるのカンニングするからだし。すべてできる簡単な学問を追求し続けるモチベーションが湧くかというと。 817 名前：１３２人目の素数さん [2018/12/16(日) 14:20:07.76 ID:CospbzSj.net] >>735 ＞時枝記事が間違ってると思っているのは、日本全国の大学数学教員な＊） 幻覚かな？だいぶ進行してるね お薬忘れず飲むこと、お大事に 818 名前：１３２人目の素数さん [2018/12/16(日) 15:48:00.90 ID:TerSJhG2.net] >>744 何の薬を飲むかも大事だな スレ主の場合脳梅毒の可能性も大 819 名前：１３２人目の素数さん [2019/01/01(火) 14:26:09.33 ID:hHuoOtTW.net] rio2016.5ch.net/test/read.cgi/math/1544924705/706 スレ主自慢（ｗ）の時枝記事の有限モデル a)時枝記事（詳しくは>>21及び、記号などは>>644ご参照）において、箱の数を、十分大きな＊）「有限」個の場合を考える。 　（＊）：例えば無限に近い巨大な数と思って貰えば分り易いだろう 　　例えば、有限の範囲で、貴方の知っている（あるいは考え得る）大きな数を頭に浮かべてください。その数＋１で結構です） b)箱の数 L＝100mとする。 ここにmは、前述のように十分大きな正整数とする。 c) L＝100m個の箱を、100列のm個の箱の列に並び変える。 　m個の長さの数列の しっぽの同値類を考えることができ、決定番号dを決めることができる。 　決定番号dは、1<= d <=m の値を取る。 c')ここで、簡単のために、部分集合として、決定番号が、1<= d <=(m-1)の場合を考える。 d)100列の決定番号の大小比較から、100列中のあるk列で 　決定番号 d^k 1<= k <=100 が、最大値 D = max(d^1, d^2,・・・d^100) を取る確率は、1/100に過ぎない 　D >= d^k である確率は、99/100となる。 e)後は、時枝記事に書いてあるように、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数を推測すれば、的中確率は99/100となる。 f)つまり、上記の確率について、確率空間 (Ω,F,μ) において、標本空間 Ω＝{1,･･･,100} と取れることを意味する。 g)標本空間 Ω＝{1,･･･,100}とすることによって、“D >= d^k である確率は、99/100” が導かれる。 　これにより、k列で(D+1) 番目から先の箱だけを開け、k列の代表のD 番目の数を見て、k列の代表のD 番目の数と一致すると推測すれば、的中確率は99/100となる。 820 名前：１３２人目の素数さん [2019/01/01(火) 14:26:49.03 ID:hHuoOtTW.net] rio2016.5ch.net/test/read.cgi/math/1544924705/717 スレ主自慢（ｗ）の時枝記事の有限モデルの同値関係の定義 実数列の集合 R^mを考える. s = (s1，s2，s3 ，・・・，sm )，s'=(s'1， s'2， s'3，・・・，sm )∈R^mは， ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき 同値s 〜 s'と定義しよう(いわば時枝記事の有限版). 821 名前：１３２人目の素数さん [2019/01/01(火) 14:27:11.98 ID:hHuoOtTW.net] rio2016.5ch.net/test/read.cgi/math/1544924705/758 スレ主自慢（ｗ）の時枝問題の有限モデルは反例たり得ぬ 箱はm個だが(c')で決定番号mの列は想定しない、ということなら m番目の箱を見れば、m-1番目の箱も確率1で予測できる なぜなら、(c')の通り、決定番号がm-1までしかないのだから 決定番号がm-1だとしても代表元のm-1番目と m-1番目の箱の中身が一致する 822 名前：１３２人目の素数さん mailto:sage [2019/01/01(火) 19:58:25.65 ID:hHuoOtTW.net] スレ主への問い Q.箱の数が無限個の場合　時枝記事の手順が実行でない 　　つまり、箱の数当て実行ができない決定番号dの値はいくつか？ 　　そしてその決定番号が上記の値をとる確率Pはいくつか？ ちゃんと答えろよ！　クソピエロのスレ主 823 名前：１３２人目の素数さん [2019/01/02(水) 10:38:04.53 ID:sdS6EuXx.net] さ、無限モデルについて 「時枝記事の手順が実行できない決定番号d」がいくつか 答えてご覧　おサルのピエロのスレ主ちゃまｗ 824 名前：１３２人目の素数さん [2019/01/03(木) 07:07:37.17 ID:XXarrjli.net] スレ主 「箱の数が無限個の場合　時枝記事の手順が実行できない 　つまり、箱の数当て実行ができない決定番号dの値はいくつか？」 に回答できず完全敗北！ 825 名前：１３２人目の素数さん [2019/01/05(土) 08:53:14.35 ID:++mF+Rlt.net] https://rio2016.5ch.net/test/read.cgi/math/1546308968/193 >”博士号くらいとらないと数学の世界では人間とは認められません”だったよね >「数学界では認められない」「理解できない戯言を受け入れるほど 数学界は寛容ではない」って、 >あんた博士号もないのに、数学界を代表してんだね、えらいね〜（＾＾ >あんた博士号もないのに、数学界を代表して指図してんだね〜、えらいね〜（＾＾ >いいねー、匿名掲示板って、博士号もないのに、数学界を代表できるんだ >（大言壮語もいいとこだろ・・）（＾＾ スレ主、数学科にも入れず嫉妬？で発狂 スレ主、おまえ、どこの大学卒だよｗ 826 名前：１３２人目の素数さん [2019/01/05(土) 09:08:26.32 ID:++mF+Rlt.net] rio2016.5ch.net/test/read.cgi/math/1546308968/192 >困ると会話をぶった斬って大量のコピペを投下するけど スレ主は自己中です　 自分がついていけない会話で他人が盛り上がることに堪えられません だから発狂して会話を遮り自分でも理解できない文章を大量コピペして 「どうだ、ぼくちゃん、エライでしょ」 と自慢してしまうのです　スレ主は永遠の３歳児なのですｗ 827 名前：１３２人目の素数さん [2019/01/05(土) 09:30:15.33 ID:++mF+Rlt.net] >>1 >時枝記事は、･･･ 57スレでスレ主が自爆し終わりましたｗ 57は、別名「スレ主の墓」と名付けられました (-||-) 828 名前：１３２人目の素数さん mailto:sage [2019/01/05(土) 15:05:04.36 ID:++mF+Rlt.net] 次スレから変わる>>1のテンプレート 「時枝記事は決して触れません、それは私スレ主の黒歴史だからです。」 829 名前：１３２人目の素数さん [2019/01/06(日) 10:20:50.36 ID:8mG/3Ag8.net] https://rio2016.5ch.net/test/read.cgi/math/1546308968/238 ＞m→∞の極限を考えると、時枝記事の解法が使える場合というのは、殆どゼロの世界 スレ主はこの期に及んで自分の誤りを直視しようとしません 無限列において、時枝記事の解法が使えない決定番号が示せない 830 名前： （存在しない）にも関わらず、そのような場合があると妄想しつづけています もはや狂っていると言わざるを得ません [] [ここ壊れてます] 831 名前：低学歴超変態食糞愛好家井口千明の連絡先：葛飾区青戸６−２３−１６ [2019/01/06(日) 11:38:37.87 ID:HlqGsCVU.net] ☆★☆【神よこの者たちはもはや人間ではない悪魔であるこのような悪魔どもを一匹残らず殺してくださいお願いします】★☆★ 《超悪質！盗聴盗撮・つきまとい嫌がらせ犯罪首謀者の実名と住所／死ねっ!! 悪魔井口・千明っ!!》 【要注意!! 盗聴盗撮・つきまとい嫌がらせ犯罪工作員】 ◎井口・千明（東京都葛飾区青戸６−２３−１６） ※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在／犯罪組織の一員で様々な犯罪行為に手を染めている 　低学歴で醜いほどの学歴コンプレックスの塊／超変態で食糞愛好家である／醜悪で不気味な顔つきが特徴的である 【超悪質！盗聴盗撮・嫌がらせつきまとい犯罪者の実名と住所／井口・千明の子分たち】 �@宇野壽倫（東京都葛飾区青戸６−２３−２１ハイツニュー青戸２０２） ※宇野壽倫は過去に生活保護を不正に受給していた犯罪者です／どんどん警察や役所に通報・密告してやってください �A色川高志（東京都葛飾区青戸６−２３−２１ハイツニュー青戸１０３） ※色川高志は現在まさに、生活保護を不正に受給している犯罪者です／どんどん警察や役所に通報・密告してやってください 【通報先】 ◎葛飾区福祉事務所（西生活課） 〒１２４−８５５５ 東京都葛飾区立石５−１３−１ �рO３−３６９５−１１１１ �B清水（東京都葛飾区青戸６−２３−１９） ※低学歴脱糞老女：清水婆婆　☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆ 　清水婆婆はコンプレックスの塊でとにかく底意地が悪い／醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である �C高添・沼田（東京都葛飾区青戸６−２６−６） ※犯罪首謀者井口・千明の子分／いつも逆らえずに言いなりになっている金魚のフン／親子孫一族そろって低能 �D高橋（東京都葛飾区青戸６−２３−２３） �E長木義明（東京都葛飾区青戸６−２３−２０） �F若林豆腐店店主（東京都葛飾区青戸２−９−１４） �G肉の津南青戸店店主（東京都葛飾区青戸６−３５ー２ 832 名前：１３２人目の素数さん [2019/01/12(土) 18:57:16.31 ID:EgDrd5kK.net] スレ主自爆死 833 名前：１３２人目の素数さん [2019/01/14(月) 15:26:41.37 ID:U+rcrUOh.net] >ｍに上限がない以上 >ｍ’＝m+1として >ｍ’に置き換えれば、それで終わりですよ ｍが上限だから矛盾だ、と指摘したら ｍ＋１だけ付け加えればｍが矛盾でなくなる、 と言い張る白痴スレ主ｗ ｍ＋１が上限になって矛盾するだろがこのバカｗ 834 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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