小柳 涼介 | 筑波大学システム情報工学科コンピュータサイエンス専攻
スポンサーリンク
概要
筑波大学システム情報工学科コンピュータサイエンス専攻 | 論文
- 多値モデル検査を利用したモデル化の誤りの発見
- 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
- 階層化コントロールオペレータに対する型システムの構築
- 4G-4 Interactive projected display on the Dalm without marker using comouter vision processing