2006-06-07 極性、指標、圏 トレース/コンパクト閉圏 こんな感じ。 \ 極性なし 極性あり 指標 普通の指標 対話指標 モデル圏 トレース付き圏 コンパクト閉圏 ソフトウェア ライブラリ/ミドルウェア 対話コンポネント