元祖ワシ的日記2.0

無事承認されたようで。 iTuneストアへのリンクの書き方はこれでいいのか？

素数チェッカ

オイラ的には無いと困るくらい需要があるのですが、大多数の人に需要があるかどうかは謎w

しかし、激しくアイコンを差し替えたいなぁ。あと 3n+1型などの素数にも対応したい。

とりあえず、次のバージョンを開発するか。

あーあと、いまんとこ0円です。 ガンガンDLしてください。

ちなみにオイラのPCに入っているOfficeは未だに2000です。

最近じゃ、どうしてもって時以外はOOoがデフォ。

なお、2007は223を素因数に持つので素数ではありません。

撮影場所：秋葉原

南青山にて。念願の１３１をゲット。

多分番地が１－３－１なんだろうなぁ。 こういうパターンは結構多いですね。

撮りにいくのは大変ですが。

車の中で聞いたNHKラジオで。

「八戸市の女性の写真愛好家が展示会を開きました」

「被写体が女性の写真」が好きな人たちの展示会かと思ったよ。 というかそういう人は間違いなく沢山いる。

ここは

アマチュアの女性写真家

とか言うとよいかと。あるいは「の」を抜いて、女性写真愛好家。これも同じ意味にとれるけど、ニュアンス的には正しい方になるんじゃないかな？

日本語は難しい。

フェルマーによると、3で割ると１余る素数は

x^2 + 3y^2

（ただしx, yは整数）と表すことができるそうな。

というわけで、先日見つけた素数

5316666001

は 3n+1型なので、そのように表せるわけですが トリビアルなやりかた（１から順番に探していく）方法だと、結構大変。特に素数がでかくなると、計算量が半端ないようで。

答え分かりますか？

72151^2 + 3*6080^2 = 5316666001

まずは x^2 + 3 = 0 (mod p)なる xを探すところから始まるわけですが、 特定の型ではうまく言っても、一般的にとなるとこれが結構しんどかった。

原始根の指数との対応が求まれば簡単に計算できるのだけど、指数を求めるのは 計算として難しいと言われていること（DH鍵交換はこれが計算するのが難しいという 大前提で成立している）

散々悩んだ末、p-1の素因数の和くらいのオーダで計算ができるようになりました。 p-1が大きな素因数を持っていないなら、これなら100桁くらいでも大丈夫でしょう。

こういうのを考え始めるとキリがないなぁ。楕円関数使うともっと効率よさそうなのがありそうだけど、考えるのが面倒なのでペンディング。

なお4n+1型の２つの平方の和で表すほうはとても簡単に求まります。ハイ