多項式計算可能性、形式意味論、不動点定理——私自身の研究プログラムを支える基礎理論です。
形式手法と LLM の交差点:検証ハーネス、引用チェック、そして本番環境でモデルを信頼するために必要なこと。
タスクベースの認知アーキテクチャ、協調プロトコル、エージェント経済——IEEE Access 論文につながる研究ラインです。
エージェントベースの都市シミュレーション、デジタルツインのガバナンス、シビックインテリジェンス。
ブロックチェーンシステムの公理化、検証可能な記録、階層化された知識アーキテクチャ。