TPP2025 にて 「解釈可能性論理の形式化についての報告」 という題で発表した際のスライドです．
最新のPDFファイルが https://sno2wman.github.io/slides-for-tpp2025/main.pdf から入手出来ます．
SnO2WMaN/slides-for-tpp2025
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
TPP2025 にて 「解釈可能性論理の形式化についての報告」 という題で発表した際のスライドです．
最新のPDFファイルが https://sno2wman.github.io/slides-for-tpp2025/main.pdf から入手出来ます．