モットー
- writing is programming (writing as programming)
- documents should be formally verified
ブリットとは:
- BLit = Web Literature
- Web上で利用できる、関連する文書達のアーカイブネットワーク
マスブリットとは:
- MathBLit = Mathematics Web Literature
- 数学分野の文書達のアーカイブネットワーク
ブリットの目的:
- 組織化された知識のアーカイブ well-organized
- 参照可能性 referencing
- 検索可能性 retrieval
- 分類可能性 classification
- 再利用・再編成可能性 reuse, rearrange
- 著作権の考慮、権利の明示化
- 商業化可能、課金・販売、出版・教育ビジネス
- 文書オーサリングシステム、文書レンダリングシステムと独立・中立
- 品質保証メカニズム reliability, soundness
- レーティング
マスブリット特有:
- コンパイラ: Markdown文書から形式的な記述を抽出する。
- ベリファイア: 形式的な記述の妥当性を検証する
- レビュー要求と承認〈approval〉と信頼形成、reliability, soundness
- 関手インスティチューションによる意味論