Tetsuro Yamazaki 研究室

主宰者：Tetsuro Yamazaki
東京大学

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

本研究室は、プログラミング言語の実装と実行環境の設計を中心に研究を展開しています。具体的には、プログラム実行時の追跡・分析技術を活用して、ソフトウェアの品質向上と安全性確保に取り組んでいます。ソフトウェアの不具合原因の自動特定、情報漏洩や攻撃の検知、メモリ安全性の確保といった課題に対して、動的解析手法を組み合わせたアプローチを採用しています。 一つの中心的な関心事は、プログラム実行時に生成されるトレース情報を利用して、エラーや望ましくない振る舞いの根本原因を特定することです。複数のプログラミング言語を対象に、ソフトウェア更新後に発生する不具合や外部からの悪意のある入力がもたらす危険性を検出する手法を開発しており、従来の二値的な判定方式を改善することで検出精度を高めています。また、ハードウェアレベルのセキュリティ機構を仮想マシンに適用する際の実装上の課題や、複数の言語間でのメモリ管理の協調についても研究しています。 さらに、プログラミング言語やその処理系の設計改善にも注力しており、メモリが制限された環境でのプログラミング効率化、言語機能の合成可能な実装、開発者の作業プロセスの理解など、言語処理系の実用性と拡張性向上に貢献する研究も進めています。

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

外部リンク

関連研究室(8 件)

研究成果（14 件）

続きを表示（残り 4 件）

科研費（0 件）

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

所属学会・役職（0 件）

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