だんだん思い出した：指標＝インターフェイスの理論 - 檜山正幸のキマイラ飼育記 メモ編 Lがrecursion-capable ⇔ ImplLがweakly trace-admissible Lが、構造に対する制約・条件を記述する論理言語（命題言語／証明言語）を備えているとする。このとき、Lの指…

あああああー、そうか。それをjanus〈ヤヌス〉と呼んでいたのだ。 指標＝インターフェイスの理論 - 檜山正幸のキマイラ飼育記 メモ編 双面神Janus プログラミング言語Lを、指標の圏Sigとその上のモナド L = (L, μ, η) と同一視する。つまり、プログラミング…

意味 コマンド 使用例 スクリプト体 \mathcal{} 位相空間の位相 花文字 \mathscr{} ベキ集合 包含 \subseteq 合併 \bigcup 開集合の合併 共通部分 \bigcap 閉集合の共通部分 連言 \land 選言 \lor 否定 \lnot 含意 \Rightarrow 同値 \equiv 全称 \forall 存在…