Ada勉強メモ 2

Ada 教科書・ウェブページ紹介に載せた教科書

『ADA-言語とプログラミング方法論』

を読んでいきます。まずは目次から。

本書は4部から構成されています。目次をさらっと眺めます。

第I部 小規模プログラミング

1. Ada入門
2. Integerデータ型
3. Booleanデータ型
4. 基本的な制御構造
5. 組織的プログラミング
6. Characterデータ型
7. 離散型
8. さらに制御構造について
9. Floatデータ型
10. 配列と文字列
11. レコード
12. 副プログラム

第II部 大規模プログラミング

13. パッケージ
14. 例外
15. 入出力
16. プログラムの設計と構築

第III部 高度なデータ型

17. アクセス型と動的データ構造
18. 判別子を持つ型
19. 数値型
20. データ型一般について

第IV部 高度なプログラム構造

21. 演算子宣言と多重定義
22. 汎用体プログラム単位
23. タスク
24. ポータビリティとマシン依存プログラミング
25. ケーススタディ：大規模情報システムの設計

僕はC言語畑の人ですが、聞いたことがない言葉が幾つかありますね。

• 組織的プログラミング
• 離散型
• レコード
• 副プログラム
• アクセス型
• 判別子
• 汎用体プログラム単位

ざっと読んでみました。

「組織的プログラミング」の章は、大きなプログラムを作るときに必要になるテスト技法、段階的詳細化について解説していました。

テストにはホワイトボックステスト、ブラックボックステストがあります。

段階的詳細化というのは、解きたい問題を段階的に分割していく手法のことのようです。

「離散型」は、整数型や列挙型など、全順序が定義された離散的な値を扱う型の一般的な名前のようです。離散型ではないものの中には、実数型や構造型などが含まれます。（構造型ってなんだろう）

「レコード」は、C言語でいう構造体のことです。レコードは様々な型の複数の要素を持ちます。

今日の勉強はここまでです。ではまた。