高橋　和子

数理論理学に基づく知識情報処理

高橋 和子　教授

研究分野／
・時空間データの表現と推論・システム検証・議論システム

計算機画面上のウィンドウの見やすい配置や目的地までのバリアフリーの経路探索などを対象に、問題を論理で記述してそれを計算機に解かせます。そのために必要な仕組みについて研究をしています。