soudai sone

SQLer だけど雑食

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

企業アドバイザー/エバンジェリスト。認定 Scrum Master (SCM)。 サーバントワークス株式会社 創業者兼代表取締役。 現在、複数社のアドバイザーやエバンジェリストをしています。 ご支援のご相談は、お気軽に！ https://www.servantworks.co.jp/contact/

UnityとかiOSとかAR/VRとかそういうの扱ってます。 CGプログラミングが本業だったけど、Unityの登場でいらない人になりました(:D)TL 最近はRaspberry PiやESP32を触ってます。

徳丸本の中の人です

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

こんにちは僕です

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