Development of theory and application of programming based on higher-order/typed calculi

2019 Fiscal Year Final Research Report

• Project/Area Number: 15H02681
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Tohoku University
• Principal Investigator: Sumii Eijiro 東北大学, 情報科学研究科, 教授 (00333550)
• Project Period (FY): 2015-04-01 – 2020-03-31
• Keywords: プログラミング言語理論 / 関数型プログラミング / 高階計算・λ計算（ラムダ計算） / 型システム / 情報セキュリティ・情報流解析 / 並行・分散計算 / 形式的（機械的）定理証明・検証 / 環境双模倣

Outline of Final Research Achievements

As enumerated in the report, a variety of results and new theories have been obtained by developing and applying programming language theory (in particular, higher-order computation and static type systems) studied in functional languages and related research fields. Some of our research has been accepted as full papers and presented in refereed, high-quality international conferences.

Free Research Field

プログラミング言語理論

Academic Significance and Societal Importance of the Research Achievements

広義の「計算」の記述としての高水準プログラミング，ひいては情報処理システムの生産性・信頼性を向上させる分野の研究成果である．研究計画に明記したとおり，本研究は学術的基礎理論研究であり，「201X年YY月にZZZZ理論を着想する」といった具体的計画をあらかじめ立てることはあり得ないため，研究計画もあくまで例示である旨を明記した上で採択されたが，研究題目に沿った多数の予見し得なかった成果が得られ，研究者自身の発想による自由な研究の重要性が再確認された．