>>738
適切であるという証明ってどうやってするんだろう…