資料詳細

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

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

所蔵

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

所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
閲覧室	/289.1/ﾌﾁ/	116305400	成人一般	可能

ページの先頭へ

資料詳細

タイトル	渕一博その人とコンピュータサイエンス
タイトルカナ	フチカズヒロソノヒトトコンピュータサイエンス
著者	田中穂積／編著, 黒川利明／編著, 太田耕三／編著, 古川康一／編著, 岡田久雄／編著
著者カナ	タナカホズミ,クロカワトシアキ,オオタコウゾウ,フルカワコウイチ,オカダヒサオ
出版者	近代科学社
出版年	2010.3
ページ数	6,257p
大きさ	22cm
一般件名	情報科学
ISBN13桁	978-4-7649-0365-4
言語	jpn
分類記号	289.1
内容紹介	日本のコンピュータ科学の発展に偉大な足跡を残した情報科学者・渕一博の思想的背景や先見性に迫り、その多大な業績を解き明かす。また、卓越したリーダーシップと次世代の研究者を育て上げたマネージメントにも焦点をあてる。
著者紹介	1942～2009年。東京工業大学名誉教授。北陸先端科学技術大学院大学(JAIST)特任教授などを務めた。

ページの先頭へ

内容一覧

タイトル	著者名	ページ
情報技術の思想家	林晋／著	3-33
渕の研究姿勢	太田耕三／著	34-43
渕のプロジェクト運営と思想	古川康一／著	44-71
情報産業の技術的基盤を考える	淵一博／著	75-83
コンピューター技術開発の過去・将来	淵一博／著	84-95
A PROGRAM SIMULATOR BY PARTIAL INTERPRETATION ACM Second Symposium OS	淵一博／著	99-114
ETSSのデバッガ開発における独創的研究解説	田中穂積／著	115-118
補説解説	黒川利明／著	119-121
述語論理的プログラミング EPILOGの提案	淵一博／著	122-138
パターン情報処理解説	黒川利明／著	139-150
定理証明として見たEarley/Prattのパージング・アルゴリズム	淵一博／著	151-154
第五世代コンピュータの理論的諸問題	淵一博／著	155-165
KL1プログラミング雑感 proverの並列化の体験より	淵一博／著	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

ページの先頭へ