2007-07-24 Dagstuhl 月曜日 いきなり進展があった.細かいところは詰めてないけども,大体あってそう. 私のメインの貢献は「これって○○ですか?」って質問したことだけのような気もするけど.