仕様駆動開発とは振る舞いに関する仕様を実装に先立って（ときにAIと共同で）書き、その振る舞い仕様をもとに AI に実装を指示する開発スタイルです。ではそのとき AI とともに作り上げる「振る舞い仕様」はどんな形で書くのがよいのでしょうか。この記事で…

本記事は guyon さんからいただいた「レジリエントマネジメント」の書評です。 総評 守破離の守に役立つ易しいマネジメント本であると思います。本書に書かれていることは、それなりのマネージャーなら意識せず実践していることが多く、これを実践できていな…

この記事はコインチェック株式会社（以下、コインチェック）のアドベントカレンダー4日目の記事です。 こんにちは。Kuniwak です。 最近は Software Engineer in Test の殻を破り（？）、PMO 的な役割でプロジェクトのプロセスを設計し、マスタースケジュー…

七年間お世話になりました。 送別会で発表を依頼された (!?) ので発表資料を用意しました。 次の会社はコインチェックです。よろしくお願いいたします。

10年前から文章の理解しやすさの認識がだいぶ変わった。昔は論理式やそれに相当する固い説明がどっさり書かれている文章を理解しやすいとは思わなかったが、今ではコンテキストさえ掴んでいれば論理式やそれに相当する固い説明で書かれた文章の方が理解しや…

仕様の静的検査器のブログ記事について質問や添削を匿名ダイアリーでいただいたので私の意見を回答します。 anond.hatelabo.jp 前書き まず上記の匿名ダイアリー記事を書いてくださった方へ。記事を閲覧しさらにご意見を書いてくださったことに感謝いたしま…

社のブログで最近の成果を公開しました。ぜひご覧ください。 swet.dena.com 画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 --- SWET第二グループの[Kuniwak](https://kuniwak.com/)です。本記事では画面仕様（後述）の仕様書に対する静…

子供が産まれるのに備え子供の名前を探索するツールを作りました。Linux、macOS、Windows で次のように名前の候補を列挙してくれます： $ name search --space full 山田 --max-length 2 < ./filter.json | tee result.tsv

TL;DR Android nRF Connect の BLE マクロのサブセットを macOS/iOS/... 上で開発する環境を用意しました。 github.com import Foundation import BLEMacroEasy // You can find your iPhone's UUID by running the following command in Terminal: // $ git…

これまで同値分割を信頼できる手法だと信じてきました。最近になってどうして同値分割が信頼できる方法なのかその理由を私が説明できないことに気づきました。この記事では、不明確な基準の同値分割はその信頼性の説明ができないこと、同値テストは後述する…

TDD（テスト駆動開発）の提唱者 Kent Beck による TDD の定義の解説を @t_wada さんが翻訳したブログが公開されました。 t-wada.hatenablog.jp ここで解説されている TDD と私のこれまで理解していた TDD（後述）を比較します。 みなさんの TDD の理解もぜひ…

本記事は「GitHub Copilot とのペアプロ TDD でつくるローグライク RPG」の書評です。題名にローグライクRPGとあるのでゲーム開発の本なのかなと思ってしまいますが、本題は仕様の端的な表現をもたないシステムを LLM を使って真っ当に開発する方法の解説だ…

大震災に備え我が家に備えておく救急箱に何を入れるべきか検討した記録です。

新築住宅に住み始めてから1年経過しました。この1年を振り返ってよかったポイントや後悔ポイント、おすすめ設備を紹介します。

我が家の VR 環境を体験してもらうためのサイト home.kuniwak.com をご用意しました。ご自由にご訪問してください。