いうわけで、上記の実装によりコンパイルは成功し、同時に正しい実装であることが保証されます。呼ばれ、バグが存在してはならないソフトウェアを作成するときなどに利用されます。ベースとして形式的検証のできるコンパイラが登場するのではないでしょうか。コメントをキャンセルコメントを入力してください。以下に詳細を記入するか、アイコンをクリックしてログインしてください。アカウントを使ってコメントしています。アカウントを使ってコメントしています。アカウントを使ってコメントしています。アカウントを使ってコメントしています。新しいコメントがついたらメールで通知。使用に同意したとみなされます。ポリシー%d人のブロガーが「いいね」をつけました。