Discover companies you will love
Shimpei Otsubo
エンジニアの生産性を向上させることに強い興味があり、それを実現させる技術基盤チームのリードをしています。必要であればフロント / バックエンド / モバイル 何でも触りますが軸足はインフラにあります。
Masaki Hara
アルゴリズムや言語処理系など理論が好きですが、ハードウェアやWebなどにも広く興味があります。最近はプログラミングRustにハマっています。 Rustに関しては主に以下の活動をしています。 ・Rustコンパイラを読んでわかったことをブログ https://qnighy.hatenablog.com/ に書く。 ・Rustコンパイラのバグを報告したり、バグの修正を投げたりする。 https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&q=involves%3Aqnighy
Mizuno Masayuki
OCamlが好きで,その背景にあるプログラミング言語の理論を勉強したり,数学的に正しいことが証明されたOCamlプログラムを生成できるCoqに手を出したりしていました. 大学の研究では専らCoqばかり書いていたので,OCaml欲を満たすためにAtCoderで競プロを始めました.https://atcoder.jp/users/fetburner
0 recommendations
Company info
Founded on 09/2010
100 members
東京都港区白金台5-12-7 MG白金台ビル4階