[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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面サイコロ
56(1): ￥氏 ◆2VB8wsVUoo 2017/08/02(水)11:07 ID:6XC/wDpJ(4/20) AAS
外部ﾘﾝｸ:ja.wikipedia.org
私が覚えてるのはコレですが、こういう類の専用機はまだ他にもきっとあるんでしょうね。私が
見た実物は当時数理研の地下に置いてあったものです。その後もある事情でLispにはチョット
だけ興味を持ちましたが、でもそういう特別の実装系では数学は進展しないと判断して放棄し
ました。その実装系の元々の考え方とかアルゴリズムにしか興味がないので。
￥
57(2): 2017/08/02(水)11:18 ID:X0DMup6W(3/3) AAS
>>53
あのさ、100個の箱は「決定番号」という自然数が入るという意味だよ。
「最大決定番号」を当たりとする。
各箱に当たりが入る確率は計算できないが
100箱の中に少なくとも一つは入っている
ことは分かっている。
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くんを応援してやんなよ
喜ばれるだろうよ
62(1): ￥氏 ◆2VB8wsVUoo 2017/08/02(水)12:37 ID:6XC/wDpJ(5/20) AAS
そのStallmanの哲学は（学術という人間の創作物に対する考え方として）正しいでしょうね。でも
計算機の世界、特に昨今のAI関連は「モロにお金と関係する」から、まあ厄介な話ですわね。
￥
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
67(2): ￥氏 ◆2VB8wsVUoo 2017/08/02(水)13:01 ID:6XC/wDpJ(6/20) AAS
日本の数学科はそろそろ何とかしないと、それこそ昨今崩壊した法科大学院みたいになるだ
けであり、せめて東大と京大だけでも早急に何とかスルべき。例えば：
１．修士論文と博士論文は、その全てを英文とする。
２．審査開始前に、自前の鯖で国際公開する。
３．指導教官は審査委員からは外し、そして委員には（外国人の）学外者を加える。
という様な事をしないとダメだろう。
純粋数学の場合には「小保方博士論文事件」みたいになっても、それは非常に顕在化しにく
いだろう。でもこのまま放置すれば無茶苦茶にナルだけだ。駅弁を取り締まったり潰すよりも、
先ずは『東大と京大からきちんとする』しかない。こういう状況を放置すれば、教官が地獄を見
るだけではなくて、通行手形を渡された学位取得者の方も困るだけ。
省2
68: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)13:04 ID:ZzdgHR/Z(20/35) AAS
>>59 訂正
>>53
その設定は、元の時枝記事とは違うよ
↓
>>57
その設定は、元の時枝記事とは違うよ
69: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)13:13 ID:ZzdgHR/Z(21/35) AAS
>>67
￥さん、どうも。スレ主です。
>先ずは『東大と京大からきちんとする』しかない
これ生物学系で、「小保方博士論文事件」類似ですね
外部ﾘﾝｸ[html]:www3.nhk.or.jp
東大教授の論文 大学がねつ造と改ざんの不正認定 8月1日 17時04分 NHK
(抜粋)
国内有数の分子生物学の研究者である東京大学の教授らが、国際的な科学雑誌、ネイチャーなどに発表した５本の論文について、大学は実験データのねつ造などの研究不正があったとする調査結果を公表しました。教授は「各実験から得られる結論を覆えそうとする意図で行ったものではないが、深く反省します」とコメントしています。
(引用終り)
70: 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)13:26 ID:ZzdgHR/Z(22/35) AAS
>>67
￥さん、どうも。スレ主です。
>純粋数学の場合には「小保方博士論文事件」みたいになっても、それは非常に顕在化しにくいだろう。
へ～、そうなんですか？
まあ、確かに、下記望月新一博士のＩＵＴ論文、未決着という
あれから５年ですかね？
ほとんど、プロ数学者でも、これ読めないという
で、ＩＵＴ論文くらい話題になって、みなが読もうとして、これだもんな～（＾＾
学位論文レベルでは、逆に、話題にもならず、だけも読まないから・・
学位は出ても、真偽不明だと
省17
上下前次1-新書関写板覧索設栞歴
あと 611 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s