長尾真（情報工学者）新井紀子（数学者）｜INFORIUM｜NTTデータ
人間を理解し、人工知能をさらに先へ。 情報処理学で多大な功績を残した長尾真氏と 「ロボットは東大に入れるか」プロジェクトで人間の能力に注目するようになった 国立情報学研究所の新井紀子教授が、 AI技術の発展にはこれから何が必要になるのか、徹底討論しました。 人間の知能を支えるもの新井 私が「ロボットは東大に入れるか」というプロジェクト(※1)を始めたときに人工知能学、特に言語処理の方面から「何でこんな役に立たないことをするのか」という批判的なご意見を受けました。そんな中、長尾先生が「それは今やるのはなかなか面白かろう」と、言語処理学会の記念大会などに私を講師として呼んでくださったのが印象に残っています。 長尾 でも、それから4～5年のうちに東ロボをおやめになった。「もうちょっとやったら面白いところまで展開するのでは」と思っていたので、それが残念です。 新井 いえ、まだプロジェクトはやめてい
書かせる試験は階層の固定に寄与するだろう | taggaの日記 | スラド
B. Bernstein が言語コード論で、 労働者階級の子どもが、主観的に文脈依存的に語る制限コードのみを獲得するのに対して、 中産階級の子どもが、制限コードに加えて、客観的に文脈非依存に語る精密コードも獲得する、そういう傾向があることを示そうとした。 これが正しければ、 学校という精密コードが求められる場で、 制限コードのみをもつ労働者階級の子どもは、 大きなハンディキャップを負わされている。 とはいえW. Labovは、 「黒人英語」の研究を通して、 「制限コード」のようなものを使っていても、 思考能力と豊かな表現力があることを示している。 なのだけど、 また「制限コード」で語られるテキストは「精密コード」を知るものが読めば、 非論理的に見えてしまう。 そして、こういうテキスト/談話の構成のしかたの差違に加えて、 社会方言に対するステレオタイプは、厳然としてある。 ということで、書か
Mizar - Wikipedia
自動証明検証システム Mizar（ミザー、ミザール）は、まったく厳密に形式的な形で数学的な定義や証明を記述するためのデータ記述言語（Mizar-言語）、実際にその言語で記述された証明の内容を検証することができる計算機プログラム（証明検証プログラム）、プログラムから参照して新たな証明の際に利用可能な定義と証明済みの定理からなるライブラリ (MML) の三者から構成される。 Mizar と同様の目的を持つプロジェクトに、ロバート・ボイヤーのQEDプロジェクトがある。 概要[編集] システムの開発は1973年にアンジェイ・トリブレッツによって始められ、システムの保守をポーランドのビアリストーク大学（英語版）、カナダのアルバータ大学、日本の信州大学で行っている。 Mizar-言語で記された証明文（以下、Mizar-論文）は普通のASCIIコードで書かれている。Mizar-言語は、数学の通常の言葉遣
一応突っ込んでおくと、「言語ゲーム」の用法が間違ってるよ。
「哲学上の諸問題と言われるもののほとんど全ては、定義の問題に帰着する。」というのは、Ｌ．Ｗ．ヴィトゲンシュタインの「論理哲学論考」における中心的な主張。そして『言語ゲーム』というのは、そのヴィトゲンシュタインの作った言葉であり、論である。 そこまでは正しい。 だけど、「言語ゲーム論」というのは、「論理哲学論考」を書いたあと、「これで全ての疑問は解かれた」と宣言して田舎に引っ込んだヴィトゲンシュタインが（田舎で小学校教師をやっていた）、小学生とのふれあいの中から、自分の過去の論（すなわち「論理哲学論考」における思想）の欠陥に気づいて、その欠陥を説明するために作った論なのね。その後彼は、「哲学探究」という本を出して、「論理哲学論考」が見落としていた問題について説明しようとした。それが成功したという人もいれば失敗したという人もいるが、この本も２０世紀哲学史に残る偉大な書であることは間違いない。
分析哲学 - Wikipedia
分析哲学（ぶんせきてつがく、英: analytic philosophy）は、ゴットロープ・フレーゲとバートランド・ラッセルによる論理学（記号論理学）研究及び言語哲学研究の成果に起源を持ち、ラッセルの教えを受けたルートヴィヒ・ウィトゲンシュタインの言語哲学研究、及びウィトゲンシュタインの思想に対する誤解を含めて彼から多大な影響を受けた論理実証主義の受容とそれに対する批判、日常言語学派の発展と影響の拡大などの歴史を経て形成された現代哲学の総称である。なお広辞苑によれば、分析哲学の主唱者はジョージ・エドワード・ムーアである。 これは、現代の記号論理学や論理的言語分析、加えて、自然科学の方法及び成果の尊重を通じて形成された。20世紀には英語圏で主流となった哲学である。たとえばアメリカ合衆国の圧倒的多数の大学で、哲学科で教育され研究されるのは「分析哲学」である。これは、イギリスやカナダ、オーストラ
ルートヴィヒ・ウィトゲンシュタイン - Wikipedia
言語の写像理論（Picture theory of language）、真理関数、事態（State of affairs）、論理的真実・論理的必然性（Logical truth、Logical necessity）、意味の使用説（Meaning is use）、言語ゲーム、私的言語論、家族的類似、規則遵守（Rule following）、生活形式、ウィトゲンシュタインの信仰主義（Wittgensteinian fideism）、反実在論、ウィトゲンシュタインの数理哲学（Ludwig Wittgenstein's philosophy of mathematics）、日常言語学派（Ordinary language philosophy）、人工言語学派（理想言語学派）、意味の懐疑論（Meaning scepticism）、記憶の懐疑論（Memory scepticism）、意味論的外在主義（
グッドマンのグルーのパラドックス - 異端的考察
グルーのパラドックスとは、以下のようなものである。 今まで観察されたすべてのエメラルドは緑であったとする。そうすると、帰納的推測により、2009年に観察されるエメラルドも緑色だろうと確証することができる。 ここで、「2008年までに観察されれば緑色を指し、2009年以降ならば青色を指す単語」として「グルー」という語を導入すると、これまで観察されたエメラルドは緑色であると同時にグルーでもあることになる。つまり、エメラルドが緑であることとグルーであることとは同程度に確証されることとなり、2009年以降のエメラルドについては、帰納的推測によって緑ともグルー（＝2009年以降なので青）とも同程度に確証されてしまう。 しかし、グルーとはいかにも不自然な単語ではないか、との反論に、グルーのパラドックスの提唱者グッドマンは以下のように反論する。時刻ｔまではブルーであり、時刻ｔ以降はグリーンであることを意
数学屋のメガネ:言語なしの思考は出来るか - livedoor Blog（ブログ）
僕は、三浦つとむさんの言語論で言語について学んだこともあり、言語という対象はあくまでも表現されたものという前提を持っている。それは空気の振動による音声であったり、文字による表現であったり、形式は違うことはあるけれども、ある物質的存在を鏡として成立するもので、唯物論的に扱うことがふさわしいと思っていた。 だから、ソシュールが言語規範を対象にして言語を考えようとしているという批判を見たとき、表現ではない言語規範を言語として扱うことは間違いではないかと思ったものだ。しかし、言語の現象としての言語規範が言語学の対象として考察されるのはそれなりに理由があることだとも感じる。 三浦さんは言語学の前半で認識に対する考察に多くを費やしている。これは、言語の成立する基礎として認識というものが重要であるという判断からだ。認識そのものは言語ではないが、言語が表現する基になるものとして認識を解明しておかなければ、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
