Hiroyuki Seki 研究室

主宰者：Hiroyuki Seki
名古屋大学

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

本研究室では、コンピュータプログラムやシステムが正しく動作するかを検証するための理論的基盤を研究しています。特に、無限の領域から値を取り扱う必要があるプログラムの検証に焦点を当てています。例えば、ID番号やデータベースの値など、あらかじめ決まった有限個の値ではなく、任意の値を処理するプログラムの正当性を判定する問題に取り組んでいます。これまでのプログラム検証手法では扱えなかった、こうした複雑な状況に対応できる新しい理論的枠組みを構築することが目標です。 具体的には、レジスタと呼ばれるデータ格納領域を備えた計算モデルや、複数のプレイヤーが相互作用するゲーム理論的な枠組みを研究対象としています。形式言語理論、オートマトン理論、時間論理などの古典的な計算機科学の手法を拡張し、複数プレイヤーの戦略的相互作用や確率的な動作を含む設定で、システムが要求を満たすかどうかを判定する問題の計算複雑さを分析しています。 これらの研究は、ソフトウェアやハードウェアの自動検証技術の発展につながるとともに、プライバシー保護やセキュリティ設計といった現代的な課題への応用も視野に入れています。

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

外部リンク

関連研究室(8 件)

研究成果（15 件）

続きを表示（残り 5 件）

科研費（0 件）

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

所属学会・役職（0 件）

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