資料詳細

  • 1 件中、 1 件目

渕一博その人とコンピュータサイエンス 利用可

田中 穂積／編著 -- 近代科学社 -- 2010.3 -- 289.1

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫２上 Map B/289.1/ﾌﾁ/988085 1109880851 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 渕一博その人とコンピュータサイエンス
著者 田中 穂積 ／編著, 黒川 利明 ／編著, 太田 耕三 ／編著, 古川 康一 ／編著, 岡田 久雄 ／編著  
出版地 東京
出版者 近代科学社
出版年 2010.3
ページ数 6,257p
大きさ 22cm
一般件名 情報科学
個人件名 淵 一博
内容紹介 日本のコンピュータ科学の発展に偉大な足跡を残した情報科学者・渕一博の思想的背景や先見性に迫り、その多大な業績を解き明かす。また、卓越したリーダーシップと次世代の研究者を育て上げたマネージメントにも焦点をあてる。
ISBN13桁 978-4-7649-0365-4 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 289.1

ページの先頭へ

内容一覧

タイトル 著者名 ページ
情報技術の思想家 林 晋／著 3-33
渕の研究姿勢 太田 耕三／著 34-43
渕のプロジェクト運営と思想 古川 康一／著 44-71
情報産業の技術的基盤を考える 淵 一博／著 75-83
コンピューター技術開発の過去・将来 淵 一博／著 84-95
A PROGRAM SIMULATOR BY PARTIAL INTERPRETATION 淵 一博／著 99-114
ETSSのデバッガ開発における独創的研究 田中 穂積／著 115-118
補説 黒川 利明／著 119-121
述語論理的プログラミング 淵 一博／著 122-138
パターン情報処理 黒川 利明／著 139-150
定理証明として見たEarley/Prattのパージング・アルゴリズム 淵 一博／著 151-154
第五世代コンピュータの理論的諸問題 淵 一博／著 155-165
KL1プログラミング雑感 淵 一博／著 166-168
第五世代における渕の研究業績 古川 康一／著 169-176
逆対称声道形の推定と多帯域瀘波特性近似 淵 一博／著 177-189
渕さんの音声研究 太田 耕三／著 190-209
渕著訳・監修書、論文集成 213-229
エドワード・A.・ファインゲンバウム エドワード・A.・ファインゲンバウム／著 233-234
ロバート・コワルスキー ロバート・コワルスキー／著 235-236
パメラ・マコーダック パメラ・マコーダック／著 237
ジョン・アラン・ロビンソン ジョン・アラン・ロビンソン／著 238
テリー・ウィノグラード テリー・ウィノグラード／著 239
相磯秀夫 相磯 秀夫／著 240
太田耕三 太田 耕三／著 241
岡田久雄 岡田 久雄／著 242-243
岡松壯三郎 岡松 壯三郎／著 244
小川義久 小川 義久／著 245
黒川利明 黒川 利明／著 246
田中穂積 田中 穂積／著 247-248
田村浩一郎 田村 浩一郎／著 249
近山隆 近山 隆／著 250
長尾真 長尾 真／著 251
森英夫 森 英夫／著 252
橋田浩一 橋田 浩一／著 253
古川康一 古川 康一／著 254
渕武志 渕 武志／著 255

ページの先頭へ