2022-07-11 パッケージシステム muses 半形式証明スクリプト 論理 パッケージマネージャーとビルドツールは必要。 パッケージ直下の階層の存在物はモジュールでいいと思う。モジュールは物理ファイルに対応がわかりやすい。 スケルトンが何であるか? の位置付けがよく分からない。 ビルドツールとバンドラーの境界線は確かに曖昧だ。 モジュール=ファイルの下の階層の存在物を何と呼ぶか。ナラティブ文書的階層と形式記述階層がある。 ナラティブ・セクションとフォーマル・セグメントかな。 セグメントもハイパーリンクを使わないと書けない。フォーマルパートもハイパーメディア構造を持つ。