『長尾真（情報工学者）新井紀子（数学者）｜INFORIUM｜NTTデータ』へのコメントブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有
長尾真（情報工学者）新井紀子（数学者）｜INFORIUM｜NTTデータ
人間を理解し、人工知能をさらに先へ。 情報処理学で多大な功績を残した長尾真氏と 「ロボットは東大に入れるか」プロジェクトで人間の能力に注目するようになった 国立情報学研究所の新井紀子教授が、 AI技術の発展にはこれから何が必要になるのか、徹底討論しました。 人間の知能を支えるもの新井 私が「ロボットは東大に入れるか」というプロジェクト(※1)を始めたときに人工知能学、特に言語処理の方面から「何でこんな役に立たないことをするのか」という批判的なご意見を受けました。そんな中、長尾先生が「それは今やるのはなかなか面白かろう」と、言語処理学会の記念大会などに私を講師として呼んでくださったのが印象に残っています。 長尾 でも、それから4～5年のうちに東ロボをおやめになった。「もうちょっとやったら面白いところまで展開するのでは」と思っていたので、それが残念です。 新井 いえ、まだプロジェクトはやめてい
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
再帰理論 --ゲーデルの不完全性定理以後--（1930〜50年代） - とりマセ
某所で再帰理論の最近の研究の流れの話が出たので、せっかくなのでブログに纏めておきます。 数学基礎論の大きな分野のひとつとして、ゲーデルらの研究を発端として生まれた再帰理論。 では、ゲーデルの不完全性定理以後、数学基礎論の一分野である再帰理論は、どのような発展を遂げたのでしょうか。今回は、1950年代までの再帰理論の研究の歴史を辿ってみましょー。 1930年代 1930年代。チャーチ、ゲーデル、チューリング、クリーネその他多くの研究者による研究、そしてゲーデルの不完全性定理を発端の一つとして、計算可能性と計算不可能性の研究が始まりました。1930年代の計算論の研究の始まりは歴史的に非常に重要ですが、詳しい文献がたくさんあるので、ここでは省略します。 このような1930年代の研究によって、計算という概念が数学的に定義され、コンピュータ開発もたぶん順調に進むことになったのでしょう。しかし何よ
Practical Foundations of Mathematics
Library of Congress Classification: QA 39.2.T413; Card number 98-39472.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Practical Foundations of Mathematics
熊本大学教育学部/Faculty of Education, Kumamoto University
トピカルトピ子さんはTwitterを使っています: "数学基礎論リンク集 http://t.co/aCsbcit66o"
Practical Foundations of Mathematics
Amazon.co.jp: 数学基礎論: 新井敏康: 本
KITAMURA YUKINOBU Web Page
Practical Foundations of Mathematics
サービス終了のお知らせ
数学