いまさらTDDを見直す - Inemuri nezumi diary(2007-07-25)
_ いまさらTDDを見直す いまさら「フェルマーの最終定理 (新潮文庫) 著:Simon Singh 訳:青木 薫」を読んだ*1。この本はすごくいい。 この本が指し示していることのひとつは、皆、汗かいて土木作業してたってことだ。ピタゴラス、ユークリッド、…、オイラー、ガウス、…、ソフィー・ジェルマン、…、志村=谷山…。 綺麗な命題/予想を産み出した彼/彼女らは、手を動かす計算をむちゃくちゃな量やってる。 型理論によれば、型は命題で、実装は証明にそれぞれ対応する。そして、テストは、実装の仕様記述の一部に対応する。具体例を計算することはテストすることだ、と言える。 つまり、XPとかTDDとか誰かが言い始めた2000年前から、数学家はひたすらテストファーストだったってこと。証明/予想を言い終えた後は、テストの結果は焼いて捨てたから残っていない。 反論もありそうなことを敢えて言うが、私自身、テスト
上場にあたっての社内に向けてのメッセージ：江島健太郎 / Kenn's Clairvoyance - CNET Japan
そうそう、ご報告がすっかり遅くなってしまいましたが、親会社のほうのインフォテリアがこの６月にマザーズに上場しました。 それで、多くの人にとって、企業が上場する瞬間に中でどのようなことが起きてるかを知る機会なんてほとんどないでしょうから、５月末の上場が決まったときにぼくから社員と経営陣に宛てて書いたレターをこちらで公開することにしました。 内容を一部伏せるかどうかでちょっと逡巡したのですが、どうせなら生々しいほうが世の中のためになるだろう、と思ったので、結局原文ママで載せることにしました。 なお、ディスクロージャのために述べておきますが、私は現在インフォテリアUSAに勤務していますが、100%親会社であるインフォテリアの株主であると同時にまだ社員としても籍は残しており、給与の一部とストックオプションをそちらで報酬として受け取っています。そういう立場の人間の発言とご理解ください。 こういうもの
[NS] お知らせ:「コナミコマンド」を実装しました
当サイトでは、本日よりコナミコマンドを実装いたしました。コマンドはファミコン版グラディウス準拠の「上上下下左右左右BA」です。SFC版グラディウスIIIのように自爆はしません。ご安心ください。 コマンドを打つとサイト全体がパワーアップします。もう一度コマンドを打つと元に戻ります。携帯電話やRSSリーダでご覧の場合は効果がありません。ご了承ください。 特に意味はありませんが、どうしようもなくコナミコマンドを打ちたくて打ちたくて仕方がなくなったときなどにご利用ください。料金は一切いただきません。 著作権を主張するようなモノでもないので、自分のサイトに付けたいと考えてらっしゃる奇特な方はソースを見て勝手にお持ち帰りください。 追記:うまくいかない方は日本語入力をオフにしてください。Windows版のInternetExplorer、Firefox、Operaそれぞれの最新版で動作確認済みです。
モバゲー激似のプチゲーフレンズ--批判、皮肉、憶測が渦巻くそれぞれの主張
携帯電話向けのソーシャルネットワーキングサービス（SNS）が盛り上がっている。現在トップを走るのはディー・エヌ・エー（DeNA）が提供する「モバゲータウン」だ。同サイトは2006年2月に開始され、2007年5月の時点で会員数が500万人、1日のページビューは4億を超えている。 そのような中、ウェブドゥジャパンが7月2日にオープンした携帯電話向けSNS「プチゲーフレンズ」がネットで話題を集めている。 このサイトでは、無料のミニゲームなどで遊べるほか、サークルや日記などでユーザー同士がコミュニケーションできる。また会員登録をしたユーザーは、サイト内通貨「プチゴールド」を使って、髪型や目、服装などのパーツを自由に組み合わせ、自分そっくりのアバターを作ることも可能だ。 ここまで聞くと、プチゲーフレンズが話題となっている理由がわかってくるだろう。そのサービス内容が先行する携帯電話向けSNS「モバゲー
Matzにっき(2007-07-13): 組み込みから生まれた言語Erlangの時代が来る - 日経エレクトロニクス - Tech-On!
<< 2007/07/ 1 1. [教会] 第一安息日 2 1. ２ちゃんねる実況中継 あるベルギー人から見た日本 2. Programming for the masses 3. とりあえず暇だったし何となく始めたブログ - flymake でリアルタイム文法チェック 4. cdiggins.com >> My Goal: Naive Programming 3 1. mixiが自社開発の検索エンジンに移行、ウェブ検索はYSTに:ニュース - CNET Japan 2. [Ruby] CodeZine：Java開発者のためのRubyガイド（Word, 言語比較） 3. 旭川に移動。 4. [Ruby] 世界に広がるオブジェクト指向スクリプト言語〜Rubyについて開発者が語る 4 1. 旭山動物園 2. インタビュー 3. [Ruby] Rhino on Rails 4. [言語] ITm
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
