ワタタツの日記!

☆ なんかζとか F_1 とか local set theory とか higher universe とか出てきてこんにちは。
まだ近付けません。