タグ: 連分数とディオファンティーン近似