プログラミング言語研究室

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

プログラミングをさまざまな側面からサポートするシステムに関する研究をしています。とくにプログラム変換、型理論等のプログラミング言語に関する基礎研究の成果を用いて、信頼性が高く効率の良いプログラムを作成しやすくなるようなシステムを構築することをめざしています。ここ數年は主に識別子補完、構文補完などのプログラム開発支援の基本的な機能について、仕様が明示された新たな方式を提案、実裝しています。
プログラミング言語研究室関數型言語に対する文脈に適した変數名補完
工學部情報工學科
擔當教員
篠埜 功
所屬學會日本ソフトウェア科學會/米國計算機學會(ACM)/情報処理學會
キーワードプログラミング、ソフトウェア、アルゴリズム

學べる分野

情報工學、情報科學

社會のために

現在Eclipse等のさまざまな統合開発環境において変數名補完などの機能が実用化されていますが、將來はこのような基本機能も理論的根拠を持って提供されるようになると考えています。

研究テーマ

関連リンク

関連する研究室

草蜢社区在线观看免费下载