SnO2WMaN.net

AboutMe Projects

OtoMADB Modal Logic in Lean4

2023 - SnO₂WMaN

この2年間、環境情報学部の意思決定は最終的には犬がしていたのでした。

脇田玲; 『犬』