自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡

[速報] クラウドの先はソーシャルだと、明確に指し示すセールスフォース・ドットコム。Dreamforce 2012 クラウドはもう当たり前、次にビジネスを変えるのはソーシャルだ。セールスフォース・ドットコムがサンフランシスコで開催中のイベントDreamforce 2012。3時間に及ぶ基調講演のメッセージをまとめれば、このように言えるでしょう。 同社のCEO マーク・ベニオフ氏は、いかにソーシャルメディアが企業を、ビジネスを、働き方を変えるのかを次々に参加者の目の前に提示して見せました。そしてあらゆる面でソーシャルメディアによる変革が起きているのだと強調します。 ちなみに同社は先週、それまでソーシャルメディアを活用する企業を指す用語「ソーシャルエンタープライズ」を、今後のマーケティングでは使わないと宣言しました。そしてその宣言通り、基調講演でソーシャルエンタープライズという用語が使われるこ

ネット上にはたくさんのIT系のコンテンツがあふれています。そのほとんどは文章として書かれていますが、一部にはマンガの形で面白く分かりやすくしたものもあります。ここでは、マンガ化されたITコンテンツを集めてみました。毎年恒例、ITまんがの2012年版です。 もしここに掲載していないITまんがをご存じでしたら、コメント欄などでぜひ教えてください。毎年更新する予定です。 2012年版の新着ITまんが スーパーコンピュータ「京」開発物語 - 富士通 世界一速いスーパーコンピュータ「京（けい）」はいかに開発されたのか。草野義博は子供の頃からスーパーコンピュータを作りたいという夢を持っていた。そしてある日、10ペタフロップスを目指すスーパーコンピュータの国家プロジェクトがスタートする 工藤伸治のセキュリティ事件簿 - Scan NetScurity インターネットは巨大な昏い海だ。悪意も善意もまとまり

どれだけの企業がすでにパブリッククラウドを導入しているか、もしくは計画しているか。そしてパブリッククラウドの導入で懸念することとは何か。サイボウズとITmediaのTechTargetが相次いでアンケート結果を発表しました。それぞれの結果を見てみることにしましょう。 TechTargetは2月22日付けの記事「パブリッククラウド調査結果、セキュリティが不安な一方で3割は導入に前向き」で、2012年1月24日から2月9日にかけて行ったアンケート結果を記事にしています。Webによるアンケートで、有効回答数は312件。主にPaaS/IaaSを想定した質問になっています。 サイボウズは昨年12月に行った同社主催の「経営戦略×クラウド」シンポジウム来場者に対するアンケート結果を公開しています。有効回答数は222件。こちらは主にサイボウズのイベントに集まった人が対象のため、クラウドとしてSaaS/Pa

個人がスマートフォンやタブレットなど複数のデバイスを使って情報にアクセスするようになり、それらのデバイスをつなぐためのパーソナルクラウドの重要性が高まる。米調査会社のガートナーが「Gartner Says the Personal Cloud Will Replace the Personal Computer as the Center of Users' Digital Lives by 2014」を公開しています。 Gartner Says the Personal Cloud Will Replace the Personal Computer as the Center of Users' Digital Lives by 2014 Gartner analysts said the personal cloud will begin a new era that will pr

特許庁が進めてきた基幹系システムの刷新プロジェクトが失敗に終わり、開発に投じた約55億円が無駄になってしまったことが、先週相次いで報じられました。 ［スクープ］特許庁、難航していた基幹系刷新を中止へ - ニュース：ITpro 朝日新聞デジタル：費やした５５億円、水の泡に　特許庁がシステム開発中断 - ビジネス・経済 このプロジェクトに「内閣官房GPMO（ガバメントプログラムマネジメントオフィス）補佐官」の肩書きで2009年まで民間から参加した萩本順三氏（現 匠BusinessPlace 代表取締役社長）がFacebook上で当時を述懐しつつ、失敗の要因を分析していました。今後、失敗プロジェクトを繰り返さないためにも、重要な発言として本人の許可をいただいてまとめました。 特許庁の情報部門に幾度も中止を迫った 萩本順三氏の発言の主要な部分を引用します。 内閣官房GPMO（ガバメントプログラムマ

データセンターやサーバルームといえば、がんがんに冷房が効いて、しばらく作業していると手がかじかんでくる……という経験をした方も少なくないはず。 ところがインテルは「Still Cooling Your Data Center?」（まだデータセンターを冷やしてるの？）という、これまでのデータセンターの常識をひっくり返すビデオを公開しました。 Still Cooling Your Data Center? 半裸でオフィスを練り歩く二人、どこへ向かっているのかというと……

このブログ「Publickey」を始めた最大の理由は、ブログという小さなメディアの可能性を広げていくことであり、小さなメディアの運営が職業として成り立つのかどうかを確かめたい、ということにあります。 そうした実験の経過として毎月ページビューの報告をしてきましたが、今月で3回目の期末を迎えたので、そろそろ売り上げについても報告したいと思います。なぜ3回目の期末でようやく報告できるかといえば、1回目の期末はまだ立ち上げたばかりで何もなく、2回目の期末はクライアント数が少なすぎて、売り上げを報告するとクライアントがいくら支払ったのかが丸わかりになってしまう感じになってしまっていたのです。 僕の周りには、いつかブログの収入で食べて行けたらいいなと思っている人がたくさんいますし、僕の知らないところにもたくさんいるはずです。そういった方に、現実はこんな感じ、という一例を参考までに知っていただければと思

グーグルでは、社内のプログラマによって作り出される大量のコードの品質を保つため、チェックイン前にユニットテストとコードレビューが行われているそうです。しかし、コードが大量になってくると、ユニットテストやレビューをすり抜けるバグも少なからず発生します。 そこでコードの品質をさらに高めるために、グーグルでは「バグ予測アルゴリズム」を採用。バグがありそうな部分をレビュアーにアドバイスする仕組みを採用したとのこと。 そのバグ予測アルゴリズムとはどんなものなのか。Google Engineering Toolsブログに投稿されたエントリ「Bug Prediction at Google」（グーグルにおけるバグ予測）で説明されています。 ソースコードの修正履歴を基に予測 コードの中にバグがありそうな箇所を分析する手法としては、「ソフトウェアメトリクス」がよく用いられます。これはコードを静的に分析して、

SIビジネスの本質は保険屋であり、受託開発でアジャイル開発が失敗するのは受託開発が製造業だから。11月19日に行われた楽天テクノロジーカンファレンスでの講演「プログラマを一生の仕事にできるビジネスモデルで目指す未来のビジョン」では、ソニックガーデン代表取締役社 倉貫義人氏によるこのような示唆に富む内容が語られました。 さらに倉貫氏は、ソニックガーデンで行っているクラウド時代の受託開発の新しいモデルについても詳しく紹介しています。 同氏の講演の内容を、配信されたUstreamの動画を基にして紹介しましょう。 プログラマを一生に仕事にできるビジネスモデルで目指す未来のビジョン ソニックガーデン代表取締役社長 倉貫義人氏。 倉貫です。今回のオファーをいただいたときに「技術者の人が元気になるような話をしてほしい」というのがあって、私自身がずっとエンジニア、プログラマやマネージャ、営業などいろいろや

大手ストレージベンダのEMCでグローバルマーケティングCTOを務めるChuck Hollis氏のブログ「Chuck's Blog」は、ストレージ市場に起きていることをHollis氏が率直に書いており、いつもチェックしているブログの1つです。 彼が先月14日にポストしたエントリ「The Shape Of The New Storage Market（新しいストレージマーケットの輪郭）も、ストレージベンダに籍を置く専門家の視点でいまのストレージ市場をどう見ているのかがよく伝わってくる記事でした。 Hollis氏は次ようにストレージの技術的な進化をユニークなものだとしたうえで、いま起きている3つの大きな変化を指摘しています。 Networks don't retain information, nor do CPUs. To me, this means that storage growth

日本時間で昨晩、Amazonが発表したデバイス「Kindle Fire」には、クラウドとデバイスのあいだで分散処理を行う全く新しいWebブラウザ「Amazon Silk」が搭載されています。 Amazon Silkはローカルのデバイス上で動作するWebブラウザの背後に、クラウドであるAmazon EC2で動作するサービスがつねに存在し、両者が連動して高速なWebブラウジングを実現すると説明されています。Amazonはこれを「Split Browser Architecture」と呼んでいます。 これまでWebブラウザの高速化、高機能化の競争は、PCやモバイルデバイスなどで動作するソフトウェアの進化を意味していました。しかしAmazon Silkの登場で、この進化がクラウドを巻き込むものに広がりました。 グーグルやマイクロソフト、モジラ、オペラなどのWebブラウザベンダの戦いに、Amazon

「絶対落ちないシステムを作れ」という要件に、開発者たちはどう対応したのか。東証arrowheadの当事者が語る 「素人的に言えば、絶対落ちないシステムを作れ、というのがユーザーから見た要求条件」と発言したのは、東京証券取引所の株式売買システム「arrowhead」開発のプロジェクトマネージャ 宇治浩明氏。 東京証券取引所は2005年にシステム障害を起こし、取引が一時全面停止するという事態を引き起こしました。そのため2010年に稼働を開始した新システム「arrowhead」の開発では、高性能と高可用性という高い品質を実現することが絶対の目標となっていました。 東京証券取引所と、arrowheadの開発に当たった富士通。両社はどのように開発プロジェクトを通して高いソフトウェア品質を実現したのでしょうか？ 9月9日、早稲田大学 西早稲田キャンパスで行われた日本科学技術連盟主催「ソフトウェア品質シ

8月31日から2日間、都内で行われたイベント「Cloud Computing World Tokyo 2011」。そのイベントへの申し込み段階で最初に満員となったのが、国立情報学研究所 佐藤一郎教授のセッション「クラウドコンピューティングの将来動向」でした。 技術的な背景に基づき、ビッグデータ活用に必要な条件とは何か、クラウドのビジネスモデルはどうなるのか、データセンターの進化の方向性、などについて具体的な解説が行われています。 この記事では、そのセッションの内容を紹介しましょう。 ビッグデータ流行の背景となったMapReduce/Hadoop 国立情報学研究所 アーキテクチャ科学 研究系 教授 佐藤 一郎氏。 分散システムの研究者から見た、クラウドのインフラの話、10年先の話をしようと思います。 1つ目はビッグデータの話題。 ビッグデータの処理技術「MapReduce/Hadoop」は、

Facebookは大規模なデータ処理の基盤としてHBaseを利用しています。なぜFacebookはHBaseを用いているのか、どのように利用しているのでしょうか？ 7月1日に都内で行われた勉強会で、Facebookのソフトウェアエンジニアであるジョナサン・グレイ（Jonathan Gray）氏による解説が行われました。 解説はほぼスライドの内容そのままでした。当日使われた日本語訳されたスライドが公開されているので、ポイントとなるページを紹介しましょう。 Realtime Apache Hadoop at Facebook なぜリアルタイムデータの分析に、Hadoop/HBaseを使うのか？ MySQLは安定しているが、分散システムとして設計されておらず、サイズにも上限がある。一方、Hadoopはスケーラブルだがプログラミングが難しく、ランダムな書き込みや読み込みに向いていない。 Faceb

4月に米サンタクララで行われたMySQL Confernce & Expo 211では、TwitterのJeremy Cole氏が「Big and Small Data at @Twitter」と題して、同社のシステムにおける原則とシステム構成について紹介したプレゼンテーションが行われました。 1日に1億5000万以上のツイートが行われているTwitterのシステムはどのように構築されているのか、その内容を紹介しましょう。 Twitterにおける原則 TwitterのJeremy Cole氏。

LevelDBはSQLをサポートせず、クライアント／サーバ型でもなく、シングルプロセスからアクセスされることを想定したいわゆるNoSQLの高速なキーバリュー型データストアを実現するためのライトウェイトなライブラリだと説明されています。 ChromeブラウザでHTML5の仕様として策定中のIndexedDBを実装するものとして開発されたようです（ドキュメントに明記されていないのですが）。 LevelDBを開発した理由 LevelDBのWebサイトによると、LevelDBは以下の主な機能を備えています。 基本的な操作は、Put(key,value), Get(key), Delete(key) 1つのトランザクションとして複数の変更操作が可能 データは自動的に圧縮し保存される Hacker Newsの記事によると、当初はLevelDBを開発する代わりに平林幹雄氏が開発したTokyo Cabin

［速報］Chrome OSを搭載したChromebook、ついに来月発売。サムソンとエイサーから。Google I/O 2011 グーグルがサンフランシスコで開催中のイベント「Google I/O 2011」。2日目の基調講演はWebがテーマになりました。Webアプリケーションでの課金、高速なゲームの実現、そしてChromeを搭載した専用のノートPCである「Chromebook」が発表されました。 2日目の基調講演、前半ではWebアプリ内課金などの発表が行われました。続きを紹介しましょう。 （この記事は「［速報］グーグル、Webアプリのマネタイズを提供、わずか5％の決済手数料。Google I/O 2011」の続きです）

4月11日から米サンタクララで行われた「MySQL Conference & Expo 2011」。このイベントでDeNAの松信嘉範（まつのぶよしのり）氏が、同社の大規模なMySQLの運用を支えている技術とツールについてのセッション「Automated, Non-Stop MySQL Operations and Failover」を行いました。 プレゼンテーションの中で、社内で利用しているフェイルオーバーの自動化ツールをオープンソース化することにも触れています（英語のドキュメントも作成中とのこと）。 MySQLの大規模運用における自動フェイルオーバーは、特にクラウドでのMySQLの利用が増えるにつれてニーズが高まる分野と思われます。セッションのスライドが公開されていますので、そのポイントを紹介していきます。 自動化されたノンストップなMySQLの運用 ソーシャルゲームでは高可用性が強く求

グーグルが行っているビルドとテストの種類。続々、グーグルはあれほど多くのソフトウェアのテストをどのように行っているのか？ グーグルでTest Engineering Directorを務めるJames A Whittaker氏が、ブログ「Google Testing Blog」に書いているグーグル社内のソフトウェア品質に関するノウハウ。最近の記事「How Google Tests Software - Part Four」「How Google Tests Software - Part Five」では、ビルドの種類とテストの種類について紹介しています。 One of the key ways Google achieves good results with fewer testers than many companies is that we rarely attempt to sh