takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
大阪バイオサイエンス研究所への大阪市支援打ち切りに対するパブリックコメント
44158pv 866 55 users 120 -
「ウクライナでは店の食材にベクレル数が書いてある」は本当か?
38033pv 607 36 users 16 -
消えゆく学会 ~問い直される学会の役割と社会との関係性~
20396pv 154 47 users 37
-
@hirakawah と@kikumaco の対話 欠如モデルほか
15406pv 168 60 users 3