2001 Fiscal Year Annual Research Report
| Project/Area Number |
13780210
|
|---|
| Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
西崎 真也 東京工業大学, 大学院・情報理工学研究科, 助教授 (90263615)
|
|---|
| Keywords | 型推論 / デバッギング / 関数型言語 |
|---|
| Research Abstract |
平成13年度においては、次のような事項にっいて研究を推進した。
《関数型言語処理系におけるデバッグ作業の調査研究》
関数型言語処理系において発生するデバッグ作業の調査・分類をおこ有い、型推論機構において、どのような改善が必要となるのかを分析した。
《型推論アルゴリズムのエラー時の挙動の分析》
プログラミング言語MLにおける型推論アルゴリズムW(下降型)やM(上昇型)について、それらのエラー発生時における挙動について理論的分析をおこなった。それと同時に、Haskell、OCaml、Standard ML of New Jersey、Moscow MLなど、関数型言語処理系において実装されている型推論においても、その挙動を分析し、プログラミングにおけるデバッグ作業との適合性について検討を行った。
《デバッグ作業を支援するための型推論の開発》
上述の調査・分析によって得られた知見を基にして、デバッグ作業を支援するための型推論アルゴリズムを開発した。そして、そのための型システムについての改良についても、必要に応じて検討をおこなった。最初に、単純型システムに対する型推論アルゴリズムの開発に取り組み、次に、多相型システムに対するものの開発に取り組んだ。
|
Research Products
(2 results)
-
[Publications] 松下祐介, 植田友幸, 西崎真也: "対称的型推論アルゴリズム"日本ソフトウェア科会合 第18回大会論文集.
-
[Publications] 須藤正人, 西崎真也: "名前呼びPCF計算の意味論"情報処理学会論文誌:プログラミング. 14. (2002)
