iPhone のアプリで「素数チェッカ」なるものがあると、Facebook やら Twitter やらで話題になっていたので、早速検索してインストール。凄い。自然数 N が素数であるかどうかの判定、素数で無い場合は素因数分解をし、φ(n) も返してくれる。N が素数の時は、N≡1 (mod 4) だったら N＝x2＋y2 なる x,y を、N≡1 (mod 3) の時は N＝x2＋3y2 なる x,y を返してくれたりなど、盛りだくさん。素数判定はミラー－ラビン法という確率論的なアルゴリズムを使っているらしく、素数表を抱えているわけではないそうだ。確率論的アルゴリズムというだけあって、完璧な素数判定法ではないが、素数でない数を素数と判定する確率は、もうそれは考えられないくらい低い確率らしいので、まあ安心していいでしょう。もっとも普段の研究に使う程度の素数なら心配いらないでしょう。（などと言ったら暗号や素因数分解を専門にしてる人に怒られそうだが。）とにかく凄いので、iPhone ユーザーは是非一度いじってみてください。
昨日は番長が炎上してしまい4連敗だったが、今日は打線が火を噴いて、逆転サヨナラ勝ち。まあ6－5で勝ったわけだが、6点中5点がホームランなのが気に食わないといえば気に食わない。好みの問題はともかく、勝ったのは嬉しい限り。これで再び同率3位に浮上。Carp が Giants を滅茶苦茶に打ち砕いているようだから、2位もまた見えてきた。とりあえずこの辺の状況をキープしましょう。
昨日大炎上した番長だが、昨日は1安打していて、これが24年連続ヒットとか。張本とか衣笠とかの23年連続を越したらしい。凄い。ちなみに連続記録は谷繁の27年連続。でも忘れてはいけない。番長はピッチャー。上位陣にいるピッチャーは番長だけ。さあ次は24年連続勝利だ。頑張れ番長。
