計算資源管理

安全なプログラムを記述するためには計算資源（計算時間, メモリ, ファイルハンドル, 変数の所有権など）を安全に管理することが重要です。

本研究室ではプログラムに登場する様々な計算資源の管理のための型システム（部分構造型やコエフェクト型, 所有権型）の研究や、それらのソフトウェア開発への応用の研究を行っています。