形式言語の「生成と認識」の関係は、双対とか随伴ではどうもうまく説明できない。斜随伴なんて言葉を造ったりもしたが、自信はない。生成のほうは、初期値を与えて時間発展の半群を考えて、片側S行列を求めるようなハナシだと思う。片側S行列は、グリーン関…

とりとめもなく書く。運動を記述するにあたって、位置xを独立パラメータtの関数 x = x(t) とする方法と、xとtに対してなんかの量の分布 f(x, t) の形にするスタイルがある。f(x, t)が質量分布（密度）だとして、tを固定してのx方向積分が保存していて（時間…

(f*)* = f* ができないのがフラストレーションなんだけど、まー、しばらくこれはあきらめよう。物理の計算もサッパリできない。のだが、もともと僕はこうるさい厳密な計算が好きじゃないから、物理の計算に意外と向いているかもしれない。（さらに）のだが、…