ビジービーバー関数はwell definedでいいの?