新→旧 の順 計算科学における半加法圏の位置付け テンソル半加法圏とプログラム意味論 個体と世界の関係：圏から論理半環を絞り出す クリーネ代数の「テスト」を圏論的に定義できるだろうか？ クリーニ代数と圏論 トレースを使ってクリーネスター（またはク…