@id:8849
$name:部分帰納的関数