[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
10(2): ￥氏 ◆2VB8wsVUoo 2017/08/01(火)14:34 ID:+7fRVElh(1/6) AAS
外部ﾘﾝｸ:en.wikipedia.org
エアバス社の航空機に積んでるアビオニクスは彼が創った「フランス製のOS」です。
￥
11(1): 2017/08/01(火)16:59 ID:0cPZ3uZJ(1) AAS
>>9
まあ、フランスにも長所と短所はある。
すぐに何でもかんでもフランス絶対!フランス最高!の気分になるのも問題だ。
前スレ>672
>「きちんと研究している」と言いたいんだね〜（＾＾
何かを研究することは、決して簡単ではなく、苦しさや難しさが伴う。
マトモな論文にして発表するのがどれだけ大変なことかは、想像出来るだろう。
じゃ、おっちゃん寝る。
12: ￥氏 ◆2VB8wsVUoo 2017/08/01(火)17:03 ID:+7fRVElh(2/6) AAS
￥
13: 2017/08/01(火)17:14 ID:gpKQ4DGY(10/10) AAS
>>10
￥さん、どうもスレ主です。
Gerard Berry ジェラルド・ベリー を検索したが、直接的な面白い情報はヒットしなかったけど
下記 PDF（これP72もあって大判振る舞い）の「分野変更と異なる分野の組み合わせ」の項これ、面白いですね〜（＾＾
阿部 剛久先生は、数学の人で、過去スレでなんども登場してもらったことがある人です（＾＾
外部ﾘﾝｸ[pdf]:www.morikita.co.jp
12 ノーベル賞を逸した人々 - 森北出版
外部ﾘﾝｸ:www.kinokuniya.co.jp
ノーベル賞 その栄光と真実
科学における受賞者はいかにして決められたか
省23
14(1): ￥氏 ◆2VB8wsVUoo 2017/08/01(火)17:23 ID:+7fRVElh(3/6) AAS
外部ﾘﾝｸ:www-sop.inria.fr
外部ﾘﾝｸ:www.esterel-technologies.com
￥
15(2): ￥氏 ◆2VB8wsVUoo 2017/08/01(火)17:32 ID:+7fRVElh(4/6) AAS
外部ﾘﾝｸ:www.esterel-technologies.com
日本で言えばTRONに匹敵する様な、まあ組み込み系みたいな位置付けでもあるんでしょう。
だからこそ戦闘機を含む航空機とかアレヴァ社の原子炉とか、なのでミサイル防衛とか宇宙
開発とかにも使ってるのではないかと。フランスはそっち方面は猛烈に強い筈なので。
￥
16(3): ￥氏 ◆2VB8wsVUoo 2017/08/01(火)17:54 ID:+7fRVElh(5/6) AAS
外部ﾘﾝｸ:ja.wikipedia.org
コレだけは日本語になってました。私はド素人ですが、でもドキュメントからは：
１．使い易さはかなり犠牲にしてる。
２．信頼性は猛烈に高いプロ向き。
という様な印象を受けます。航空機とか原子炉、そして軍事関係で要求されるのは正にこう
いう要素であり、決して「使い易くて良く売れる」という事ではないので。
こういうシステムの開発には高度の論理性が要求されるから、従って日本がフランスに勝て
るとはちょっと思えません。アメリカであれば非売品として、こういうシステムを持ってるかも
知れませんが。例えば暗号解読とか盗聴用とかで。
￥
17(5): 2017/08/01(火)18:47 ID:clpGrOhb(1/4) AAS
2chｽﾚ:math
＞実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数をf_1、
＞実数列の順序対(r1, r2)を自然数の順序対(d(r2), d(r1))へ移す関数をf_2
＞とおく
何トンチンカンなことやってんだ？
単純に
実数列の順序対(r1, r2)を自然数の順序対(d(r1), d(r2))へ移す関数f
だけ考えればいい
dは時枝記事における決定番号
d：R^N→N
省21
18: 2017/08/01(火)18:48 ID:clpGrOhb(2/4) AAS
2chｽﾚ:math
f_nがどういう関数かは>>624で示した
f_n(r1,･･･,rn)=(f(r1),･･･,f(rn))
19(2): 2017/08/01(火)18:50 ID:clpGrOhb(3/4) AAS
2chｽﾚ:math
＞１．”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、
＞ バリエーション豊富。
＞ 選択公理を使わないということは、整列可能定理も使えないし、Zorn の補題も使えない
＞ ってことだ。不便と思わないか？
>>1のいう便利が「箱入り無数目」問題の予測をもたらすわけだが？
ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない
解析学を展開するのに、実数全体が整列可能である必要もない
＞２．選択公理を使わないということは、時枝記事の冒頭の
＞”実数列の集合 R^Nのしっぽが一致する同値類による分類”
省20
20(1): 2017/08/01(火)18:51 ID:clpGrOhb(4/4) AAS
2chｽﾚ:math
＞普通、おかしいなと思ったら、まず疑うべきは人でしょ？
＞人はしばしば証明で間違いを犯すからね。
＞それは数学の歴史を見れば分かること
＞で、選択公理を疑う前に、自分を疑えよ、おい！（＾＾
なぜ>>1が自分を真っ先に疑わないのかな？
>>1の「予測できるわけない」って何の根拠もない只の思い込みでしょ
なんの証明もない 当然まっさきに疑われるべき妄想だよな
21(7): 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:50 ID:kfW8JtfN(1/7) AAS
>>19
ID:clpGrOhbさん、どうも。スレ主です。
オオボケの上塗りか？（＾＾
>ちなみにルベーグ測度を用いるのに、非可算選択公理は必要ない
前から思っているんだが、あんた、現代確率論の内側に入れないね〜。まあ、ルベーグ積分が分かってないんだね
おーい、おっちゃんよ、聞こえているか？ 「ルベーグ測度を用いるのに、非可算選択公理は必要ない」だって〜（＾＾
これ、どう思う？
おっちゃんなら、正解すると思うがね（＾＾
>「箱入り無数目」問題の同値類による分類は、選択公理と無関係
>あくまで同値類から代表列を選ぶところでのみ選択公理が使われる
省8
22(2): 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:52 ID:kfW8JtfN(2/7) AAS
>>21 訂正
そもそも、同値類の集合を[r]⊂R^Nでしょ？
↓
そもそも、同値類の集合を[r]として、[r]⊂R^Nでしょ？
23: 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:53 ID:kfW8JtfN(3/7) AAS
そもそも、同値類の集合[r]⊂R^Nでしょ？
でも良かったかもね（＾＾
24(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)20:58 ID:kfW8JtfN(4/7) AAS
>>19
>解析学を展開するのに、実数全体が整列可能である必要もない
なんだよ、高校の数IIIの話か？（＾＾
25: 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)21:21 ID:kfW8JtfN(5/7) AAS
>>16
￥さん、どうも。スレ主です。
読みました。興味深いですね（＾＾
”Esterel は、複雑なリアルタイムシステム向けの同期型プログラミング言語である。命令型プログラミングのスタイルで、並列性とプリエンプションを単純に表せる。従って、制御系の設計に非常に適している。
開発は、Gerard Berry に率いられたパリ国立高等鉱業学校と INRIA のチームにより、1980年代初めに開始された。現在のコンパイラは、Esterel のソースコードからC言語のコードかレジスタ転送レベルのハードウェア記述（VHDLかVerilog）を生成する。
開発は今も継続している。商用版には統合開発環境 Esterel Studio がある。その開発会社 Esterel Technologies は IEEE での標準化を開始している。現在、Esterel v7 Reference Manual Version v7 30 ? initial IEEE standardization proposal が一般に公開されている。”
ですか。おもしろい（＾＾
ここらになると、◆QZaw55cn4cさんの出番かな？ ◆QZaw55cn4cさんなにかコメントありませんか？
26(1): 2017/08/01(火)21:32 ID:I+jKefSz(1/5) AAS
>>17
> 私の反論は
> ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
> ・上記交換によりH1はH2、H2はH1に移る
> したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
あのね無定義君、H1, H2はμ_r, μ_r'の定義域に含まれてないの
定義域に含まれていなければ
> μ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
は言えないの
悪いことは言わないから測度論を勉強してきなさいよ
省1
27: 2017/08/01(火)21:38 ID:I+jKefSz(2/5) AAS
>>17
> 私の反論は
> ・(r1,r2)を(r2,r1)と交換してもμ_r×μ_r'は変化しない
> ・上記交換によりH1はH2、H2はH1に移る
> したがってμ_r×μ_r'(H1)＝μ_r×μ_r'(H2)
f_1, f_2が非可測だとH1, H2∈Fが言えないので
μ_r×μ_r'(H1)とμ_r×μ_r'(H2)の値を論じるのは無理
なんでここまで分かりやすく教えてやってんのに分からないの？
引っ込みつかなくてこのままデタラメを貫き通すのか君は
28: 現代数学の系譜 古典ガロア理論を読む 2017/08/01(火)21:39 ID:kfW8JtfN(6/7) AAS
>>14-15
￥さん、どうも。スレ主です。
Gerard Berry氏 2014年フランス国立科学研究センター（CNRS）金賞受賞のニュースがありますね（＾＾
飛行機の操縦等に応用か。なるほど、昔、「フライバイワイヤー」と言われていた技術ですね
外部ﾘﾝｸ:www-overseas-news.jsps.go.jp
【ニュース・フランス】Gerard Berry氏、2014年フランス国立科学研究センター（CNRS）金賞受賞 日本学術振興会 20141117
2014年9月24日、フランス国立科学研究センター（CNRS）は2014年CNRS金賞を情報学者のGerard Berry氏に授与することを発表した。
氏は、フランス国立情報学自動制御研究所（INRIA）の研究ディレクターや評価委員会長を経て、2012年からはコレージュ・ド・フランスの最高正教授を務め、飛行機の操縦等に応用されているアプリケーションである、Esterelと呼ばれるプログラミング言語の開発に取り組んできた。
CNRS金賞は、フランスの科学界で最も名誉ある賞として知られている。
URL1: 外部ﾘﾝｸ[html]:www.enseignementsup-recherche.gouv.fr
省10
29: 2017/08/01(火)21:39 ID:I+jKefSz(3/5) AAS
>>26
> H1, H2はμ_r, μ_r'の定義域に含まれてない
訂正⇒μ_r×μ_r'の定義域、だな
上下前次1-新書関写板覧索設栞歴
あと 652 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s