■

ひょんなことから、この間日記で又聞きで適当なことを書いてしまった「素数の多項式時間判定は嘘」はまんざらそうでもないのではという意見を見かけた(どこのページだかわからなくなってしまいました)。カネゴンのせいで無用な混乱を招いてしまったかもしれない【かもではあるまいおれカネゴン】。平にお許し。何にしろ実装されればすべては明らか。さあ実装だ実装だ。実装が妄想を追い払う。