m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 高次圏論 プログラム意味論 論理 多義語 STEM セオリー論 システム全体もひとつの指標を持つから、それをシステム指標と呼び、Ωで表す。システム指標に含まれる名前はso-called大域名で、いつでもどこからでも自由に参照できる。システム指標Ωの環境（文脈）下にあるトランスフォーマーtを次のように書く。 Ω| t:Σ→Γ なにをシステム指標とみなすかは勝手なので、 Ω| t:Σ, Σ'→Γ -------------------- Ω, Σ| t':Σ'→Γ Ω, Ω'| t:Σ→Γ -------------------- Ω| t':Ω',Σ→Γ これは重要で、システムをライブラリで拡張したり、カーネル機能をユーザーランドで実装したりに相当する。シス… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180106%2F1515232057" title="モデルの概念と理論 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-01-06 18:47:37 rich https://m-hiyama-memo.hatenablog.jp/entry/20180106/1515232057 1.0 100%