木田祐司・牧野潔夫
（きだゆうじ・まきのいさお）
：UBASICによるコンピュータ整数論
：日本評論社，1994年，＼3,500+税（絶版）
：ISBN4-535-60014-7 C3041

電子版の発行(2006/1/25)
書籍版が絶版になったので電子版を無料配布することにしました。
修正とPDF版の改善(2006/7/22)
電子版木田・牧野本のダウンロード
PDF版(1127K) 2006/1/25
DVI版(585K) 2006/1/25

第２刷の修正と追加。
P93 の再修正はここを見てください。
P129下L5 分子分母共に閉じ括弧の位置が間違っている。（岐阜県の大橋氏のご指摘）
　　分子は P_{k-2} の右が正しく、分母では Q_{k-2}の右が正しい。
P146プログラム 80行
　　 L=kro(A,N) -> L=kro(A,N)@N
P61L10 修正ミス(初版の方が正しい)
　　このような r_1,r_2,...,r_t,r_k が -> このような v_1,v_2,...,v_t,v_k が
P61中段やや下の連立合同式 x_1,x_2,...,x_t -> r_1,r_2,...,r_t
P61その下 x_k -> r_k
P116L8 一次近似分数は 1+1/2=2/5 -> 一次近似分数は 2+1/2=5/2
P127L14 2(n+1) -> 2(2n+1)
P162下L5　1998/2/5 現在のMeresenne素数。
　M(756839) は 32番目の Mersenne素数
　M(859433) は 33番目の Mersenne素数
　M(1257787) は 34番目の Mersenne素数
　M(1398269) は 35番目の Mersenne素数
　M(2976221) は 36番目の Mersenne素数 (August 24, 1997)
　M(3021377) は 37番目の Mersenne素数 (January 27, 1998)
　M(6972593) は 38番目の Mersenne素数 (June 1, 1999)
　M(13466917) は 39番目の Mersenne素数 (November 14, 2001)
　M(20996011) は 40番目の Mersenne素数 (November 17, 2003)
　M(24036583) は 41番目の Mersenne素数 (May 15, 2004)
　M(25964951) は 42番目の Mersenne素数 (February 18, 2005)
　M(30402457) は 43(?)番目の Mersenne素数 (Dec. 15, 2005)
　M(32582657) は 44(?)番目の Mersenne素数 (Sep. 4, 2006)
　M(37156667) は 45(?)番目の Mersenne素数 (Sep. 6, 2008)
　M(42643801) は 46(?)番目の Mersenne素数 (April 12, 2009)
　M(43112609) は 47(?)番目の Mersenne素数 (Aug. 23, 2008)
　メルセンヌ素数探索の現状はここを見てください。

おかげ様で第１刷は売り切れとなり、1997年6月に第２刷が 発行されました。これは下記の修正をすべて施しています。ただし再修正とあるものを除きます。
表記法　
・PxLy はx ページの上から y 行目を表します。
・Px下Ly　は x ページの下から y 行目を表します。
・a^i は a に i が右肩に付きます。
・a_i は a に i が右下に付きます。
P15L11　fnGoken -> fnGokei
P34-35　n と N が混乱しています。本文中では n、プログラム中では N と使い分けるつもりでしたが無理があるようです。
P45下L11 p = -> m =
P57下L8 位数d -> 位数l
P58下L5　存在するでどうでしょうか -> 存在するでしょうか
P61中段やや下の連立合同式 x_1,x_2,...,x_t -> r_1,r_2,...,r_t
P61その下 x_k -> r_k
P64下L3 k-1 -> k
P71下L2 i<=i<=n -> i<=i<=n
P72L4 D = -D' -> D = D'-p_1p_2...p_m
P76下L4 a_1k,a_1k -> a_1k,a_2k
P85下L8 c_1X^r-1 + c_2X^r-2 +...+c_r-1X + c_r
-> X^r -(c_1X^r-1 + c_2X^r-2 +...+c_r-1X + c_r)
P86L5 ...+t_1alpha_i -> ...+t_1alpha_i+t_0
P86中段 a_n の右辺で alpha_i -> alpha_1
P90L8　a_0 -> a_i
P91L5　= 0 -> ≡ 0 mod 2
P91L6　= 1 -> ≡ 1 mod 2
P92下L3　中央と右の和が i=0 から始まっていますが i=1 からの誤りです。
P93L2　この辺りに説明の脱落があります。修正はここを見てください(再修正)。
P93L9　y=1,y=2,...,y=p_0 -> x=1,x=2,...,x=p_0
P93L11　y=q/p -> y=(q/p)x
P100　説明が誤っています。修正はここを見てください。
P103L5　x mod p -> x ≡ 0 mod p
P115L6 Q_n > Q_n-1 -> Q_n >= Q_n-1
P115L7 Q_n > n -> Q_n >= n
P117L5 Q_n > n -> Q_n >= n
P118中段 分母の ＼sqrt{d}-S_k+1 が４つあるが ＼sqrt{d}+S_k+1 に修正
P123下L10 :S=0 を追加
P129下L1 Q_n-1 -> Q_n-2
P130下L1 x -> y
P134中段 積分の範囲は 2 から x まで。被積分関数は log t、積分変数は t
P134その下 1899年 -> 1896年
P135下L12　漸下式 -> 漸化式
P138L1　漸下式 -> 漸化式
P145下L4 -1 mod N -> 1 mod N
P150問題4 満たさない -> 満たす
P151問題4の解答は後半がなかったり不備が多い。修正はここを見てください。
P152下L2-1 N-1 -> (N-1)/2 (2個所), 2^s -> 2^{s-1}
P189下L5 整数 n -> 整数 s
P218右L18　rho -> rho1