α-β法の実装．