要約

  • 7年以上のソフトウェアエンジニアリングの経験。

経歴

リードソフトウェアエンジニア, データ基盤, Viagate

2023年4月 — 2023年8月, 東京, 日本

  • AWS上で、ネットワークから認証認可基盤、DB、ストレージ、API、データパイプラインまで全てスクラッチで構築。コード化し再実行・複製可能な状態で管理。
  • 将来に渡る時系列データの急増に耐える、コストパフォーマンスの高いデータ基盤アーキテクチャを提案。Apache Parquet ファイル形式とデータ処理ライブラリ Polars、およびイベントバスサービスを利用し、エッジからのデータ取込・集計・圧縮、およびクエリの実行をイベント駆動で処理。RDB 依存を最小化した時系列データ基盤を提供。
  • データベーススキーマ、API、ストレージ階層の全てを設計。データ基盤全体に渡り、理解しやすく一貫した、応用性高いインターフェースを定義。また、iOS と Web 上に Protocol Buffers を導入し、スキーマの整合性とバイナリフォーマットによる時系列データのボリューム削減を実現。
  • Aurora 上の PostgreSQL のメンテナンス。JSONB 型をはじめ PostgreSQL の関数や機能をフルに活かした API 開発で、バックエンドチームをリード。ユーザセグメントなど論理的・パフォーマンス的に高度な設計が求められる機能など、DB スペシャリストと協働し、Jupyter Notebook フォーマット+GitHub をベースとした技術調査報告書駆動の開発体制を早急に実現。スタートアップの環境で、高度な機能群の計画性と安定性を持ったデプロイを実現。
  • Python と OpenCV を用いた動画・画像処理。時系列データの集計処理の出力結果を重ね合わせた画像を生成し、フロントエンドでクライアントに提供。
  • ローカル SQL 開発環境およびユニットテスト環境を Docker Compose や JupyterLab で作成。チームに提供し開発速度を向上。

使用技術: AWS, PostgreSQL, Python

創業者, ソフトウェアエンジニア, Synthetic

2020年12月 — 現在, 東京, 日本

  • 数式のためのデータベースやテキスト検索システムの研究。
  • 正規表現/証明検索エンジンの開発。
  • KDLデータフォーマットのためのエンコーダおよびデコーダの開発、およびオープンソース化
  • 数学コンテンツの管理のためのビルドシステムとファイルフォーマットの設計および開発。
  • 自社ウェブサイトのデザイン、構築、公開。

使用技術: Rust, React/Next, MathML

リードソフトウェアエンジニア, Delipicks

2019年6月 — 2020年5月, 東京, 日本

フードデリバリースタートアップ。立ち上げから6ヶ月後に参画。

  • ビジネスプロセスと情報システムを同時に開発。年間12名分のカスタマーサポートスタッフの人件費の削減。
  • ビジネスモデルの実現可能性とスケーラビリティを直接決定する将来の技術的な課題・機会を特定。CEOに革新的な解決策の提案。
  • コールドコールから食品サプライヤーとの関係構築、彼らの職場やスタッフにオペレーションアプリを展開し、納品物の交渉までのビジネス開発ライフサイクルに参加。
  • UXワークショップへの参加し、ユーザーインターフェースのプロトタイプの実装、10名以上のユーザーインタビューの実行。
  • エンジニア2名と数学最適化専門家1名の採用。検索から、面接、採用決定、オンボーディングまで責任をもつ。
  • ソフトウェアエンジニア2名、QA1名、デザイナー1名、プロジェクトマネージャー1名からなるチームをリード。
  • 顧客、サプライヤ、配達パートナーとのリアルタイムの調整管理。オペレーションおよびシステムの問題の解決。
  • 食品のキュレーション、ライティング、フードスタイリング、撮影ディレクションの担当。

使用技術: GCP, Python, React

ソフトウェアエンジニア, Styler

2018年8月 — 2019年3月, 東京, 日本

オンラインコミュニケーションと実店舗体験を接続するファッション小売プラットフォーム(New Retail、OMO)。

  • 新規6名のエンジニアチームのメンバーとしてチーム構築。オフショアアウトソーシングからインハウス開発への移行。デプロイ頻度の2週間から1週間への改善。
  • インフラストラクチャ、データベース設計、API開発の技術的な意思決定のリード。
  • モノリシックからSPA + APIアーキテクチャへの移行。
  • ECプラットフォームで使用されるカテゴリとタグのデータベースの設計と開発。

使用技術: GCP, Python, SQL, Kubernetes

ソフトウェアエンジニア, Market Enterprise

2016年4月 — 2017年12月, 東京, 日本

リユースおよびレンタル事業。

  • アーキテクチャ、データベース、ネットワークプロトコル、セキュリティ、Web技術、API設計、アジャイル/スクラム開発、クラウドコンピューティング、DevOpsなど、多岐にわたるソフトウェア開発の基礎を学習。
  • 全社的に使用される認証と認可のAPI開発プロジェクトをリード。実験時のAPIレスポンスを7秒から0.2秒へ短縮。
  • ユーザー行動調査のためのデータ抽出・集計・変換の担当。広報担当とフルフィルメントマネージャとの協働。
  • データ可視化と売上最適化のための価格システムを構築するためのWebクローラの実装。
  • Webフロントエンド、サーバーサイド、データベース移行まで、ECサイトのソーシャルサインインの全体実装。

使用技術: AWS, Python, SQL, NoSQL

学歴

放送大学教養学部学士

2012年4月 — 2016年3月, 東京, 日本

  • 心理と教育コース修了
  • 2年で卒業に必要な単位を取得。

プロジェクト

活動

I have been intrigued by some types of - foundational – software, for example:

  • cloud infrastructure
  • operating systems, unikernels
  • compilers, proof assistants
  • mathematical optimisation, array/vector programming
  • code editor, translation/refactoring/static analysis/formatting tools.

I have attempted, out of total naivety and also obsession, and failed to rewrite/translate existing open source software. Some examples in the list are:

  • PyPy - a Python runtime with tracing just-in-time compilation which is written in RPython, a static subset of Python 2.x itself. What were unfamiliar: arenas, FFI, stackless.
  • unified - an abstract syntax tree transformer for JavaScript/JSX/HTML/Markdown, written in JavaScript. Now replaced by the novel Rust-rewritten equivalent: SWC
  • OR-Tools - an operations research/mathematical optimisation solver written in C++.
  • Cubical Agda - a proof assistant or dependently typed programming language which is based on cubical type theory - a model of homotopy type theory with function extentionality as a theorem not an axiom - written in Agda/Haskell.
  • MLIR – a higher-level intermediate representation and tools for it, written in C++, which aids transformation and optimisation at more abstract level, later lowered to LLVM IR.

詳細

生年月日

1991/8/19

スキル

  • リーダーシップ
  • ソフトウェアエンジニアリング
  • プロジェクトマネジメント
  • AWS/GCP
  • Rust
  • Python
  • SQL
  • Linux
  • Docker

言語

  • 日本語
  • 英語
  • ウクライナ語