|
渡部卓雄 研究者情報
姓 |
渡部 |
Watanabe |
名 |
卓雄 |
Takuo |
所属組織 |
東京工業大学
情報理工学院
|
職位 / 称号 |
|
ResearcherID |
C-6494-2015
|
ORCID ID |
|
教育担当 : 主担当 |
|
研究担当 |
|
専門分野 |
ソフトウエア (プログラム言語論・プログラミングパラダイム〓並列処理・分散処理〓仕様記述・仕様検証〓プログラム処理系〓ソフトウエア工学〓組み込みソフトウェア)
|
検索用研究分野 |
電気・電子・情報・機械 - コンピューター科学、ソフトウェアエンジニアリング
|
研究テーマ |
プログラミング言語,〓自己反映計算,〓並行計算,〓形式手法 |
研究者プロフィール |
|
講義ノート |
TokyoTech Open Course Ware |
学位論文 |
Object-oriented models for reflection in concurrent systems,
本文,
Doctor of Science,
Tokyo Institute of Technology,
1991/03/26,
公式URL
|
関連URL |
|
|