芝浦工業大学
芝浦工業大学
背景画像
技術Technology055
2018.11.08

プログラマーを支える、信頼と効率のプログラミングを創る

プログラミングの効率改善をめざして

プログラミングをさまざまな側面からサポートするシステムに関する研究をしています。とくにプログラム変換、型理論等のプログラミング言語に関する基礎研究の成果を用いて、信頼性が高く効率の良いプログラムを作成しやすくなるようなシステムを構築することをめざしています。ここ数年は主に識別子補完、構文補完などのプログラム開発支援の基本的な機能について、仕様が明示された新たな方式を提案、実装しています。

  • 関数型言語に対する文脈に適した変数名補完
工学部/情報工学科/プログラミング言語研究室
篠埜 功 准教授
現在Eclipse等のさまざまな統合開発環境において変数名補完などの機能が実用化されていますが、将来はこのような基本機能も理論的根拠を持って提供されるようになると考えています。