具体的な処理から制約を削っていって汎化すると大変なことになる
そろそろ処理構造の汎化の正規化とか誰か作らないかな