Tachio Terauchi 研究室

主宰者：Tachio Terauchi
早稲田大学

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

Tachio Terauchi研究室は、プログラムの安全性と信頼性を形式的に検証する手法の開発に取り組んでいます。主な研究対象は、プログラムが終了するか無限ループに陥るかを判定する終了性解析、正規表現の脆弱性検出と自動修復、そして正規表現に依存する文字列操作関数の合成と修復です。これらの研究は、実世界のプログラムが扱う複雑なデータ型やポインタ操作、低レベルの整数演算、さらに拡張された正規表現機能に対応することを重視しています。 研究室の手法の特徴は、プログラミング例からの学習（プログラミング・バイ・エグザンプル）や形式的な制約充足問題への変換、型システムによる検証など、多様なアプローチを組み合わせることです。特に正規表現の研究では、後方参照や先読み・後読みといった実装で広く使われている拡張機能に対応した理論的フレームワークを構築し、その表現力や安全性を分析しています。また、代数的エフェクトハンドラなどの現代的なプログラミング言語の構成要素を対象とした検証手法の開発も進めています。 さらに、ソフトウェア開発のサプライチェーンにおける知的財産の漏洩防止も研究課題としており、開発・テスト段階での振る舞い観察を通じた内部仕様の推測を防ぐ手法を提案しています。これらの研究を通じて、複雑な実世界のプログラムに対して実用的かつ理論的に堅牢な検証・修復技術を実現することを目指しています。

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

外部リンク

関連研究室(8 件)

研究成果（10 件）

科研費（0 件）

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

所属学会・役職（0 件）

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