Digital Library of Nara Institute of Science and Technology

Help Japanese
Login Exit

Search Result in Detail : Video

数え上げ可能な無限と計算可能性の世界 MPMeister

カゾエアゲ カノウ ナ ムゲン ト ケイサン カノウセイ ノ セカイ

大崎人士

生駒 : 奈良先端科学技術大学院大学, 2011.1

Related materials

Holdings:
  Volume Printing year Location Call Number Material ID Circulation class Status Waiting
1 MPMeister   Digital Library LA-I-R M007578   0
Contents Intro. : 本講義は,情報科学でもっとも古典的な学問分野の「計算論」の基礎について,初学者向けの一話完結の講演です.講演では,ショートトーク「数え上げ可能な無限」で可算無限と構成的証明について簡単に解説します.講演の後半では,計算論の言葉を用いて,チューリングマシン,決定不可能性の本質などを解説します.
Publication year : 2011
Form : 電子化映像資料(1時間53分58秒)
Series title :

情報科学研究科・ゼミナール講演 ; 平成22年度

Note :

講演者所属: 教育連携プログラミング科学講座・産業技術総合研究所

講演日: 平成23年1月24日

講演場所: 情報科学研究科大講義室

Country of publication : Japan
Title language : Japanese (jpn)
Language of texts : Japanese (jpn)
Author information :

大崎, 人士 (オオサキ,ヒトシ)