情報科学 › ソフトウェア開発 › バージョン管理システム Git
参照・ブランチ・HEAD
参照（ref）とは、コミットの ID を値として持つ名前である。.git/refs/heads/<名前> に置かれる参照をブランチ、.git/refs/tags/<名前> に置かれる参照をタグという。.git/HEAD は特別な参照で、通常はブランチ名への間接参照（ref: refs/heads/main という 1 行）を保持し、これを現在のブランチという。HEAD が直接コミット ID を保持している状態を detached HEAD という。
コミット を作る操作は、 をオブジェクト格納庫に書き込み、現在のブランチの参照の値を の ID に書き換えることからなる。オブジェクトは不変だが、参照は可変である。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。