Ichiro Hasuo 研究室

主宰者：Ichiro Hasuo
国立情報学研究所

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

Hasuo研究室は、複雑なシステムの正確性を検証するための数学的手法と計算技術を開発しています。特に、自動運転システムなど人工知能を含むサイバー・フィジカル・システムの安全性保証に注力しており、仕様違反を示す入力信号を探索する「反証法」や、連続時間の挙動を監視する手法を構築しています。また、確率的プログラムの実行特性を分析するため、時間的性質の推論フレームワークや、確率到達可能性を過大・過小評価する殉教基盤手法を研究しています。 理論面では、圏論と論理に基づく統一的な枠組みを整備しており、部分構造文脈での単位元と分配法則の理論、双遠方性を定量的に拡張した枠組み、初代数と最終余代数の関係性などを扱っています。これらの抽象的な構造論は、検証の目撃情報を創造的に活用したり、複合的な要件のバランスを取ったりする具体的なアルゴリズム開発につながっています。 全体として、複雑なシステムの本質的な性質を数学的に理解し、その理解に基づいて効率的な検証技術や合成手法を実現することで、信頼性の高いシステム設計を支援することが研究室の目標といえます。

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

外部リンク

関連研究室(8 件)

研究成果（20 件）

続きを表示（残り 10 件）

科研費（0 件）

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

所属学会・役職（0 件）

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