takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
スタート集合論
2591pv 9 2 users -
『圏論の基礎』が書店から消えた
7198pv 20 1 user