とりあえず、定義分のリストまでやってある