|
島川昌也 研究者情報
姓 |
島川 |
Shimakawa |
名 |
昌也 |
Masaya |
状態 |
本学を転出・卒業 |
職位 / 称号 |
|
ORCID ID |
|
教育担当 : 主担当 |
|
研究担当 |
|
研究者プロフィール |
|
講義ノート |
TokyoTech Open Course Ware |
学位論文 |
リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究,
論文要旨,
博士(工学),
東京工業大学,
2014/09/25,
リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究,
本文,
博士(工学),
東京工業大学,
2014/09/25,
リアクティブシステム仕様の実現可能性検証における計算量削減方式に関する研究,
審査の要旨,
博士(工学),
東京工業大学,
2014/09/25,
|
|