@ilyaletre ついでに，recursion schemesについてはFunctional Bananaを読む前に， https://t.co/39gVUNxU2b とかを読んでおくと幸せになれるかもしれません

@kmizu 今日知ったんですが，紹介論文を見てる限り，法令を工学的に解析化してformalにすることで論理的な矛盾などを発見し，元の法令にフィードバックしたり，情報システムのデータ構造に応用するのが主な分野という印象を受けました．ついでに，読んだのはこれです https://t.co/tcprUCt9U3

強そう https://t.co/8PZDYVQvTk

@public_ai000ya https://t.co/39gVUNxU2b

RT @tarareba722: 自民党が教育改革として「博士号取得者や専門職大学院の修了者を５年以内に２倍にする」、という提言をまとめたそうですが、ここで今から80年前に書かれた就職情報誌を見てみましょう。 http://t.co/IloBSXSRkl http://t.co…

@no_maddo "SML#:最先端の機能と高い実用性を実現する次世代多相型プログラミング言語" https://t.co/XdaCcuNOPh