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

[過去ﾛｸﾞ] 現代数学の系譜古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

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

60: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 12:13:36.66 ID:ZzdgHR/Z

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

下記”ストールマンは新たなコミュニティを作るべくGNUプロジェクトを開始した。このストールマンの決断は、著作権侵害で人工知能研究所から除籍されたことも影響していると考えられる”
とありますね（＾＾
ストールマンは、いまやレジェンドですがね（＾＾

https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%B3%E3%83%9C%E3%83%AA%E3%83%83%E3%82%AF%E3%82%B9
シンボリックス
(抜粋)
歴史

シンボリックスは、製品を完全に制御しているとは言えないと判断し、ソフトウェアを社内のサーバで管理することにした。これについてストールマンは、シンボリックスの目的は同社が行った改良がLMIに渡るのを防ぐことだったとしている[1]。
その後シンボリックスはソフトウェアをあらゆる面で改良していき、それを（MITも含む）顧客に提供し続けた。しかし、MITはそれを他者に配布することは許されなかった。
オープンな協業関係の終焉は、MITのハッカーコミュニティの終焉を意味していた。
これに対して、ストールマンは新たなコミュニティを作るべくGNUプロジェクトを開始した。
このストールマンの決断は、著作権侵害で人工知能研究所から除籍されたことも影響していると考えられる。
(引用終り)

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%81%E3%83%A3%E3%83%BC%E3%83%89%E3%83%BB%E3%82%B9%E3%83%88%E3%83%BC%E3%83%AB%E3%83%9E%E3%83%B3
(抜粋)
リチャード・マシュー・ストールマン（1953年3月16日 - ）は、アメリカ合衆国のプログラマー、フリーソフトウェア活動家。コピーレフトの強力な推進者として知られ、現在にいたるまでフリーソフトウェア運動において中心的な役割を果たしている。また、プログラマーとしても著名な存在であり、開発者としてその名を連ねるソフトウェアにはEmacsやGCCなどがある。

1971年 - ハーバード大学に入学。Math55で好成績を残し[2]、MIT AI研のプログラマとなりハッカーコミュニティに加わる。
1974年 - 物理学の学位を取得し[3]、最優等の成績で大学を卒業。これに続いてMITの大学院に入学するが、MIT AI研でプログラマとしての活動を続けるうちに、物理学の研究をやめ、博士号をとることを放棄する。
1983年 - GNUプロジェクトを創始。

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

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

>>63　つづき

http://nururi.com/math-major/
じゃあ、数学科 シン 20170524
(抜粋)
数学
数学ってほとんどの学問の基礎であり、哲学者のライプニッツが数学者でもあるように、数学が全然出来ないと、ほとんどの理系専攻は卒業することすら難しく、最低でも高校生レベルの数ⅢCくらいは終えていないと、工学系講義はちんぷんかんぷんで、中退が頭をよぎると思います。

IT
昔のイメージで数学科を語る人って、IT革命後の社会変化について、あまり意識していないのではないか？、と思います。コンピューターサイエンスは数学から派生したものであり、コンピューターサイエンスの基礎研究は純粋数学研究に近いようなことをやっています。
学部が数学科でも、修士でほぼ確実に就職できるコンピューターサイエンスに進むことも出来ますし、純粋理論系をきわめて、アカポス取れなきゃ、野垂れ死に覚悟をして突き進む必要もありません。
最近、データマイニング、データサイエンティスト、と呼ばれる、人の頭では処理できない量の「ビッグデータ」を処理する人たちがいますが、この人たちも多くが数学を得意とする理学系の人たちです。

まとめ
強いて、数学科に進まなくても、まずは情報系に進んで、どうしても純粋数学をやりたいなら、修士から数学科に進めばいいので、強い思いがないなら、学部から進むことはないだろうと思います。でも、リカバリーできるので、少なくとも今は数学が一番したいなら、進んでもいいのではないか？、と思います。
ノーベル経済学賞受賞者の大半が実質的には数学者であるように、理系に限らず、理論研究の多くが数学を基礎とするので、若い頃に数学に打ち込むのは悪くないと思います。
更に言うなら、最低でも旧帝に入れないなら、数学科はやめておくのが無難だと思います。他の科目は全然ダメだけど、数学だけは図抜けているケースもあるかもしれませんが、旧帝にすら入れない人が数学に限らず、理論系専攻を選ぶこと自体がリスキーです。才能の世界なので、才能がない人には苦痛でしかありません。
学部批評は読者さんのコメントがかなり参考になると思うので、人生の先輩にあたる読者さんはリクエストをくれた高校生にアドバイスをあげてください。

(引用終り)
以上

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

66: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 12:56:34.12 ID:ZzdgHR/Z

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

>そのStallmanの哲学は（学術という人間の創作物に対する考え方として）正しいでしょうね。でも
>計算機の世界、特に昨今のAI関連は「モロにお金と関係する」から、まあ厄介な話ですわね。

そうなんですよね
でも、ストールマンのGNUプロジェクトが、linuxを支えたんですよね

https://ja.wikipedia.org/wiki/Linux
Linux
(抜粋)
概要
ユーザ空間のシステムツールやライブラリの多くは、リチャード・ストールマンが1983年に立ち上げたGNUプロジェクトによって作られたものであるため、フリーソフトウェア財団 (FSF) はGNU/Linuxという名前を使うことを推奨している[12][13]。

GNU
GNUプロジェクトは1983年にリチャード・ストールマンによって開始され、フリーソフトウェアのみによって「完全なUnix互換ソフトウェアシステム」を作り上げることをプロジェクトのゴールとしていた。
作業は1984年より開始され、1985年にはストールマンがフリーソフトウェア財団を立ち上げ、1989年には GNU 一般公衆利用許諾書 (GNU GPL) を書いた。1990年代初頭までに、オペレーティングシステムに必要な多くのプログラム（ライブラリ、コンパイラ、テキストエディタ、Unixシェル、ウインドウシステム）が完成した。
しかしながら低水準の要素 ? デバイスドライバ、デーモン、カーネルといったものは頓挫しているか未完成であった[15]。リーナス・トーバルズは、もし当時GNUカーネルが利用できたならば、自分はLinuxを作っていなかっただろうと発言している[16]。

起源
リーナス・トーバルズはLinuxカーネルの開発をMINIX上で開始し、MINIX上で動作するアプリケーションはLinux上でも使われていた。Linuxが十分に成熟すると、それ以降のLinuxの開発はLinux上で行えるようになった[19]。すべてのMINIXコンポーネントはGNUのプロダクトによって置き換えられた。

当時、自由なソフトウェアによるUnix互換OSを開発しようとしていたGNUプロジェクトは自身のカーネル (GNU Hurd) を完成していなかった（2015年現在もなお開発途上である）[21]。

開発者たちはLinuxカーネルを育てていくとともに、GNUコンポーネントとLinuxを統合する作業を行い、最終的に実用的かつフリーなオペレーティングシステムを作り上げた[15]。
(引用終り)

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

83: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 18:33:37.24 ID:ZzdgHR/Z

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

>数学に取って一番大切な事は（恐らくは）『正しい方向を向く事』であり、その方向が正しくさえ
>あれば、その証明には（些末とまでは言わないが）「そんなに大した価値はない」と思います。
>岡潔とか佐藤幹夫の場合を考えれば、それは『自ずから明らか』だと思いますが。

マイケル・アチャと渕野昌先生が、同様の発言をしていますね
過去スレ36 http://rio2016.2ch.net/test/read.cgi/math/1499815260/239

山辺 英彦先生は、結構若くして亡くなったんですよね。
なにかで読んだ記憶がある。ああ、神戸一中か。今の神戸高校ですね（＾＾
https://ja.wikipedia.org/wiki/%E5%B1%B1%E8%BE%BA%E8%8B%B1%E5%BD%A6
山辺 英彦（やまべ ひでひこ、1923年8月22日 - 1960年11月20日）は、日本の数学者。兵庫県芦屋市出身。山辺武彦、レイの五男として生まれる。神戸一中、第三高等学校をへて、1944年東京帝国大学入学、1947年に東京大学卒業。その後大阪大学に行く。
1949年大阪大学助手、1951年講師。1952年から2年間プリンストン高等研究所研究員。1954年、大阪大学から理学博士号を取得。1954年ミネソタ大学助教授を経て、1957年准教授。1958年大阪大学教授。1959年再びミネソタ大学。1960年ノースウェスタン大学教授。同年11月くも膜下出血で死去。
　山辺は、位相群、リー群の構造を研究しヒルベルトの第5問題の解決に貢献したことで知られる。その後、偏微分方程式、力学系、微分幾何学の研究に移る。微分幾何学では共形幾何学における変分問題である「山辺の問題」が有名である。また山辺不変量、山辺フロー、山辺定数などに名を残す[1][2]。

「山辺の問題」下記
https://ja.wikipedia.org/wiki/%E5%B1%B1%E8%BE%BA%E5%95%8F%E9%A1%8C
https://en.wikipedia.org/wiki/Yamabe_problem

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

85: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/02(水) 19:55:03.60 ID:ZzdgHR/Z

>>84
￥さん、どうも。スレ主です。
あまり、そういうプロ研究者の深い話は分からないのですが（＾＾

コンヌ先生の名を聞いたのは、いつだったか
覚えているのは、フォンノイマン環の分類で、富田竹崎理論を完成させたという話しだったような
ああ、下記にありますね。日本人がやっていたのに、最後の仕上げを、コンヌ先生にやられてしまったみたいな書き方だったな～
でも、その後は（最近まで、あまり知らなかったのですが）、フィールズ賞の後も、いろんな分野で重要な仕事（例えば「非可換幾何」の構築とか）をされた
最近でも、黒川先生が書いていたのが、リーマン予想の話でしたね
知れば知るほど、すごい人だなと思います（＾＾

https://ja.wikipedia.org/wiki/%E4%BD%9C%E7%94%A8%E7%B4%A0%E7%92%B0%E8%AB%96
(抜粋)
作用素環論とは、作用素環とよばれるクラスの位相線型環を主に研究する数学の分野である。研究対象の直接的な定義からは複素数体上無限次元の線型代数学と言え、普通関数解析学に分類されている。
しかし、その手法や応用はいわゆる代数学・幾何学・解析学の諸分野に幅広くわたり、アラン・コンヌが提唱する非可換幾何の枠組みを与えていることでも特筆される。

1930年代のフランシス・ジョセフ・マレー（英語版）とフォン・ノイマンのフォン・ノイマン環に関する一連の論文や、1940年代のイズライル・ゲルファントとマルク・ナイマルク（英語版）によるC*-環に関する研究が作用素環論の始まりだといわれている。
可換環と局所コンパクト空間の圏の同値性を与えるゲルファント・ナイマルクの定理はアレクサンドル・グロタンディークによるスキームの概念にも影響を与えている。1970年代に冨田・竹崎理論を駆使してコンヌが III 型フォン・ノイマン環の分類をほぼ完成させた。
1980年代にはヴォーン・ジョーンズによって部分因子環 (英: subfactor)の理論と、その派生物としてトポロジーにおける結び目の不変量を与えるようなジョーンズ多項式が得られた。一方で作用素環はそのはじめから数理物理（特に量子力学）の定式化に使われることが意識されており、現在でも物理学とのあいだに活発な交流がある。
日本の作用素環論の研究者で1994年以降、ICMで全体講演をしたものはいないが、招待講演者の中には小沢登高、泉正己がいる。
(引用終り)

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

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.031s