2005-07-12 ■ そう言えば素数の多項式時間内判定の話がどうなっているのかと思って調べると、しっかり実装されていた。他の実装例も。このアルゴリズムについて以前この日記で相当いい加減なことを書いてしまったことを反省。うう。