現代数学の系譜古典ガロア理論を読む37 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

37: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 06:23:46.05 ID:ZzdgHR/Z

>>30
￥さん、どうも。スレ主です。
Esterelが、エアバスに採用されているというのは、インパクト大きいですよ（＾＾
https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A2%E3%83%90%E3%82%B9
エアバス
(抜粋)
本社はフランス・トゥールーズ。

ボーイングとの市場競争
旧西側諸国で大型旅客機を製造しているのはボーイング、エアバスの二大メーカーだけであり、抜きつ抜かれつの熾烈な競争を繰り広げている。

エアバス航空機の特徴
ボーイングと比べ新興の会社であるため、機体に先進的な設計思想や技術を取り入れ斬新な機体設計が行われている。 エアバスA320に民間旅客機初となるデジタルフライ・バイ・ワイヤや、機体に新素材を導入するなど次々と新機軸を採用した。

ライバルのボーイングも自社機のハイテク化に取り組み始め、ボーイング777以降の機体でフライ・バイ・ワイヤを採用するなど、機体の設計思想にも影響を与えた。
しかし両者の設計思想は対照的で、エアバスがフライ・バイ・ワイヤの採用により操縦デバイスをサイドスティック化し、コンピュータ制御によるメリットを全面的に取り入れた操縦システムを搭載したテクノロジー・ドリヴンを採用したのに対し、
ボーイングがフライ・バイ・ワイヤ導入後も操縦桿にかつてのケーブル（索）やロッドによる機械的リンクを介して油圧アクチュエータを駆動させていた「重み」を擬似的に再現したマーケット・ドリヴンを採用しており、機械重視のエアバスと人間重視のボーイングといった色分けになっている。
エアバスがテクノロジー・ドリヴン路線を取った背景には、航空機の安全設計が向上した1980年代後半以降、飛行機事故の発生原因が機体の設計よりパイロットのミスや整備不良が原因となる事が多くなったからである。
エアバスではこの実情に鑑み、パイロットのミスと思われる場合には手動操縦より自動操縦システムの設定が優先される仕様を取り入れていた。
しかし、皮肉にもこの仕様が裏目に出る形で、1988年にエールフランス296便事故（エアバスA320）が、1994年にはアエロフロート航空593便墜落事故（エアバスA310[3]）と中華航空140便墜落事故（A300-600R）が発生した。
現在ではボーイングでも採用されている、操縦桿を操作すると自動操縦が解除される仕様に改修されている。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1501561433/37

41: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 06:50:34.99 ID:ZzdgHR/Z

>>40 つづき

下記は抜粋ですが、とにかくアメリカはこういう資料の保存と公開の文化があることに驚きですね
日本は、文書廃棄と隠蔽の文化（加計と森友と）
https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E3%81%B8%E3%81%AE%E5%8E%9F%E5%AD%90%E7%88%86%E5%BC%BE%E6%8A%95%E4%B8%8B
日本への原子爆弾投下
(抜粋)
トルーマン政権と軍の攻防、和平工作の破綻

ドイツ降伏後の1945年5月28日には、アメリカに核開発を進言したその人であるレオ・シラードが、後の国務長官バーンズに原子爆弾使用の反対を訴えている。
バーンズはマンハッタン計画の責任者の一人として、東ヨーロッパで覇権を強めるソ連を牽制するために、日本に対する原爆攻撃を支持しており、
天皇制の護持が容れられれば、日本には終戦交渉の余地があるとする、戦後日本を有望な投資先と考える国務次官ジョセフ・グルー、陸軍長官ヘンリー・スティムソン、海軍長官ジェームズ・フォレスタルら三人委員会とは正反対の路線であった。

さらに1945年7月17日にもシラードら科学者たちが連名で原子爆弾使用反対の大統領への請願書 (Szilard petition) を提出したが、原爆投下前に大統領に届けられることはなかった。
軍人では、アイゼンハワー将軍が、対日戦にもはや原子爆弾の使用は不要であることを1945年7月20日にトルーマン大統領に進言しており[27]、
アメリカ太平洋艦隊司令長官チェスター・ニミッツ提督も、都市への投下には消極的でロタ島への爆撃を示唆している。また政府側近でも、ラルフ・バードのように原子爆弾を使用するとしても、事前警告無しに投下することに反対する者もいた｡
また、大統領だったトルーマン自身も、自身の日記に「原爆の投下場所は、軍事基地を目標にする事。決して一般市民をターゲットにする事がないようにとスティムソンに言った。」と書いていたため、市民の上への原爆投下には反対していたことが明らかになっている。
しかしマンハッタン計画の責任者だったレスリー・グローブスは、原爆による最大の破壊効果を得たいが為に「広島は軍事都市である」との偽装した報告書を提出した挙げ句の果てに、勝手に原爆投下指令書を作成した(当然ながら大統領だったトルーマンがそれを許可した証拠はない)。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1501561433/41

51: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 10:41:37.45 ID:ZzdgHR/Z

>>45
￥さん、どうも。スレ主です。

>「リスプ専用機がッ消滅した」なんて事もあるので。シンボリックスとかいう会社があったかと。

ああ、なんかありましたね～（＾＾
覚えているのが、Prolog（下記）でフランス製でしたよね（＾＾

いまの人工知能ブームの先取りでしたね
ここらは、ほんと、C++さん（◆QZaw55cn4cさん）のコメントが欲しいところだ（＾＾

https://ja.wikipedia.org/wiki/Prolog
(抜粋)
Prolog（プロログ）は、非手続き型プログラミング言語の一つ。論理型言語に分類される。名称は、「論理を使ったプログラミング」を意味するフランス語「programmation en logique」に由来している[1][2]。

人工知能ブームとProlog
日本において、ICOT の活動時期から1990年代前半に掛けては、いわゆる人工知能ブームの時期であり、人工知能研究への期待はこの時期再び異様に高まった。LISP マシンによる医療情報エキスパートシステムでの成果は、人工知能の研究の成果の一部は情報処理に於いても利用可能なのではないかとの夢を抱かせた。
このような評価の中で Prolog は人工知能のアセンブリ言語的な位置づけを期待された。知識情報処理はこの水準の言語を基礎にその上側に築かれるべきだとの意味である。
手っ取り早く利用可能な人工知能技術としてエキスパートシステムが選別され、これを支えるナレッジエンジニアの存在とそれを養成するための教育が必要とされた。
Prolog はその中心に存在した。日本も例外ではないが、日本以外の国では特に、Prolog の名著は1990年代前半に刊行されている。これは、ICOT の活動とは若干のタイムラグがあるが、この時期社会的に 人工知能向き言語としての Prolog に大きな期待が寄せられていたことの証しである。
エキスパートシステムはビジネス分野において広範囲に応用可能な基礎技術であったが、このような低水準な分野への適用はあまり試みられず、この分野からの Prolog 言語への要請はほとんど見られないまま終った。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1501561433/51

52: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 10:42:37.66 ID:ZzdgHR/Z

>>50 つづき

ICOT以後の日本における衰退
日本においては、ICOT 解散後数年を経て、論理プログラミングと Prolog は急激に下火となる。
先にあげたコワルスキの成果があまりにも完成されたものでその研究成果の範囲を越えることが難しかったこと、歴史的にプログラム言語でありながら論理学からの逸脱を厳しく制限され、自由なアイデアによるプログラミング言語としての発展・展開が困難に見えたことも研究者・技術者を離れさせた。
そして、人工知能ブームもまた去って行った。企業等で続けられた研究開発も発表される機会がProlog産業応用シンポジウム（INAP）などに限定され、人々の目に Prolog の成果が触れることは極端に少なくなった。
ICOT の多大な研究成果がネット上に閲覧可能な状態で置かれたが、Prolog 言語の処理系はインターネット時代の技術・流れに乗れず、初心者・初学者が利用するためのネット上での情報も他の有力言語に比べて少なく、新しい利用者を惹きつけることができなかった。
パソコンのオペレーティングシステムとして Microsoft Windows が一般に普及し始めると、初心者教育にウィンドウの部品の展開を題材とするのに適したオブジェクト指向言語に人気が集中し、Prolog は動作の遅い外れた言語のイメージを持たれるようになる。
さらに21世紀に入ると Prolog がクラス概念を持たないため、マイクロソフト社による .NET アーキテクチュアの共通言語基盤（CLR）の対象言語から外され、この傾向に拍車をかけた。ついには枯れた言語というニュアンスを含んでではあるが、「化石言語」と揶揄されるまでに至ったのである。

今日
盛時の勢いは失ったものの、Prolog は各教育機関で主として論理学の教材として利用され続け、今日まで数万人の人が Prolog の講座を受講している。実務的に利用される機会が少ないにも関わらず、その素養を持つ人が大量に存在するという特異な位置にあるプログラム言語となっている。
また、多くのプログラミング言語でその言語上にPrologインタプリタを制作してみることが難度の高い学習課題の一つとして採用され、その結果としてもPrologを理解しているプログラマは増加する傾向がある。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1501561433/52

上下前次 1-新書関写板覧索設栞歴

あと 628 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.010s