GMPを用いた混合精度型プログラムの自動生成機構の提案