非古典論理：大森 仁
矛盾許容型論理入門
スライド１２ スライド３
動画１ 動画２ 動画３
計算論：宮部 賢志
アルゴリズム的ランダムネスと学習可能性
スライド１ スライド２ スライド３
集合論：池上 大祐
決定性公理について
スライド１２３
モデル理論：藤田 雅人
順序極小構造とその亜種への位相的アプローチ
スライド 動画
計算論：Matthew de Brecht
Quasi-Polish 空間の計算可能位相空間論への応用
スライド
非古典論理：鈴木 信行
The Existence and Related Properties in Extensions of Intuitionistic Logic
集合論：Diego Mejia
Slalom Numbers
証明論：藤原 誠
Prenex Normalization and the Hierarchical Classification of Formulas
program_SAML2024.pdfprogram_SAML2024.pdf