Skip to main content

プロフィール

  • 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 努力賞