Business social network with 4M professionals

Open in app
小峯 圭也
小峯 圭也
小峯 圭也

小峯 圭也

Provenance Works（個人事業） / 事業主
0Connections0Followers
Message
Register to view full profile

小峯 圭也

Provenance Works（個人事業） / 事業主

Message
Register to view full profile

広く、深く。

個人事業主です。屋号はProvenance Worksです。 U-22プログラミングコンテスト2025 経済産業省商務情報政策局長賞を受賞しました。 【スキル】

Ambition

In the future

形式検証技術を社会実装し、ミッションクリティカルな領域に届けること。現在開発中のLean 4ベースのシステムプログラミングライブラリを完成させ、将来的には航空・防衛など高信頼性が求められる分野への展開を目指しています。AIツールを活用した開発プロセスの確立にも挑戦中。ゆくゆくは法人化し、形式検証×AIで「正しさが証明されたソフトウェア」を当たり前にしたいと考えています。

Provenance Works（個人事業）4 months

事業主Present

- Present

個人事業主として、Rust・Lean 4・TypeScript等を用いたソフトウェア開発を行っています。GitHub Copilot / Cursorで複数のAIエージェントを並列実行するVibe Codingを日常的に実践しています。

About 株式会社TransWith

株式会社TransWith3 months

業務委託として案件受注Present

- Present

ヒアリングから要件定義、見積もりから開発、リリースまで一気通貫で一人で案件を受注しています。

About 株式会社AIworker

株式会社AIworker3 months

InternPresent

- Present

株式会社AIWorkerにて、AIを活用した案件を受注中です。

学校法人角川ドワンゴ学園N高等学校3 years

-

Personal Achievements

Personal Achievements

Personal Achievements

Accomplishments / Portfolio

Awards and Certifications

Log in to view profile

Related Profiles

Receive Scouts from companies

Try App