2010-01-01から1ヶ月間の記事一覧

GTDの英文読んでたら、いつの間にかコラッツ予想の証明を検算しようとしていたでござるの巻

GTDに関する英文を題材に英文読解の練習していたんですよ。結構集中していたつもりだったんですけど、気づいたらメモ帳に数式を書こうとしていて我に返りました。僕はよく、こういう感じで何かをしていたはずが、気がついたら別の何かに夢中になっていた、と…

Arrayのソート済みフラグなんて無理だよ

ソートされているかどうかなんてのは外から与える要素の順序の定義で変わるんだから、Array にソート済みフラグを導入するなんて不可能。

学習書の文体

小さい頃から良く見てる教科書だとか、TAOCPみたいな神書籍などの文体が総じて堅苦しいもんだから、そういう文体の方が良いと思い込んでいる自分がいる。しかし『Head First ソフトウェア開発』によると、最近の研究では、形式ばった文体よりも一人称を使い…

そろそろ Array#bsearch を組み込んで欲しい

ソート済み配列に対して二分探索する事は結構多いはず。例えば、単純に要素を探したいとき、配列を作るときに挿入ソートで常にソートされた状態に保ちたいとき、など。現状、高林さんの Ruby/Bsearch を使う必要がある。Array に二分探索を入れたがる人はか…

ghci で Collatz 予想

$ ghci GHCi, version 6.12.1: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package ffi-1.0 ... li…

iPad関連で欲しいものたち

思いついたら随時更新しよう。 MacBook の WiFi 経由で外部ディスプレイに出力するためのユーティリティ iPad 上で VNC クライアントを改造して液晶タブレット化したアプリ 横置きにも対応したドック HHKB をBluetoothキーボードに変換するアダプタ

iPadのサイズ

キャリア間絵文字変換表の元データをどうするか

google が持ってる emoji4unicode のデータから変換表を生成すると良さそうだ。 http://emoji4unicode.googlecode.com/svn/trunk/data/emoji4unicode.xml[追記 (01.27 13:45)]irc で nurse さんに聞いたところ、変換表生成ツールは enc/trans ではなく tool …

Rubyに絵文字対応文字エンコーディングを組み込ませるプロジェクトに参加

えにしテックさんでSapporo.rb-2010.01.26が開催されました。最近の札幌は活発でステキです。以下、箇条書きで覚えてることを羅列: ガラパゴス携帯の恐ろしさを知った Google が独自の絵文字用コードポイントを定義している事を知った ruby の enc 以下を眺…

酢豚

http://cookpad.com/recipe/411789 の筍と椎茸がない版。

A Happy New Year 2010

(このエントリは 2010.01.28 に書かれました。)あけましておめでとうございます。test