社でブログや発表をいくつか書きました。OSS も続けています。またレバレジーズ株式会社様に当ブログを紹介していただきました。
Codex を使って障害対応の机上演習をやってみよう
障害対応の能力を計測して継続的に改善するには障害対応の机上演習が有効です。 再現度の高い机上演習を実施するには、ゲームマスターの役割を担う人間が必要になります。このゲームマスターを Codex にさせるための skill とツールを紹介しています。
くわラジ
「くわラジ」は、私（過激派）と新卒来の友人であるへんてこさんが技術やエンジニアのキャリアについて語り合う、ゆるい技術雑談Podcast番組です。ブログにしてないちょっとした話とかしています。
コインチェックに転職したときのことは、自身ののちの転職に不利になりそうなのでブログにはしまいと思っていましたがついしゃべってしまいました。
「転職って、勘と運でしょ？」
— くわラジ - 技術をおもしろく学ぶ (@kuwa_raji) 2026年6月19日
——いやいや、ちゃんと数字で殴れます。
譲れない軸はスコア化、質問はテンプレ化。
そんなディープすぎる転職攻略を語った新エピソード「#10 転職は『ゲーム』だ。スーパーエンジニアの転職攻略」公開しました。 #くわラジ pic.twitter.com/1DJARNR56u
AIベース静的検査器の偽陽性率を抑える工夫3選
生成AI を使った静的解析器のノウハウをまとめています。形式化 thinking はあまり他でみかけないテクニックですが、正解率を 60%→90% まで高められた良さげな方法です。
仕様漏れ実装漏れをなくすトレーサビリティAI基盤のご紹介
面倒と言われがちなトレーサビリティ台帳管理をいっそ AI にやらせてみよう！というネタです。社の重要プロジェクトで命をつなぐのに必要だったプロダクトです。
要求定義・仕様記述・設計・検証の手引き - 理論から学ぶ明確で統一された成果物定義
社の重要プロジェクトでの成果物定義の理論面を説明したスライドです。形式手法である Communicating Sequential Process（CSP）をもとにして、要求・仕様・実装・テストケースをそれぞれ定義しています。
自然言語仕様と形式仕様の中間の仕様を書くための OSS
最近は PlantUML のサブセットで書いた状態遷移仕様を扱う OSS を書いています。
この中のコマンドである csdfreplcmd を使い、Claude Code などの /goal を使って仕様アニメーション（仕様を机上で動作させて検査する手法）を 0-switch カバレッジとるまで帰ってくんなすると大量に仕様バグとユーザービリティバグを見つけてくれました。
Process Flow Diagram（PFD）を扱う skill の OSS
PFD と要素表をもとに最適なガントチャートの探索やクリティカルパス分析（CPA）をする pfd-tools を、CLI ツールに不慣れな PjM/PMO でも使えるように Claude Code 向けの skill を追加しました。これを使って社内に PFD を各文化を作っていっています。 なお、この原子プロセス表とガントチャートをもとに Jira の Rovo に、これで期限切って担当者決めてチケット作成よろ、で PFD から WBS を自動で起こせます。便利。
レバレジーズ株式会社様によるご紹介
当ブログをレバレジーズ株式会社が運営するフリーランスHubにてご紹介いただきました。ありがとうございます。
