データに基づき自動修正も含む型エラーデバッギングの理論と実際

2020 年度 実施状況報告書

• 研究課題/領域番号: 19K20248
• 研究機関: 国立情報学研究所
• 研究代表者: 対馬 かなえ 国立情報学研究所, アーキテクチャ科学研究系, 特任助教 (80754663)
• 研究期間 (年度): 2019-04-01 – 2023-03-31
• キーワード: 型エラー / デバッグ / 関数型言語

研究実績の概要

育児休業取得で研究を中断していたため、2020年度の成果はない。

現在までの達成度 (区分)

2: おおむね順調に進展している

理由

２０２０年度は研究中断により進んでいないが、それ以前には概ね順調に進展していたため。

今後の研究の推進方策

まず、2019年度に行った自動修正を行うための型情報を得る手法の導入、型エラープログラムの自動修正にむけたプログラム合成を組み合わせることで、型の合う部分的なプログラムを自動生成する。そのままでは実用的な速度では実行できない可能性が高いため、デー タに応じた最適化を導入する。

次年度使用額が生じた理由

２０２０年度は研究中断をしており、使用しなかったため。
コロナ禍のため、しばらくは出張は難しいかと思われ、主に必要な機器等の購入やオンラインでの学会参加に使用する。コロナ禍解消後には成果発表や共同研究のための出張に使用する予定である。