Last Updated：2025/11/24
In the proof, several realizers were constructed to demonstrate the correspondence between programs and specifications.
See correct answer
In the proof, several realizers were constructed to demonstrate the correspondence between programs and specifications.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
証明では、プログラムと仕様との対応を示すために、いくつかの実現者が構成された。
