@StoneDuality のページ

 

プロフィール

1.    こっとん @StoneDuality

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

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

 

公開PDF

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

2.    Mathematical Logic Advent Calendar 2023
「様相論理の近傍意味論はS4フレームなら位相空間論の意味での「近傍系」になる話！」
PDF（9ページ・日本語）（公開：2023年12月21日）

 

 

最終更新日: 2026年4月21日