|
プロフィール
渡邉勝正(わたなべかつまさ)は、京都情報大学院大学の教授である。
略歴
| 京都大学工学士,同大学院博士課程修了(数理工学専攻)萩原宏研究室,工学博士。 |
| 社団法人情報処理学会フェロー。 |
| 2006年 京都情報大学院大学教授。 |
主要な研究論文
| 渡邉勝正井上晶広蔵川圭中西正樹山下茂,拡張に適したアクティブソフトウェアの設計解析法,日本ソフトウェア科学会第22回全国大会(Sep.,2005)1C-3.。 |
| N.Nakai,M.Nakanishi,S.Yamashita,K.Watanabe,Reconfigurable1-BitProcessorArraywithReducedWirngArea,Proc.InternationalConferenceonEngineeringofReconfigurableSystemsandAlgorithms(ERSA2005),2005,6,p.225-231.。 |
| 渡邉勝正,井上晶広,伴野充,蔵川圭,中西正樹,山下茂,能動関数によるアサーション検証設計,コンピュータソフトウェア、Vol.22,No.3,2005,7,p.76-91.。 |
| Y.Murakami/M.Nakanishi/S.Yamashita/K.Watanabe,QuantumversusClassicalPushdownAutomatainExactComputation,JournalofIPSJ,Vol.45,No.10,2005,10,p.2471-2480.。 |
| M.Tomono,M.Nakanishi,S.Yamashita,andK.Watanabe,Event-OrientedComputingwithReconfigurablePlatform,InProc.ofthe10thAsiaandSouthPacificDesignAutomationConference(ASP-DAC2005),pp.1248-1251,January2005.。 |
| S.Yamashita,M.Nakanishi,andK.Watanabe,TowardaPracticalEnvironmentforQuantumProgramming,Proc.ofAsia-PacificConferenceonQuantumInformationScience2004,December2004.。 |
| 井上晶広,蔵川圭,中西正樹,渡邉勝正,コンポーネントベース開発のためのアプリケーションフレームワーク,情報科学技術レターズ2004vol3,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-34pp.1-6,(2004-11).。 |
|
2004年
|
井上晶広,蔵川圭,中西正樹,渡邉勝正, コン... |
|
2005年
|
中井伸郎,中西正樹,山下茂,渡邉勝正, 配... |
|
投票数
0
| ふりがな |
|
| 性別 |
|
| 出身地 |
|
| 生年月日 |
|
| 血液型 |
|
| 職業 |
|
| 所属 |
|
| Twitter |
|