廣瀬「帰納的関数」