Yuuki Sumida

🐤っ子プログラマー

愛飢男

IoTやってます。MyはんだごてとMyオシロ会社に置いてます。 AIやってます。後輩と一緒にUniboいじってます。 スマホアプリ作ってます。Monaca使います。 サーバーアプリ作ります。Node.jsでサクッと、中はJavaでジューシーに。 クラウドは会社のbaasを推しますが、個人的にはFirebaseかAWSか。 とにかく、フルスタックなエンジニアらしいです。

nariさん

Agile 1st generation, Ultra Runner

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

Hello, World.

GDE(ML)

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

近藤です。よろしくおねがいします！

DIGITALJET Inc. Programer. SonicGarden Inc. Programer.

転職先募集中です。できれば在宅勤務が希望です。