@nobkz

C++、JavaScriptチョットワカル

テレコム担当SAチームのマネージャをやっています。以前はOpenShift(Docker+Kubernetes+α)を担当してました。IoT、エンタープライズ系JavaとG*(Groovy,Gradleなど)およびDevOps系もそれなりに経験ありです。

Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o

Technical Specialist in SORABITO Inc. #Smalltalk-ing #Ruby committer #UNIX #Linux #DevOps #LISP #Python #Emacs #dwango #teamlab #荒川智則 #AS2526 #AS55394

越後の在宅リモートワーカー / JavaとかC#とかGitとかTDDとかビルドとか洗濯とかアイロンとかを主に嗜んでおります

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

CommonLispでゲーム作ってます。 同人サークル「さくらんぼ亭」の中の人。

https://twitter.com/sue445

ヾ(　　l　　 _　　 l　　〃)ﾉﾞﾄﾞﾝ☆

Partner Solution Engineer at Stripe, Inc.

ハードより low-level プログラマー。でもLL好き。

Haskellプログラマです。

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

インタラクションデザイナー。フリーランスとしてWebを中心としたテクニカルディレクション、フロントエンド開発、スマートフォンアプリ制作など様々なプロジェクトに参加している。クリエイティブコミュニティDIST主宰。

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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

Yet Another #baystars Addict.