@arieee

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

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

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

ITエンジニア。仕事や趣味で学んだ事を共有しています。Enjoy Tech! Update World!

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

レシピサービスを開発しています。 Qiita, Qiita:Team, Qiita Jobs を開発していました。趣味では Rust とシェルスクリプトをよく書きます。

HPCベンダでMPI作ってます

ジュエルペット

あ あ あ

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