PDFs

書いたもののうち（PDFなど）Webページにならないものをここに置きます

• 2024-07-23 [PDF] "State-likeモナドは小さい圏により表現できる"