arieee

0 Contribution

/ Following users

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

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

メルカリという会社で分析やっています ⇛ 詳しくはhttps://goo.gl/7unNqZ / アナリスト絶賛採用中。/ Twitter ⇛ https://twitter.com/hik0107 最近はもっぱら物書きは note ⇛ https://note.mu/hik0107

テクノロジー信者。学習中。

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

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

HPCベンダでMPI作ってます

ジュエルペット

あ あ あ

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