A colored transmission electron micrograph of the H.I.V. virus, in green, attaching to a white blood cell, in orange.Credit...NIBSC/Science Source For just the second time since the global epidemic began, a patient appears to have been cured of infection with H.I.V., the virus that causes AIDS. The news comes nearly 12 years to the day after the first patient known to be cured, a feat that researc
メディア関係者向けお問い合わせ先 メールでのお問い合わせ: pr-jp@google.com メディア関係者以外からのお問い合わせにはお答えいたしかねます。 その他すべてのお問い合わせにつきましては、ヘルプセンターをご覧ください。
論理の限量子 -- つまり全称限量子(記号は'∀')と存在限量子(記号は'∃')-- の使い方が分からない、という質問・相談を受けることがあります。なかでも、「∀と∃の順序を交換してイイの? それともダメなの?」はFAQ〈Frequently Asked Question〉でして、ここ1年でも4回聞かれた気がする。 内容: like関係 like関係の記述・表現 有向グラフ 表〈テーブル〉 碁盤目 他の例も 誰からも好かれる人 好きな人はいますか? 好きな人は一人だけ 言霊は困るんだけど like関係 論理式の意味や使い方を、日常生活や自然言語の比喩的事例を使って説明するのはヨロシクナイと僕は思っています。しかし、最初のとっかかりに関しては、比喩的事例も致し方ないですね。人間関係の記述を例題にします。 A, B, C, D の4つの要素を持つ集合Xを考えます。 X = {A, B, C,
Title: A Superscalar Out-of-Order x86 Soft Processor for FPGA Abstract (summary): Although FPGAs continue to grow in capacity, FPGA-based soft processors have grown very little because of the difficulty of achieving higher performance in exchange for area. Superscalar out-of-order processor microarchitectures have been used successfully for hard processors for many years, and promise large perform
arxiv.org GIGAZINEでも紹介された新たなCPUの脆弱性の論文"SPOILER"が発表された。GIGAZINEがこのような記事を公開するのは珍しいなと思いつつ、面白そうなので読んでみることにした。 ちなみに、筆者は例によってセキュリティの専門家ではないし、CPUアーキテクチャにしてもデスクトップクラスの本格的なものは設計経験がないので、いまいち本文から読み取れない部分があったりとか、間違っている部分があるかもしれない。 この攻撃手法も、CPUの高速化を達成するための様々な機構を悪用する手法となっている。 SPOILERが対象とするのは、ストア命令の内容をロード命令でフォワードするためのMOB(Memory Order Buffer)の機構だ。例えば以下のようなコードを書いた場合、 sw a0, 0(sp) lw a1, 0(sp) ストア命令は、投機実行をしてしまうとメモリの
JavaScript "loose" comparison step by step When you start learning JavaScript, you will likely read about preferring to use === over == to compare values. But why? == performs type conversion: If the two values are not of the same data type, they are converted to the same type first. While this seems, and can be, convenient, this process is not necessarily intuitive. Below you can provide two valu
<?php session_start(); if(!isset($_SESSION['counter'])) { $_SESSION['counter'] = 0; } $_SESSION['counter']++; echo $_SESSION['counter']; リスト 1 のコードは、数字をインクリメントし、出力しています。ページを再読込するたびに、数字は増えていきます。このスクリプトを 2 台の異なるコンピューターで開くと、それらは別々のカウンターを持つことになります。どうなっているのでしょうか? それぞれのコンピューターはどのように識別されているのでしょうか? カウンター変数はどこに保存されているのでしょうか? セッションは ID で一意に定義されています。このセッション ID は、ユーザーのコンピューターに Cookie の状態で保存されていて、リクエストするたびにサーバ
Fantasy Computerとは (おそらく)PICO-8(PICO-8: FANTASY CONSOLE)というソフトウェアが言い出した概念のようです。Fantasy ComputerやFantasy Consoleとも呼ばれたりするようです。 低解像度、少ない色数の画面で、ゲームの実行のみならず、プログラミングや画像や効果音、BGMの作成までできてしまうという、ミニマルなゲームの統合開発環境(兼実行環境)です。 ゲームはLuaで記述します。ブラウザ上や、PC、RaspberryPi、PocketCHIPなどで作ったゲームを動作させられるようです。 開発するためには有料のソフトを購入する必要があるようですが、ブラウザで遊ぶ分には無料のようです。 IchigoJamも似たような感じですが、PICO-8はPC上で動作するソフトウェアで、CPUやメモリはマイコンよりは緩いようです。 Clo
>> law, technology, and the space between All content by Kyle E. Mitchell, who is not your lawyer. You can subscribe via RSS/Atom or e-mail and browse other blogs. September 21, 2016 The MIT License, Line by Line171 words every programmer should understand This post is part of a series, Line by Line. The MIT License is the most popular open-source software license. Here’s one read of it, line by l
the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic A generalised solution to distributed consensus Howard & Mortier, arXiv’19 This is a draft paper that Heidi Howard recently shared with the world via Twitter, and here’s the accompanying blog post. It caught my eye for promising a generalised solution to the consensus problem, and
いきなりタイトルと関係なさそうな話題からスタートしますが、今週1番のトピックは、なんと言ってもEdge TPUがオフィシャルに発売されたことでしょう。 しかもUSB接続のアクセラレータがたった80ドル弱ですよ。日本だとMouserで8800円ほど。 こいつをいち早く入手できたIdein社内でのお試し結果がこちら。 Edge TPU(USB版) Mobilenet v2 1.0 224x224 ImageNet Raspberry Pi 3 Model B v1.2 で10msちょっとでした pic.twitter.com/BOfSAgUewJ— Koichi Nakamura (@9_ties) 2019年3月5日 10msってことはあと6ms程度別の処理に充てても高精度カメラのフレームレート60fpsに間に合っちゃうってことで、これはくそっ速い。 僕は去年夏にEdge TPUがアナウンス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く