2001年 平成12年度 情報システムソサイエティ論文賞(先見論文) 電子情報通信学会 谷誠一郎, 濱口清治, 矢島脩三 タイトル The Complexity of the Optimal Variable Ordering Problems of a Shared Binary Decision Diagram