手机版
部分帰納的概型
【ぶぶんきのうてきがいけい】
【bubunkinoutekigaikei】
部分递归格式