2021-02-16
うーん
https://www.youtube.com/watch?v=YsCKgckaHk4
前の演習で示した定理が大活躍していてすごい
例えば、評価の一意性は和と積の一意性に簡単に帰着できる
巨人の肩に乗るという感じがあるが、この巨人自分で組んだプラモデルの巨人なんだよな……
みんな院試のこととか考える時期だよね…
NieR Re[in]carnationです
型は集合ではない定期
どこで言及されているのか、何が問題なのかをあまり把握していない。知っておきたい
思い出して書き始めたけど、どこで言われてたんだ？タブを閉じてしまったので書けない