Katsuhiro Ueno 研究室

上野研究室では、関数型プログラミング言語の設計と実装を軸に、プログラミングの効率性と利便性を高めるための研究を進めています。研究の主な焦点は、プログラマが書きやすく、機械が効率的に実行できるような言語仕様と処理系を実現することにあります。 具体的には、時間とともに変化する値を関数として統一的に扱う反応型プログラミングのフレームワーク開発、C言語との相互運用を実現した型安全な関数型言語SML#の開発、そしてマルチコア環境での軽量スレッド処理を支える効率的なメモリ管理手法の実装に取り組んでいます。特にメモリ管理については、複数のスレッドが並行して走る環境で、プログラムの実行を停止させずにガベージコレクション（不要なメモリの自動回収）を並列に行う方式を実現しました。これらの研究を通じて、学術的な理論と実装技術を結びつけ、現実のコンピュータシステムで実用的に動作するプログラミング言語と処理系の実現を目指しています。