02_overview (#3)

* 翻訳開始 * 翻訳完了 * 表現微修正
lean-ja · Sep 16, 2024 · 7a9ba29 · 7a9ba29
1 parent 37fed97
commit 7a9ba29
Show file tree

Hide file tree

Showing 3 changed files with 245 additions and 20 deletions.
diff --git a/GROSSARY.md b/GROSSARY.md
@@ -5,13 +5,17 @@
 | abstract syntax tree | 抽象構文木 |
 | concrete syntax tree | 解析木 |
 | context | コンテキスト（証明やプログラム中のスコープを指す場合）、文脈（それ以外） |
+| delaboration | デラボレーション |
 | elaborate | 精緻化 |
 | elaboration | エラボレーション |
+| elaborator | エラボレータ |
 | hypothesis | 仮定 |
 | expression | 式 |
 | implication | 含意 |
 | metavariable | メタ変数 |
 | notation | 記法 |
+| parse | パース |
 | reflection | リフレクション |
 | syntax | 構文 |
-| term | 項 |
+| term | 項（式を構成する要素）、用語 |
+| unification | ユニフィケーション |