スタックへの検証可能性の追加