2010年09月20日のツイート
@kururu_goedel: @hyuki ポイントは"If a is a non-zero rational number and b is irrational, then ab is not rational"の否定がどうなるかがはっきりわかっていないというところでして。
2010-09-20 22:35:02 via Seesmic Desktop to @hyuki
@kururu_goedel: @hyuki えーと、量化子のところはまあ曖昧といえば曖昧ですが、そこは授業で同意を取っているので。
2010-09-20 22:33:46 via Seesmic Desktop to @hyuki