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

現代社会のいたる所で使われているソフトウェアの信頼性、生産性を向上させ ることは重要な課題となっています。信頼性のあるソフトウェアを効率よく開 発するため、構文解析、型検査、プログラム変換等の研究成果を用いて、プロ グラミングあるいはプログラミングの学習に役立つツールを開発しています。 また、ツールの背景にある理論について研究を行います。

研究テーマ

以下は以前やっていたもので、最近はやっていません。

資料