やらんとなんにも始まらんのだ現実は明日のテストの勉強中です…¬p⊃(q∨p)とか¬(p∧¬p)とかあぁ…なんか新種の顔文字に見えてくるって…あと{x|1≦x∧x<10∧∀y[div(x,y)→y=1∨y=x]}とかx|y→∃z[y=x・z]とかもう暗号じゃんっ!!(;´д⊂)(泣)さっ!がんばれ!自分!wwwもうちょっとだ!!