物質・時空ナゾ迫る巨大装置、建設１兆円 文科省は慎重 （朝日新聞デジタル） - Yahoo!ニュース
宇宙誕生直後の状態を再現して、物質や時空がどのように生まれたのかという謎に迫る巨大加速器「国際リニアコライダー（ＩＬＣ）」を、北上山地に造りたいと岩手県が熱望している。国際協力で建設するが、費用は１兆円以上。文部科学省は予算のめどがたたないこともあり慎重だ。造るべきかどうか。あなたはどう思いますか？ 電子や陽子などを光速近くまでに加速し、衝突させる実験は物理学の基本原理の解明に大きく役立ってきた。現在の最大の加速器は、スイスとフランスにまたがる１周約２７キロの円形加速器ＬＨＣだ。欧州合同原子核研究機関（ＣＥＲＮ）が運営し、２０１２年に陽子衝突実験で「最後の未発見粒子」といわれたヒッグス粒子を発見した。 しかし、ほかにも未発見の粒子があるかもしれない。時間と空間の構造が現在の常識とは違う可能性もある。謎を解くには、ヒッグス粒子をたくさんつくり、その性質を詳しく調べるのがいい。そのために構
東芝が究極の安全通信 量子暗号で実用化へ - 日本経済新聞
東芝は「理論上破られない」究極の暗号とされる量子暗号通信の実用化にめどをつけた。一般回線を使った量子暗号通信の実証実験や、同時に複数の拠点と情報をやり取りすることに成功し、インターネットでの活用にも道を開いた。東芝は5年後をめどに実用化する。光回線の情報を「盗聴」するなど、巧妙さと悪質さを増しているサイバー攻撃への対策に役立てる。量子暗号通信は暗号処理を施したデータとその暗号を解く鍵を、光ファ
「物理系実務者のための圏論入門」への補遺＋檜山の戯言 - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日の「ボブ・クックの『物理系実務者のための圏論入門』」に補足。 実際にそうなんだからしょうがない、っつうの！ まず、「物理系実務者のための圏論入門」の要旨（abstract）をイイカゲンに訳すと： この論説の目的は、物理関係者 -- 特に量子力学／量子情報学の研究者や利用者に、圏論が日々の実践に必須な道具であることを納得してもらうことである。圏論が役に立つ理由は、それがよりカッコヨク数学を行う手段であるからではない。そんなこっちゃなくて、モノイド圏が、実務上の物理システムを実際に表現する代数構造に他ならないからである。 この解説では、精密厳格な定義や数学的に整合した理論を提示することはしない。その代わり読者を、圏論の世界（その一部だが）を周遊する旅に招待しよう。それは、物理関係者にも十分に楽しめる旅だと思う。 注目して欲しいのは、「モノイド圏が、実務上の物理システムを実際に表現する代数構
ボブ・クックの「物理系実務者のための圏論入門」 - 檜山正幸のキマイラ飼育記 (はてなBlog)
圏論に関する解説的論文（サーベイ／チュートリアル）で、あまり長くないものというと、次はお勧めです。 題名：A Categorical Manifesto 著者：Joseph A. Goguen 分量：20ページ URL：http://citeseer.ist.psu.edu/goguen91categorical.html 題名：SHORT INTRODUCTION TO ENRICHED CATEGORIES 著者：Francis Borceux, Isar Stubbe 分量：28ページ URL：http://www.win.ua.ac.be/~istubbe/PDF/EnrichedCatsKLUWER.pdf 最近、もう1つ秀逸な記事を見つけました。「幼稚園児のための量子力学」を書いたボブ・クック（↓このニイチャン）*1による「物理系実務者のための圏論入門」（Introducing
幼稚園児のための量子力学とその周辺 - 檜山正幸のキマイラ飼育記 (はてなBlog)
メモ編のほうに書いたことなのだけど、ニヤニヤできるネタだから本編（ここ）にも書いておきます、とりとめもなく。 Bob Coeckeのレクチャーノート コレ： Bob Coecke "Kindergarten Quantum Mechanics" （PDF別ウィンドウ） 量子テレポーテーションや量子絡み／もつれ(entanglement)の解説です。背後では圏論（強コンパクト閉圏）を使ってますが、予備知識はほぼゼロで、カラーのきれいな絵をふんだんに使って説明しています。Bob Coecke （ボブ・クック）曰く： Of course we do not expect you to know about category theory, nor do we want to encourage you here to do so. The whole point about these note
qCraft | Quantum Physics for Minecraft
qCraft is a mod that brings the principles of quantum physics to the world of Minecraft. qCraft is included in the latest versions of several popular modpacks, including: FTB Unleashed, Tekkit, and Hexxit. You may also download the mod directly and play with Forge 1.5.2, or MinecraftEdu. Downloads and installation instructions.
7shi / ikebin / wiki / sched — Bitbucket
Atlassian Sourcetree is a free Git and Mercurial client for Windows. Atlassian Sourcetree is a free Git and Mercurial client for Mac. You caught us doing some quick maintenance, temporarily restricting your repository to read-only access. 2012年9月2日より2015年8月23日まで池袋で勉強会専用のスペースをオープンしていました。 池袋バイナリ勉強会の他、 コンピュータ関係の勉強会を開催しました。 カレンダー シリーズの紹介 完了分 2015年8月23日をもって閉鎖となりました。 2015.08.23(日) 池袋バイナリ勉強会(86) 最終回 2015
【SFの世界到来】オランダのチームが100％の精度で量子テレポーテーションに成功!! - IRORIO（イロリオ）
テレポーテーションとは、ある地点から別の地点へと一瞬にして移動することをいうが、そんな夢のような実験に100％の精度で成功したとオランダ・デルフト工科大学が発表！ 「量子もつれ」という現象を利用して、1つの粒子が3ｍ離れた地点にある別の粒子へ光速を超える速さで情報伝達したのを確認した。 「量子もつれ」＋「観測」＝「量子テレポーテーション」 量子テレポーテーションとは、2つの粒子間にある「情報の伝達」の事を指し、実際に「物質」がA地点からB地点に移動するわけではない。 とある2つの粒子（A,B）があるとしよう。「量子もつれ」の関係にあるこの2つの粒子は運命を共有する双子のような存在で、それらの性質は合わせてひとつ（±0）。粒子Aと粒子Bのスピン状態は右回り（＋）にも左回り（−）にもなり得るが（重なり合った状態）、そのどちらがどちらかはわからない。 しかし、仮に誰かがその2つの粒子の1つを「観
なにはさておき量子論
凡例 この色は、その項の一番言いたいことを示しています この色は、余談だけれど、ちょっと気にして欲しいことを示しています この色の単語をクリックすると『一口解説』を見ることができます
Quantis QRNG USB
Quantis QRNG USB Standard certified USB Quantum Random Number Generation module, providing true randomness since 2001 Certified by well-known international institutes and governments worldwide 4 Mbps entropy data rate Live monitoring and failure detection mechanism Scaling option and configurable random extraction About Quantis QRNG USB Although random numbers are required in many applications, th
QML: A Functional Quantum Programming Language
Welcome to the QML Project A functional quantum programming language Home to the QML Research Diary QML is a functional language for quantum computations on finite types. The language introduces quantum data and quantum control structures, and integrates reversible and irreversible quantum computation. QML is based on strict linear logic, hence weakenings, which may lead to decoherence, have to be
量子論理 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Quantum logic|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Photo Tourism: Microsoft Research, Interactive Visual Media Group
Language-Integrated Quantum Operations: LIQUi|> - Microsoft Research
量子コンピューター実現への突破口となるか：国立情報学研究所の、新理論
Quantum Algorithm Zoo
GitHub - alexandersgreen/qio-agda: The Quantum IO Monad, implemented in Agda
Launching the Quantum Artificial Intelligence Lab
TechCrunch | Startup and Technology News
TechCrunch | Startup and Technology News