BLUE*アルゴリズムを実装してみたので、せっかくだからテストの自動生成をやってみた。 今回テスト対象にするコードの仕様は 開く、閉じる、書き込む、の3つの操作ができる 開いてないのに書き込んだり閉じたりしたらエラーになる というもの そしてこちらがそれの「バグのある実装」： class Target(object): # bad impl. def __init__(self): self.opened = False self.closed = False def open(self): self.opened = True def write(self): if not self.opened: raise RuntimeError if self.closed: raise RuntimeError def close(self): if not self.opened: rais

最近 SPDY と WebSocket がアツいですね。 再来週の SPDY & WS 勉強会 も、定員100名に対して 参加者が 247 名とかなりアツいことになっています。 その予習というわけでもないですが、最近 WebSocket を実サービスへの 導入方法を考えながら遊んでいたので、 WebSocket の負荷分散方法について 考えていることを書いておこうと思います。 ステートフルな WebSocket アプリケーション HTTP サービスは基本的にステートレスな実装になっており、リクエストが来るたびに DBサーバーや memcached などのバックエンドから情報を取得して返していました。 この構成では Web アプリ自体は完全にステートレス化することができているので、 負荷分散機はラウンドロビン等のアプリケーションを無視した負荷分散をすることができました。 しかし、 WebSo

厄年どまんなかの中山です。こんにちは。 先日、とある飲みの席で、「40歳になるのって、けっこう精神的にクルよね」、「29→30歳より、39→40歳のほうが精神的ダメージがデカイね」って話題がのぼりました。 同席していた50代の人は「そうそうっ！」って力強く共感し、30代の人は「僕も気になってました、実際どうなんですか！？」って膝を乗り出してきて、「あ、これはきっと誰もが気になるコトなんだろう」と思ったのです。 年代がひとつ上がるのって、ひとつ歳を取る以上の重みがありますよね。「アタシもいよいよ三十路か……ハァ」とか、「オレもとうとう四十路に突入だぜ……フゥ」みたいな、新しいステージに上る感が。ぜんぜんうれしくないステージですけど。 ということで、39歳以下の方々のために、「40歳になるとはどういうことか」をぶっちゃけてみようと思います。 「40歳って、こんなんでいいの？」って驚く 40歳に

Yellow, an asset financier for solar energy and digital devices in Africa has raised $14 million series B funding in a round led by Convergence Partners with participation from the Energy Entrepreneur Fisker, the electric carmaker founded by the Danish auto designer Henrik Fisker, is gearing up to enter the Chinese market where competition is increasingly cut-throat, following in the footsteps of

「将来の夢」を小学生あたりに書けと言うと、基本的には「◯◯になりたい」という形での答えが返ってくると思う。別に小学生に限らず、大学生やあるいは大人であっても、将来の夢や目標について語る時は、基本的には「◯◯になりたい」「◯◯をやりたい」といった積極的な姿勢で語ることが多い。 こうやって夢や目標がすっぱりと決まる人は問題ないと思うのだけど、結構いい年齢になっても特に自分のやりたいことが定まらず、なんというか日々悶々としてしまっている、という人もいるのではないかと思う。「俺は何がやりたいんだろうなぁ」なんてことをたまには考えたりするが、特にこれと断定できるようなものがあるわけでもなく、なんとなく大学を卒業して、なんとなく就職して、なんとなく結婚をして、なんとなく子供を作って……といった感じで年齢だけは大きくなっていく。しかし、何歳になっても「積極的な夢」は見つからない。 ちょっと前までは、こう

3月16日からスタートする、東横線・副都心線の相互直通運転。これに伴い、東横線渋谷駅ホームがちょっとした「祭り」になっているようです。 ホームは記念写真を撮影する人たちで大変なことに 相互直通運転スタートに伴い、ホームの構造が大きく変わる東横線渋谷駅。現在の東横線ホームは3月15日までで、16日からは地下5階の新ホームへと移動することになります。いつも利用していたホームもこれで見納め――ということで、日に日に記念撮影をする利用客が増えているのだそう。混乱を防ぐため、東急電鉄のサイトには急きょ「駅構内や電車を撮影する際のお願い」という注意文も掲載されました。 「駅構内や電車を撮影する際のお願い」（東急電鉄公式サイト） 1日あたり約42万人が乗り降りし、神奈川と東京をつなぐ窓口として親しまれてきた東横線渋谷駅ホーム。最終日の15日にはさらなる混雑が予想されますが、ぜひマナーを守って、最後の仕事

Google Readerの終了について、同サービスの元プロダクトマネージャーが理由を推測している。売り上げとコストの問題とは全く関係ないという。 「売り上げとコストの問題とは無関係だ」──米GoogleがRSSリーダー「Google Reader」を7月1日で終了すると発表したことについて、Google Readerの元プロダクトマネージャーが米Q＆AサイトのQuoraで理由を推測している。彼は、GoogleがGoogle+へ注力するために2011年秋に実施したGoogle Readerのリニューアルが影響したとみている。 「なぜGoogleはGoogle Readerを終了するのか」という質問に回答を寄せたのはブライアン・シー（Brian Shih）氏。起業を経て2007年9月から2011年7月までGoogleに勤務し、Google ReaderとGoogle Financeのプロダク

先日 GREEを支える大規模インフラテクノロジー」-GREE Platform Summer Conference 2012 という記事が公開され、GREEのCTOの藤本さんが、 javascriptをサーバーサイドでも使うケースが多くなってきていて、必然的にnode.jsを使うことになるが、大きく３つの問題がある。 ひたすらすごい勢いでバージョンアップしているので安定しない。コストを払ってついていく覚悟を持って取り組んでいる。 メモリリークがあるので、サーバを起動しっぱなしにするとメモリが食いつぶされる。 コードをデプロイしても再起動しないと読み込まれない。 （中略) これで絶対大丈夫という解決策がなくて、node.jsで一番悩んでいる。これでバッチリ解決するというものがあれば、是非教えて欲しい。 といった話が掲載されていました。 GREEさんに限らず一般的に Node に対して同じ問題

はじめに node.js関連のソフトウェアをインストールする際には、npmコマンドを使います。会社などでプロキシサーバが導入されているところでは、npmコマンドでのインストールに失敗することがあります。このエントリでは、npmコマンドをプロキシサーバを経由して実行する方法を紹介します。 はじめてのNode.js -サーバーサイドJavaScriptでWebアプリを開発する-posted with amazlet at 14.02.04松島 浩道 ソフトバンククリエイティブ 売り上げランキング: 10,300 Amazon.co.jpで詳細を見る npmコマンドでプロキシサーバを指定する 以下のコマンドを実行し、プロキシサーバを指定します。 npm config set proxy http://プロキシサーバのURL:ポート番号あとは通常どおりnpm installコマンドを実行すると、プ

第7回Node.jsアプリケーションをWindow Azureで動かす 高橋俊光 2012-11-27

ネットが普及してない時代って「物知りな人」が結構チヤホヤされてた気がするんだけど、 Wikipediaが出来てからは、そういう人ってただ面倒なだけになってしまった。 元々「物知りな人」って、質問した内容について答えてくれたら嬉しいんだけど、 自分の語りたい内容にどんどん脱線していってうんざりなところがあった。 その点、Wikipediaは必要な部分だけ読めばいいから完璧。 「物知りな人」のポジションはWikipediaに奪われてしまった。 そんな便利なWikipediaだけど、知った当初は 「こんな有益な情報を無料で共有してくれるなんて、なんてありがたいんだろう」と感謝してた。 たくさんの人が公共のために無料で知識を持ち寄っていることに感動した。 でも今はそんな感謝の心なんて忘れてしまった。Wikipediaはあるのが当たり前。 調べたことが載ってないと「使えねーな」とすら思う。そんな人、

Hey—we've moved. Visit The Keyword for all the latest news and stories from Google

上田　紀行（うえだ・のりゆき） 文化人類学者、医学博士。1958年東京生まれ。東京大学大学院博士課程修了。愛媛大学助教授（93～96年）などを経て、2012年2月より東京工業大学リベラルアーツセンター教授。2005年の渡米時にはスタンフォード大学仏教学研究所フェローとして、「今の仏教は現代的問いに答え得るか」と題した講義（全20回）を行った。講義にディスカッションやワークショップ形式を取り入れるなどの試みを行っており、学生による授業評価が全学1200人の教員中第1位となり、「東工大教育賞・最優秀賞」（ベスト・ティーチャー・アワード）を学長より授与された。著書に、2006年の大学入試で出典数1位となった『生きる意味』（岩波新書）、『目覚めよ仏教！－ダライ・ラマとの対話』『がんばれ仏教！』（NHKブックス）など。（写真：大槻 純一、以下同 上田：なぜMIT（マサチューセッツ工科大学）がリベラル