2023年

10月10日(火） 三田計算論理セミナー

• 時間：16:30 - 18:00
• 場所：慶應義塾大学三田キャンパス西校舎544教室（キャンパスマップの５番の建物)
• 講演者: 中村誠希（東京工業大学）
• 講演タイトル: (Un)decidability and Complexity of Equational Theories of Existential Calculi of Relations
• 概要: We consider the (un)decidability and complexity of equational theories of calculi of relations. Calculi of relations are algebraic systems with operations on binary relations (such as union, intersection, complement, composition, converse, and transitive closure). In this talk, after introducing Tarski's calculus of relations, we focus on some equational theories of "existential" calculi of relations, give sketches of the (un)decidability and complexity results, and give open problems. Here, "existential" means that complement only applies to constants or variables. Such fragments are related with existential logics.
• 問い合わせ先：田中大海（慶應義塾大学）hiromitanaka_at_keio.jp （_at_は@に置き換えてください）

2022年

3月2日（水） CREST論理セミナー

• 9:30-11:00 西村友海（大阪大学）「議論に関する研究の簡単な紹介」

3月9日（水） CREST論理セミナー

• 14:00-17:00 吉川将司（東北大学）「範疇文法と構文解析」

3月30日（水） CREST論理セミナー

• 9:30-11:00 細川雄一郎（群馬県立女子大学）「現代論理学が議論学や議論マイニングに対してどのように寄与できるか／すべきかを考えるために」

共催

• CREST「数理論理の観点からの複数文の証明構造の研究」（研究課題名：自然言語の非線形性の計算論モデル）Webpage