XMLで上江州計算

なんでXMLに上江州計算を使わなかったんだろう。ばかだなー。アンビエント・モデル圏がωCPOなんだから、使い放題なのに。

式（正規表現とか）はfrom-v射だし、非再帰方程式系はfrom-v to-v射だし、トレース・オペレータτのスコープとかもλと同じだし、上江州抽象はエクスポート（提供、出力）部から名前を奪う操作だし、とっても使いやすいじゃないか！！

課題：今すぐ使え！