これって、メモしておいたっけ？ Title: QPL 2006 : From reversible to irreversible computations Authors: Alexander S. Green, Thorsten Altenkirch URL: http://www.mscs.dal.ca/~selinger/qpl2006/PDFS/05-Green-Altenkirch.pdf URL (2): http://sneez…

エルゴット・パスはフィードバック入力を扱うために有効な道具だと思う。が、無限パスになる可能性があるので、このままでは扱いが困難。エルゴット・パスが扱いやすくなる条件を考える。まず、無音記号の入出力から考える。「入力/出力」という記法を用いる…

って何だろう？ google:Sylleptic category functor