Takuya Sugawara | 株式会社GenAi COO

株式会社GenAi COO｜技術・ビジネス・UXを繋ぐ | 組織論・制度設計

[日本経済新聞 電子版（日経電子版） @nikkei]

スペースX、プログラミングAI開発の米新興Cursor買収　9.6兆円
https://t.co/UDioEpFpTp

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

https://t.co/pjz7PodgOI

[Lance Martin @RLanceMartin]

https://t.co/es0JQM4MS9

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

なんだこれは、試してみます

[アイザワ@個人開発🐬 @Aizawa_dev]

最近気付いたんですが、
UIの微調整でClaude Codeと延々会話するくらいなら調整用エディタを作らせた方が早い時があります👀

スライダーやカラーピッカーで実際の画面を見ながら調整してリアルタイムでアプリに反映もできる🙌

#個人開発 #アプリ開発 #claudecode

[yousukezan @yousukezan]

バイブコーディングが怖いので、全PJにSemgrep + gitleaksの自動セキュリティスキャンを仕込んだ話｜pesca https://t.co/VMloymySSn #zenn

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

ニンダイ楽しみ

[Nintendo of America @NintendoAmerica]

Join us on June 9 at 7am PT for a #NintendoDirect followed by Nintendo Treehouse: Live!

The Nintendo Direct will be roughly 50 minutes and Nintendo Treehouse: Live will be 95 minutes.

Watch here: https://t.co/Zp54IsS30q

[深津 貴之 / THE GUILD, note @fladdict]

AIが提案した「冷凍ベリーのオリーブオイル掛け、岩塩と黒コショウとレモン汁を添えて」という朝食なんじゃが、美味しいうえにメッチャ痩せるな。

[FUJITA @peaceandwhisky]

エンジニア一人でAgents使って効率的にプロダクト開発する際に重要なのは、AIの賢さではなく、開発させる際の仕様の質と、ドメイン知識だという論文が出てて面白かった。
開発のレベルにおいても、作る対象のドメインにおいても結局は専門知識を持ってどこまで気を配れるか
https://t.co/DLGPSe7WGT

[しゃなはす @seanchas_t]

#生成AI会 の登壇スライドです！
新規プロダクトを素早く開発するために実践している、ハーネスエンジニアリングの知見を発表しました！
https://t.co/5MiTjHmHPN

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

プロセスやツールよりも個人と対話を、
包括的なドキュメントよりも動くソフトウェアを、
契約交渉よりも顧客との協調を、
計画に従うことよりも変化への対応を、
価値とする。すなわち、左記のことがらに価値があることを
認めながらも、私たちは右記のことがらにより価値をおく。

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

1億総プログラミング時代、何をするかな。

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

自動調理鍋の購入を検討した際、「自分で料理した方が並行作業できて早いし、味も調整できるし要らんわ」と思ったのですが、「飴色玉ねぎを自動で作ってくれるなら定期的に使いたい」くらいには有用だと思いました。

巷のAIエージェントに対してはそれくらいの距離感で接しています

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

トップスペシャリティコーヒーって華やかで良いけど、一口目がピークで、鼻が慣れると飲み進めるうちにエグさが勝って飲みづらくなる

飲み始め〜飲み終わりまで一定の美味しさが続くかって結構大事で、その点コンビニコーヒーはよくできてる

[いしたー @sonicair]

Claude Code 普通に関数設計が下手だし、かなり丁寧に扱わないと会社の中が高専3年生が書いたみたいなコードで溢れると思うんだけど、なんでみんなそんなに AI コーディングやりたがるんですか

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

チャイシロップはアイスコーヒーに追加するものではないのか・・・？苦手な味がする

[qsona @qsona]

ぼちぼち、ソフトウェアエンジニアリングの設計原則とか基礎的に学ぶ必要がある事柄を再整理する取り組みが必要なんじゃなかろうか。DDD原理主義(?)とかJava全盛期のデザインパターンに固執してる人たちと、Vibe Coding至上主義者(?)たちの中間に位置する、ほんとうに今の時代学ぶ必要があることを。

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

@yabukarabows 草、見ます笑

[Nyx Foundation @NyxFoundation]

【お知らせ】

コードではなく「仕様書」からバグを見つけるAIセキュリティ監査ツールを、本日OSS公開しました。

名前はSPECA。Specification-to-Checklist Agentic Auditing Framework の略です。

SPECAは、「仕様駆動（Specification-driven）」で高信頼性ソフトウェアを監査するための、AIエージェント型セキュリティ監査フレームワークです。

従来のコード駆動型ツールとは、根本的に異なるアプローチを取っています。

自然言語で書かれた仕様、たとえば EIP やコンセンサス仕様書などから、まず 明示的な型付きセキュリティプロパティ（Invariant / Precondition / Postcondition / Assumption） を抽出します。

次に、それらを STRIDE + CWE Top 25 に基づく脅威モデルで整理します。

そのうえで、各実装に対して proof-attempt reasoning、つまり「このプロパティが成立することを証明してみろ」と構造的に問いかけることで、仕様と実装のギャップを検出します。

これにより、次の3つの価値を提供します。

- 仕様レベルでしか表現できない脆弱性: コードパターンだけでは拾えない、仕様由来のバグを検出できる

- 複数実装間の横断比較: 同じプロパティ辞書で、複数の実装を一律に評価できる

- 偽陽性の原因分析: 根拠を完全にトレースし、偽陽性を根本原因ごとに分解できる

「これまでの実績」

SPECAは、これまで以下のような対象で実際に脆弱性を発見してきました。

・Intmax ZK実装
・SP1 zkVM実装
・Ethereumクライアント実装20件以上
・その他多数の DeFi プロトコル / OSSプロジェクト

直近の Sherlock Ethereum Fusaka 監査コンテストデータを用いた再実験では、既知の脆弱性15件すべてを検出し、さらに 追加バグ4件を独立に発見しました。

RepoAudit C/C++ ベンチマークでも、他のバグ発見AIと比較して最高水準の精度を維持しつつ、12件の新規候補バグを報告しています。

「なぜ今、全部OSS公開するのか？」

SPECAの核心である以下の要素を、すべて公開しています。

- プロンプト: AIエージェントのハルシネーションを徹底的に抑えるproof-attemptプロンプト設計

- 再帰的自己改善: 偽陽性を削減しながら H/M/L リコールを維持する 3-gate audit-reviewループ
（Dead Code / Trust Boundary / Scope）

- ハーネス: 並列化、リジューム、予算制御、circuit breakerまで完備した 再利用可能なPythonオーケストレータ

- 解釈可能性: 全ステップのログ・出力をJSONで構造化し、監査可能・解釈可能にした設計

バグバウンティのスコープやルールをそのまま BUG_BOUNTY_SCOPE.json として読み込み、実践的な脆弱性だけを抽出する設計です。

Claude Code CLI + MCPサーバーで動作し、Go / Rust / Nim / TypeScript / C などマルチ言語に対応しています。GitHub Actionsで全フェーズを自動実行できます。

公開の決め手はシンプルです。

エンタープライズのセキュリティ部門でも、ClaudeやOpenAIを活用したセキュリティツールを導入する選択肢が現実的になってきました。

その今なら、SPECAをオープンに公開しても、ただ攻撃に悪用されるのを指をくわえて見ているだけではない。防御側・ホワイトハッカー側が先に活用できる環境を作れると判断しました。

攻撃者より先に、ホワイトハッカーが現実システムのバグを見つけ、報告し、修正につなげられる世界を作りたい。

「Call for white-hat hackers」

ホワイトハッカーの皆さん、どうかこのSPECAを使ってください。

悪意あるハッカーより先に、バグバウンティ対象の現実システムの脆弱性を発見しきって、報告し、修正に導いてください。

あるいは、これをベースに、より高度なバグ発見システムを構築する研究・開発の土台にしてください。

プロンプトも、ループも、ハーネスも、JSONログも、全部MITライセンスで公開しています。好きなだけ改造・拡張・フォークしてください。

「使い方」

repoをcloneして、次のコマンドを実行するだけです。

uv run python3 scripts/run_phase.py --target 04 --workers 4 --max-concurrent 64

コマンド一つで即座に動かせます。

BUG_BOUNTY_SCOPE.json と TARGET_INFO.json を用意するだけで、新しいターゲットの監査を開始できます。

GitHub: https://t.co/raP8RZDP57

READMEと全ソースコードを読めば、すぐに動かせます。

セキュリティ界隈の皆さんと一緒に、仕様から始まる本物の監査文化を次のステージに押し上げたいと思っています。

ご意見・改善案・バグ報告・コラボレーションも大歓迎です。RT・コメント・試用報告、どれでも構いません。ぜひ反応いただけると嬉しいです。

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

AIが出てきた影響で、急速にSI業界のレモン市場化が進んでいると感じる場面が増えた。

[Takuya Sugawara | 株式会社GenAi COO @sivertigo]

中級者向け! ADK Gemini Live API Toolkit ハンズオン に参加を申し込みました！ https://t.co/K9qExE2gnw #gdgtokyo