5つある穴のうち、2つは昨日の方法でうまく塞げることがわかりました。
残り3つ。大きく分けて2つ。
しかし、次にトライしたものが同じ方法では上手くいかない。
変なものが残ってしまって上手く収束しない。
残っちゃうんだから仕方がない。
強制的に、収束させるものをかけて収束させて、そっちを定義だと思うという立場を取るしかないのか？
あるいは、強制的に収束させる効果を持つノルムを用意するとか。
なんだかぐちゃぐちゃになりそうだなぁ。
今週は水曜日から京都に行くし、来週の日曜は再び休日出勤。
全然考える暇はなさそうです。師走だし、仕方ないか。
