• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

デバッギングを指向した型推論に関する研究

Research Project

Project/Area Number 13780210
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionTokyo Institute of Technology

Principal Investigator

西崎 真也  東京工業大学, 大学院・情報理工学研究科, 助教授 (90263615)

Project Period (FY) 2001 – 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2002: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2001: ¥1,500,000 (Direct Cost: ¥1,500,000)
Keywordsデバッギング / 型推論 / プログラミング言語 / 関数型言語
Research Abstract

平成14年度においては、次のような事項について研究を推進した。
《先進的な型推論アルゴリズムの調査・分析》
近年提唱された先進的な型推論アルゴリズムについて、網羅的に調査をおこない、デバッグ作業の支援という観点から検討・分析に取り組んだ。とくに、コンカレント・プログラミングのための型推論や、セキュア・プログラミングのための型推論などを中心にすえた。
《デバッグ作業を支援するための型推論の拡張》
前項で調査した「先進的な型推論アルゴリズム」に対する検討を基にして、平成13年度の「デバッグ作業を支援するための型推論の開発」の成果の拡張に取り組んだ。
《プロトタイプシステムの実装》
平成13年度の「デバッグ作業を支援するための型推論の開発」で得られた理論的成果、および、前項により得られた成果について、プロトタイプシステムを実装することを通して、実際的な観点から、有用性について評価をおこない、従来の言語処理系における型推論との比較検討をおこなった。

Report

(2 results)
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (5 results)

All Other

All Publications (5 results)

  • [Publications] 須藤正人, 西崎真也: "名前呼び環境PCFの意味論"情報処理学会論文誌. 43巻SIG03号. (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 西崎真也, 冨岡大悟, 大石浩司: "計算機構成型を導入した、DoS耐性解析におけるコスト評価のための計算体系"日本ソフトウェア科学会第19回大会. (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 西崎真也, 小田崇史: "ファーストクラス継続をもつオブジェクト計算"情報処理学会第42回プログラミング研究会. (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] 松下祐介, 植田友幸, 西崎真也: "対称的型推論アルゴリズム"日本ソフトウェア科会合 第18回大会論文集.

    • Related Report
      2001 Annual Research Report
  • [Publications] 須藤正人, 西崎真也: "名前呼びPCF計算の意味論"情報処理学会論文誌:プログラミング. 14. (2002)

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi