Yoshihiro Maruyama 研究室

主宰者：Yoshihiro Maruyama
名古屋大学

AI 要約（直近 5 年の研究成果）

本研究室は、古典論理の枠を超えた多様な論理体系の数学的基礎を構築することに取り組んでいます。特に、曖昧性や不確実性を扱うファジー論理、時間推論、分散知識表現といった実践的な推論の問題に対して、圏論に基づく厳密な意味論を開発しています。真偽値が中間的な値をとる論理体系における完全性定理や有限モデル性、決定可能性といった基本的性質を証明し、これらの論理の数学的妥当性を確立する研究を進めています。 特に注力しているのは、カテゴリー理論の高度な枠組み（超関数論法、三項論、トポス理論）を用いて、一階論理から高階論理への拡張を実現することです。ファジー論理における古典的な変換（バーツ変換など）を圏論的に定式化し、直感主義論理を含む複数の非古典論理系に対して統一的な意味論を与えています。これにより、様々な論理体系を統一的に扱う数学的な基盤が整備されつつあります。 さらに、こうした論理的基礎の研究と並行して、自然言語処理における合成性の問題や、倫理的な人工知能の設計といった応用的なテーマにも取り組んでいます。シンボリックな記号処理と統計的な意味理解の関係を理論的に理解し、不確実性や曖昧性を扱いながら推論する知的システムの構築を目指しています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（14 件）

続きを表示（残り 4 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。