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