サイボウズ株式会社 開発本部
生産性向上チーム

研究でKotlin、ETロボコンでC++を扱っていました。学部の頃の研究ではPythonを扱っていました。最近はGoを勉強中です。
学部では仕様書からテストケースを生成する研究をしていました。
大学院では形式手法を用いて記述された仕様書からテストケースを生成する研究を行っていました。
サイボウズでは生産性向上チームで開発基盤の構築・運用や開発チームの支援活動を行っています。ブログやってます。が、最近更新できてません。