事の顛末を記そう． ある特化したケースについて，うまくいく方法が見つかった．これが12月ぐらい． こうすれば，もう少し一般的になるんじゃないかという方法を考えてみた． 色々ルーチンを組んでいるうちに，古いリビジョンから復帰させて書き直したりした…