STMはソフトウェアトランザクショナルメモリの略です。 ↓とりあえずwikipedia http://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%95%E3%83%88%E3%82%A6%E3%82%A7%E3%82%A2%E3%83%88%E3%83%A9%E3%83%B3%E3%82%B6%E3%82%AF%E3%82%B7%E3%83%A7%E3%83%8A%E3%83%AB%E3%83%A1%E3%83%A2%E3%83%AA 日本でSTMの話題を検索すると「楽観的ロックでしょ?」といった発言を見かける事が多く、確かに実用的な手法の多くはロックベースだったりしていますが、正直なところロックベースな手法のSTMはデータベースでのトランザクションと似ているフシがあったりしてデータベースに詳しい人からするとそれほど驚くような手法ではない事が多いのです。その
抽象的に理由を言えば、 実数(複素数)には、いくつかの公理があります。 その中の一つに可換体という代数的概念を認めているからです。 わかりやすくいいますと、実数の集合Rは代数的には実数体とも呼び、可換体なわけです。 可換体Fの定義は「Fの0元以外の元は全てFの中に逆元をもつ単位的可換環F(単位元1を含んでいて、乗法に関して交換可能な環F)」のことです。 環の定義も書いておけば、集合Rが環であるとは、 任意の元a,b,c∈Rに対して、「+」と乗法が定義されていて、つまり、a+b∈R,ab∈Rであり、 (1)(a+b)+c=a+(b+c) (2)a+b=b+a (3)a+d=d+a=aとなるd∈Rがある。(このdを0と書く。) (4)a+a'=a'+a=0となるa'∈Rがある。(このa'を-aと書く。) (5)a(b+c)=ab+bc, (a+b)c=ac+bc (6)a(bc)=(ab)c
北森瓦版 - Northwood Blog (Author : 北森八雲. Since July 10, 2006.) AMD not leaving x86 market(NordicHardware) AMD Still Committed To x86 - But Not In High End Desktop(techPowerUp! / 2011年11月30日) AMD To Give Up Competing With Intel On x86? CPU Prices Already Shooting Up(techPowerUp! / 2011年11月29日) AMDがIntelとの競争を諦め、x86 CPU市場から降りるのではないかという噂が広まっているが、これは誤りである。おそらく元のAMDのスポークスマンの短い声明が誇張されて今回の噂が立つに至ったのだろう。 まず問題と
1 報道発表資料 平成23 年12 月 1 日 独立行政法人国民生活センター 急増するスマートフォンのトラブル パソコンのように多様なウェブサイトにアクセスしたり、アプリケーションソフトをダウンロードして 利用者が機能の追加をすることができるスマートフォンの普及が急速に進んでいる。その一方で、スマー トフォンの特性についての情報が消費者に十分行き渡っていないなかで、従来の携帯電話の延長線上で利 用され、トラブルが生じている。 スマートフォンに関する2011 年度の相談件数は、 1,789 件 (2011 年10 月31 日までの登録分) であった。 2010 年度の同時期(542 件)と比較しても、3 倍以上の相談が寄せられている。 今後もスマートフォンを利用する消費者の増加が予想されるが、事業者と消費者の情報格差は大きく、 事業者にとって 「スマートフォンだから仕方がない」 、 「スマー
株式会社クレイジーワークスの代表。家電メーカー系エンジニアでプリンタやSDカード関連の開発に従事。ケータイのアプリやサイト、電子書籍のシステムなどに詳しい。最近、断食にはまる。 国民生活センターのスマホのレポートが非常に興味深い。スマホが好きな人には興味深いレポートだ。 http://www.kokusen.go.jp/pdf/n-20111201_2.pdf 相談内容の内訳を見てみると、すごい。 いちばん多い相談は解約。35%って、結構すごいよね。1/3超えてるよ!解約料の相談かなーと思ったけど、それは10位に入っているようだ。つまり、ご相談された方の1/3以上が、スマホを解約したいらしい。 メールが届かないとか、通話アプリが強制終了したから、フリーズしたから、「修理」に出したりする人がいるんですね。修理に出しただけで、Androidが強制終了しなくなったら、何億人のAndroidプログ
中国・江蘇(Jiangsu)省南京(Nanjing)の工場から立ち上る煙(2010年11月28日撮影、資料写真)。(c)AFP/ CHINA XTR 【12月2日 AFP】国連気候変動枠組み条約(UNFCCC)第17回締約国会議(COP17)が開催されている南アフリカ・ダーバン(Durban)で11月29日、温室効果ガス排出量の国別ワーストランキングが公表され、日本がワースト5位に入った。 英リスク評価企業メープルクロフト(Maplecroft)が世界176か国について、エネルギー利用による二酸化炭素(CO2)の排出量と、メタンガスや一酸化二窒素などその他の温室効果ガスの排出量を合わせた年間排出量を、二酸化炭素換算値(CO2e)にしてランク付けたもの。米エネルギー省エネルギー情報局(Energy Information Administration、EIA)や米環境保護局(US Envir
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く