資料詳細

  • 1 件中、 1 件目

【図書】 ＡＣＭチューリング賞講演集

赤摂也 ／〔ほか〕訳   -- 共立出版 -- １９８９．７ -- ２３ｃｍ -- ５７８ｐ

資料詳細

タイトル ＡＣＭチューリング賞講演集
著者名等 赤摂也 ／〔ほか〕訳  
出版 共立出版 １９８９．７
大きさ等 ２３ｃｍ ５７８ｐ
分類 007.63
件名 電子計算機
注記 ＡＣＭ　Ｔｕｒｉｎｇ　ａｗａｒｄ　ｌｅｃｔｕｒｅｓ．／の翻訳
内容 各章末：参考文献
要旨 ｂｉｔ創刊２０年記念出版。ＡＣＭチューリング賞はコンピュータ科学者に与えられる世界最高の賞である。本書は、チューリング賞が制定された１９６６年から１９８５年までの２０年間の受賞記念講演２２編を収録したものである。
目次 第１部　序論―プログラミング言語とシステム；１９６６　アルゴリズムシステムの合成；１９７２　謙虚なプログラム；１９７４　芸術としてのプログラミング；１９７６　論理学とプログラミング言語；１９７７　プログラミングはフォン・ノイマン・スタイルから解放されうるか？―関数型プログラミング・スタイルとそのプログラム代数；１９７８　プログラミングのパラダイム；１９８０　皇帝のふる着；１９８３　ソフトウェア研究に思う；１９８３　信用を信用することができるだろうか；１９８４　プログラミング言語の設計から計算機の構築へ；第２部　序論―電子計算機と計算の方法論；１９６７　電子計算機の過去と現在；１９６８　計算機科学に対するある人物の見解；１９６９　コンピュータ・サイエンスにおける形と中身；１９７０　一数値解析研究者の回顧と展望；１９７１　人工知能における一般性；１９７３　航海士としてのプログラマ；１９７５　経験に基づく探究としての計算機科学―記号と探索；１９７６　計算量の理論；１９７９　思考の道具としての表記法；１９８１　関係データベース―生産性向上のための実用的基盤；１９８２　計算量理論概説
ISBN(13)、ISBN 　　 4-320-02487-7
書誌番号 1190308849

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/4321 一般書 利用可 - 0003590410 iLisvirtual

ページの先頭へ