要約
- 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
言語
- 日本語
- 英語
- ウクライナ語