>>260
「圏論でプログラミング仕様を表現できる」の意味と意義

・ソフトウェアの論文を書くときに、プログラムを数学的な記号で表現できる
・論文を大量生産できる
・仕様書をそのままプログラムコードに変換できる(という夢を持てる)
・プログラムの仕様のうち圏論で表現できてる部分については、テストコードを自動生成できる