diff --git a/courseA/Alloy.html b/courseA/Alloy.html index c83ae4e..52ba13e 100644 --- a/courseA/Alloy.html +++ b/courseA/Alloy.html @@ -22,7 +22,7 @@

形式的仕様記述言語とは?

Alloy は代表的な形式的仕様記述言語の一つです.
- 形式的仕様記述言語とは,仕様を自然言語ではなく,論理式のような数学的に厳密に意味が定義された形式で記述する方法で,
+ 形式的仕様記述言語とは,仕様を自然言語ではなく,論理式や等式のような数学的に厳密に意味が定義された形式で記述する方法で,