本研究室では、ソフトウェアの構成原理を探求し、より信頼性の高いソフトウェアを効率よく構築する技術の開発を目指しています。次世代のソフトウェア開発の基盤となる新しいプログラミングの枠組みの構築や、それらを基礎としたプログラミング言語の実現の研究を進めています。本公開では、我々が開発している次世代プログラミング言語 SML# を紹介します。SML# の先端理論を駆使した、ゲームプログラミングやデータベースプログラミング、Eclipse プラグインなどを体験してください。
より詳しく知りたい方はこちら
