入力から毎回決定論的に導出できる判定には永続マーカーを持たせず、都度計算で除外する / PaPut