Oleg Kiselyov 研究室

主宰者：Oleg Kiselyov
東北大学

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

本研究室は、プログラムの動作を制御する仕組み（効果）がプログラム生成と相互作用するときに生じる問題に取り組んでいます。特に、生成されたコード内で変数がその有効範囲を超えて使用される「スコープ逸脱」という問題を中心に研究しており、この問題を防ぐ静的な型システムと実行時に検出する動的な検査の両者について理論的・実践的に分析しています。 プログラム生成の実際の実装では、MetaOCamlという言語拡張システムを開発・保守し、生成されるコードが必ず正しい形式・型・スコープを持つことを保証しながら、実用的なコード生成を可能にしています。このシステムは領域特有言語のコンパイルや高性能計算の最適化、組込みプログラミングなど幅広い応用で活用されています。 さらに研究室では、複数の異なる効果を含むプログラムの推論や検証についても研究しており、ストリーム処理を高速に実行する仕組みの設計も手がけています。これらを通じて、プログラムを生成・操作・実行する際に安全性と効率を両立させるための基盤的な技術開発を進めています。

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

外部リンク

関連研究室(8 件)

研究成果（6 件）

科研費（0 件）

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

所属学会・役職（0 件）

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