渡邉勝正
渡邉勝正・井上晶広・蔵川 圭・中西正樹・山下 茂「拡張に適したアクティブソフトウェアの設計解析法,」日本ソフトウェア科学会 第22回全国大会(Sep., 2005) 1C-3.
N. Nakai, M. Nakanishi, S. Yamashita, K. Watanabe, Reconfigurable 1-Bit Processor Array with Reduced Wirng Area, Proc. International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA 2005), 2005, 6, p.225-231.
渡邉勝正・井上晶広・伴野 充・蔵川 圭・中西正樹・山下 茂「能動関数によるアサーション検証設計」コンピュータソフトウェア、Vol.22, No.3, 2005, 7, p.76-91.
Y. Murakami/ M. Nakanishi/ S. Yamashita/ K. Watanabe, Quantum versus Classical Pushdown Automata in Exact Computation, Journal of IPSJ, Vol.