部分递归格式

部分递归格式

拼音： bù fen dì guī gé shi
日本語訳 部分帰納的概型