前の人が少し早く終わったので11時11分から始まり、案の定12分くらい話したが無事終わった。何度か資料にチェックを入れてくれた ryu-i さんはじめ、みなさんどうもありがとうございました。 一般向けに書き直すのは大変ながらもおもしろい部分もあった。あ…