モノイド圏上の加群圏の実例 - 檜山正幸のキマイラ飼育記 僕が加群圏にちょっと興味をいだいたのは、変則的なラムダ計算のモデルとして加群圏が使えないかな？ と思ったからです。思っただけで、よく分かってません。 よく分かったぞ。少なくとも「積分を入…

if (x < 0) netative = true; のような、括弧（ブレイス）なしで一文だけ書くことがあるが、インデントがズレたりすると、かなり危ない。僕は嫌いだ。が、このテのif文がたくさんあったので、 egrep -n 'if \(.*\)[^{]*$' *.cpp > unsafe-if.grep で探して直…