イグチ　ユキヒロ   Iguchi Yukihiro   井口　幸洋    所属   明治大学  理工学部    職種   専任教授
発表年月日	2015/09/12
発表テーマ	SATを用いた不完全定義インデックス生成関数の変数厳密最小化法
会議名	多値論理フォーラム
主催者	多値論理研究会
学会区分	研究会・シンポジウム等
発表形式	口頭（一般）
単独共同区分	共同
国名	日本
開催地名	北海道大学，札幌
開催期間	2015/09/11～2015/09/12
発表者・共同発表者	笹尾勤, 二三四一道, 井口幸洋