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

この先やってみたいこと

未来

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

京都大学

情報工学系


Skills

  • 型システム

    2
    • Ryota Kameoka
    • Yusuke Miyazaki

    Ryota KameokaYusuke Miyazakiが+1

  • 漸進的型付け

    1
    • Yusuke Miyazaki

    Yusuke Miyazakiが+1

  • Haskell

    1
    • Ryota Kameoka

    Ryota Kameokaが+1

Accomplishments / Portfolio

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