Hello, unknown observer...

Profile

Yuki
Osada

About

Handle name

Myxogastria0808

A \xrightarrow{\sim} B

\cong

Affiliation

University of Tsukuba
College of Information Science

a \in U

\in

Interest

Category Theory, HoTT, Type Theory, Nix

\lambda x {:} A.\, x

\lambda

EMail / Social

r.rstudio.c@gmail.com

Social

Works

The Proof of DB Schema Migration

2026

The proof for validation of DB schema migrations.

Category TheoryDB TheoryProof

Yuki Osada's Revamped Portfolio

2026

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

Entrance ExamNIISOKENDAIPortfolioWebsite

Website GitHub

The Archive of Yuki Osada's Portfolio

2023

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

AC Entrance ExamUniversity of TsukubaPortfolioWebsite

Website GitHub

View All Works →

Activity

Topic

The Proof of DB Schema Migration

2026

The proof for validation of DB schema migrations.

Category TheoryDB TheoryProof

Affiliations

Biopackathon

A community hackathon focused on packaging life science databases and data analysis tools as open source software.

Website

WORD Editorial Board

Member of WORD, a student-run magazine of the School of Informatics.

Website

Ultra-Coins

Member of Ultra-Coins, a student computing organization at the University of Tsukuba.

Website

Genshiken

Member of Genshiken (現代視覚文化研究会), a subculture circle at the University of Tsukuba.

Website

Kirinoha Novel

Member of Kirinoha Novel, a novel game production circle.

Website

View History →

Banners

my banner

Accepting reciprocal links!