正しいものを正しくつくる プロダクトづくりの不確実性と戦うためのソフトウェア設計 - 創発的な設計活動 - 柔軟なモジュール構造 - 20%に投資する

1. プロダクトづくりのための
ソフトウェア設計スタイル
ギルドワークス 増田 亨
DevLove #280 プロダクトをつくるとはどういうことなのか？ -正しいものを正しくつくる-

2. 2019/7/1 2
祝 出版２周年
いまでも、毎日だれかは買ってくれている
今日の話は、この本の背景にある考え方と思い

3. プロダクトづくり
2019/7/1 3

4. プロダクトづくり
不確実性との戦い
終わりのない進化と成長
あらかじめ、要件/期限/予算を固定するソフトウェア開発とは別の世界
2019/7/1 4

5. ソフトウェア設計という課題
2019/7/1 5

6. 複雑さとの戦い
構成要素の数
構成要素間の関係
拡張と変更の繰り返し
2019/7/1 6
建築や土木とは異質の挑戦

7. ソフトウェア設計の品質
2019/7/1 7

8. 構造と秩序
2019/7/1 8

9. 進化を続ける構造と秩序
プロダクトづくりに必要な設計品質
2019/7/1 9

10. ソフトウェア設計のスキル
構造と秩序を生み出し続ける能力
2019/7/1 10

11. 不確実性と戦うための
ソフトウェア設計スタイル
2019/7/1 11

12. 柔らかなモジュール構造
創発的な設計活動
２０％に投資する
2019/7/1 12

13. 創発的な設計活動
2019/7/1 13

14. 創発的な設計活動
観察 仮説 実験 考察
目の前の設計課題
過去の設計例
他者の設計例
仮決め
コードで検証
収まり具合
まわりとの関係性
全体の調和
2019/7/1 14
設計案の列挙
観察と考察の質と量が大きな違いを生む

15. やわらかなモジュール構造
2019/7/1 15

16. 設計の基本
関心を分離する
モジュールに分割する
2019/7/1 16

17. モジュール分割の方法論
2019/7/1 17

18. モジュール分割：方法論の違い
機能で分解 型で分解
入力と出力 計算と判定
画面・通信・データベースの操作 導出ロジック/判定ロジックの記述
2019/7/1 18
A. Hoare
O. Dahl
B. Liskov
B. Meyer
M. Fowler
K. Beck
E. Evans
…
ボトムアップ
インクリメンタル（創発的）
トップダウン
アップフロント
ビジネスルール記録と通知
トランザクションスクリプト ドメインオブジェクトモデル
硬直化、レガシー化 進化と成長、創発性

19. 型
✓ 値の種類の定義（何を計算したいかのアイデアの表現）
➢ 金額、数量、日付、日数、判定区分、対象種別、…
✓ 値の範囲の定義
➢ 上限、下限
➢ 有限要素を列挙して定義（曜日、会員種別、年齢区分、….）
✓ 値を使った有効な操作の定義
➢ 同一性判定、大小判定
➢ 加減乗除
✓ 値の範囲と有効な操作を一つの入れ物にカプセル化 → クラスの定義
2019/7/1 19
プリミティブな型
int, long
boolean
BigDecimal
LocalDate, LocalTime
配列、List,Set,Map,

20. 設計スタイル
2019/7/1 20
型で分解
機能で分解
✓ アジャイルなソフトウェア開発の基本スタイル
➢ 型の定義の柔軟性／創発性
➢ 型の組み合わせ方の柔軟性／創発性
✓ ウォータフォールのソフトウェア開発の基本スタイル
➢ 機能分割によるモジュール構造の固定化
➢ 計算ロジックの断片化と重複 → 力づくの変更 → 限界

21. 関心事と設計の直接的な写像
2019/7/1 21

22. 怪しげな写像
金額
注文番号
消費税
換算レート
納期
誕生日
割引可能
出荷可能
long型
BigDecimal型
LocalDate型
boolean型
一方通行
N対１
値の範囲
可能な操作
ビジネス活動の関心事 設計実装の関心事
2019/7/1 22

23. 直接的な写像
金額
注文番号
消費税
換算レート
納期
誕生日
割引可能
出荷可能
双方向の対応
１対１
適切な値の範囲
適切な操作
ビジネス活動の関心事 設計実装の関心事
金額型
注文番号型
消費税型
換算レート型
納期型
誕生日型
割引判定型
出荷判定型
2019/7/1 23ビジネスの関心事とソフトウェアの構造が直接つながる

24. 画面やテーブルの見え方の変化
2019/7/1 24
データのかたまり

25. 型と計算に焦点を合わせた時の見え方
2019/7/1 25
分解可能性 ✓ 計算の文脈ごとに画面やテーブルが論理ブロックに分かれて見える
価格計算、割引計算、納期設定、リスク判定、…
暗黙の関係性
データのつながり
✓ 計算の文脈から、画面／テーブル間の隠れた関係性に気づく
計算や判断に必要なさまざまなデータの所在／発生タイミング
画面遷移図やER図にはでてこない関連性
重要度の濃淡
✓ 計算結果・判定結果（知りたいこと）に着眼する
✓ 各データ項目が、どこでどんな計算判断に使われるか気になる
計算や判断に使わないデータは注目度をさげる
重要なデータ、重要な関係だけが浮き上がってみえるようになる

26. ２０％に投資する
2019/7/1 26

27. ２０％ → ８０％
2019/7/1 27
重要な２０％
全体の８０％に影響する
設計の焦点
ここで消耗しない
ここで時間を浪費しない
不確実性といっても、中核の要素がぶれまくるわけではない
周辺的な関心事は、ぶれてもよいように設計活動を節約しておく

28. 不確実性と戦うための
ソフトウェア設計スタイル
2019/7/1 28

29. 柔らかなモジュール構造
創発的な設計活動
２０％に投資する
2019/7/1 29
観察
仮説
実験
考察
型
計算が主役
直接的な写像
中核要素の見極め
周辺で浪費しない
末端で消耗しない