中野研究室

中野研究室では,プログラミングに関連するさまざまな研究を行っています.

プログラミングを簡単にするための研究
既存のプログラミング言語に新たな機能を追加したり, 自分で新たなプログラミング言語を開発したりする研究です. プログラミングを支援するツールの作成にも取り組んでいます.
プログラムの正しさの検証
プログラムを実行することなくバグを見つけたり,プログラムのもつ性質を自動的に検査したりするための研究です. プログラムの性質を証明するために,CoqやAgdaなどの定理証明支援系を利用することもあります.
関数型プログラミング
近年,話題となっている関数型プログラミングに関する研究です.OCamlやHaskellなど関数型プログラミングに適した言語を用いて新しいプログラミングの手法を追求します.

その他の情報