SpectreとMeltdownの詳細
原文(投稿日：2018/01/07)へのリンク 本記事は、「MeltdownとSpectre：概要と対処」のフォローアップであり、以下の内容に関する詳細を説明する：Spectre / Meltdownの特徴と潜在的な危険性、クラウド上のVMにクラウドサービスプロバイダがパッチを適用済みであってもなおパッチを当てる必要がある理由、パフォーマンスに悪影響を及ぼす性質と実際のアプリケーションへの影響、脅威モデリングの必要性、アンチウィルスの役割、ハードウェアへの影響、長期的には状況が変わる可能性のあることがら。 SpectreとMeltdownはサイドチャネル攻撃の一例である。Project Zeroのブログ記事では、SpectreとMeltdownの完全かつ複雑な説明がなされている。 Raspberry Piの創始者であるEben Upton氏は、ブログ記事でPiが影響を受けていない理由を簡単
深層学習はガウス過程 - 作って遊ぶ機械学習。
おつかれさまです． 僕はあまり深層学習に関して記事を書くことはないのですが，ちょっと気になった論文があったので紹介します． [1711.00165] Deep Neural Networks as Gaussian Processes 論文はGoogle Brainの研究者らによるもので，NIPS2017 Bayesian Deep Learning WorkshopICLR2018にacceptされています．実は深層学習をガウス過程（Gaussian process）で構築するのはこの論文が初出ではないのですが，論文ではベイズ学習，深層学習，カーネル法を簡略かつ包括的に説明している内容になっているので非常に参考になります． さて，「深層学習はガウス過程」というのはちょっぴり宣伝的なタイトルにし過ぎてしまったのですが，もう少しだけ正確に論文の要点をまとめると次のようになります． 背景 単一
Physics: Quantum computer quest - Nature
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
デジタルメディスン、ついにFDAが承認
大塚製薬と米Proteus Digital Health社は2017年11月13日（米国時間）、錠剤にセンサーを内蔵して服薬を管理するデジタルメディスン「エビリファイ マイサイト（Abilify MyCite）」の承認をFDA（米国食品医薬品局）から取得したと発表した。「医薬品と医療機器を一体化して開発された世界初のコンビネーション製品」（大塚製薬）という（関連記事：薬×ICT、始まる）。 エビリファイ マイサイトは、大塚製薬の抗精神病薬「エビリファイ」の錠剤に、Proteus社が開発した摂取可能な極小センサーを組み込んだもの。パッチ型シグナル検出器および専用アプリと組み合わせて使い、患者の服薬状況を記録。スマートフォンなどのモバイル端末を通じて、医療従事者や介護者との情報共有を可能にする。エビリファイの適応である成人の統合失調症、双極性Ⅰ型障害の躁病および混合型症状の急性期、大うつ病性障
自動運転車は“共有”されなければ無意味だ
自動運転車の開発が加速する一方の今、「自動運転車が、なぜ必要なのか」について、あらためて考えるべきなのかもしれない。フランスの新興企業AutoKabは、走行距離ベースの自動運転サービスを、公共交通機関向けに展開しようとしている。 自動運転車は「なぜ」必要なのか 自動運転車は現在、ハイプサイクルのトップに位置付けられているため、われわれは毎週のようにロボットカー関連のニュースを耳にしている。2017年11月6日の週だけでも、WaymoとNavyaの2社が、それぞれロボットタクシーの開発計画について発表したところだ。しかし、その後困ったことに、事故が発生したという。 Navyaが米国ラスベガスにおいて、自動運転シャトルバスのサービスを開始したその日に、接触事故を起こしてしまったのだ。 メディアや、エンジニアリングコミュニティーなどの業界はこのところ、「ロボットによって運転席を奪い取られてしまう
スパコンでPEZYが巻き返し、省エネで上位独占、性能で世界4位
スーパーコンピューターの性能ランキング「TOP500」の最新版が2017年11月13日（米国時間）に発表された（発表資料）。1位、2位は前回までと同様に中国の「Sunway TaihuLight」と「Tianhe-2（天河2号）」がそれぞれ占め、3位のスイス「Piz Daint」も前回と同じだった（関連記事）。性能の計測値（Rmax）も前回と変わらない。Tianhe-2は、中国製アクセラレーターを利用した改良版の開発が進んでいるが、今回のランキングには間に合わなかったようだ（関連記事）。 その中で目を引くのが、日本のベンチャー企業PEZY Computingと、そのグループ企業が開発するスパコンの躍進ぶりだ。PEZYグループが開発を手掛け、海洋研究開発機構（JAMSTEC）横浜研究所設置された「Gyoukou（暁光）」がTOP500の4位につけた。Rmaxは19.14PFLOPSと、3位の
Lambda Calculus for Mortal Developers - DZone
Lambda Calculus sounds like an arcane term that only functional programming wizards can understand. Nothing could be further from the truth. We use Lambda Calculus every day when we program. It is the most reducible form of all Functional Programming languages; the primitive building block of Functional Programming. The Atoms of Lambda Calculus Lambda Calculus is based on three basic building bloc
My VM is lighter (and safer) than your container | the morning paper
the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic My VM is lighter (and safer) than your container Manco et al., SOSP’17 Can we have the improved isolation of VMs, with the efficiency of containers? In today’s paper choice the authors investigate the boundaries of Xen-based VM performance. They find and eliminate bottlenecks when
Brian GoetzがJavaのパターンマッチングについてInfoQに語った
オラクルのJava言語アーキテクトであるBrian Goetz氏と、オラクルのプログラミング言語研究者であるGavin Bierman氏の2人はJavaプログラミング言語への統合を見込んだパターンマッチの構想についてInfoQに述べた。 動機 この研究の動機は、いくつかの一般的なJavaプログラミングのイディオムを改善することだ。以下のことを考えてみよう。 if (obj instanceof Integer) { int intValue = ((Integer) obj).intValue(); // use intValue } 動作中3つの操作がある。 objがInteger型かどうかを特定するための検査 objをInteger型にキャストする変換 Integerからintを取り出す分解操作 次にif...else構造にある他のデータ型に対して検査することを考えてみよう。 Stri
ブロックチェーンを作ることで学ぶ 〜ブロックチェーンがどのように動いているのか学ぶ最速の方法は作ってみることだ〜 - Qiita
この記事について この記事はDaniel van FlymenさんのLearn Blockchains by Building One - The fastest way to learn how Blockchains work is to build oneを本人の許可を得て翻訳したものです。 このブロックチェーンのリポジトリではPython以外での言語の実装者の募集も行われているので、興味がある方は是非どうぞ！ また、この翻訳で出てくる日本語版のリポジトリはこちらにあるので是非参考にしてみてください。 はじめに あなたがここにいるのは、私と同じように、暗号通貨の盛り上がりに対して心構えが出来ているからだ。そしてあなたはブロックチェーンがどのように動いているのか -その裏にある基本的なテクノロジー- を理解したいと思っている。 しかしブロックチェーンを理解するのは簡単ではない、少なくと
大脳基底核のモデルとみなせるDQN
前回はこちら 今回取り上げるのは、大脳基底核（basal ganglia）のモデル化です。大脳基底核は、古くは運動制御に関わると考えられていましたが、今では運動制御はもちろん、感情、学習など幅広い部分で主要な働きをしていることが分かっています。 一般に、知能・思考の中枢といえば大脳新皮質が挙げられますが、汎用人工知能（AGI：Artificial General Intelligence）を実現する上では、大脳基底核と次回に触れる小脳の方が、むしろ注目すべき存在だといえそうです。大脳新皮質の構造や大きさには、動物の種によってかなりの差があるのに対して、大脳基底核と小脳（特に小脳）は、外観こそ大きく異なるものの、哺乳類だけでなく爬虫類や鳥類でも同じような構造と役割を持つと考えられているからです。種に関係なく同じような構造であることは、これらが普遍的な処理を実行していることを示唆します。 なお
Testing RxJava2
This article is a revision of “Testing RXJava”, completely updated to conform to the RxJava2 specification. You’ve read about RxJava; you’ve played with the samples on the internet, for example in RxJava by Example, and now you have made a commitment to explore reactive opportunities in your own code. But now you are wondering how to test out the new capabilities that you might find in your codeba
Using invoke dynamic to teach the JVM a new language
Using invoke dynamic to teach the JVM a new language Jonathan Worthington Things I work on Writing and teaching courses, mostly about software architecture, TDD and C# Various bits of mentoring and consulting Lead developer and architect of the Rakudo Perl 6 compiler; focus on OO, type system, etc. Various other contributions (native calling, debugger, ...) Bringing Perl 6 to the JVM Over the last
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「WD Red」12万台のビッグデータからHDDの故障を予測、アイ・オーが法人向けNASで「予兆通知サービス」 
Kotlin Features I Miss in Java - DZone Java
Embracing JUnit 5 with Eclipse | The Eclipse Foundation
自動車部品メーカーが見据える2020年以降
Scripting languages slip in popularity, except JavaScript and Python
Eric Evans氏: ドメイン駆動設計は、以前より以上に妥当性を獲得している
カブトムシの角は、なぜサナギで突然生えるのか──そのメカニズムが明らかに