独りで始める Concrete and Specific Programming(CSP) http://madscientist.jp/~ikegami/diary/20070822.html#p01 このエントリでは、開発側の夢を実現するためのプログラミング技術 Concrete and Specific Programming を提唱します。 Concrete and Specific Programming では、最初に「夢」を書くことを提唱します。次に、設計書を書き、次に、仕様に基づいたテストスイーツを書き、最後に実装します。 Haskell の QuickCheck 関連でヒットしたページ。 私は今現状の lucille を gappa や coq, SPIN などの Formal verification や model verification を使って 一から書き
Google の中の人への手紙 (日本のストリートビューが気持ち悪いと思うワケ) - higuchi.com blog でもね、この日本でのストリートビューは、僕は生理的にダメ。ここまで無邪気に踏み込んではいけないと思うのです。 きっと、セルリアンタワーの中の人も同じように感じていると信じて、なぜこれがダメなのか、海の向こうの人にも分かりやすいように説明を試みますんで、聞いてください。で、リエゾンとして、正しいローカライズについて、きちんと向こうの人を説得してくれるとうれしいです。 私自身は正直言って、この感覚にはピンと来ない所もあります。でも、おそらく、そういう自分の感覚は、日本人の標準とは相当ずれてるんだろうなと思ってます。 でも、感覚が違うならそれをちゃんと説明すべきだと思っていた所で、このエントリを目にしました。そこで、すぐに Global Voices のサルツバーグさんにメール
「希望がない。人間として認めてほしい」という叫びが、「蟹工船」人気を呼んでいる。 そして、非正規雇用者と正社員のあいだには深淵が横たわっているようだ。 ●度を超した認知欲求 秋葉原の事件以来、無差別殺傷事件が続いている。世代も環境も違う私には、秋葉原の事件が起こった理由はわからないだろうと前に書いた。しかし、ネットの書きこみや、たくさん出ている就職氷河期世代の本を読むと、年齢や環境が違っても、十分に理解できるもののように思われてきた。というのは、まるでこうした事件が起こることを予言していたかのような文章がいくつも見うけられるからだ。それらを読むと、これらの事件は、いわば起こるべくして起こったもののように思われる。 ただ、これらの文章からはあまり読みとれなかったこともある。 不満や怒りを抱えている人は多いが、そういう人がみな無差別殺人をするわけではない。秋葉原の事件の犯人などは、認知されたい
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く