河原 悟

株式会社カンム / ソフトウェアエンジニア

河原 悟

株式会社カンム / ソフトウェアエンジニア

百合

プログラム言語の面白い機能が好きです。あとは百合が好きです。 大学ではコントロールオペレータについて研究し、趣味ではOCaml、Haskell、ScalaやLuaなどを書いている。構文や意味論の形式化から、最適化、DSLや言語処理系の実装に興味アリ。

この先やってみたいこと

未来

機械語をターゲットにしたコンパイラの実装

株式会社カンムの会社情報

株式会社カンム10 months

ソフトウェアエンジニア現在

- 現在
株式会社HERPの会社情報

株式会社HERP3 years

エンジニア

-

筑波大学大学院

コンピュータサイエンス専攻

コントロールオペレータとその変換に関する研究

筑波大学

情報学群


Skills

  • OCaml

    1
    • Mizuno Masayuki

    Mizuno Masayukiが+1

  • Lua

    1
    • Mizuno Masayuki

    Mizuno Masayukiが+1

  • 関数型言語

    1
    • Mizuno Masayuki

    Mizuno Masayukiが+1

  • コンパイラ

    1
    • Mizuno Masayuki

    Mizuno Masayukiが+1

  • Haskell

    1
    • Mizuno Masayuki

    Mizuno Masayukiが+1

  • TypeScript、Git、型システム 他3件

Publications

アプリをインストールして、知り合いの最新の活躍をフォローしよう