渡邉勝正 – Wikipedia

渡邉 勝正（わたなべ かつまさ）は、京都情報大学院大学の教授である。

主要な研究論文[編集]

• 渡邉勝正 井上晶広 蔵川 圭 中西正樹 山下 茂, 拡張に適したアクティブソフトウェアの設計解析法, 日本ソフトウェア科学会 第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.45, No.10, 2005, 10, p.2471-2480.
• M. Tomono, M. Nakanishi, S. Yamashita, and K. Watanabe, Event-Oriented Computing with Reconfigurable Platform, In Proc. of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC 2005), pp. 1248-1251, January 2005.
• S. Yamashita, M. Nakanishi, and K. Watanabe, Toward a Practical Environment for Quantum Programming, Proc. of Asia-Pacific Conference on Quantum Information Science 2004, December 2004.
• 井上晶広，蔵川圭，中西正樹，渡邉勝正, コンポーネントベース開発のためのアプリケーションフレームワーク, 情報科学技術レターズ 2004 vol3，pp.9-11，2004年8月.
• 桑川栄一, 渡邉勝正, 平面プラン作成支援における設計資産の活用～建築平面プランを対象として～, 情報処理学会 2005年情報学シンポジウム 講演論文集, pp.47-52、2005年1月.
• 岡崎篤也, 山下茂, 中西正樹, 渡邉勝正, マイクロプロセッサ、ノード端末、コンピュータシステム, 及びプログラム実行証明方法, 特願2005-013190.
• 小林さとみ,中西正樹,渡邉勝正, 携帯機器に多言語のリソースを安定的に供給出来るネットワークサービス, 2005年情報学シンポジウム講演論文集, pp81-86,2005年1月.
• 中井伸郎，中西正樹，山下茂，渡邉勝正， 配線リソースを考慮した再構成可能 1bit プロセッサアレイ, 情報処理学会研究報告，2005-SLDM-118, pp. 7-12, 2005年1月.
• 渡邉勝正, 井上晶広, 山田洋平, 中西正樹, 山下茂, ソフトウェアの自己変更を支援する機構について, 電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2004-34 pp. 1-6，(2004-11).

外部リンク[編集]