河原 悟
百合
プログラム言語の面白い機能が好きです｡あとは百合が好きです｡ 大学ではコントロールオペレータについて研究し､趣味ではOCaml､Haskell､ScalaやLuaなどを書いている｡構文や意味論の形式化から､最適化､DSLや言語処理系の実装に興味アリ｡
未来
この先やってみたいこと
未来
機械語をターゲットにしたコンパイラの実装
2020年3月
筑波大学大学院
コンピュータサイエンス専攻
2020年3月
コントロールオペレータとその変換に関する研究
『Let’s go Algebraic Effects and Handlers: from an introduction to advanced topics』 from 『Dragon University 2019.4』
『つくってかんたんVirtual Machine-based Interpreter 』 from 『Dragon University 技術書典5』
2018年3月
筑波大学
情報学群
2018年3月
スキルと特徴
OCaml
水野 雅之が +1
1
Lua
水野 雅之が +1
1
関数型言語
水野 雅之が +1
1
コンパイラ
水野 雅之が +1
1
Haskell
水野 雅之が +1
1
Publications
『Let’s go Algebraic Effects and Handlers: from an introduction to advanced topics』 from 『Dragon University 2019.4』
『つくってかんたんVirtual Machine-based Interpreter 』 from 『Dragon University 技術書典5』
