やるべきことをやって、部屋にこられた原田さんと、寺本君、林さんをまじえて議論をする。quick derivation of Harada-Sasa はさっと紹介し（regular paperの付録にかく予定だが、一番簡単な導出が付録でいいのか？とか、迷いはじめる）、ハミルトン系からの…