generated at
『圏論によるプログラミングと論理』

灘高校の部誌
https://www.yumpu.com/en/document/read/13887230/-
/mrsekut-book-01394d43

#スクボ読書化した本