Taku SHIMIZU

東大医学部卒、血液内科専門医です。令和元年にソフトウェアエンジニアに転職しました！競技プログラミングはPythonとC++でAtCoder青色。ポーカーのGTO戦略を研究して、noteに記事を書いています。

DevOpsを作ったりCI/CDを仕込んだりしているインフラエンジニアです。

にほんごです。

インターネット初心者です。インターネットを勉強してます。

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

株式会社和談の吉崎です。2023年まで株式会社キカガクの代表を務めていました。

C++, Ruby．型付けは強いほうが好きで静的派．計算機言語つくったりデスクトップアプリつくったりエディタプラグインつくったりが楽しい．

プログラミング始めました。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

Software Engineer.

""" it works? """

(株)CMSコミュニケーションズ　代表取締役、一般社団法人PyCon JP Association 理事、一般社団法人Pythonエンジニア育成推進協会　顧問理事、一橋大学大学院社会学研究科 元客員准教授、PSF(Python Software Foundation) Fellow member 2019Q3

1996年に、さくらインターネットを創業して、社長をしています。

Zenn にいます https://zenn.dev/kaakaa

AWS Container Hero maintaining kube-aws, eksctl, brigade, helmfile, helm-diff, etc.

パッション×テクノロジーで世の中に貢献する

秋葉原で働くプログラマー

自称Kotlinエバンジェリスト

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

Front-end web developer. TypeScript, Angular and Vim, weapon of choice.

研修や授業の設計、教えたりしてます。 プロトタイピング専門スクール「プロトアウトスタジオ」の運営したり、某大学院の教員やったり。 Microsoft MVP / IBM Champion / LINE API Experts/ IoTLT / 岩手県立大学 / インストラクショナルデザイン その他プロフ -> https://dotstud.io/members/n0bisuke

編集リクエスト、コメント大歓迎です。

I play Angular and pray for Angular. No Breaking Changes No Life.

最近はWebフロントエンドに携わっています。趣味でMenthasというニュースサイトを開発してます。