はじめに 修士論文は無事書き終えました． そんなことよりも「これ，面白さはあるんだけど一体どういう局面で使えばいいんだ」という事実を見つけ，見たところ日本語での証明方針はなさそうだったので(いくつかヒントはありましたが)，備忘録的に残しておき…