2010-10-08から1日間の記事一覧
@kururu_goedel: $A\subseteq A\cup B$と$(A\cup B)\cap C\subseteq(A\cap C)\cup B$の証明をCoqで書いた。2010-10-08 02:46:36 via Seesmic Desktop @kururu_goedel: 今セメはいろいろあって、火曜と木曜の夕食は運転しながらマクドナルドがデフォルト2010-…
@kururu_goedel: $A\subseteq A\cup B$と$(A\cup B)\cap C\subseteq(A\cap C)\cup B$の証明をCoqで書いた。2010-10-08 02:46:36 via Seesmic Desktop @kururu_goedel: 今セメはいろいろあって、火曜と木曜の夕食は運転しながらマクドナルドがデフォルト2010-…