量子コンピューティングに対するMicrosoftのアプローチ - ISC 2021
ISC 2021において、MicrosoftのMatthias Troyer博士が「Quantum Computing: From Academic Research to Real-World Applications」と題する基調講演を行った。 Troyer博士は 約20年間スイスのETH ZurichのComputational Physicsの教授を務めていたが、Leave of Absenceで休暇を取り、2017年にDistinguished Scientistという肩書でMicrosoftに移っている。 なお、ETH Zurichは2021年のTimes Higher Educationでは世界で14位にランキングされている名門大学である。ちなみに、東大は36位である。 図1 ISC 2021において“Quantum Computing: From Academic Rese
岡田を切る技術 - Qiita
これはとある回顧録 何度も諦めかけましたが、数年の歳月を経て遂に岡田を切る技術が一旦の完成へと至りました。その技術を巡る奮闘の歴史と成果について、ここに記録を残していきたいと思います。 画像時代 まずは「切る」という動作が何を指すかを明確にしておきます。 厳密な定義というよりは、切った感を得るために必要そうなふるまいとして定義します。 平面上のある領域が、任意の直線を境界として分割されること 分割された領域は物理法則に準じてふるまうこと 要するに気持ちよく岡田を切ることができれば目標は無事達成です。 物理エンジン 切った感を高めるためにはやはり「物理法則」に準じたふるまいが欲しくなります。つまりブラウザ上で動く物理エンジンが必要です。 世の中にはフルスクラッチで物理エンジンを作れる人間と作れない人間が居ると思われますが、残念ながら私は後者でした。勝ち目の薄い勝負は避け、素直に巨人の方にすが
ロック（ミューテックス）の再入可能性：柴田 芳樹 (Yoshiki Shibata)：So-netブログ
Go言語で提供されているsync.Mutexは、再入可能（re-entrant）ではありません。それについては、『プログラミング言語Go』（p,306）には次のように書かれています。 Go のミューテックスが再入可能ではないことには正当な理由があります。ミューテックスの目的は、共有された変数のある種の不変式がプログラム実行中の重要な時点で維持されているのを保証することです。不変式の一つは、「共有された変数へアクセスするゴルーチンが存在しない」*2ですが、ミューテックスが保護しているデータ構造に特有の追加の不変式が存在するかもしれません。一つのゴルーチンがミューテックスロックを獲得したときには、そのゴルーチンは不変式が維持されていると想定するでしょう。ロックを保持している間に共有された変数が更新され、一時的に不変式が破られるかもしれません。しかし、ロックを解放するときには、秩序が回復されて不
日本発、新方式の量子コンピュータ、来年にクラウドサービスを提供
量子力学の原理を応用して計算する量子コンピュータがより安く使えるようになりそうだ。カギを握るのは光を使って計算を解く新しい計算方式だ。内閣府による「革新的研究開発推進プログラム（ImPACT）」で量子コンピュータの研究プロジェクトを率いる山本喜久氏が2016年10月20日（米国時間）に発表した。 新方式で計算できる量子コンピュータの実験機を山本氏と共同開発したNTTは、2017年秋にも同方式を使った量子計算をクラウドサービスとして外部提供する計画だ。AI（人工知能）の開発や化合物の構造比較、画像認識など幅広い用途での活用を見込んでいるという。 山本氏が開発した計算方式は、レーザー光をパルス状に変換して計算に利用する「レーザーネットワーク方式」と呼ぶもの。理論は20年以上前からあるが、今回初めて実験機で計算して、実際に使えることを確かめた。
人工知能の発展に量子コンピュータが不可欠な理由
米Googleが2015年12月に「既存のコンピュータに比べて1億倍高速」と発表して以来、カナダD-Wave Systemsが開発する「量子アニーリング型」の量子コンピュータへの注目が高まっている。この量子コンピュータとはどんなもので、何の役に立つのか。なるべく平易に解説したい。 記者は日経コンピュータの2014年4月17日号で「驚愕の量子コンピュータ」という記事を書き（ITproにも転載している）、量子アニーリング型の量子コンピュータの仕組みについて詳しく解説した。ただこの記事に対しては「難しい」という率直な感想も頂いているので、今回は例えなどを交えながら、「中身」ではなく「価値」を理解していただけるような記述を目指したい。 まず最初にお断りをしておくと、「量子アニーリング型」の量子コンピュータは、先に開発が進められていた「量子ゲート型」の量子コンピュータとは全くの別物だ。2013年以前
ショートカットキーはマウスより遅い - WirelessWire News（ワイヤレスワイヤーニュース）
CTRL+Xでカット、CTRL+Vでペースト。 ショートカットキーの使い方を覚えると、パソコンの達人になったような気分になりますよね。 しかし、実際にはショートカットキーを使用すると、マウスでメニューから「編集」「ペースト」を選ぶよりも平均2秒も遅いのです。 「そんなバカな」 と思いますよね。 しかし、これはTogことブルース・トグナッツィーニがAppleでMacintoshの開発を担当した際に行った膨大な実験の結果、解ったことなのだそうです。 これはTogのWebページでも詳しく紹介されています。 しかし2秒とはとても信じられません。 むしろ逆のようにさえ感じます。 しかしTogの主張によれば、我々ユーザはショートカットキーを選ぶのに2秒かかっているものの、ショートカットにたどり着くまでの時間を喪失している、つまりプチ記憶喪失状態になっているというのです。 こんな不思議な話が、慶應
マイクロソフトはどうやってBingをFPGAで実装したか - Qiita
ドワンゴがニコ動の画像配信向けにFPGAエンジニアを募集したり、マイクロソフトはBingをFPGA実装したり、Baiduもディープラーニングの高速化にFPGAを導入したりと、なんだか世の中急にハードウェアくさくなってきた。IoTとは違う意味で。 金融分野ではすでにCPUでは遅すぎてFPGAによるナノ秒単位の株取引が行われているって記事を書いたのは2年前だけど、ここ数年はIntelのCPUのクロックもあまり上がらなくなってきたし、Fusion-ioやNetezzaといった大手御用達のハイエンド鬼速ストレージも、フタを開ければ中身はすでにFPGAに移行済み。IBMが最近出したData Engine for NoSQLという製品ではPOWER8プロセッサにFPGAを直付けしてRedisを高速化したり。いよいよデータセンターにも、先の見えないCPUに代わってFPGAやGPUを導入する波が押し寄せつ
スパコン性能、2020年以降は伸びずに頭打ち!? ――これから何をするべきか
2014年10月9～10日に東京都港区で開催されたヴァイナスのユーザーカンファレンスにおいて、東京大学生産技術研究所の加藤千幸教授が登壇し、「大規模流体解析の産業応用～現状と今後の展望～」のタイトルで講演した。 スーパーコンピュータ（スパコン）の性能向上が限界を迎えることを指摘した上で、この先、産業界で使えるスパコンの規模や、それをCFDでどのように活用するか例を示した。 CFDの発達は、コンピュータが順調に進化してきたことによるところが大きい。スパコンが本格的に使われだして以来、その性能は、1990年代にGFLOPS（ギガフロップス）、2000年代にTFLOPS（テラフロップス）、2010年代にPFLOPS（ペタフロップス）と、「10年に1000倍」（または「3年に10倍」）のペースで着々と向上してきた。だが「このまま増えればハッピーだが、実はそうではない」と加藤氏は言う。 2012年に
激速インフラ作るネット企業の秘密基地に潜入
「ガレージで一風変わったものを開発している」――。 そんなネット企業があると聞き、先日、その「秘密基地」にお邪魔してきた。 何でも通常の開発オフィスとは別に、「ガレージ」風の特別な開発拠点を設け、そこで大量データを瞬時にさばく“激速インフラ”を実現するための先端開発をしているのだという。 「ガレージで先端開発」なんて、まるでシリコンバレーの会社みたいである。興味をそそられた筆者は早速、取材を申し入れ、3月某日、そのガレージに潜入してきた。今回はその様子をリポートする。 さて、お邪魔したのは、マイクロアドという企業である。 アドテクノロジーにお詳しい読者の方であれば、「RTB（リアルタイム・ビッディング）」という言葉を聞いたことがあるかもしれない。RTBというのはその言葉通り、ネット上に表示するデジタル広告を、コンピュータ同士で超高速に自動入札するものだ。マイクロアドは、このRTB向けのプラ
「MVCの勘違い」について、もう一度考えてみる - 圧倒亭グランパのブログ
お久しぶりです。@at_grandpa です。 今回、Model View Controller について再考する機会があったので、自分なりに整理してみました。 勘違い MVCの勘違いに関しては、以下のSlideShareが有名かと思います。 やはりお前らのMVCは間違っている @mugeso これにはドキッとしたことを覚えています。 このスライドで「間違っている！」と指摘されている形式を、そういうものだと理解していたからです。 上記で指摘されている勘違い形式を、自分なりにわかりやすく噛み砕き、図にしてみました。 Userからの入力をControllerが受け取る Controllerはデータ置き場であるModelからデータを取得する 取得したデータをControllerが加工する 加工したデータをViewに転送する Viewは、受け取ったデータを視覚表現しディスプレイに表示する 自分の中
京コンピュータをどう使って行くのか(8) 微小な空気の渦までシミュレーションすることで空気抵抗を低減 - 東大
自動車や船の周りの流れの解析 京コンピュータシンポジウムにおいて、東京大学の生産技術研究所長の加藤千幸教授は、自動車や船の周りの流れ解析と題して、京コンピュータを利用した最新成果を発表した。 車の周りの空気の流れや船の周りの水の流れは、推進抵抗を決める重大な要素である。従来のシミュレーション結果を見ると、流線型の車の表面に沿って空気が流れ、抵抗が小さい状態になっていると考えられていたのであるが、格子サイズを細かくして、京コンピュータを使って空気の流れをシミュレーションすると、細かい渦が無数にできていることがわかったという。従来の粗い格子のシミュレーションではこれらの渦が解析できなかったので、精度が悪かったという。
映画1本の復号処理を8秒で実現――KDDIの暗号技術「KCipher-2」が国際標準規格に
映画1本の復号処理を8秒で実現――KDDIの暗号技術「KCipher-2」が国際標準規格に：携帯電話や大容量データの高速処理向けに開発 KDDIとKDDI研究所は、高速ストリーム暗号アルゴリズム「KCipher-2（ケーサイファー・ツー）」がストリーム暗号の標準規格ISO 18033-4の最終承認を経て、国際標準規格として採用されたことを発表した。KDDI研究所と九州大学が共同設計し、KDDI研究所が開発・商用化した暗号アルゴリズムだ。 KDDIとKDDI研究所は2012年2月14日、高速ストリーム暗号アルゴリズム「KCipher-2（ケーサイファー・ツー）」が、ストリーム暗号の標準規格ISO（国際標準化機構） 18033-4の最終承認を経て、国際標準規格として採用されたことを発表した。KDDI研究所と九州大学が共同設計し、KDDI研究所が開発・商用化した暗号アルゴリズムだ。 ストリーム暗
グーグルはコードの品質向上のため「バグ予測アルゴリズム」を採用している
グーグルでは、社内のプログラマによって作り出される大量のコードの品質を保つため、チェックイン前にユニットテストとコードレビューが行われているそうです。しかし、コードが大量になってくると、ユニットテストやレビューをすり抜けるバグも少なからず発生します。 そこでコードの品質をさらに高めるために、グーグルでは「バグ予測アルゴリズム」を採用。バグがありそうな部分をレビュアーにアドバイスする仕組みを採用したとのこと。 そのバグ予測アルゴリズムとはどんなものなのか。Google Engineering Toolsブログに投稿されたエントリ「Bug Prediction at Google」（グーグルにおけるバグ予測）で説明されています。 ソースコードの修正履歴を基に予測 コードの中にバグがありそうな箇所を分析する手法としては、「ソフトウェアメトリクス」がよく用いられます。これはコードを静的に分析して、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【福田昭のセミコン業界最前線】 “量子コンピュータに匹敵する日立の新型半導体コンピュータ”の正体
日立が量子コンピューター似の新型コンピューターを開発、「2～3年で実用化」へ
日立、量子コンピュータに匹敵するCMOS半導体コンピュータを開発 ～約1,800倍の電力効率で組み合わせ最適化問題を解く
NTT研究所の日本語解析技術API公開、「語句類似度算出」「ひらがな化」など4種 
【後藤弘茂のWeekly海外ニュース】 2014年にはメジャーになるARMの省電力技術「big.LITTLE」
D-Wave社の量子コンピュータは「本物」～米研究者グループが「量子効果を確認」とネイチャーに発表 
シェルスクリプトでビッグデータ処理～ユニケージ開発手法とは～
