takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
消えゆく学会 ~問い直される学会の役割と社会との関係性~
20396pv 154 47 users 37 -
「Undo」をどう設計する?
23557pv 98 70 users -
「原発事故の影響で鼻出血や下痢が増えた」という話への長野県在住の血液内科医による解説
143751pv 5032 527 users 285
-
@hirakawah と@kikumaco の対話 欠如モデルほか
15406pv 168 60 users 3 -
Doeringさんの講演とmetaphusikaとhasseiの雑談
2669pv 4 3 users -
Coqで圏論の会
4040pv 9 -
「規制条例反対派の論では推進派の論には対抗できない」渡邊芳之先生ynabe39による東京都の表現規制条例についてのツ..
61600pv 1747 133 users 433