スポンサーリンク

筑波大学システム情報工学科コンピュータサイエンス専攻 | 論文

• 多値モデル検査を利用したモデル化の誤りの発見
• 限定継続に基づくスケーラブルなウェブアプリケーション構築手法
• 4G-4 Interactive projected display on the Dalm without marker using comouter vision processing
• 階層化コントロールオペレータに対する型システムの構築

スポンサーリンク