2026-01-09
2026-01-08←前　次→2026-01-10
『Propositions as ［Types］』
#日誌