最終更新日：2025/11/24
Design the function so that the postcondition (the condition immediately after execution) is clearly specified and verifiable.
正解を見る
Design the function so that the postcondition (the condition immediately after execution) is clearly specified and verifiable.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
関数を設計する際には、実行直後に満たされるべき事後条件が明確に指定され、検証可能であるようにしてください。
