神奈川大学 · 情報学部 · 教授

研究キーワード代数構造・システム検証・verification of system・Logic・algebra structure・information science・情報科学・論理学

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Multi-Valued Modal Fixed Point Logics for Model Checking
• Algebraic Structures for Cocomplete Fibrations and Fibred CCCs
• Linear Logical Framework の拡張による Local Model Checking の形式的検証
• Multirelational representation theorems for complete idempotent left semirings

• 2022/04～ 関係的表現定理からストーン双対性への拡張 基盤研究(C)（一般）2022 · 研究課題・受託研究・科研費
• 2009/04～2012/03 日本海に面した海岸における海ごみの発生抑制と回収処理の促進に関する研究 その他の補助金・助成金2009 · 研究課題・受託研究・科研費
• 2008/04～2010/03 モデル検査における抽象化の再利用 日本学術振興会科学研究費補助金 若手研究（B）2008 · 研究課題・受託研究・科研費
• 2007/08～2008/03 順序付き線形型に基づく安全かつ高速な大規模データ処理の実現 平成19年度日本学術振興会科学研究費補助金特定領域研究2007 · 研究課題・受託研究・科研費

• 公式プロフィール