Works

The Proof of DB Schema Migration

The proof for validation of DB schema migrations.

Yuki Osada's Revamped Portfolio

Yuki Osada's Portfolio for the entrance exam at the NII.

The Archive of Yuki Osada's Portfolio

Yuki Osada's Portfolio for the AC entrance exam at the University of Tsukuba.