ソフトウェア再利用性向上のための型理論に関する研究

2008 年度 研究成果報告書

• 研究課題/領域番号: 18700026
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 京都大学
• 研究代表者: 五十嵐 淳 京都大学, 大学院・情報学研究科, 准教授 (40323456)
• 研究期間 (年度): 2006 – 2008
• キーワード: プログラム言語論 / オブジェクト指向 / 型システム

研究概要

オブジェクト指向言語においてソフトウェアの再利用性の向上を支援する型システムの研究を行い, 主に以下に挙げる成果を得た. (1)相互再帰的なクラスを継承により拡張するための言語機構およびそれに対する型システムを考案し, 型システムの安全性の厳密な証明を与えた. (2)再帰的(自己参照的)インターフェースを表現できる型システムに対して従来から指摘されてきた欠点を解決した. (3)漸進的型付けと呼ばれる、動的型付けと静的型付けをひとつの言語上で混在させるための言語機構の形式化を簡単なオブジェクト指向言語に対し行い, その安全性を証明した.

研究成果

• [雑誌論文] Featherweight Javaのための漸進的型付け (2009)
  • 著者名/発表者名: 伊奈林太郎, 五十嵐淳
  • 雑誌名: コンピュータソフトウェア 26(2) ページ: 18-40
  • 査読あり
• [雑誌論文] Matching ThisType to subtyping. (2009)
  • 著者名/発表者名: Chieri Saito and Atsushi Igarashi
  • 雑誌名: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009) ページ: 1851-1858
  • 査読あり
• [雑誌論文] Lightweight family polymorphism (2008)
  • 著者名/発表者名: Chieri Saito, Atsushi Igarashi, and Mirko Viroli
  • 雑誌名: Journal of Functional Programming 18(3) ページ: 285-331
  • 査読あり
• [雑誌論文] The essence of lightweight family polymorphism (2008)
  • 著者名/発表者名: Chieri Saito and Atsushi Igarashi
  • 雑誌名: Journal of Object Technology 7(5) ページ: 67-99
  • 査読あり
• [雑誌論文] Variant path types for scalable extensibility. (2007)
  • 著者名/発表者名: Atsushi Igarashi and Mirko Viroli
  • 雑誌名: Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007) ページ: 113-132
  • 査読あり
• [雑誌論文] The essence of lightweight family polymorphism (2007)
  • 著者名/発表者名: Chieri Saito and Atsushi Igarashi
  • 雑誌名: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007) ページ: 27-41
  • 査読あり
• [雑誌論文] Union types for object-oriented programming (2007)
  • 著者名/発表者名: Atsushi Igarashi and Hideshi Nagira
  • 雑誌名: Journal of Object Technology 6(2) ページ: 47-68
  • 査読あり
• [雑誌論文] Variant path types for scalable extensibility (2007)
  • 著者名/発表者名: Atsushi Igarashi and Mirko Viroli
  • 雑誌名: Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007) ページ: 38-49
  • 査読あり
• [雑誌論文] Union types for object-oriented programming (2006)
  • 著者名/発表者名: Atsushi Igarashi and Hideshi Nagira
  • 雑誌名: Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006) ページ: 1435-1441
  • 査読あり
• [雑誌論文] Variant parametric types: A flexible subtyping scheme for generics (2006)
  • 著者名/発表者名: Atsushi Igarashi and Mirko Viroli
  • 雑誌名: ACM Transactions on Programming Languages and Systems 28(5) ページ: 795-847
  • 査読あり
• [学会発表] Matching ThisType to subtyping (2009)
  • 著者名/発表者名: Chieri Saito and Atsushi Igarashi
  • 学会等名: The 24th Annual ACM Symposium on Applied Computing (SAC2009)
  • 発表場所: アメリカ合衆国ホノルル
  • 年月日: 20090300
• [学会発表] Featherweight Javaのための漸進的型付け (2008)
  • 著者名/発表者名: 伊奈林太郎, 五十嵐淳
  • 学会等名: 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)
  • 発表場所: 宮城県仙台市
  • 年月日: 2008-03-05
• [学会発表] Variant path types for scalable extensibility (2007)
  • 著者名/発表者名: Atsushi Igarashi and Mirko Viroli
  • 学会等名: The ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)
  • 発表場所: カナダ・モントリオール
  • 年月日: 20071000
• [学会発表] The essence of lightweight family polymorphism (2007)
  • 著者名/発表者名: Chieri Saito and Atsushi Igarashi
  • 学会等名: The 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007)
  • 発表場所: ドイツ・ベルリン
  • 年月日: 20070700
• [学会発表] Variant path types for scalable extensibility (2007)
  • 著者名/発表者名: Atsushi Igarashi and Mirko Viroli
  • 学会等名: The International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007)
  • 発表場所: フランス・ニース
  • 年月日: 20070100
• [学会発表] Union types for object-oriented programming (2006)
  • 著者名/発表者名: Atsushi Igarashi and Hideshi Nagira
  • 学会等名: The 21st Annual ACM Symposium on Applied Computing (SAC2006)
  • 発表場所: フランス・ディジョン
  • 年月日: 20060400
• [図書] プログラミングin OCaml〜関数型プログラミングの基礎からGUIプログラミングまで (2007)
  • 著者名/発表者名: 五十嵐淳
  • 総ページ数: 374
  • 出版者: 技術評論社
• [備考]
  • URL: http://www.sato.kuis.kyoto-u.ac.jp/-igarashi/