計算・言語・論理の研究集会 2026 御宿

日時

2026年7月10日（金）〜 2026年7月13日（月）

目的

計算・言語・論理を研究している人たちが一堂に会し、時間等を気にすることなく、気の済むまで議論をおこなうことを目的とした研究集会です。講演枠と講演時間を事前に固定せず、当日の参加者の状況に合わせて柔軟に講演時間を設定します。その講演の合間にも、参加者が主体的に議論できる時間が設けられます。成果を挙げる場として利用していただければ幸いです。

講演

7/10 21:00〜23:00

安部達也

並行プログラム論理と連立帰結式

一倉海斗

Recursive Functions in Subsystems of HA

7/11 9:00〜11:00

宮田大和

Ramsey型定理 RTⁿ_<∞,ℓ の逆数学的分析

金子柚月

Hurewiczの定理の逆数学分析

7/11 13:30〜17:00

谷口雅弥

Semantic Distance for Presburger Formula Generation

佐藤拓海

A Cyclic Proof System for Trace Formula Implication with Least and Greatest Fixpoints

木村大輔

大域トレース条件をもつ無限ラムダ計算と強収束性

7/11 21:00〜22:00

西村祐輝

19XX年の様相論理

7/12 9:00〜12:00

小林勇貴

DNRと逆数学

鈴木悠大

On some generalizations of the second incompleteness theorem

竹田侑人

Frame definability for modal logic in second-order arithmetic

7/12 14:30〜18:00

西村祐輝

Terminating Sequent Calculus for n-Transitivity

冨永浩平

Complexity of the pure logic of necessitation

高木翼

An introduction to quantum computation

7/12 21:00〜22:00

谷口雅弥

ランベック計算の循環証明体系Lμの試み