KI
Keigo Imai
@keigoi.bsky.social
57 followers66 following83 posts
でこれきさんのが十分うまくいっている
読むとうまくいってないね
Blog: Looks like I am genuinely the first person to try and apply "Trees that grow" to OCaml cohost.org/prophet/post...qiita.com/dico_leque/i...
Looks like I am genuinely the first person to try and apply
I've spend a lot of time trying to do this now, but I'm fairly convinced it's just not possible with modules. Superficially, it seems like Trees That Grow would be an amazing fit for functors! The a...
カードゲームのプロトコルをセッションタイプで…
帰納法回し学をやっています
subset constructionの汎用性よ
TAPLの再帰型の章また読み返してる
未だに最小不動点定理の説明に迷いが生じる。周りの人に話そうと突き詰めていくと、やはり無限集合の直観的な把握とそれをどうやって論理で捉えるかといったところで少し修行が足りてない。ある集合が「任意の無限部分集合についてlubやglbをとる操作がある」という集合であれば、単調な関数を使ってさまざまな不動点を使った構成が可能になる
なんらかのmetricを決めたら不動点が決まると思っていたけれど、そういうmetricが存在するような空間では不動点はuniqueになるってことなのか(???
例えば、のところが間違えている気がしてきた
KI
Keigo Imai
@keigoi.bsky.social
57 followers66 following83 posts