Goldbach's Conjecture In 1742, Christian Goldbach, a German amateur mathematician, sent a letter to Leonhard Euler in which he made the following conjecture: (A) Every number greater than 2 can be written as the sum of three prime numbers.…

double は超でかい数字まで扱える。(1.7e+308 ぐらい)double x に対し、scanf("%lf", &x) や cin >> x で、普通に "46215734612859298473242134234352452346" のような整数を数値として読み込める。double つえー。

問題 input: 整数 n output: k = 整数 n の約数の個数 とする。このとき k が奇数ならば yes, 偶数ならば no n の約数を並べてみると、 となる。ここでポイントになるのが次の命題 任意の について が成り立つ。 つまり、約数列の前から i 番目と後ろから i …

中島さんのシオレットとか、それを弾さんがメタブックマークレット化したりとかしてますが、 これ、単にツールバーにブックマークレットフォルダを置いておくのと一緒じゃありませんか？（img参照） 変に手の込んだことしなくても、そっちの方が一般ユーザー…

大なり">" 小なり"演算子として使われるので、多相ヴァリアントの型を見ていると、微妙に違和感を感じる。うーん、でも型も集合みたいなもんだからなぁ。 [> `A | `B] を集合として { S | S ⊃ {`A, `B} } と読んでしまえば、"⊃" は反射律を満たすものだと思…

本の中。蚊が。潰されて。ぺしゃんこに。CODE COMPLETE 第2版 上 完全なプログラミングを目指して作者: スティーブマコネル,Steve McConnell,クイープ出版社/メーカー: 日経BP社発売日: 2005/03/26メディア: 単行本購入: 44人 クリック: 1,166回この商品を含…

OCamlのLazyモジュールで遊んでみました。 とりあえず、lazy (OCamlの予約語) と Lazy.force だけ覚えておけばよさそうです。 lazy 'a -> 'a lazy_t *1。 'a lazy_t なる、文字通りlazyな型を作り出す。 Lazy.force 'a Lazy.t -> 'a。 Lazy.t (=lazy_t) の皮…

OCaml のモジュールシステムは強力ですよという話。関数が値を受け取って値を返すように、 functor は structure を受け取って structure を返す。 値 型 関数 let x : t = 〜 type t = 〜 let f (x : t) : t = 〜 structure signature functor module M : S…

諮問会が終わってからというもの、超まったりモードです。旅の予定を立てたりなんかして。 今日はOCaml チュートリアル読んでました。 begin ... end って、単に括弧の syntactic sugar に過ぎないのかー。 へー、と思った module の使い方。 In the ocaml t…

格闘技のボクシングは何故 "Boxing" かというと、 拳を握る動作が「箱を作る」のに喩えられるからなのですね。 プログラミングの世界でも、値に対して boxed / unboxed という形容詞が使われ、 unboxed なものを boxed なものにすることを boxing、その逆を …

自分の持っている音楽を「あちら側」に置く使いやすいサービスないかな。 著作権関係が面倒すぎるんだよなぁ。。。

一次元的に並んだものの雑多さが、 二次元的に配列すると一画面に収まってしまう驚異。実際に見て比べてみると、この整然度の差はびっくりするぐらい凄い。 人間の処理能力は、使ってやらないともったいないな。

ハヤカワの>シリーズが面白げ。 とりあえずスマリヤンのアリスあたりから読んでみよう。>シリーズ パズルランドのアリス1" title=">シリーズ パズルランドのアリス1">>シリーズ パズルランドのアリス1作者: レイモンド・M・スマリヤン,市場泰男出版社/メーカ…