どこも大変そう (こなみ)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

今日の仕事終わり

Levy 先生の Call-By-Push-Value とかぜひ読んでほしいけど、読めるかどうかは別なんだよなあ

おすすめ (多分それ読むために別の本と論文何個か読む必要がある)

おすすめの論文あります？に答えられる候補が、formal type system 触れてる経験あるか、rewrite system 触れてる経験あるか、categorical semantics 触れてる経験あるか、GC とか I/O manager 弄ったことあるか、リンカ弄ったことあるか、アセンブリ弄ったことあるか、Linux kernel 弄ったことあるか、みたいな前提を当然に要求してくるものたちで答えに窮する問題な