さらに絞り込みたい場合はキーワードを入力し、検索ボタンを押してください。
表示順:
表示件数:
1件中1-1件目
数理論理学をベースとして問題を形式化し、計算機にそれを効率よく解かせる手法の研究を行なっている。具体的には、時空間データをシンボリックに扱う定性空間推論の研究、ディベートや説得などの議論の論理構造を明確化したモ ...