400万人が利用するビジネスSNS

アプリを使う
小峯 圭也
小峯 圭也
小峯 圭也

小峯 圭也

Provenance Works（個人事業） / 事業主
0つながり0フォロワー
メッセージ
登録してプロフィールを閲覧

小峯 圭也

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

メッセージ
登録してプロフィールを閲覧

広く、深く。

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

この先やってみたいこと

未来

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

Provenance Works（個人事業）4ヶ月

事業主現在

- 現在

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

株式会社TransWithの会社情報

株式会社TransWith3ヶ月

業務委託として案件受注現在

- 現在

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

株式会社AIworkerの会社情報

株式会社AIworker3ヶ月

インターン現在

- 現在

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

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

-

個人の実績

個人の実績

個人の実績

実績

受賞と資格

ログインしてプロフィールを閲覧

小峯さんと関連する人々

企業からスカウトをもらいましょう

アプリを使う