京都の大学に通いながらコンピュータ・サイエンスやプログラミングを学んでいます.最も興味があるのはHaskellなどの強い静的型付けを持った関数型プログラミング言語で,基盤となっている型システムにも興味があります.その一方で Web プログラミング等にも幅広く興味があり,Python のフレームワーク Django を用いた Web アプリ開発や,Chrome拡張の開発を行っています.

Ambition

In the future

- 人に使われるサービスを作る - 実際の開発現場へのジョイン - 型理論の研究

京都大学

情報工学系


Skills

  • 型システム

    2
    • Ryota Kameoka
    • Yusuke Miyazaki

    Recommended by Ryota Kameoka, Yusuke Miyazaki

  • 漸進的型付け

    1
    • Yusuke Miyazaki

    Recommended by Yusuke Miyazaki

  • Haskell

    1
    • Ryota Kameoka

    Recommended by Ryota Kameoka

Accomplishments/Portfolio

Keep up to date with your connections on the Wantedly People App.