2024-03
<-
2024-02
->
2024-04
2024-03-31
いろいろあった，ナア
2024-03-09
今日は一日中
$ i+j=k
のことを考えていました♪
$ O(j)
でできたので上出来ではないか
部分型関係は可能ならその型自体に埋め込んだほうがいいです
Embedding by Unembedding
わからん
Unembedding と少しギャップがあるような気がするが……
2024-03-04
ミ