$content-type:text/x-suikawiki
$converted-from-sw3:1226849050
$hash:bda3763bbf0695fdb12963d84460c525
%name:部分帰納的関数
$sw3-key:C9F4CAACB5A2C7BCC5AAB4D8BFF4