Home > 組織・担当情報 > 東京科学大学 > 教育研究組織 情報理工学院 > 渡部卓雄

news ヘルプ

渡部卓雄 研究者情報

渡部  Watanabe 
卓雄  Takuo 
所属組織 東京科学大学 教育研究組織 情報理工学院
ResearcherID C-6494-2015
専門分野 ソフトウエア (プログラム言語論・プログラミングパラダイム〓並列処理・分散処理〓仕様記述・仕様検証〓プログラム処理系〓ソフトウエア工学〓組み込みソフトウェア)
検索用研究分野 電気・電子・情報・機械 - コンピューター科学、ソフトウェアエンジニアリング
研究テーマ プログラミング言語,〓自己反映計算,〓並行計算,〓形式手法 
学位論文 Object-oriented models for reflection in concurrent systems,  本文,  Doctor of Science,  Tokyo Institute of Technology,  1991/03/26,   公式URL  
関連URL
個人webサイトhttp://www.psg.c.titech.ac.jp/~takuo/

©2007 Institute of Science Tokyo All rights reserved.