21日から29日まで海外出張のため，コメント欄を一時凍結します．本が出た直後って……コメが激増するから本当は開いておきたいんですが，今回はちょっとメンテする時間があるかどうかわからないもので．30日の昼頃に復旧予定．ちなみにトラバは可能です． とか…