|
|
フジオカ アツシ
Fujioka Atsushi 藤岡 淳 所属 神奈川大学 情報学部 システム数理学科 神奈川大学大学院 工学研究科 工学専攻(情報システム創成領域) 職種 教授 |
|
言語種別 | 日本語 |
発行・発表の年月 | 2008/05 |
形態種別 | 著書 |
標題 | 「計算理論の基礎 原著第2版 2.計算可能性の理論 |
執筆形態 | 共著 |
出版社・発行元 | 共立出版株式会社 |
担当範囲 | 第2部第3章 Church-Turing の提唱,第2部第4章 判定可能性 |
著者・共著者 | Michael Sipser 著, 太田 和夫・田中 圭介 監訳 |