ACMチューリング賞講演集

Author(s)

Bibliographic Information

ACMチューリング賞講演集

赤攝也 [ほか] 訳

共立出版, 1989.7

Other Title

ACM turing award lectures : the first twenty years 1966-1985

Title Transcription

ACM チューリングショウ コウエンシュウ

Access to Electronic Resource 1 items

Available at  / 147 libraries

Note

著者: チャールズ W. バックマンほか

付: 参考文献

Description and Table of Contents

Description

ｂｉｔ創刊２０年記念出版。ＡＣＭチューリング賞はコンピュータ科学者に与えられる世界最高の賞である。本書は、チューリング賞が制定された１９６６年から１９８５年までの２０年間の受賞記念講演２２編を収録したものである。

Table of Contents

  • 第１部　序論—プログラミング言語とシステム
  • １９６６　アルゴリズムシステムの合成
  • １９７２　謙虚なプログラム
  • １９７４　芸術としてのプログラミング
  • １９７６　論理学とプログラミング言語
  • １９７７　プログラミングはフォン・ノイマン・スタイルから解放されうるか？—関数型プログラミング・スタイルとそのプログラム代数
  • １９７８　プログラミングのパラダイム
  • １９８０　皇帝のふる着
  • １９８３　ソフトウェア研究に思う
  • １９８３　信用を信用することができるだろうか
  • １９８４　プログラミング言語の設計から計算機の構築へ
  • 第２部　序論—電子計算機と計算の方法論
  • １９６７　電子計算機の過去と現在
  • １９６８　計算機科学に対するある人物の見解
  • １９６９　コンピュータ・サイエンスにおける形と中身
  • １９７０　一数値解析研究者の回顧と展望
  • １９７１　人工知能における一般性
  • １９７３　航海士としてのプログラマ
  • １９７５　経験に基づく探究としての計算機科学—記号と探索
  • １９７６　計算量の理論
  • １９７９　思考の道具としての表記法
  • １９８１　関係データベース—生産性向上のための実用的基盤
  • １９８２　計算量理論概説

by "BOOK database"

Details

  • NCID
    BN03665898
  • ISBN
    • 4320024877
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    xvi, 578p
  • Size
    23cm
  • Classification
  • Subject Headings
Page Top