今ッ！！１１１１Adaが熱いッ111111なんと強い静的型付けでありながら実行時に型の検査を行う！！！ こんな感じ procedure hoge is type Positive is new Integer range 1 .. Integer'Last; -- 型に対して取りうる値の制約をかけれるから -- Constant_Error…