地味に苦手。
正の整数の対 (m, n) に対して、 gcd(m, n) を g としたら、
(m, n)
gcd(m, n)
g
a * m + b * n == g
となるような整数の対 (a, b) が存在する。
(a, b)
拙作 milk を使ってる。
milk
で、やりたいのは多倍長でないと扱えないような数だったのを思い出して慣れないCommon Lisp で書いてみた。