λ計算は代入とかなんか計算規則をいい感じにするもの 超いい感じ

何かいい感じの代数的な構造作るなら剰余使うもんな気もする

コンパクト性の証明, 任意の開被覆について話をしないといけないの

なんか久しぶりに DeepL 使ったんだけど以前よりちょっと良くなってる気がする

もっと見る
mikutter

#あなたがガチ凍結されると
11月中旬くらいかな?俺はておくれだから
Twitterからよく舐められるんだけど、
ある時Twitterが度が過ぎて俺を凍結
してきたわけ、そんで記憶がないんだけど(痴呆)、
相当ボコボコにしちゃったらしい
俺、これでもておくれですよ?