研究室紹介

榎本研究室

専攻分野

CAD工学


研究分野

要求仕様技術


研究内容

 CADとは、Computer Aided Design の略で、「コンピュータ支援による設計」と訳します。ディスプレイを介してコンピュータで処理し、設計作業の効率化を図る方法です。

 CADでは、プロダクトモデルといわれる製品の表面加工等の情報を加えた形状モデルを扱うがその要求仕様が大切です。仕様が正しいものならば、製品の実装においての不具合の発生を著しく抑えることができることが知られています。

 本研究室では、プロダクトモデルの要求仕様の記述法の研究を行っています。


研究テーマ

  • ■ プロダクトモデルの類似性の代数的仕様

  • ■ プロダクトモデルの類似性の検証

  • ■ 代数的仕様の項書換系に基づく実現


連絡先

enomoto@is.noda.tus.ac.jp

[ページ先頭へ戻る]