2022-07-09から1日間の記事一覧

宣言と定義

宣言・定義ペアの完全な記述は under D assuming Σ declare k-x-mor f :k Γ →k A in M define f := Eここで: D はドクトリン。ドクトリンはメタ指標と文法からなる。ドクトリン配下の指標は、ドクトリンが定義した文法により記述する。 シグマは背景指標。…