>>666

そらそうと、関数型言語 -> 圏論 -> 群論ってつながっちゃってるのかよ。
まさに今「圏論ってどういうことなんだろう」状態だけど、群論と聞くと怯む。