プロフィール

ソフトウェアエンジニア・研究者 — 東京（現在：大阪）  English

自己紹介

プログラミング言語の研究を背景に持つフルスタックWebエンジニアです。

研究分野はソフトウェア検証・テストで、特に分離ロジック（Separation Logic）を用いたプログラムの正確さの保証に取り組んできました。動的メモリを使用するCプログラムに対して、分離ロジック式とSATソルバーを用いたテストケース生成システムを開発しました。

職務経歴

フルスタックエンジニア → チームリード
Eigyo Mfg Co., Ltd. (2024年9月 ～ 現在)

  • B2B製造業マッチングプラットフォームの機能開発をリード
  • 会議の文字起こしツールおよび社内データツールの開発
  • アーキテクチャ設計・コードレビュー・チームリード
  • NestJS, NextJS, GraphQL, TypeScript, AWS, Terraform

Webオープンエンジニア
株式会社プライシングスタジオ (2023年3月 ～ 2024年9月)

  • B2B向け調査ツールのフロントエンド設計・システムアーキテクチャ全体をリード
  • 社内Web認証システムの構築
  • 自社メディアの運用・マーケティング・デザインチームとの連携
  • Angular, Go (Echo), DynamoDB, AWS, Docker

AIエンジニア
AI Infinity株式会社 (2021年6月 ～ 2023年1月)

  • 10名のチームをリードし、B2B向け音声認識（ASR）製品を開発
  • ASR+NLP融合製品の提供、クライアント要件対応・PoC環境構築
  • Ruby, PHP, Vue.js, AWS (EC2), WebSocket

ソフトウェア開発サポート
Meetscom株式会社 (2019年3月 ～ 2020年2月)

  • Webアプリケーションの開発・運用
  • SNSデータの感情分析（機械学習）
  • Vue.js, Swift (Vapor), Node.js, Python (SageMaker, Redshift), AWS

注目プロジェクト

プロジェクト 説明 技術
yakiben やきべん — 顧客・管理者向けお弁当予約システム（PWA） Vue 3, TypeScript, Supabase
election-np ネパール選挙リアルタイムダッシュボード（インタラクティブ地図） React, Vite, Supabase, Puppeteer
nlp 日本語不適切表現フィルター・感情分析 Python, MeCab, FastText
Rnotebook NASAデータセットを用いたソフトウェア欠陥分析・予測 R

学歴

早稲田大学 — 東京
情報理工学研究科 修士課程 修了 (2019年 ～ 2021年)
修士論文：分離ロジック式を用いたプログラムテスト (2020年度 基幹理工学研究科 修士論文 — 情報理工・情報通信専攻)
修士研究室：寺内研究室 — 修了生一覧

SJCIT, Visvesvaraya Technological University (VTU) — バンガロール, インド
コンピュータサイエンス工学 学士 (2014年 ～ 2018年)

スキル

カテゴリ 技術
言語 TypeScript, JavaScript, Python, Go, PHP, Ruby
フレームワーク NestJS, NextJS, Angular, Django, Echo, Flutter, Vue.js
クラウド・ツール AWS, Docker, Git, Terraform, Postman, DynamoDB, PostgreSQL
データ・インフラ Lakehouse / ビッグデータ, CI/CD
研究 分離ロジック, SATソルバー, ソフトウェア検証
語学 ネパール語（母国語）、ヒンディー語（母国語）、英語（流暢）、日本語 — BJT J3 / JLPT N2

研究・学術プロジェクト

分離ロジック式を用いたプログラムテスト (修士論文, 2020年度 — 基幹理工学研究科 情報理工・情報通信専攻)
Cプログラムを分離ロジック式で表現し、一階述語論理式に変換。SATソルバーを用いてテストケースを自動生成し、動的メモリを使用するプログラムのポインタ安全性を検証するテストシステムを開発。

ソフトウェア品質保証 — 分析・予測 (2020年)
NASAのKC1データセットを用いてRによるソフトウェア欠陥メトリクスの分析と予測モデルを構築。

日本語不適切表現フィルター — NLP/MLプロジェクト (2019年)
RedditやTwitterからクローリングした日本語テキストとオープンデータセットを使い、MeCabとFastTextで不適切語の分類・フィルタリングシステムを構築。

受賞・実績

  • 🏆 1位 — 学内フットボール大会（SJCIT、2017・2018年）；2016年は2位
  • 🥈 2位 — 学内コーディングイベント（SJCIT、2016年）
  • 🔒 バグバウンティ — LinkedInセキュリティチームへの脆弱性報告 → HackerOneのプライベートプログラムに招待（2022年）
  • 🎓 学生ボランティア — SPLASH’20、ACM SIGPLANカンファレンス（2020年）
  • 📋 オーガナイザー — テックフェスト TECHNOTSAV、PEOPLEWARE CLUB（2014〜2018年）
  • 🐍 ワークショップ — Machine Learning Using Python（2018年）

執筆・ノート

   
📚 本 読書メモ・おすすめ
🎬 映画 鑑賞記録・感想
✍️ 詩 短い文章・詩
💻 tech.log 技術記事
🍳 料理 レシピ・食の記録

→ Hashnode でも公開中

リンク