次回のマルレクは、7月29日、富士通さんで開催です。 テーマは、”Yet Another AI” です

次回マルレクは、「もう一つの人工知能技術」というテーマで、論理的・数学的推論をコンピュータで行うという課題を考えようと思います。

今回は、基本的・原理的な問題を扱う予定ですが、仕様からのプログラムの自動生成や、プログラムの整合性のチェックといった実践的な問題とも接点のある領域です。詳細は、後ほどお伝えしたいと思います。ご期待ください。