2006-02-08 リハビリか? 雑感 昨日のエントリー、「束論的細部はめんどうで省略しちゃった」のだが、詰めようかと思ったら ……不等号(順序)とかsup(∨)、inf(∧)の扱いがうまく出来ない。アレレレレ、手が忘れている。リハビリトレーニングしないとダメかも。ガックーゥ。こんなときは「orz」って書くんでしょうかね。