ユークリッドのアルゴリズム

• 入力：整数 a, b
• 出力：最大公約数 gcd(a, b) と, gcd(a, b) = a * x + b * y を満たす整数 x, y