かかったが、漸くこんがらがっていた糸を解くことが出来たようだ。細かい詰めや更にこの定式化をどう拡張するかはさておき予想通りの公式を導くことが出来たようだ。10月中に形にしたい。来週は東京に日帰り2回とDasがセミナーに来てホストも務めないといけ…