Taro Sekiyama 研究室

主宰者：Taro Sekiyama
国立情報学研究所

AI 要約（直近 5 年の研究成果）

Sekiyama研究室は、プログラミング言語の型システムと効果システムを用いた安全性検証に取り組んでいます。プログラムが持つ様々な動作や性質を、型注釈という形で静的に検証することで、実行前にバグを防ぐ手法を研究しています。特に、代数的効果（プログラムの様々な動作を統一的に表現する仕組み）やデリミテッド継続（プログラムの実行制御）など、複雑な制御フローを持つプログラムを安全に扱うための型システムの拡張に力を入れています。 また、Rust言語への自動翻訳検証やRustプログラムの正確性検証ツール開発も行っています。外部ライブラリに依存するプログラムの翻訳では、存在しないAPIの生成を避けるための仕組みを導入し、ポインタの別名化や借用関係のある複雑なプログラムに対する正確な検証を実現しています。これらの研究を通じて、型システムを活用してより安全で信頼性の高いソフトウェア開発基盤の構築を目指しています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（10 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。