広島市在住 Work at @serverworks/ 2026 Japan AWS Ambassadors/ 2024-26 Japan AWS Top Engineers/ 2025-26 AWS Community Builders/ Certified ScrumMaster/ PMP
広島 広島市 安佐南区
Joined January 2017
- Tweets8.9K
- Following750
- Followers917
- Likes16.8K
Pinned Tweet
この度APN Blogと弊社プレスリリースの通り、私兼安 聡は2026 Japan AWS Ambassadorsと2026 Japan AWS Top Engineersに選出されました。今後も精一杯がんばりますのでよろしくお願いいたします。
#2026AWS_Ambassadors
#2026Japan_AWS_Top_Engineers
#AWS パートナー
serverworks.co.jp/news/20260…
Satoshi Kaneyasu@AWSでDevOps retweeted
How we can secure 50% of the world's software.
Traditionally, formal methods have been mostly used for safety-critical systems like operating systems, hypervisors, and databases. We're extending this to formally and empirically verify code correctness and security for full-stack web apps, one of the most common types of applications*, using the Proof-Driven Development Kit (PDD Kit).
Coding agents now write code faster than anyone can review effectively. PDD Kit turns what the developer meant into a Verus specification. It then proves the AI-generated code meets that spec for every input.
Researchers @alexlavaee, @MatthaiP39719, @Mappletons, and @k_cieslak break down Proof-Driven Development x Chopin in the blog here: githubnext.com/projects/pdd-…
*44.4% of respondents work as full-stack (27.3%), back-end (13.5%), or front-end (3.6%) developers. Stack Overflow Developer Survey 2026, n = 25,767.
Satoshi Kaneyasu@AWSでDevOps retweeted
Kiro Crew の入門編の資料を公開しました！
これから広げていきたい！という方はぜひ社内の勉強会等でお使いください👻
speakerdeck.com/inariku/kiro…
#kirodotdev
生成AIがやたらやたらオレオレスクリプト書くのでリファクタリング中。
今のところちょっと凝った手順があるとすぐクリプトでなんとかしてしまう悪癖が顕著に思えます。
シンプルにするではなく愚直な方向でなんとかする感じ。
スキルでもあんまりコントロールできる感触がないのでレビューで潰してます。
Satoshi Kaneyasu@AWSでDevOps retweeted
New in kiro crew: Kiro bots 👻
Self-improving agents for distinct roles. channel watch, issue triage, deploy guard. each builds expertise with every run, with its own memory and parallel sessions, so you delegate processes instead of tasks.
Keep the why with the work.
Full breakdown 👉 spr.ly/6019BHFtdD
Satoshi Kaneyasu@AWSでDevOps retweeted
CDK Chatting #11 を公開しました！ aws-cdk-chatting.connpass.co… #cdkchatting
待ってたぜぇ！この瞬間（とき）をよぉ！
Kiro CLI 3.0 is out.
Close your laptop while a cloud session keeps working. Review the spec before Kiro writes code. Hand bigger tasks to workflows. With Approve for me, let Kiro handle prompt approvals for safe actions.
Full breakdown → spr.ly/6011BHLuVX
Satoshi Kaneyasu@AWSでDevOps retweeted
Kiro CLI 3.0 is out.
Close your laptop while a cloud session keeps working. Review the spec before Kiro writes code. Hand bigger tasks to workflows. With Approve for me, let Kiro handle prompt approvals for safe actions.
Full breakdown → spr.ly/6011BHLuVX
最近は、AIが作った資料で説明されるのはまあいいかなという気持ちになってきました。
資料の伝わりやすさはセンスの問題なので何を使って書かれたかで変わるものではないし。
ただ、気になるのはAIはわりと本人が理解してない用語をさらっと使うので、そこをきちんと説明して欲しくはあります。
Satoshi Kaneyasu@AWSでDevOps retweeted
■放送開始記念日■
2003年11月4日の放送開始から本日でちょうど23周年。
いつも番組を応援いただきありがとうございます。
番組は24年目に突入！
今後も戦い続ける有野課長へのご声援よろしくお願いいたします。
★12/11発売のDVD‐BOX23予約受付中！★
happinet-p.com/gccx/23/
#gccx
CCAR-F（Claude Certified Architect - Foundations）合格しました。
やれやれ、随分時間かかってしまいました。
一安心です。
View my verified achievement from @AnthropicAI. credly.com/badges/cf815c26-0… @credlyより
Satoshi Kaneyasu@AWSでDevOps retweeted
ゲームメーカーズ様に取り上げて頂きました。グローバルゲームジャムは広島含め、日本全国で2027年1月末に開催予定です！ #ggj27
📅イベントカレンダー追加📅
Global Game Jam 2027 瀬戸内会場 in 広島
日程：2027年01月29日（金）～01月31日（日）
会場：広島工業大学
主催者（敬称略）：広島工業大学 IoT・AI・データサイエンス教育研究推進センター、広島Unity勉強会、中四国ゲームジャム実行委員会
gamemakers.jp/event/?eid=3r3…
11月の広島IT勉強会はこんな感じになっています。
広島のみなさん気になる勉強があれば足を運んでみてくださいね。
satoshi256kbyte.github.io/it…
Satoshi Kaneyasu@AWSでDevOps retweeted
AI駆動開発勉強会 広島支部 第四回
11/20(金) 19:30〜 サイボウズ広島オフィス
・20分セッション（あと1枠募集中）
・少人数グループでの情報交換
平日夜開催です！お仕事帰りにご参加ください！
aid.connpass.com/event/41062…
#aidd_hiroshima
Satoshi Kaneyasu@AWSでDevOps retweeted
はてなブログに投稿しました
JAWS-UG広島支部とSRE Lounge Hiroshimaのコラボイベントを開催します！ - Howdunit gr1m0h.hatenablog.com/entry/…
#はてなブログ
#広島sre
AIさんがソースコメントを英語で書きがちなこともあり、最近コメントは日本語でお願いしますって言うことが増えました
私はやっぱりコメントは読みやすさ最優先がいいです。
日本語の方が一目でコメントだと区別つくしね。