オープンソースの仮想ソフト「Xen」、The Linux Foundationの共同開発プロジェクトに
サンフランシスコ発--「Linux」の推進に取り組む非営利団体のThe Linux Foundation（LF）は米国時間4月14日、当地で開催中のLinux Foundation Collaboration Summitで、オープンソースのハイパーバイザ「Xen」を開発するXen ProjectをLFの共同開発プロジェクトにするという驚くべき取り組みを発表した。 誕生から10年を迎えるオープンソースの仮想化プラットフォームのXenは、Linuxカーネルと同じようなガバナンス構造を持つThe GNU General Public License version 2（GPLv2）の下でライセンスされている。また、2007年以来、Citrix SystemsがXenを商業的にサポートしてきた。しかし、Xen Projectの協力企業が多岐にわたってきたことから、Xenでは、助言の提供や協力的な
時事ドットコム：「予告なしの報復行動」通告＝正恩氏写真焼却を非難−北朝鮮
「予告なしの報復行動」通告＝正恩氏写真焼却を非難−北朝鮮 「予告なしの報復行動」通告＝正恩氏写真焼却を非難−北朝鮮 【ソウル時事】朝鮮中央通信によると、北朝鮮の人民軍最高司令部は１６日、韓国の保守団体が金正恩第１書記らの写真を燃やしたことを非難し、「予告なしの報復行動」と「軍事的示威行動」を始めるとする「最終通告状」を発表した。 通告状は、「われわれの最高尊厳を傷つける蛮行がソウルの真ん中で行われているので、今から予告なしの報復行動を開始する」と表明。報復対象は加担者や黙認した者、政府関係部署を含むとしている。 さらに、「最高尊厳をどう守るかを示すための軍事的示威行動を即時開始する」と威嚇。「かいらい当局者たちが、真に対話を望むのなら、これまでのすべての反共和国的敵対行為を謝罪し、中止する意志を見せねばならない」と求めている。（2013/04/16-05:56）
Major earthquake strikes south-east Iran
More than 30 people were killed in Pakistan where dozens more were injured Iran has been struck by its most powerful earthquake for more than 50 years, with tremors felt across Pakistan, India and the Middle East. The epicentre of the 7.8-magnitude quake was near the south-eastern city of Khash, close to Pakistan. The quake struck deep and in a remote region, apparently limiting casualties. Irania
1ドル・ピザの氾濫、昔ながらのピザ店脅かす─ＮＹ・マンハッタン
This copy is for your personal, non-commercial use only. Distribution and use of this material are governed by our Subscriber Agreement and by copyright law. For non-personal use or to order multiple copies, please contact Dow Jones Reprints at 1-800-843-0008 or visit www.djreprints.com. http://jp.wsj.com/article/SB10001424127887323846104578426361839332352.html
朝日新聞デジタル：日立など、高信頼の車制御ソフト検査技術を開発−プログラム３５万行適用 - 日刊工業新聞ニュース - テック＆サイエンス
日立製作所は日立オートモティブシステムズ（東京都千代田区、大沼邦彦会長兼ＣＥＯ、０３・４２３２・５３００）と共同で、プログラミング手法の形式手法を用いて信頼性の高い自動車制御ソフトの検査技術を開発した。これまでに論文などで報告された形式手法の範囲に比べ約１０倍となる３５万行のプログラム行数に適用できることを実証した。日立オートモティブは２０１３年度から、今回の新技術を製品開発に利用し、さらに高信頼性の自動車制御ソフトを開発していく計画だ。 形式手法とは、要求された仕様と設計をそれぞれ数学的に記述し、これらの違いを比べて設計が要求仕様を満たすかどうかを厳密に検査する技術。両社はＣ言語で書かれたプログラム（ソースコード）から検査モデルを自動生成する技術を開発し、検査支援ツールを試作した。 具体的には、設計者が検査したい点に関係する部分だけを抽出し、計算機で調べる必要のある検査モデルの動作し
NTTデータがスマホの私用・業務モード自動切り替え技術開発しBYOD導入、アプリ無償配信も
NTTデータは2013年4月15日、スマートフォンやタブレットの「自動モード切り替え技術」を開発したと発表した。場所や時間、ログインしたユーザーなどによって業務モードと私用モードを自動的に切り替える。同日、GooglePlayで同技術を実装したAndroidアプリの無料配信を開始した。また2013年4月よりNTTデータ社内でBYOD（私物デバイス活用）を導入することを明らかにした。 「自動モード切り替え技術」は、スマートデバイスの物理的な位置（GPS情報や検知した接続している無線LAN）、時間帯、ログインしたユーザー、社内ネットワークなど指定したネットワークとの接続の有無によって、業務モードや私用モードなどを自動切り替えする技術。モードにより、ホーム画面を自動的に切り替え、カメラや無線LANなどのデバイスやアプリケーションの利用を許可したり禁止したりすることができる。 ユーザー認証機能も備
「国によって価値が異なる単一通貨」のナゾ
（2013年4月15日付 英フィナンシャル・タイムズ紙） 欧州中央銀行（ECB）の調査によれば、欧州北部の世帯の純資産は欧州南部の世帯のそれよりもはるかに少ない。 ドイツでは1世帯が保有する純資産の平均値が20万ユーロを少し下回るが、スペインのそれは30万ユーロで、キプロスのそれは67万ユーロなのだという。これらの数字はタイプミスではない。 貧しいドイツ人が裕福なキプロス人を救済している？ 同じユーロのはずなのに・・・〔AFPBB News〕 これを知ったドイツの新聞各紙は、貧しいドイツ人が裕福なキプロス人を救済していると書き立てた。この解釈は間違っているが、直観に反するこうした数字の背後にある真実はそれ以上に不穏だ。 この調査で明らかになったのは、純資産に差があることではなく、ユーロ加盟国間に事実上の為替レートがあるということだ。これらの数字は純資産ではなく、不均衡の度合いを示しているの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
47NEWS（よんななニュース）
http://people.csail.mit.edu/edya/publications/OptimisticFIFOQueue-journal.pdf
キリストもびっくり！スウェーデンでボランティアが聖書を翻訳→ネット公開→聖書の出版協会が訴訟の動き | HON.jp News Blog