Digital Identity / Go

Jakarta EE/MicroProfile 関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)

🇪🇪エストニアで働いていました

https://zenn.dev/ttskch

20 y/o | Software Engineer 🌱 Likes: Go / Rust / TypeScript / Neovim / WezTerm 👽

新規サービス開発（PoC→本番化）｜フロントエンド×サービスデザイン×アジャイル

ITエンジニア向けの研修（教材開発および講師）をやっています。 専門分野はJavaとJavaScriptですが、必要に応じていろいろと担当（雑用？）しています。