400万人が利用する会社訪問アプリ
原 将己
アルゴリズムや言語処理系など理論が好きですが、ハードウェアやWebなどにも広く興味があります。最近はプログラミングRustにハマっています。 Rustに関しては主に以下の活動をしています。 ・Rustコンパイラを読んでわかったことをブログ https://qnighy.hatenablog.com/ に書く。 ・Rustコンパイラのバグを報告したり、バグの修正を投げたりする。 https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&q=involves%3Aqnighy
水野 雅之
OCamlが好きで,その背景にあるプログラミング言語の理論を勉強したり,数学的に正しいことが証明されたOCamlプログラムを生成できるCoqに手を出したりしていました. 大学の研究では専らCoqばかり書いていたので,OCaml欲を満たすためにAtCoderで競プロを始めました.https://atcoder.jp/users/fetburner
0人がこの募集を応援しています
会社情報
2010/09に設立
120人のメンバー
東京都港区白金台5-12-7 MG白金台ビル4階