アメリカの大学事情を読み取る 続きを読む
@noricoco 先生が書かれた「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」に @hyuki が反応したら、話は Coq の証明へ。すでに @hyuki はついていけな.. 続きを読む
ものものしいものとする 続きを読む
An Outline of Set Theory(James M. Henle)の勉強ログ、第2章です。誤り等のご指摘大歓迎です。 続きを読む
フーリエTL 5/30~5/31の内容 ＋完結編 タグ誰かお願いします>< 続きを読む
