2011-09-17 森田同値:対応関係 形式言語理論 圏一般論 プログラム意味論 森田理論 プログラム理論 体 二値ブール代数 (可換)環 ブール代数 多元環 言語の代数 加群 オートマトン 双加群 トランスデューサー 双積 OR結合 テンソル積 並列入出力結合 加群射 オートマトン射 双加群射 トランスデューサー射