2006-01-30 Specification as (Co)Fibrations 圏論 仕様・検証 以前の日記に書いたCategories for Software Engineeringで今勉強中。というかこの本、予想外に面白い。で、掲題のあたりで今格闘中。はて理解できるだろうか。