bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

Specification as (Co)Fibrations

以前の日記に書いたCategories for Software Engineeringで今勉強中。というかこの本、予想外に面白い。

で、掲題のあたりで今格闘中。はて理解できるだろうか。

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。