以下の内容はhttps://m-hiyama-memo.hatenablog.com/entry/2022/03/10/203916より取得しました。
- デリバラブルは本来の意味として、デリバラブル・ジェネレーターで生成されるブツのこと。
- 名前空間のルートはパッケージ名とする。パッケージ名自体はURLなどで名付ける。
- プロジェクト名、パッケージ名、ワールド名は一致させる。
- パッケージの名前空間の下に構文的対象の名前空間がぶら下がる。
- ワールドの名前空間の下に意味的対象〈シング〉の名前空間がぶら下がる。
- 指標はパッケージの下にあるが、セオリー〈自由圏〉、モデルの圏はワールドの下に入る。
- コンテナ〈コンテナスキーマ〉とコンテナ・コネクタはパッケージの下に入る。
- パッケージにもコンテナにもシェイプがある。シェイプはグラフ。
- 0-コンテナのシェイプは単なる集合+0-同値。
- 1-コンテナのシェイプはグラフ+1-同値=二角形的多角形。
- ワールドはザ・グリッドにより意味論が与えられる。
以上の内容はhttps://m-hiyama-memo.hatenablog.com/entry/2022/03/10/203916より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます
不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14