今後のマルレクの予定について

3月のマルレクをスキップしてしまったので、隔月開催で行ってきたマルレクの予定を、本年度は次のようにリスケしたいと思います。5月-6月の予定は決まりました。

　5月22日 19:00~ 会場 DMMさん
　「Post Deep Learning時代の人工知能技術を展望する」
　6月26日 19:00~ 会場 GMOさん
　「量子コンピューティングの現状と課題」

8月-9月も、毎月開催します。

　8月 　日時・会場未定
　「文法を計算する - Lambek Categorial Grammar 入門」
　9月 　日時・会場未定
　「量子コンピューティングの機械学習への応用」

11月から隔月開催のペースにもどります。以下の予定は仮のものです。変更がある可能性があります。

　11月 　日時・会場未定
　「意味の形式的理論」
　1月 　日時・会場未定
　「量子暗号と量子通信」
　3月 　日時・会場未定
　「数学的推論の自動化は可能か？」

新年度も、マルレク、よろしくお願いします。