RSA-576
解くほうじゃなくて検算するだけなのであんまり面白くないけど、http://internet.watch.impress.co.jp/cda/news/2004/04/28/2970.htmlのようなものを見かけたので、Techoで書くとどうなるか試す。
以下をそれぞれ評価してみた結果を=>の右に書いておく。
- DigitalSignatureAlgorithm basicNew isProbablyPrime: 398075086424064937397125500550386491199064362342526708406385189575946388957261768583317 => true
- DigitalSignatureAlgorithm basicNew isProbablyPrime: 472772146107435302536223071973048224632914695302097116459852171130520711256363590397527 => true
- 398075086424064937397125500550386491199064362342526708406385189575946388957261768583317 * 472772146107435302536223071973048224632914695302097116459852171130520711256363590397527 => 188198812920607963838697239461650439807163563379417382700763356422988859715234665485319060606504743045317388011303396716199692321205734031879550656996221305168759307650257059
となってそのページに書かれている値と一致する。ついでに、
- (398075086424064937397125500550386491199064362342526708406385189575946388957261768583317 * 472772146107435302536223071973048224632914695302097116459852171130520711256363590397527) highBit => 576
- (398075086424064937397125500550386491199064362342526708406385189575946388957261768583317 * 472772146107435302536223071973048224632914695302097116459852171130520711256363590397527) printStringBase: 2 => '2r110000101100101110110010010011111101101111111001001000111011011000010010011010001110001111110001000110100011100010010110110111100100010101110100101100111011101001011000011100110000110010111101011001010010100100111000100001100100111000100010001000111110111011101011011100000100101000010111110011111101000010001101000101101011010001101000100100011010011000010100011101000111010110011001001110011100011011100100100110101010111111100111111100100101100101010101010010001100011101001100000111010111111110111000110100100100110011010001010111001011001000111011010011001101000010100011'
とかね。
ちなみに上のようなbasicNew:の使い方はあまりよろしくないという説もあるが、インスタンス側に定義されていて関数的に動作するメソッドをテストしたいときには便利である。
C230 Kompressor Sedan
上の話とは違うが、Kimは新しい車を買った。自称"Honda Girl"だったのに、新しいAccordのデザインが気に入らなくて、ベンツを試乗したところで気に入ってしまったらしい。
ダッシュボード(?)にはいろんないろんなボタンがついていて、カップホルダーの出方も「しゃきん」という感じでかっこつけている。さすが外車様。
そのようなボタンの中のひとつは"Pass Airbag Off"と書いてあって、助手席のエアバッグを機能停止させることができるボタンなのである。「いやなやつを乗せた時に使うのよ」と言っていたが。(もちろん実際はそうではなくて、チャイルドシートをつけたときに、子供に不必要な衝撃を与えないようにするためのもので、チャイルドシートをつけていない限り押しても意味がないらしい。)
京都大学 - UCLAのTIDEコース
今日はなんだかメモ取りの気合が入っていなかったな。
科学が400年くらい前に出てきた時には、その前からあった言葉を使い続けてしまった。truthとかfactとか。これは失敗で、その後の科学者自身も含めた混乱のものになったといえる。
科学のいろんなことは本当に新しい。原子は100年前にEinsteinのブラウン運動に関する論文が書かれたくらいで、まだはっきりとはわかっていなかった。熱に関する理論も200年以下の歴史しかない。ある種の物質であると考えられていた。
(一番重いやつと軽いやつを同時に落とせばわかるという例のクリップの後で)60人の子供がいれば、1人はガリレオである。先生はみんながストップウォッチの事を考えているcontextでも、違う事を考えて「いっぺんに落とす」と言えるような環境を作らなくてはいけない。
物を落とす実験でも、本当に精密に測ると単純な等加速度運動ではない。距離の2乗に反比例するというときにその距離が変化するからである。ただし、14 feetは4000 milesに比べて6桁くらい小さいので近似してよい。ニュートンが理論を作ったときに、相対論効果による惑星軌道の摂動が測れるような測定能力があったら、理論の不完全さがわかってしまって理論を作れなかっただろう。
(京都からの質問。コンピュータのシミュレーションと実世界の関係)コンピュータ上でやっているのはあくまでも数学で、科学ではない。やりたければ逆3乗則の世界も作れる。NSFの提案のように、子供の感覚で把握できるようなスケールのものをつかって、簡単なモデルで現実世界を十分に表現できるような例を選ばなくてはいけない。
今は実験というと数百万ドルとか数十億ドルとかの話になるが、私が子供のころは太陽風(?)の測定装置など自分で作ることができた。
この辺ですでに予定されていた時間の2.5倍くらいは話してくれたので、さすがにKimが痺れを切らしてまきを入れたわけである。
次には阿部さんの世界聴診器デモ。日本語の日記に書くこともないとは思うのですが、TIDEコースのテーマともあったストーリー展開だったし、デモもわかりやすくてよかったと思います。
ただ、自分の単位を作る、という話がどのような主張につながっているのか実はいまだに良くわかっていないんですけどね、とか書いてみたりしてみよう。
とまあこんな感じでした。
