コンピュータプログラミングの概念・技法・モデル
(Concepts, Techniques, and Models of Computer Programming から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/21 14:07 UTC 版)
| コンピュータプログラミングの概念・技法・モデル Concepts, Techniques, and Models of Computer Programming | ||
|---|---|---|
| 著者 | ピーター・ヴァン・ロイ、セイフ・ハリディ | |
| 訳者 | 羽永洋 | |
| 発行日 | 2004年 | |
| 発行元 | 翔泳社 | |
| ジャンル | コンピュータサイエンス | |
| 国 | 日本 | |
| 言語 | 日本語 | |
| ページ数 | 944 | |
| コード |
ISBN 978-4798113463 ISBN 0-262-22069-5（原書） | |
| ||
『コンピュータプログラミングの概念・技法・モデル』 (コンピュータプログラミングのがいねん・ぎほう・モデル、CTM、CTMCP、英: Concepts, Techniques, and Models of Computer Programming) は、一般的なコンピュータプログラミングの概念について説明した教科書であり、ピーター・ヴァン・ロイとセイフ・ハリディにより著された。 日本語訳の訳者は羽永洋である。 この教科書の略称はCTMもしくはCTMCPである。 ガウディ本と呼ばれることもある。 ピーター・ヴァン・ロイはルーヴァン・カトリック大学の教授であり、セイフ・ハリディはスウェーデン王立工科大学の教授である。 この教科書は2004年に MIT Press から出版され、2007年に日本語訳が翔泳社から出版された。
この教科書では、マルチパラダイムプログラミング言語Ozの注意深く選択されたサブセット (Mozartプログラミングシステム) を使い、重要なプログラミングの概念と技法とモデル (プログラミングパラダイム) を説明している。
目次
以下にこの教科書の目次を示す。
- はじめに
- プログラム例の実行について
- 第1章 プログラミング概念入門
- 第I部 一般的計算モデル
- 第2章 宣言的計算モデル
- 第3章 宣言的プログラミング技法
- 第4章 宣言的並列性
- 第5章 メッセージ伝達並列性
- 第6章 明示的状態
- 6.1 状態とは何か？
- 6.2 状態とシステム構築
- 6.3 明示的状態を持つ宣言的モデル
- 6.4 データ抽象
- 6.5 状態ありコレクション
- 6.6 状態に関する推論
- 6.7 大規模プログラムの設計
- 6.8 ケーススタディ
- 6.9 進んだ話題
- 6.10 練習問題
- 第7章 オブジェクト指向プログラミング
- 第8章 状態共有並列性
- 第9章 関係プログラミング
- 9.1 関係計算モデル
- 9.2 別の例
- 9.3 論理型プログラミングとの関係
- 9.4 自然言語構文解析
- 9.5 文法インタプリタ
- 9.6 データベース
- 9.7 Prolog言語
- 9.8 練習問題
- 第II部 特殊化された計算モデル
- 第10章 グラフィカルユーザインタフェースプログラミング
- 10.1 宣言的／手続き的手法
- 10.2 宣言的／手続き的手法を使うこと
- 10.3 対話的学習ツール Prototyper
- 10.4 ケーススタディ
- 10.5 GUIツールを実装すること
- 10.6 練習問題
- 第11章 分散プログラミング
- 第12章 制約プログラミング
- 12.1 伝播・探索法
- 12.2 プログラミング技法
- 12.3 制約ベース計算モデル
- 12.4 計算空間を定義し，使うこと
- 12.5 関係計算モデルを実装すること
- 12.6 練習問題
- 第10章 グラフィカルユーザインタフェースプログラミング
- 第III部 意味
- 第IV部 付録
- 付録A Mozartシステム開発環境
- A.1 対話的インタフェース
- A.2 コマンドラインインタフェース
- 付録B 基本データ型
- 付録C 言語構文
- C.1 対話的文
- C.2 文と式
- C.3 文と式のための非終端記号
- C.4 演算子
- C.5 キーワード
- C.6 字句構文
- 付録D 一般的計算モデル
- D.1 創造的拡張原則
- D.2 核言語
- D.3 概念
- D.4 違う形の状態
- D.5 その他の概念
- D.6 階層的言語設計
- 付録A Mozartシステム開発環境
- 参考文献
- 索引
関連項目
- 『計算機プログラムの構造と解釈』 (SICP)
- Oz
- Mozartプログラミングシステム
書誌情報
- ピーター・ヴァン・ロイ、セイフ・ハリディ、羽永洋(訳) 、『コンピュータプログラミングの概念・技法・モデル』、翔泳社、2007年、ISBN 978-4798113463
- Peter Van-Roy, Seif Haridi, Concepts, Techniques, and Models of Computer Programming, Mit Press, 2004, ISBN 978-0262220699
外部リンク
- CTMの公式ウェブページ - 多くの補足資料を提供している
- 概要:スライド版（英文）
- 原著 PDF版（アメリカ電力供給協会にて公開）
- Scott Johnson の書評
- Yves Deville ほかによる書評
「Concepts, Techniques, and Models of Computer Programming」の例文・使い方・用例・文例
- 私はまず、この点をAmandaに確認します。
- 11月21日にHolyoke Bar and Grillで、Pete Laurenの退職パーティーが開かれることをお知らせします。11 月10 日までにお返事をください。
- 来月のロンドンへの出張のために、飛行機の便を予約して、Southland銀行の近くの宿泊施設を手配してもらえますか。
- 年次監査を行うために、Bradford and Partnersの会計士たちが10 月10 日の午前10 時に当社を訪ねてくる予定です。
- 一般に公開されたことのない、Ruth and Steve Whitmanの個人コレクションの絵画を含む、およそ120 点の作品が展示される。
- Ruth and Steve Whitmanを紹介すること。
- Conteeさんは、昨年Hope and Learnの会長に就任された、受賞歴のあるミュージカル女優さんです。
- Hope and Learnは遠隔地に学校を建設する資金を集める慈善団体です。
- Hope and Learnへの寄付は、この夜会の最後に集めます。
- 気をつけの姿勢で立つ (⇔stand at ease).
- 等位[対等]接続詞 《対等の語句を接続する and, but など》.
- 等位接続詞 《and, but, or, for など; ⇔subordinate conjunction》.
- 連結接続詞 《and など》.
- 【文法】 相関接続詞 《both…and; either…or など》.
- 蒸留酒, 火酒 《brandy, gin, rum, whiskey など》.
- 英国陸軍士官学校 《Berkshire の Sandhurst /sndhɚːst｜‐həːst/ にある》.
- (英国の)運輸省. the Ministry of Education(, Science and Culture) (日本の)文部省.
- 中央裁判所施設 《London の Strand 街にある高等法院の建物》.
- 弱形 《and の /ən/など》.
- 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Committee of Ways and Means 歳入委員会.
Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
- Concepts, Techniques, and Models of Computer Programmingのページへのリンク
