翻訳完了

GROSSARY.md

@@ -2,3 +2,16 @@
 
 | 英語 | 日本語 |
 | --- | --- |
+| abstract syntax tree | 抽象構文木 |
+| concrete syntax tree | 解析木 |
+| context | コンテキスト（証明やプログラム中のスコープを指す場合）、文脈（それ以外） |
+| elaborate | 精緻化 |
+| elaboration | エラボレーション |
+| hypothesis | 仮定 |
+| expression | 式 |
+| implication | 含意 |
+| metavariable | メタ変数 |
+| notation | 記法 |
+| reflection | リフレクション |
+| syntax | 構文 |
+| term | 項 |