@StoneDuality のページ

 

プロフィール

1.    こっとん @StoneDuality

2.    専門: 数理論理学・圏論など

3.    大学院生(博士課程前期・2025年度〜)

 

公開PDF

1.    Mathematical Logic Advent Calendar 2025
「述語変換子意味論と余代数」
(近日公開)

2.    Mathematical Logic Advent Calendar 2023
「様相論理の近傍意味論はS4フレームなら位相空間論の意味での「近傍系」になる話!」
PDF(9ページ・日本語)
(公開:20231221日)

 

 

最終更新日: 2026421