百合
プログラム言語の面白い機能が好きです｡あとは百合が好きです｡ 大学ではコントロールオペレータについて研究し､趣味ではOCaml､Haskell､ScalaやLuaなどを書いている｡構文や意味論の形式化から､最適化､DSLや言語処理系の実装に興味アリ｡
In the future
Ambition
In the future
機械語をターゲットにしたコンパイラの実装
Mar 2020
筑波大学大学院
コンピュータサイエンス専攻
Mar 2020
コントロールオペレータとその変換に関する研究
Mar 2018
筑波大学
情報学群
Mar 2018
Skills and qualities
OCaml
Recommended by 水野 雅之
1
1
Lua
Recommended by 水野 雅之
1
1
関数型言語
Recommended by 水野 雅之
1
1
コンパイラ
Recommended by 水野 雅之
1
1
Haskell
Recommended by 水野 雅之
1
1
TypeScript, Git, 型システム
and 2 skills
Show more
Publications
『Let’s go Algebraic Effects and Handlers: from an introduction to advanced topics』 from 『Dragon University 2019.4』
Apr 2019
『つくってかんたんVirtual Machine-based Interpreter 』 from 『Dragon University 技術書典5』
Oct 2018