@ozu.bsky.social on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Profile

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

ozu.bsky.social

did:plc:wdu43soo6ya4enzjejzfess4

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