マルレク
量子コンピュータの現在 — 量子優越性のマイルストーンの達成 —
2020/02/17 マルレク 「量子コンピュータの現在 — 量子優越性のマイルストーンの達成 」概要 この間、量子コンピュータの世界で大きな動きがありました。 昨年(2019年)10月、GoogleのMar […]
IT技術とCoqの世界 –証明 = プログラム = 計算の意味を考える
セミナーの呼びかけ プログラマーは考える。プログラミングは論理的である Coqは、一般には「証明支援システム」と呼ばれています。多くのIT技術者にとって、Coqは、特殊な分野（数学の問題の証明等）での特殊なコンピュータの […]
はじめてのCoq (サイレント version )
Coq Tutorial https://github.com/maruyama097/coq-tutorial 概要 https://coq-handson.peatix.com/ Hello Coq! Coqとのはじ […]
ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界
2019/9/24 マルレク 概要：https://deep-spec.peatix.com/ 資料ダウンロード：http://bit.ly/2muEmcl 資料viewer 「はじめに」から 小論の目的は、ソフトウェア […]
Yet Another AI — RPAは「推論エンジン」の夢を見るか
2019/7/29 マルレク 概要：https://yet-another-ai.peatix.com/ 資料ダウンロード：http://bit.ly/30VzVpy 資料viewer 「はじめに」から 小論は、「Yet […]
Shorのアルゴリズム入門
2019/06/21 マルゼミ 「Shorのアルゴリズム入門」概要 6/3のマルレク「暗号技術の現在」では、暗号技術が現在の「公開キー暗号/RSA暗号」から「ポスト量子暗号」に大きく変わろうとしているという話をしました。 […]
6/21 マルレク・サブゼミ「Shorのアルゴリズム入門」のための予習用資料
量子コンピュータ入門 ミニ・ガイド 概要：https://shor.peatix.com/ 資料：http://bit.ly/2IB4lpP
暗号技術の現在 — ポスト量子暗号への移行と量子暗号
2019/06/03 暗号技術の現在 — ポスト量子暗号への移行と量子暗号 概要 現在では、企業の秘密情報も個人のプライベートな情報も、ネットワークをまたいで共有されることが普通に行われています。そうした情報 […]
エンタングルメントと量子テレポーテーションを学ぶ
2019年4月12日 マルレク・サブゼミ 紙と鉛筆で学ぶ量子アルゴリズム演習１ エンタングルメントと量子テレポーテーションを学ぶ 概要：https://lab-kadokawa79.peatix.com/ 資料：http […]
量子コンピュータをやさしく理解する三つの方法
2019/03/25 マルレク「量子コンピュータをやさしく理解する三つの方法」概説 量子コンピュータを難しく感じている人は多いと思います。それにはいろいろな理由があるのですが、このセミナーで伝えたいことは、おもに二つあ […]