Intro翻訳 (#3)

* Intro翻訳完了

* ビルドが失敗するため専門用語へのリンク文字列をいったん英単語に戻した

Author: s-taiga

GLOSSARY.md

@@ -1,10 +1,38 @@
 # 対訳表
 
-| 英語 | 日本語 |
-| --- | --- |
+| 英語 | 日本語 | 備考 |
+| --- | --- | --- |
+| core type theory | 中核となる型理論 | |
+| command | コマンド | |
+| constant | 定数 | |
+| definition | 定義 | |
+| dependent type theory | 依存型理論 | |
+| elaborator | エラボレータ | |
+| formalization | 形式化 | |
+| functional programming language | 関数型プログラミング言語 | |
+| inductive predicate | 帰納的述語 | |
+| inductive type | 帰納型 | |
+| interactive theorem prover | 対話型定理証明器 | |
+| kernel | カーネル | |
+| language server | 言語サーバ | |
+| monad | モナド | |
+| multi-threading | マルチスレッド | |
+| notation | 記法 |
+| proof checker | 証明チェッカ | |
+| proof state | 証明状態 | |
+| proof term | 証明項 | |
+| reference count | 参照カウント |
+| run-time | ランタイム | |
+| soundness | 健全性 | |
+| syntax | 構文 | |
+| syntax former | 構文形成器 | |
+| tactic | タクティク | |
+| Technical Terminology | 専門用語 | |
+| trust | 信頼 | |
 
 
 # 英語表現をそのまま用いている単語
 
-| 用語 |
-| --- |
+| 用語 | 備考 |
+| --- | --- |
+| packed array | 日本語訳が見つからなかったため。System Verilogという言語にこの名前の文法要素がある？ |