今回理解しきれているか自信がありません。おかしいところがありましたらご指摘ください。アスペクトで表明ができるようになりました。経緯¶ところで、当たり前ですがこのin/outの解析は引数についても行われるわけです。パラメータに渡したら書き込み(out)が行われていると見做されます。パラメータはその両方です。付いているため引数に関しては何もしなくても充分と思われるかもしれません。パラメータに書き込むこともできます。http://ada-auth.org/standards/2xrm/html/RM-A-5-2.html#p8http://ada-auth.org/standards/2xrm/html/RM-A-5-2.html#p20何の表明もなく引数を書き換えるなんて酷いですよね。関数は副作用なしがPascal等古代言語の暗黙の規約です。サブルーチンになっています。