[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
36: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)05:29 ID:ZzdgHR/Z(1/35) AAS
>>20
ID:clpGrOhbさん、どうも。スレ主です。
>>> 1の「予測できるわけない」って何の根拠もない只の思い込みでしょ
>なんの証明もない 当然まっさきに疑われるべき妄想だよな
これ、>>21にも書いたが、”前から思っているんだが、あんた、現代確率論の内側に入れないね～”と
で、おれの証明は、現代確率論の最初の数ページにあるよ！
おれの証明なるものは、
それを、小学生にも分かるようにかみ砕いたものだ
が、あんたに、それが理解できるかどうか？ 疑問かな？
”「箱入り無数目」問題の同値類による分類は、選択公理と無関係 あくまで同値類から代表列を選ぶところでのみ選択公理が使われる”ってバカ頭じゃね～
省2
37: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)06:23 ID:ZzdgHR/Z(2/35) AAS
>>30
￥さん、どうも。スレ主です。
Esterelが、エアバスに採用されているというのは、インパクト大きいですよ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
エアバス
(抜粋)
本社はフランス・トゥールーズ。
ボーイングとの市場競争
旧西側諸国で大型旅客機を製造しているのはボーイング、エアバスの二大メーカーだけであり、抜きつ抜かれつの熾烈な競争を繰り広げている。
エアバス航空機の特徴
省9
40(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)06:48 ID:ZzdgHR/Z(3/35) AAS
>>35
￥さん、どうも。スレ主です。
日本への原子爆弾投下は、諸説がありますが、まず下記
外部ﾘﾝｸ[html]:blog.livedoor.jp
日本への原爆投下はソ連を威圧するためだった（海外の反応） 2015年11月28日
(抜粋)
真珠湾攻撃とバターン死の行進。第２次世界大戦について米国民が持っているイメージは、この二つだ。日本とは大きく違う。原爆については「戦争を早く終結させた。さらなる米国人の犠牲をくい止めた」と思っている。
だが１９６０年代から、戦争中の機密文書が順次公開され、原爆使用の決定過程が部分的に明らかになっていった。「戦争を終わらせるためだった」とされて きた原爆投下は、ソ連に誇示する意図も大きかったことが分かった。
「原爆を使わなければ多数の米国民が犠牲になっていた」という主張の根拠だった米国の本 土上陸計画は、１１月まで実行に移す予定がなかったことも判明した。以下略（ヒロシマメディア平和センター）
海外の反応をまとめました。
省2
41: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)06:50 ID:ZzdgHR/Z(4/35) AAS
>>40 つづき
下記は抜粋ですが、とにかくアメリカはこういう資料の保存と公開の文化があることに驚きですね
日本は、文書廃棄と隠蔽の文化（加計と森友と）
外部ﾘﾝｸ:ja.wikipedia.org
日本への原子爆弾投下
(抜粋)
トルーマン政権と軍の攻防、和平工作の破綻
ドイツ降伏後の1945年5月28日には、アメリカに核開発を進言したその人であるレオ・シラードが、後の国務長官バーンズに原子爆弾使用の反対を訴えている。
バーンズはマンハッタン計画の責任者の一人として、東ヨーロッパで覇権を強めるソ連を牽制するために、日本に対する原爆攻撃を支持しており、
天皇制の護持が容れられれば、日本には終戦交渉の余地があるとする、戦後日本を有望な投資先と考える国務次官ジョセフ・グルー、陸軍長官ヘンリー・スティムソン、海軍長官ジェームズ・フォレスタルら三人委員会とは正反対の路線であった。
省7
43(2): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)07:12 ID:ZzdgHR/Z(5/35) AAS
>>38
笑いを取るために、戻ってきたのか？（＾＾
ピエロか？ ピエロやるなら、二度と数学科卒を名乗らない方がいいぞ。数学科卒のブランドを毀損していると思うからね（＾＾
で、>>21の同値類のオオボケの言い訳はどうかな？
言い訳の天才くん。どんなお笑い言い訳か、楽しみ（＾＾
ルベーグ積分については、過去スレでコンヌ先生のPDFを引用してやったろ？ 読んだか？
過去スレ36 2chｽﾚ:math だけど、君の高校数III頭じゃ読めないのかも（＾＾
(抜粋)
軽く解説すると、外部ﾘﾝｸ[pdf]:www.alainconnes.org コンヌ先生
P51 より
省7
44(2): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)07:16 ID:ZzdgHR/Z(6/35) AAS
>>42
ID:1ojXlxJMさん、どうも。スレ主です。
>>43で”で、>>21の同値類のオオボケの言い訳はどうかな？
言い訳の天才くん。どんなお笑い言い訳か、楽しみ（＾＾”
と書いたところだった
ほんと、ピエロやるなら、二度と数学科卒を名乗らない方がいいぞ。数学科卒のブランドを毀損していると思うからね（＾＾
今日は、忙しいので、暫く晒してやるよ（＾＾
みんなの笑いを取ってくれ！（＾＾
51: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)10:41 ID:ZzdgHR/Z(7/35) AAS
>>45
￥さん、どうも。スレ主です。
>「リスプ専用機がッ消滅した」なんて事もあるので。シンボリックスとかいう会社があったかと。
ああ、なんかありましたね～（＾＾
覚えているのが、Prolog（下記）でフランス製でしたよね（＾＾
いまの人工知能ブームの先取りでしたね
ここらは、ほんと、C++さん（◆QZaw55cn4cさん）のコメントが欲しいところだ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
Prolog（プロログ）は、非手続き型プログラミング言語の一つ。論理型言語に分類される。名称は、「論理を使ったプログラミング」を意味するフランス語「programmation en logique」に由来している[1][2]。
省7
52: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)10:42 ID:ZzdgHR/Z(8/35) AAS
>>50 つづき
ICOT以後の日本における衰退
日本においては、ICOT 解散後数年を経て、論理プログラミングと Prolog は急激に下火となる。
先にあげたコワルスキの成果があまりにも完成されたものでその研究成果の範囲を越えることが難しかったこと、歴史的にプログラム言語でありながら論理学からの逸脱を厳しく制限され、自由なアイデアによるプログラミング言語としての発展・展開が困難に見えたことも研究者・技術者を離れさせた。
そして、人工知能ブームもまた去って行った。企業等で続けられた研究開発も発表される機会がProlog産業応用シンポジウム（INAP）などに限定され、人々の目に Prolog の成果が触れることは極端に少なくなった。
ICOT の多大な研究成果がネット上に閲覧可能な状態で置かれたが、Prolog 言語の処理系はインターネット時代の技術・流れに乗れず、初心者・初学者が利用するためのネット上での情報も他の有力言語に比べて少なく、新しい利用者を惹きつけることができなかった。
パソコンのオペレーティングシステムとして Microsoft Windows が一般に普及し始めると、初心者教育にウィンドウの部品の展開を題材とするのに適したオブジェクト指向言語に人気が集中し、Prolog は動作の遅い外れた言語のイメージを持たれるようになる。
さらに21世紀に入ると Prolog がクラス概念を持たないため、マイクロソフト社による .NET アーキテクチュアの共通言語基盤（CLR）の対象言語から外され、この傾向に拍車をかけた。ついには枯れた言語というニュアンスを含んでではあるが、「化石言語」と揶揄されるまでに至ったのである。
今日
盛時の勢いは失ったものの、Prolog は各教育機関で主として論理学の教材として利用され続け、今日まで数万人の人が Prolog の講座を受講している。実務的に利用される機会が少ないにも関わらず、その素養を持つ人が大量に存在するという特異な位置にあるプログラム言語となっている。
省3
53(6): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)11:03 ID:ZzdgHR/Z(9/35) AAS
>>49
ID:X0DMup6Wさん、どうも。スレ主です。
新参者らしいけど、時枝記事の引用が、下記過去スレにあるので、見て下さい
過去スレ35 2chｽﾚ:math
Q
問題を単純化すると、100個の箱の中に当たりが一つ入っている。
各箱に当たりが入っている確率は計算できない（非可測である）
しかし、ランダムに箱を一つ選んだら当たりを引く確率は
1/100 だよねって話でしょ。
A
省5
54(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)11:03 ID:ZzdgHR/Z(10/35) AAS
>>50
ID:X0DMup6Wさん、どうも。スレ主です。
>スレ主が選択公理はおろか、同値類の概念さえ理解していない
>という疑いは、まあそうだろうなと思う。
当たりだ。が、ID:clpGrOhbさん、もっと理解していないぜ（＾＾
というのが、>>21-22 & >>44だな（＾＾
55: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)11:05 ID:ZzdgHR/Z(11/35) AAS
>>53 訂正
P面サイコロ
↓
p面サイコロ
58: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)11:20 ID:ZzdgHR/Z(12/35) AAS
>>53 訂正
任意の実数だから→p面ルーレット を考えて貰えば良い。
↓
任意の実数だから→r点（連続濃度）ルーレット を考えて貰えば良い。
にするわ（＾＾
59(2): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)11:22 ID:ZzdgHR/Z(13/35) AAS
>>53
その設定は、元の時枝記事とは違うよ
60: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)12:13 ID:ZzdgHR/Z(14/35) AAS
>>56
￥さん、どうも。スレ主です。
下記”ストールマンは新たなコミュニティを作るべくGNUプロジェクトを開始した。このストールマンの決断は、著作権侵害で人工知能研究所から除籍されたことも影響していると考えられる”
とありますね（＾＾
ストールマンは、いまやレジェンドですがね（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
シンボリックス
(抜粋)
歴史
シンボリックスは、製品を完全に制御しているとは言えないと判断し、ソフトウェアを社内のサーバで管理することにした。これについてストールマンは、シンボリックスの目的は同社が行った改良がLMIに渡るのを防ぐことだったとしている[1]。
省11
61: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)12:17 ID:ZzdgHR/Z(15/35) AAS
>>57 & >>59
補足
その設定を争いたいなら、>>46の論争に参加して、ID:1ojXlxJMくんを応援してやんなよ
喜ばれるだろうよ
63(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)12:39 ID:ZzdgHR/Z(16/35) AAS
>>46-47
取り敢ず、数学科のブランドについて（＾＾
外部ﾘﾝｸ:neko317fnjt.hatenablog.com
2016-12-28 数学科がもたれるイメージ（経験談）数学科卒のものぐさナナコのブログ
(抜粋)
※あくまで、私の経験談であり、私の意見ですのでご注意ください。
もちろん社会に出てからも数学科出身という目で見られることは多いですが、
やはり「専攻分野」という観点で人を見る・見られるのは学生時代が一番多かったので
学生時代の話が多くなります。
複雑さの度合いでいえば、他の学科（数学を活用する分野）の方が複雑だったと思います。
省8
64(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)12:42 ID:ZzdgHR/Z(17/35) AAS
>>63 つづき
外部ﾘﾝｸ:nururi.com
じゃあ、数学科 シン 20170524
(抜粋)
数学
数学ってほとんどの学問の基礎であり、哲学者のライプニッツが数学者でもあるように、数学が全然出来ないと、ほとんどの理系専攻は卒業することすら難しく、最低でも高校生レベルの数ⅢCくらいは終えていないと、工学系講義はちんぷんかんぷんで、中退が頭をよぎると思います。
IT
昔のイメージで数学科を語る人って、IT革命後の社会変化について、あまり意識していないのではないか？、と思います。コンピューターサイエンスは数学から派生したものであり、コンピューターサイエンスの基礎研究は純粋数学研究に近いようなことをやっています。
学部が数学科でも、修士でほぼ確実に就職できるコンピューターサイエンスに進むことも出来ますし、純粋理論系をきわめて、アカポス取れなきゃ、野垂れ死に覚悟をして突き進む必要もありません。
最近、データマイニング、データサイエンティスト、と呼ばれる、人の頭では処理できない量の「ビッグデータ」を処理する人たちがいますが、この人たちも多くが数学を得意とする理学系の人たちです。
省7
65: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)12:47 ID:ZzdgHR/Z(18/35) AAS
>>64 補足
「“じゃあ、数学科” への 20 件のフィードバック」が付いていますが
省略します（＾＾
66: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)12:56 ID:ZzdgHR/Z(19/35) AAS
>>62
￥さん、どうも。スレ主です。
>そのStallmanの哲学は（学術という人間の創作物に対する考え方として）正しいでしょうね。でも
>計算機の世界、特に昨今のAI関連は「モロにお金と関係する」から、まあ厄介な話ですわね。
そうなんですよね
でも、ストールマンのGNUプロジェクトが、linuxを支えたんですよね
外部ﾘﾝｸ:ja.wikipedia.org
Linux
(抜粋)
概要
省10
68: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)13:04 ID:ZzdgHR/Z(20/35) AAS
>>59 訂正
>>53
その設定は、元の時枝記事とは違うよ
↓
>>57
その設定は、元の時枝記事とは違うよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.056s