職務経歴書

基本情報

key	value
氏名	中川稜介（Ryosuke Nakagawa）
生年月日	1992/09/23
最終学歴	筑波大学大学院　図書館情報メディア研究科修了

---

各種アカウント

---

保有スキル

• Swift での iOS アプリの開発
• AWS を使ったクラウドサービスの構築
• Matplotlib を使ったデータ可視化
• Rust の普及活動

---

技術スタック

言語

フレームワーク・その他

• AWS
• Docker
• Serverless Framework
• TLA+
• Isabelle
• Coq

---

資格

資格名称	取得日
LPIC-1 101	2021/09
AWS Certified Solutions Architect Professional	2021/03
AWS Certified Solutions Architect Associate	2019/09
基本情報技術者	2015/10

職務経歴詳細

ハンズラボ株式会社（2019/04 〜 現在）

東急ハンズ全店で利用される POS システムの iPad アプリ・バックエンドの開発・保守・運用。

• チームの規模
  • 4〜6 名
• 役割
  • メンバーとして開発、コードレビュー、障害調査（2019/07〜2021/03）
  • エンジニアリーダーとして開発、コードレビュー、障害調査、人事評価、採用活動（2021/04〜現在）
• 担当したプロジェクト
  • 外部ポイントシステムとの連携機能の開発（2020/09〜2021/03）
    • プロジェクトリーダーと開発を担当
    • Serverless Framework で Infrastructure as Code を実現
    • OpenAPI で API 仕様書を記述
    • pytestでテスト駆動開発
  • 社内勉強会を主催
    • Rust に関するワークショップを 3 回開催
  • 社内 LT での登壇
    • わかりやすい文章の書き方（2021/06）
    • 代数的データ型（2021/05）
    • メタプログラミング（2021/04）
    • 形式手法（2020/09）
    • ビデオ会議で役立つオーディオデバイスの話（2020/06）
    • 音と認知（2019/10）
    • ストレングスファインダーの結果を分析してみた（2019/07）

興味

• 2020/03 に形式手法と出会い、下記の技術の学習を続けています
  • 自然言語による記述では曖昧になりがちな仕様を数学的表現で厳密に記述
  • プログラムが仕様を満たすことを数学的に証明
  • 起きて欲しくない振る舞い（デッドロック・発散）が起きないことを証明
• 2021/04 より科目等履修生制度を利用して大学・大学院のプログラム理論・プログラム言語論などの分野の講義を受けています