razon

0 Contribution

/ Following users

🐤っ子プログラマー

愛飢男

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

nariさん

なんでもやさん

Go界の情弱です

Agile 1st generation, Ultra Runner

東京のO社でプログラマやってます.Scala/Java/Ruby/C/Objective-C/Parsing. ライトノベル/ゲーム/ダイエット/ジョギング/言語/歴史

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

Hello, World.

GDE(ML)

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

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

DIGITALJET Inc. Programer. SonicGarden Inc. Programer.