次回のマルレクは、7月29日、富士通さんで開催です。
テーマは、”Yet Another AI” です。
次回マルレクは、「もう一つの人工知能技術」というテーマで、論理的・数学的推論をコンピュータで行うという課題を考えようと思います。
今回は、基本的・原理的な問題を扱う予定ですが、仕様からのプログラムの自動生成や、プログラムの整合性のチェックといった実践的な問題とも接点のある領域です。詳細は、後ほどお伝えしたいと思います。ご期待ください。
マルレク 2019-2020 の年間メインテーマ決定！
「 科学と技術のイノベーションの接点を探る 」
マルレクでは、IT 技術を中⼼に、科学と技術のグローバルな新しい波にフォーカスして、丸⼭が重要と考えるトピックについて、ベンダー・フリーな⽴場から、出来るだけ新しい情報を、出来るだけわかりやすく、出来るだけ多くの⽅に、伝えていこうと思います。
そして、「マルレク」の新シーズンが、6月3日の第１回開催を皮切りにスタートしました。詳細は、こちらの 開催案内ページ にてご確認ください。
丸山不二夫レクチャーズ
量子コンピュータ / 人工知能 / ディープ・ラーニング / 言語理論 / 数学 /
哲学 / クラウド / Android