京都の大学に通いながらコンピュータ・サイエンスやプログラミングを学んでいます.最も興味があるのはHaskellなどの強い静的型付けを持った関数型プログラミング言語で,基盤となっている型システムにも興味があります.その一方で Web プログラミング等にも幅広く興味があり,Python のフレームワーク Django を用いた Web アプリ開発や,Chrome拡張の開発を行っています.
- 人に使われるサービスを作る - 実際の開発現場へのジョイン - 型理論の研究
型システム
亀岡 亮太、宮崎 勇輔が+1
漸進的型付け
宮崎 勇輔が+1
Haskell
亀岡 亮太が+1
アプリをインストールして、知り合いの最新の活躍をフォローしよう