2018-01-06から1日間の記事一覧
指標とコンピュータッドはまったく同義語だとする。指標の理論とはコンピュータッドの理論。 (具体)指標=コンピュータッド=ポリグラフ=(高次)箙 コンピュータッドは、背景としている形状により定義が変わるが、ここでは常に球体形状〈globular shape…
システム全体もひとつの指標を持つから、それをシステム指標と呼び、Ωで表す。システム指標に含まれる名前はso-called大域名で、いつでもどこからでも自由に参照できる。システム指標Ωの環境(文脈)下にあるトランスフォーマーtを次のように書く。 Ω| t:Σ→Γ…