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