アルゴリズムコンテストの挑み方 - d.y.d.
17:29 08/09/30 クロスワード 暇つぶしに "Clueless Crossword" という冊子を買ってみて意外とハマっています。 クロスワードパズルなんだけど、単語のヒントの代わりに、 各マスに1～26の数字が振ってあって同じ数字のマスには同じA～Zが入るように埋めるというもの。 「母音っぽくて二連続して語尾にも出てくるのは多分 E だろう、もしかしたら O の可能性はなくもないけど」 みたいに埋めていく。 ちょっと違うけど フラッシュであった。 20:15 08/09/28 だいちのよろい そろそろ日本に戻る前に観光するぞ月間、ということにして、ウルル（エアーズロック）に行ってきました。 もっとワイルドな感じかと思ったら、完全にリゾートのリゾートによるリゾートのための地帯になってました。 まあそんなもんか。 本日は強風のため登るの禁止とのことだったので、周りから見るだけ。
Firefox3.1β1 をインストールしてみたけれど createContextualFragment が - latest log
2008-10-21 追記 この日記は、こんな流れで修正やら追記がされてます。 Firefox3で動いていたコードがFirefox3.1β1で動かないんが → 3.1でどっか変わった? 「ちがくね?」と指摘を受ける 検証し直してみると、実は createContextualFragmentは一部のブラウザ(Opera,IE)以外なら実用的だった ← 俺的新発見 記事修正。おわり uupaa.js(ver0.6)では、HTML文字列をノード化するために、 uu.node.insert = function(html, context) { var node = document.createRange().createContextualFragment(html); var rv = node.firstChild; context.appendChild(node); return rv
SML# - SML#の理論的基礎
SML＃の種々の特徴は，ML系言語のための型理論の伝統の上に，以下を含む我々の独自の基礎研究成果を基に実現されている． レコード多相性の理論 ランク１多相性の理論 データベース演算の多相型理論 JAVAとの相互運用のための型理論 高階の関数の相互運用に関する型理論 自然なデータ表現のための型理論 論理学に基づくコンパイル理論
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
