マルレク

マルレク
ケット |k> で理解する量子の世界

2020/06/20 マルレク基礎「ケット |k> で理解する量子の世界」概要 今回は、量子論を理解するのに必要な数学 -- 線形代数の話を、ケット記法を使ってしようと思います。ケット記法は、量子論の最も標準的で基 […]

続きを読む
マルレク
たとえ話で理解する量子の世界

2020/05/15 マルレク基礎 概要 講演ビデオ Play リストで一括再生 第一話 「量子の『状態』について」 第二話 「量子の『状態』の観測について」 第三話 「図形で理解する数の世界の拡大」   Agenda […]

続きを読む
マルレク
AWSでの形式手法の利用

2020/05/05 マルレク「AWSでの形式手法の利用」概要 今回のマルレクのテーマは、「AWSでの形式手法の利用」です。 この間、 形式手法を開発者に広めたいと思って、いろいろ試行錯誤をしてきたのですが、開発者にとっ […]

続きを読む
マルレク
量子コンピュータの現在 -- 量子優越性のマイルストーンの達成 --

2020/02/17 マルレク 「量子コンピュータの現在 -- 量子優越性のマイルストーンの達成 」概要 この間、量子コンピュータの世界で大きな動きがありました。 昨年(2019年)10月、GoogleのMartinis […]

続きを読む
マルレク
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

続きを読む