![北陸先端科学技術大学院大学 [JAIST] - 研究者総覧](images/info_01.gif)
| 研究室 |
| TEL：0761-51-1250 |
研究室ホームページ |
| Japanese | English |
| リポジトリ公開資料 |
片山 卓也 （カタヤマ タクヤ） 学長
■学位
東京工業大学工学士 (1962)，東京工業大学工学修士 (1964)，東京工業大学工学博士 (1971)
■職歴
日本IBM株式会社(1964)，東京工業大学工学部助手(1967)，同助教授(1974)，同教授(1985)，北陸先端科学技術大学院大学教授情報科学研究科長（併任）(1991-1993，1997-1998)，同附属図書館長（併任）(1999-2003)
■専門分野
ソフトウェア科学・工学
■研究課題
形式的オブジェクト指向方法論の研究
オブジェクト指向原理にもとづくソフトウェア設計法の有効性が指摘されているが，現在の方法論は形式性が不十分であり，十分な計算機支援などが困難な状態である。本研究では，形式的方法論，すなわち，数学的性質が明解な体系を用いてオブジェクト指向方法論を展開し，自動生成や検証などの計算機支援が可能なソフトウェア構成法，組み込みシステムなどの実システムへの応用などの研究を行う。
ソフトウェア発展・進化機構の研究
ソフトウェアが，その仕様の変更や使用環境の変化に追随して進化できることは極めて重要であるが，原理的にも技術的にも困難な問題である。このようなソフトウェア発展・進化のための原理やメカニズム，特に進化のための基本計算モデルとしてのメタ計算や抽象実行とその応用，代数的束にもとづくソフトウェア発展理論とそのオブジェクト指向方法論への適用の研究を行う。
フォールトトレラント情報システムの研究
現代社会は複雑な情報システムによって支えられており，その故障や誤りは社会に非常に大きな影響を与える。本研究は，ハードウェアや部品ソフトウェアに故障や誤りがあっても全体としては機能し続けるソフトウェアシステムについて，その基礎理論や計算モデル，特にモバイルエージェントや関数型計算モデルのフォールトトレランスへの適用について研究する。また，インターネットやネットワークで結合された並列分散システム上での計算などに適用することを目的としている。
■研究業績
◇発表論文
- 事例研究：定理証明によるファイアウォールサーバモデルの検証，矢竹健朗, 片山卓也，コンピュータソフトウェア, Vol.26, No.1(2009), pp.111-126
- An executable semantics of Object-Oriented models for simulation and theorem proving，Kenro Yatake and Takuya Katayama，Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008, pp.71-80, 2008.
- Modeling of Real-Time System Designs for Parametric Analysis，Chaiwat Sathawornwichit, Toshiaki Aoki and Takuya Katayama，16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA 2010)，pp.81-91
◇講演発表
- The SLXS Specification Language for Describing Consistency of XML Documents，Yasser Kotb, Katsuhiko Gondow and Takuya Katayama，WICS'2002，2002
- Checking Consistency of XML Semantics Using Attribute Grammars，Yasser Kotb, Katsuhiko Gondow and Takuya Katayama，EALPIIT'2002，2002
- Architecture Design for Evolution by Analyzing Requirements on Quality Attributes，Kishi, T, Noda, N. and Katayama, T，APSEC2001，2001
■学外活動
◇その他の国際・国内貢献等
- ソフトウェア工学国際会議 (ICSE)，プログラム委員長(1993), 技術委員長(1998)
- 科研特定領域研究「ソフトウェア発展」，研究代表者 (1997-2000)
- 学術振興会未来開拓研究プロジェクト「ソフトウェア開発方法論」，プロジェクトリーダ(1996-2001)
■賞等
- 電子情報通信学会フェロー，200010
■共同研究等希望テーマ
- ソフトウェア開発方法論
- オブジェクト指向開発方法論、特に組み込みシステムのオブジェクト指向開発
- フォールトトレラントソフトウェア