講演
平成31年2月28日(木)16:30~
九州大学伊都キャンパスウエスト二号館1020室
離散構造処理系の機械学習への応用
石畠正和
(NTT)
BDDやZDDに代表される離散構造処理系は、論理関数や集合族をコンパクトに表現するだけでなく、それらに対して効率的な演算も提供する。本発表では離散構造処理系を機械学習に応用した研究をいくつか紹介する。