環境調和型セキュア情報システム研究室（本間研究室）の伊東燦さん（博士後期課程1年）らの論文が，多値論理フォーラム奨励賞を受賞（2020年1月11日）

2020.01.14

環境調和型セキュア情報システム研究室（本間研究室）の伊東燦さん（博士後期課程1年）らの論文が，多値論理フォーラム奨励賞を受賞（2020年1月11日）環境調和型セキュア情報システム研究室（本間研究室）の伊東燦さん（博士後期課程1年）らの論文が，多値論理研究会が主催する第42回多値論理フォーラムにおいて，多値論理フォーラム奨励賞を受賞しました．これは，同フォーラムの発表のうち，特に優秀な発表を行った若手研究者らに対して授与されるものです．受賞した研究内容は「ブール多項式のZDD表現を用いたガロア体算術演算回路の形式的検証手法」（著者：伊東燦，上野嶺，本間尚文）です．
詳細情報URL: 多値論理研究会
表彰者一覧