yasuo_ozu😶量子コンピュータエンジニア

@ozu.bsky.social

105 Followers · 45 Following

QunaSys 早稲田/名古屋大  理論物理学/Arch Linux/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/SAT Solver/定理証明/新井朝雄/アカペラ/人狼 https://twitter.com/yasuo_ozu

Nothing here yet.