takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
「琵琶湖の水止めたろか!」を実際にやったらどうなるかシミュレーションしてみた結果
369224pv 5312 875 users 10417