丸山の6-7月の講演予定

6-7月の丸山の講演予定です。

7月29日開催の次回マルレクは、「もう一つの人工知能技術」というテーマで、論理的・数学的推論をコンピュータで行うという課題を考えようと思います。今回は、基本的・原理的な問題を扱う予定ですが、プログラムの仕様からの自動生成や、プログラムの整合性のチェックといった実践的な問題とも接点のある領域です。ご期待ください。

それぞれの詳細については、別ポストで紹介しようと思います。

6月3日のマルレク「暗号技術の現在」のフォローアップの、マルレク・サブゼミ「三時間で学ぶShorのアルゴリズム」については、すでに申し込み受付を開始しています。https://shor.peatix.com/view

6/21   マルレク・サブゼミ
　　　「三時間で学ぶShorのアルゴリズム」
　　　
7/6　　MaruLabo＋角川
　　　「量子コンピュータで学ぶ量子プログラミング入門」

7/9　　MaruLabo＋角川
　　　「初めてディープラーニング学ぶ人のための数学入門１
　　　 　--- ニューラルネットで行列を理解する 」

7/29 　マルレク
　　　「論理的・数学的推論を計算する -- もう一つの人工知能技術」