Noetherの定理は、対称性と保存量が対応するという物理屋にとっては、よく知られた定理で、量子系でも古典系でも成立する。あまり注意されないことだけれども、Symplectic多様体のNoetherの定理の成立条件をよく見ると、第一de Rhamコホモロジー群が消えると…

NFAエンジンは、最悪の場合はバックトラックが発生しまくって性能が著しく劣化するというのはよく書かれているけれども、それはNFAを深さ優先探索で実行するからで、NFAの問題と言うより、NFAの実装の問題。うまくDFAを生成しながら実行していけば、入力長の…