Toshiaki Tanaka

凹んでます

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

サンフランシスコ周辺に生息しているSoftware Engineer。DeployGateを作った中の人。ハードからソフト、木工や金属加工まで、DIYやモノづくりが大好きです。趣味はワインと料理、電子工作、ダイエット。

nariさん

Hi

インフラエンジニア. AWS, Ruby, Python

機械学習・数理最適化を用いた研究業務に従事しています (see @cocomoff)

機能が向上し, 問題が修正されています

くぁ

京都でのんびり暮らす社会人プログラマ。低レイヤーを好む。夢は自給自足プログラマ！

自分専用のくずのようなメモ

Qiitaを作っているIncrements株式会社の創業者

Network software engineer