ふううううううーーーーーーーーー、ふうううううううううーーーーーーーーーーーー。正規言語の包含性判定にダイクストラ法を使うアイディアはなんとか救えそうだ、、、実に紆余曲折だったが。実行用のオートマトンと判定用のオートマトンはまったく違った…

コンヌとか黒川さんが、「標数1」とか言っている。標数が1の体を生真面目・杓子定規に考えれば自明。「いったい何を言ってんだろう？？」と不思議でしょうがなかった。あんまり不思議なんで興味が湧かなかったよ。生真面目・杓子定規に考えてはダメで、半体…

モナドの作用乗法（action multiplication） - 檜山正幸のキマイラ飼育記 メモ編 ここらのことが、今読むとどうも分からないなー。Lは集合圏の上で定義された言語自己関手を意図しているんだろう； L(S) = Pow(S*)。Mは適当な指標Σによる項生成関手かな、M(S…