も入ってた（地上デジタル放送だけでなく）。半年間、気づかず。体調が回復したら、分配器を買ってこよう…

∃は抽象型（abstract type）にあたります。とか超遅レス。∃α．τは「ある型αが存在して、αについては、型τの値（関数など）が利用できる」ということなので。とっくに解決してそうですが。あと、型を値の集合とみなすこと自体はOKなのですが（というかイデア…

金曜から下痢と嘔吐が…。少し良くなってきましたが。ウィルス性急性胃腸炎だそうで、水を飲んでも吐いてたので（今はOK）、点滴＆注射しまくりでした。もし僕だけじゃなくて他にもいたら、また食中毒？（前にも某試験関係のお弁当で当たった。そのときはみん…