Adaでプログラミングを学習中です（変数宣言とプロシジャの仕様）

　米国防省規格言語Adaを対象にプログラミングを習う第3回です。 内容は、John EnglishのAda 95: The Craft of Object-Oriented Programmingの2章後半の読書感想文です。
　変数の宣言とプロシジャの仕様について学習しました。以下はそのまとめです。