[過去ﾛｸﾞ]
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1501561433/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
72: ￥氏 ◆2VB8wsVUoo [sage] 2017/08/02(水) 14:00:54.45 ID:6XC/wDpJ 望月論文に関して私見を申し述べます。 私はその論文を精読した訳ではないので、従って「あのアプローチが正しい方向である」と断言 する事は出来ません。ですが： １．FLTに関して（例えばABCから）別ルートを付けるという事は『誰かが』スルべき。 ２．正しい価値観に従った研究であれば、それはサポートするべき。 という判断です。私の基本的な考え方として： ★★★『正しい方向を向いた未完の研究よりも、遣りました出来ましたの集積よりは価値がある。』★★★ と思います。（この部分に関しては人に拠って判断が違うでしょうが。） 易しい数学には（その全てに）価値が無いとは言いませんが、でも： ★★★『易しいと最初から判ってて、そして「出来ると判ってる事しかしない」のは研究とは言わない。』★★★ という考え方を私はしています。 ￥ 追加：例えばかつての「ドゥブランジュによるRiemann予想の解決」（という不完全な論文）です が、これは『十分に評価に値する』というP.Cartier先生の見解と、私は同意見です。 http://rio2016.5ch.net/test/read.cgi/math/1501561433/72
110: ￥氏 ◆2VB8wsVUoo [sage] 2017/08/03(木) 00:37:47.45 ID:qtUXVqva 応用数学の定義に関してです。 そもそも「何を扱うか」と「どういう風に扱うか」には『何の関係もない』と考えるべきで、従って 例えば自民党の派閥政治を扱ってる時でも、もしそのモデルを記述する論理構造が厳密で ブルバキ的ならば、それは応用数学でもあり、そして純粋数学でもあります。 なので区別とか線引きは無意味かと。大昔の荒木先生の教えに『数学と物理学の線引きは ナンセンス』ってのがありましたわ。まあ何を数学と認識するかも、所詮は「その人の勝手」な ので。大切なのは、その自分の個人見解を『他人に押し付けない』というだけですから。 例えばこんなのもありましたわ。深谷氏は数学を自然科学だと言う。まあ幾何学は自然科学 だと彼は言いたいんだと思う。でも私の見解はあくまでも『幾何学と言えども数学であり、自然 科学じゃない』というもの。それは私が「モデルとして抽出した論理構造の部分を幾何学とし て見る」という立場だからです。モデルさえ取り出してしまえば、それが何処から来たかを問う べきではないと考えるからです。但し『物理こそがその出所』というのはその通りかと。 ￥ http://rio2016.5ch.net/test/read.cgi/math/1501561433/110
198: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/04(金) 19:19:25.45 ID:z3RQVy2+ >>196 ピエロくん、今日のお笑い出演、ご苦労（＾＾ でもね、尊敬しているんだ ぐだぐだ、訳分からん言い訳を書く能力はすごいと そこらは、あんたの取り巻きには無いね あんたの取り巻きは、からっきし書けないからね とにかく何か、デタラメでもなんでも、数学っぽく書いて来るって根性がすごい（＾＾ まるで中国人なみだね。日本人ってのは、小利口に黙り込んでしまうんだ、こういう場合。ただ、沈黙するだけが日本人の多数らしいね・・（＾＾ >で、測度論に固執したって 測度論は、 ID:fQUDNVlYさんたち（おそらく 旧High level peopleと思うが）と論争してくれれば良い だけど、ID:fQUDNVlYさんたちも苦労するだろうな・・、確率空間の定義は、高校レベルだからな〜（＾＾ ああ、書き込み内容のレベルが上がったね ”いっとくけど、確率の独立の定義に「予測できない」とかいうのはないぞ 単に事象P＆Qの確率が事象Pの確率と事象Qの確率の積になるってだけのこと”か うんうん、それだよ。で、「事象P＆Qの確率が事象Pの確率と事象Qの確率の積」は、定理ではなく”定義”だということも、しっかり読んでおいてくれ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/198
301: １３２人目の素数さん [] 2017/08/05(土) 16:47:02.45 ID:fzTi57IH >>297 >>1のコピペを有難る奴というのは わけもわからず般若心経を唱える爺婆 と同じメンタリティの持ち主だな >>1は詐欺師なのは明らか 詐欺師というのはまず自分を騙してるから 自分のやってることの動機に悪意があると意識しない 俺は天才だ！！！と絶叫し、それを正当化することが当然だと思ってる 実際にはただのバカなのだから、ただのウソツキであり悪そのもの http://rio2016.5ch.net/test/read.cgi/math/1501561433/301
305: 哀れな素人 [] 2017/08/05(土) 16:52:49.45 ID:Kbpj9xtg >>302のようなパカは無視して、ついでだから宣伝しておくと 「解析学の大錯誤」で批判したのは次の公理である。 これらはすべてインチキあるいは無益である。 デデキントの切断 ワイエルシュトラスの定理 有界な単調数列の収束 区間縮小法 コーシーの収束判定法 コーシー列による実数の構成 ε−δ論法 カントールの対角線論法 「すべてのパラドックスは詐欺である」で批判したのは以下。 これらもパラドックスではない。ただの詐欺である。 「私は嘘つきである」 「この文は偽である」 「次の文は真である」「前の文は偽である」 床屋のパラドックス ラッセルのパラドックス 図書目録のパラドックス http://rio2016.5ch.net/test/read.cgi/math/1501561433/305
652: ￥氏 ◆2VB8wsVUoo [sage] 2017/08/11(金) 11:34:08.45 ID:ToUPXODc 低能がエリート数学者に興味を持つのは良くないですわ。そやしヤメレ。 ￥ http://rio2016.5ch.net/test/read.cgi/math/1501561433/652
678: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/08/11(金) 14:53:22.45 ID:BePOAppZ >>676 おっちゃん、どうも、スレ主です。 お元気そうでなによりです（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1501561433/678
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s