トリプルじゃなくてクアドラプル（quadruple）。(P, E; Q, F)なんだが、構文じゃなくて意味を使って説明する； コンポネントの（内部＋外部）状態空間をX、コンポネントのプラス（積極的、送り側）アルファベットをA、マイナス（消極的、受け側）アルファベ…

これもスライドPDF版→ http://www.cs.bath.ac.uk/~cf/GoI_London.pdfキーワード： Geometry of Interaction (GoI) dualizing object symmetric liniarly (weekly) distributive category polygraph Dummett category claasical category GoI construction = …

生体を例に刺激反応系と環境を説明 生体を、ブラックルームに閉じこめられた人（主体）に喩える。 外部とのインタラクションをポートとメッセージにする。（この段階で極性が入る。） ブラックルームをブラックウォールに変えて、環境を第二の主体と考える。…

スライドPDF版→ http://www.cs.um.edu.mt/~synchrone05/Presentations/08-TarmoUustalu.pdfキーワード： Comonadic Dataflow Programming Freyd Category symmetric premonoidal category Comonad Distributive law (of Monad)