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 「はじめに」から 小論の目的は、ソフトウェア […]
型の理論入門 (サイレント版)
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://bit […]
Shorのアルゴリズム入門
2019/06/21 マルゼミ 「Shorのアルゴリズム入門」概要 6/3のマルレク「暗号技術の現在」では、暗号技術が現在の「公開キー暗号/RSA暗号」から「ポスト量子暗号」に大きく変わろうとしているという話をしました。 […]
6/21 マルレク・サブゼミ「Shorのアルゴリズム入門」のための予習用資料
量子コンピュータ入門 ミニ・ガイド 概要:https://shor.peatix.com/ 資料:http://bit.ly/2IB4lpP
暗号技術の現在 -- ポスト量子暗号への移行と量子暗号
2019/06/03 暗号技術の現在 -- ポスト量子暗号への移行と量子暗号 概要 現在では、企業の秘密情報も個人のプライベートな情報も、ネットワークをまたいで共有されることが普通に行われています。そうした情報が、無関係 […]