2015-12-26 両モナドのアイレンベルク/ムーア構成 課題 プログラム意味論 モナド 双代数と双モノイド - 檜山正幸のキマイラ飼育記 両モナドのアイレンベルク/ムーア構成 - 檜山正幸のキマイラ飼育記