arieee

0 Contribution

/ Following users

Emacs のアイコンを作った人です

Web エンジニアやっています。なめろうが好きです。

メルカリという会社で分析やっています ⇛ 詳しくはhttps://goo.gl/7unNqZ / アナリスト絶賛採用中。/ データ分析のためのコーディングと、データサイエンティストのあれこれについて書いていきます / Twitter ⇛ https://twitter.com/hik0107

gdgdエンジニア。「文化的」が最近のテーマ。

アメリカの研究機関で、生命科学系の研究に使用されるソフトウェアを開発しております。主な分野はデータの統合と可視化です。

Qiita と Kobito 作ってます。ここしばらくは Rust と Elixir を趣味で使ってます。

HPCベンダでMPI作ってます

ジュエルペット

あ あ あ

Coqなどによるプログラムの正しさの検証・証明に興味があります。