京都の大学に通いながらコンピュータ・サイエンスやプログラミングを学んでいます.最も興味があるのはHaskellなどの強い静的型付けを持った関数型プログラミング言語で,基盤となっている型システムにも興味があります.その一方で Web プログラミング等にも幅広く興味があり,Python のフレームワーク Django を用いた Web アプリ開発や,Chrome拡張の開発を行っています.
- 人に使われるサービスを作る - 実際の開発現場へのジョイン - 型理論の研究
型システム
Recommended by Ryota Kameoka, Yusuke Miyazaki
漸進的型付け
Recommended by Yusuke Miyazaki
Haskell
Recommended by Ryota Kameoka
Keep up to date with your connections on the Wantedly People App.