[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
50(3): 2017/08/02(水)10:36 ID:X0DMup6W(2/3) AAS
スレ主が選択公理はおろか、同値類の概念さえ理解していない
という疑いは、まあそうだろうなと思う。
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
54(1): 現代数学の系譜 古典ガロア理論を読む 2017/08/02(水)11:03 ID:ZzdgHR/Z(10/35) AAS
>>50
ID:X0DMup6Wさん、どうも。スレ主です。
>スレ主が選択公理はおろか、同値類の概念さえ理解していない
>という疑いは、まあそうだろうなと思う。
当たりだ。が、ID:clpGrOhbさん、もっと理解していないぜ（＾＾
というのが、>>21-22 & >>44だな（＾＾
91: 2017/08/02(水)20:16 ID:1ojXlxJM(7/9) AAS
>>50
>スレ主が選択公理はおろか、同値類の概念さえ理解していないという疑い
>>54
>当たりだ
idiotは金鉱でも掘ってろ
>が、ID:clpGrOhbさん、もっと理解していないぜ（＾＾
馬鹿は自分が利口だと思い込む
>>1 貴様のことだ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s