課題:以下の前提から「圏論を学ぶ哲学者はCoqを使うべき」の導出せよ。
- Haskellを使いこなすのに圏論の知識があると捗る。
- 圏論を応用したHaskellを使う哲学者が存在する。
- HaskellとCoqには圏論を学ぶ上での相違がない。(要出典)