提案手法の振る舞いがBAITの元の定式化と同等であることをより詳細に検証する必要がある