論理システム研究室

研究内容・方針

Logical Circuit Verification

ゲートレベルの仕様と設計回路、実装回路の挙動を比較し、定理証明の手法を用いて回路における誤りの位置を探します。一見単純そうな問題ですが、回路の規模が大きくなるに従い計算量や必要なメモリが爆発的に増大するため、開拓領域に位置する問題です。

Discrete/Sequential Hybrid Situation Calculus

Situaiton Calculusは本来離散的問題を扱うシステムであり、連続系を扱うには拡張が必要となります。超準解析の概念を用いた全く新しいアプローチにより、よりシンプルで誤差の少ない状況計算システムを目指し研究しています。

協調分散型agentを計算面から研究しています。様相論理を用いてエージェントの状態（知識、信念、etc...）を記述し、線形計算の形で状態更新を迅速に行うシステムを研究しています。

Member List

研究室所在など

立命館大学 びわこ・くさつキャンパス CC３階

Link

• 作成中