ソフトウェア・エンジニアリングの新しい潮流 — Deep Specificationの世界
2019/9/24 マルレク 概要：https://deep-spec.peatix.com/ 資料ダウンロード：http://bit.ly/2muEmcl 資料viewer 「はじめに」から 小論の目的は、ソフトウェア […]
型の理論入門 (サイレント版)
2019/09/03 マルレク・サブゼミ 概要：https://type-theory.peatix.com/ 資料ダウンロード： 第一部：「数学の基礎の探求 — CantorからVoevodskyまで」 第 […]
Yet Another AI — RPAは「推論エンジン」の夢を見るか
2019/7/29 マルレク 概要：https://yet-another-ai.peatix.com/ 資料ダウンロード：http://bit.ly/30VzVpy 資料viewer 「はじめに」から 小論は、「Yet […]
初めてディープラーニングを学ぶ人のための数学入門 — ニューラルネットで行列を理解する
7/9 角川セミナー 概要：https://lab-kadokawa83.peatix.com/ 資料1：「初めてディープラーニングを学ぶ人のための数学入門 — ニューラルネットで行列を理解する」 http: […]
Shorのアルゴリズム入門
2019/06/21 マルゼミ 「Shorのアルゴリズム入門」概要 6/3のマルレク「暗号技術の現在」では、暗号技術が現在の「公開キー暗号/RSA暗号」から「ポスト量子暗号」に大きく変わろうとしているという話をしました。 […]
6/21 マルレク・サブゼミ「Shorのアルゴリズム入門」のための予習用資料
量子コンピュータ入門 ミニ・ガイド 概要：https://shor.peatix.com/ 資料：http://bit.ly/2IB4lpP
暗号技術の現在 — ポスト量子暗号への移行と量子暗号
2019/06/03 暗号技術の現在 — ポスト量子暗号への移行と量子暗号 概要 現在では、企業の秘密情報も個人のプライベートな情報も、ネットワークをまたいで共有されることが普通に行われています。そうした情報 […]
紙と鉛筆で学ぶ量子コンピュータ入門演習
2019/04/21 「紙と鉛筆で学ぶ量子コンピュータ入門演習」へのお誘い このセミナーは、2017年、2018年に開催され、好評だった『紙と鉛筆で学ぶ量子情報理論基礎演習』のタイトルを『紙と鉛筆で学ぶ量子コンピュータ入 […]
エンタングルメントと量子テレポーテーションを学ぶ
2019年4月12日 マルレク・サブゼミ 紙と鉛筆で学ぶ量子アルゴリズム演習１ エンタングルメントと量子テレポーテーションを学ぶ 概要：https://lab-kadokawa79.peatix.com/ 資料：http […]