導出システムNat完成(出力のpritty printingは改善する必要あり)