Quantum computer R&D／Quantum systems software (OQTOPUS)／実用的な量子コンピュータを実現するため、ソフトウェアを開発しています／量子コンピュータの入門書などを書いています
Japan
Joined January 2008
- Tweets24.8K
- Following464
- Followers2.8K
- Likes20.7K
Pinned Tweet
#量子コンピュータの頭の中 は本日発売です。
ビジネス書と専門書の間くらいの入門書で、手を動かしながら量子コンピュータの計算ルールを学びます。
プログラミングを行って、無料で使える実機で実行する方法も解説しています。
gihyo.jp/book/2023/978-4-297…
つかの@量子コン研究開発 retweeted
【超量子的拡散希望】来年3月に、量子計算スクール開催します。今年は京都駅近くのキャンパスプラザ京都にて！
（昨年は、参加登録開始間も無く150人を超えて締切ったので登録お早めに！）
開催情報
日程：2027年3月10日（水）、11日（木）、12日（金）の3日間
場所：キャンパスプラザ京都 第一講義室（京都駅から徒歩5分） アクセスはこちら
対象：学部生、大学院生（線形代数を理解していること）、公的研究機関の研究員
今年は、量子計算の基礎理論から、最近大流行りの量子LDPC符号まで。
（参加登録者には去年やった量子情報の基本の基本の部分の講義動画にアクセスできるようにして予習できるようにします。線形代数をしっかりわかっていればついて来れるレベル感です）
誤り耐性量子計算（藤井）、量子アルゴリズム・リソース評価（東大吉岡さん）、量子LDPC（理研松岡さん他）、量子計算機アーキテクチャ（鈴木さん）と豪華講師陣。AIが人類の知能を超えても、まだ量子コンピュータは実現してません、未解決問題が盛りだくさん。
この春に研究の最先端に立ちましょう。
sites.google.com/view/q-scho…
つかの@量子コン研究開発 retweeted
量子力学に強く惹かれ、量子ビットの高性能化に一貫して取り組む ascii.jp/elem/000/004/440/44…
つかの@量子コン研究開発 retweeted
プログラム公開したで〜現地で会えること楽しみにしてます
本日メーリスに投げましたが、量子ソフトウェア研究会、参加募集開始です！
ipsj.or.jp/kenkyukai/event/q…
懇親会の参加申込期限がたった一週間しかありません。この投稿を見た人はすぐに申し込みましょう！
つかの@量子コン研究開発 retweeted
2027年春も「量子計算理論スクール」が開催されます。
量子アルゴリズム・量子誤り訂正・FTQCなどの最先端を学ぶチャンスですので、奮ってご参加ください。
日時： 2027/3/10-12
場所：キャンパスプラザ京都 （京都駅から徒歩5分）
対象：学部生、大学院生
sites.google.com/view/q-scho…
つかの@量子コン研究開発 retweeted
本を書きました！
刊行はまだ先ですが、情報だけ先に出します！
『様相論理入門―形式的証明とクリプキモデルで学ぶ論理体系―』
共立出版、2027年3月刊行予定
数理論理学の初学者から、様相論理を学びたい方、すでに知っている方まで学べるはずです。
演習問題の解答も完備。
ぜひご検討ください！
つかの@量子コン研究開発 retweeted
Highlighting two great sites for the latest on Lean, both built and curated by @soonhokong .
📄 𝐏𝐚𝐩𝐞𝐫𝐬 𝐖𝐢𝐭𝐡 𝐋𝐞𝐚𝐧: "arXiv papers that use Lean, the interactive theorem prover. Updated daily." You can browse by topic or by the last 7 or 30 days.
paperswithlean.com
📰 𝐋𝐞𝐚𝐧 𝐖𝐞𝐞𝐤𝐥𝐲: News about Lean, from Lean core to verification to AI and formalization, organized by week.
leanweekly.news
We're grateful to Soonho for this work.
「NECが作成し関係者間で共有していたクラウドストレージ上のファイルも漏えい」
どうして本番データをこのように扱っていたのか書いてないんですよね。
原因わからないと対策打てないと思うのですが。
NEC、委託先へのサイバー攻撃による顧客被害を謝罪(電波新聞デジタル)
news.yahoo.co.jp/articles/39…
つかの@量子コン研究開発 retweeted
11月3日（火・祝）に秋葉原で開催される「超エレキ万博2026」に参戦（？）します。まずは「青空オークション」への出品が発表されましたが、このほかに「秋葉原の過去と未来」についてのトークイベントにも登壇予定。詳細は、しばし、お待ちを！
eleki-expo2026.cqpub.co.jp/n…
つかの@量子コン研究開発 retweeted
🚀 Interested in quantum computing? Apply for the Xanadu Residency Program!
Join the Xanadu team for a 16-week paid internship* and gain hands-on experience alongside their experts.
📅 Applications close November 15 — apply early!
🔗 Learn more: buff.ly/xMt9BqI
つかの@量子コン研究開発 retweeted
【国立天文台エポスカード 誕生！】
株式会社エポスカードとの共創で、国立天文台への支援ができるクレジットカードができました。
カードのご利用を通じて、天文学の研究や教育普及活動を支援いただけます。
くわしくはウェブサイトをご覧ください
nao.ac.jp/news/topics/2026/2…
つかの@量子コン研究開発 retweeted
DE BARCELONA A TOKIO🗼, GAUDÍ EN LA EMBAJADA
El pasado 10 de julio recibimos en la Embajada a miembros del Club de LEGO de la Universidad de Tokio, que nos han donado una réplica de la Sagrada Familia construida con piezas de LEGO.
ざっと見ていますが、たぶん優勝するような人は問題ごとに極限までカスタマイズした量子回路を作ってくるだろうから、数値計算の職人芸は量子アルゴリズムでも必要そうですね。(AIと共同作業になるんだろうけれど)
つかの@量子コン研究開発 retweeted
Reminder! arXiv is migrating our database to the cloud tomorrow (Wednesday, Oct 28th) starting at 7AM ET.
From 7AM - 12PM ET arXiv will be read-only.
More on the blog: blog.arxiv.org/2026/10/21/sc…
つかの@量子コン研究開発 retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
つかの@量子コン研究開発 retweeted
Intel announced it has entered into an agreement to acquire @ClassiqTech to advance scalable quantum computing.
Combining Intel’s quantum software platform, silicon spin-qubit technology and advanced manufacturing expertise with Classiq’s automated quantum algorithm synthesis platform to help create a full-stack quantum computing platform, while continuing to support a modality-and hardware-agnostic software solution that enables an open and collaborative quantum software ecosystem - intel.com/content/www/us/en/…
