プログラミング言語研究室
Programming Language Research Group
プログラミングの効率改善をめざして
プログラミングをさまざまな側面からサポートするシステムに関する研究をしています。とくにプログラム変換、型理論等のプログラミング言語に関する基礎研究の成果を用いて、信頼性が高く効率の良いプログラムを作成しやすくなるようなシステムを構築することをめざしています。ここ数年は主に識別子補完、構文補完などのプログラム開発支援の基本的な機能について、仕様が明示された新たな方式を提案、実装しています。
この研究室が取り組んでいるSDGsの活動
学べる分野
- 情報工学
- 情報科学
社会のために
現在Eclipse等のさまざまな統合開発環境において変数名補完などの機能が実用化されていますが、将来はこのような基本機能も理論的根拠を持って提供されるようになると考えています。
研究テーマ
- バッファオーバーフローの可視化に関する研究
- C言語プログラムにおけるgoto文の除去に関する研究
- 関数型言語を対象としたコードクローン検出手法に関する研究