誘っていただいたのにすみません。

http://www.adaic.com/standards/05rm/html/RM-9-5-2.html entry Name; entry Name (X: Integer); -- 引数あり entry Name (1 .. 3); -- 範囲付き entry Name (1 .. 3)(X: Integer); entry Name (1 + 1) is -- 範囲付き(実装) entry Name (1 + 1)(X: Integer…