タグ

ブックマーク / itpro.nikkeibp.co.jp (4)

  • 数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)

    筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにとっては聞いたこともない言語やモデルについて,日夜研究している。ただ,そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では,こうしたプログラミング言語やソフトウエア科学の様々な研究を,できるだけ普通のプログラマやエンジニアにもわかりやすく(どちらかといえば理論よりも実用に重点をおいて)紹介していく。 更新は毎月第2水曜日(1月のみ第3水曜日)

    数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)
  • 「残念なシステム」のなくしかた

    その戦略の根拠は?「事実」と「仮定」を区別しよう 前回は、残念なシステムが山のように多いことやその理由を解き明かした。「施策の有効性が不明瞭」「構築したシステムが的外れ」「客観的な評価ができない」といった問題を解決するための道具立てがGQM+Stra...

  • ニュース - 多人数参加型オンラインで興奮のショッピング:日本の福袋がヒントに(WIRED.jp):ITpro

    Photo: Little Black Bag 日では新年になると、「福袋(lucky bags)」を買うための行列ができる。福袋とは、昨年に売れ残った衣類や、お茶などを詰め込んだものだ。中身は分からないがかなり安い。中身が気に入らなければ、買い物客同士で交換もできる。 この福袋という風習は、少なくとも100年前から行われているそうだ。わたしのように裕福でない者は日出ずる国に出かけて直接それを体験できないが、ロサンゼルスで最近起業されたLittle Black Bag社が、この風習を米国のオンラインショッピングに導入した。 Little Black Bagは2月にスタートし、1,000万ドルを超えるベンチャー資金を獲得した。このサーヴィスと伝統的な福袋の主要な違いは、利用者が「袋」の中の商品のひとつを選べることだ。残りは、Little Black Bag社の高度なアルゴリズムが選んだサ

  • 携帯電話にもRSSリーダー機能ニュースやブログを手元でチェック:ITpro

    メールは,企業がサイトの更新情報やニュースを配信する用途に広く使われているアプリケーションである。中でも,携帯電話へのメールは,受信のための操作をしなくても電話機に直接届くことから,情報配信ツールとしての利用が広がっている。受信できる文字数に制限はあるものの,ユーザーの手元に情報を“プッシュ”する手段として地位を確立した。 しかしメール配信は,送信メールを作成・編集し,配信リストに従って送信する手間がかかる。配信件数が多くなると,配信リストの管理にも多大な労力と注意が必要になってしまう。 そこで,最近注目を浴びているのが「RSS」(rich site summary)による情報配信だ。RSSは,HTML(hypertext markup language)で書かれたWebページの内容のうち,見出しや概要,サイトのURL(uniform resource locator)などの要約情報を記述

  • 1