二分決定図 - Wikipedia
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフである。グラフに既約していない物は二分決定木（binary decision tree）と呼ぶ。 概要[編集] ビット(0あるいは1)の列を入力として、最終的に1つの 0/1 を返すような関数、すなわちブール関数は、閉路のない有向非巡回グラフで表現できる。ノードのうちの大部分は決定ノードと呼ばれ、それぞれの決定ノードは2つの行き先、つまり2つの子ノードを持つ。決定ノードには「入力の何ビット目を読め」というラベルが与えられている。従って、与えられたブール関数の答えを得るには、指示に従って入力のビット列を読みながら、ビットが0か1かによって、分岐点ごとに2つの行き先のどちらかを選べば良い。さらに、このような決
SafeNet、Android対応ソフトウェア・ライセンス管理ソリューション「Sentinel RMS Embedded」を提供
「Sentinel RMS Embedded」は、ソフトウェア・ライセンス供与ツールキット「Sentinel RMS」をベースに、さらなる小型化とモバイル化を図ったソリューションで、メモリ容量に制限のあるモバイルデバイスやスマートフォンに特化して設計されている。また、Androidを標準でサポートし、モバイルソフトウェアの収益化を進められる。さらに、制御やエンタイトルメント（使用権限）管理を機能レベルで実行可能となっている。 ソフトウェア提供会社やハードウェアメーカーは、あらゆるタイプのデバイスにインストールされるソフトウェアのセキュリティ保護、価格設定、パッケージング、管理を柔軟に実行でき、収益の拡大、運用コストの低減、ユーザーエクスペリエンスの向上につなげられる。 ライセンス供与および知的財産（IP）保護機能は、リバースエンジニアリングのリスクを軽減し、企業の収益を保護する。単一のコー
米テキサス州の肥料工場爆発、死者12人・200人負傷＝当局者
４月１９日、１７日夜に爆発を起こした米テキサス州の肥料工場に、２０１２年末の時点で、爆発の危険性がある硝酸アンモニウムが保管されていたことが分かった。写真は爆発のあった工場内に立ち入る捜査関係者。同日撮影（２０１３年 ロイター/Adrees Latif） ［ウェスト（米テキサス州）／ヒューストン／ニューヨーク １９日 ロイター］ 米テキサス州の当局者は１９日、肥料工場で１７日に起きた爆発で１２人の死亡を確認、約２００人が負傷したと明らかにした。
x86 のページング機構を使ったチューリングマシン - NAKAMURA Minoru's Diary
2002 | 10 | 11 | 12 2003 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2004 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2005 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2006 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2007 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2008 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 2009 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 1
Oracleと富士通の協業関係に異変？
UNIXサーバ分野において緊密な協業を行ってきたOracleと富士通の関係が、ここにきて新たな段階を迎えているようだ。さらなる発展へと向かうのか、それとも……。 Oracleの新製品発表に沈黙し続ける富士通 「本日、世界最速のSPARCプロセッサを搭載したUNIXサーバ製品群を日本で披露することができ、たいへん嬉しく思っている」 米Oracleで日本とアジア太平洋地域のシステム営業を担当するエイドリアン・ジョーンズ シニアバイスプレジデントは4月16日、日本オラクルが開いた新製品発表会でこう切り出した。 日本オラクルがこの日発表したのは、UNIX OS「Oracle Solaris」が稼働する「SPARC」プロセッサ搭載サーバ製品群の新モデルで、ミッドレンジ向けの「SPARC T5」サーバ4機種、およびハイエンド向けの「SPARC M5」サーバ1機種。米国では3月26日に発表されたものだ。
シリアで５００人超す遺体か、「治安部隊が襲撃」と反体制派
（ＣＮＮ） シリア反体制派の「地域調整委員会（ＬＣＣ）」は、同国各地で２１日、過去６日間の治安部隊による襲撃で死亡したとみられる民間人など少なくとも５６６人の遺体が見つかったと明らかにした。 ＬＣＣ広報によれば、１日でこれほど多くの犠牲者が判明したのは、２０１１年３月に同国が内戦状態に陥って以来、初めてだという。 ＬＣＣの活動家によると、このうち首都ダマスカスの郊外では、少なくとも４５０人が死亡しているのが見つかったという。この地域は過去６日間で３０００人あまりの治安部隊に急襲され、民間人少なくとも３００人と、反体制派「自由シリア軍」のメンバー１５０人が死亡したと活動家は話している。
どうしてXiはつながりにくい？ ドコモのネットワーク担当者に直撃してきた
どうしてXiはつながりにくい？ ドコモのネットワーク担当者に直撃してきた2013.04.19 21:007,351 最近Xiの速度、遅くないですか？ 2012年に全ての携帯端末キャリアが開始したLTEサービス。スマホやタブレットを使っていると本当にLTEの電波が入って便利だなと思う時が増えました。 一方でギズモードの編集部周りでは、｢ドコモのXiは速度遅いよね｣という声を徐々に聞くようになりました。さらに、追い打ちをかけるようにLTE通信速度の遅さを証明する調査結果も出てきました。 ・がんばれドコモ！ 世界各国の通信キャリアのLTE通信速度比較で日本は9位 モバイルがこれだけ普及した環境で、つながりにくいXiは致命的ですよね。なによりドコモがこの問題をどう意識しているのかが気になりますよね。 そこで今回、NTTドコモの無線アクセスネットワーク部 無線企画部門 担当部長の平本義貴さんに、Xi
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
東名高速の防音壁内から白骨化遺体 川崎 - MSN産経ニュース
Aerospike, Cassandra, Couchbase、MongoDBを比較したNoSQLベンチマーク
ギリシャで外国人労働者に発砲、２８人負傷 賃金巡り争いか