プログラミング java for while ユークリッドの互除法 最大公約数 ド・モアブルの定理 金子邦彦研究室