プロフィール

• Show（佐々木勝一; Shoichi Sasaki）
• 1999/08/11 生まれ

興味​

• プログラミング言語処理系（特に型システム、形式的意味論）
• 開発生産性向上
  • バージョン管理ツール（e.g. Mise）
  • 自動テスト
  • CI/CD（e.g. GitHub Actions）
  • システム設計（e.g. Clean Architecture、ドメイン駆動開発）
  • その他、開発生産性を向上する諸々（プログラミングに近い領域の方が興味度が高い）
• 音楽
  • ダンスミュージック（特に House, Trap, Dubstep）、ゲーム音楽、ジャズ
  • DJ

経歴​

• 2024/04 -- 現在: サイボウズ株式会社 生産性向上チーム
  • キーワード: AWS、Terraform、GitHub Actions、Go、TypeScript
• 2022/04 -- 2024/03: 高知工科大学大学院 工学研究科基盤工学専攻修士課程情報学コース
  • キーワード: 組合せ最適化、監視ツリー、耐障害性、Erlang
• 2018/04 -- 2022/03: 高知工科大学情報学群 コンピュータサイエンス専攻
  • キーワード: モデル検査、π 計算、Erlang

免許・資格​

• 2024/03: 修士（工学）
• 2018/03: 普通自動車免許

受賞・表彰​

• 2024/03: 電気学会・電子情報通信学会・情報処理学会 四国支部奨励賞
• 2022/08: 技育 CMP ハッカソン vol.7 優秀賞
• 2022/06: 技育 CAMP ハッカソン vol.3 努力賞