まあ色々手直しした．(これバージョン管理の意味あるのだろうか)