ビジービーバー関数の定義はふわふわした概念を前提としてるか?