制約を設計する - 非決定性との境界線 / Designing constraints

by soudai sone

Embed

Start on current slide

Slide 1

Slide 1 text

設計ナイト 2026 制約を設計する - 非決定性との境界線

Slide 2

Slide 2 text

What is it? https://bliki-ja.github.io/LLMsBringNewNatureOfAbstraction

Slide 3

Slide 3 text

“LLM（大規模言語モデル）の登場は、アセンブラから最初の高水準プログラミング言語への移行と同じくらい、ソフトウェア開発を大きく変えると思います。その後に開発された言語やフレームワークは、抽象化のレベルや生産性を向上させましたが、プログラミングの本質に同じレベルのインパクトを与えるものではありませんでした。しかし、LLMには最初の移行と同程度のインパクトがあると思います。しかも、単に抽象化のレベルを上げるだけでなく、「非決定的なツールでプログラミングするとはどういうことか」という問いを私たちに投げかけています。” 引用元：LLMは新しい抽象化をもたらす What is it?

Slide 4

Slide 4 text

“私たちは仕事でLLMの使い方を学びながら、こうした非決定性とうまく付き合う方法を見つけなければなりません。この変化は劇的なものです。私はワクワクしています。残念ながら失うものもあるでしょうが、私たちがまだ理解できていない新たな価値も得られるでしょう。こうした非決定性の進化は、私たちの職業の歴史において前例のないものです。” 引用元：LLMは新しい抽象化をもたらす What is it?

Slide 5

Slide 5 text

非決定性とどのように向き合っていくか What is it?

Slide 6

Slide 6 text

制約を活用して決定していく What is it?

Slide 7

Slide 7 text

1. 自己紹介 2. 非決定性との境界線を作る 3. 制約が決定性を作る 4. 制約以外のアプローチ 5. おわりにあじぇんだ

Slide 8

Slide 8 text

1. 自己紹介 2. 非決定性との境界線を作る 3. 制約が決定性を作る 4. 制約以外のアプローチ 5. おわりにあじぇんだ

Slide 9

Slide 9 text

自己紹介曽根壮大（41歳） Have Fun Tech LLC 代表社員株式会社リンケージ CTO 兼 COO そ ● 日本PostgreSQLユーザ会勉強会分科会担当 ● 3人の子供がいます（長女、次女、長男） ● 技術的にはWeb/LL言語/RDBMSが好きです ● コミュニティが好きたけねとも

Slide 10

Slide 10 text

経歴高校卒業浪人警察官派遣社員社内SE インフラエンジニア Web エンジニアフルスタックエンジニア CTO（第1期） Customer Reliability Engineer CTO（第2期）独立ここから東京いまここリーマンショックと警察官の退職タイミングが重複するソフトウェアエンジニア CTO（第3期） COO & CTO

Slide 11

Slide 11 text

1. 自己紹介 2. 非決定性との境界線を作る 3. 制約が決定性を作る 4. 制約以外のアプローチ 5. おわりにあじぇんだ

Slide 12

Slide 12 text

LLMは非決定性の特性によって抽象度を高めている非決定性との境界線を作る

Slide 13

Slide 13 text

非決定性との境界線を作るインプットアウトプット 1回目アウトプット 2回目アウトプット 3回目 LLM アウトプットが不定

Slide 14

Slide 14 text

？？？「AIで確認すればいいのでは？」非決定性との境界線を作る

Slide 15

Slide 15 text

非決定性との境界線を作るインプットアウトプット 1回目アウトプット 2回目アウトプット 3回目 LLM 複数回を回してもアウトプットは不定アウトプット 1回目精度は上がる

Slide 16

Slide 16 text

これは人間も似ている非決定性との境界線を作る

Slide 17

Slide 17 text

非決定性との境界線を作るインプットアウトプット 1回目アウトプット 2回目アウトプット 3回目人間アウトプットが不定

Slide 18

Slide 18 text

人間も同じアウトプットを出すわけではない非決定性との境界線を作る

Slide 19

Slide 19 text

人間も同じアウトプットを出すわけではない非決定性との境界線を作る LLMは確率的に答えるし、人間は経験的に答える

Slide 20

Slide 20 text

人間も同じアウトプットを出すわけではない非決定性との境界線を作るだから標準化する LLMは確率的に答えるし、人間は経験的に答える

Slide 21

Slide 21 text

非決定性との境界線を作るインプットアウトプット 1回目アウトプット 2回目アウトプット 3回目スループット（処理）同一のアウトプット処理を標準化する品質が高まり均一化する

Slide 22

Slide 22 text

● 標準化によって単純化・統一化などが行われて品質が向上する ○ つまりアウトプットのばらつきが揃う ● 手順の標準化は手順書を作ること ○ 入力の標準化のためにテンプレートを作ったり、判断分岐を網羅して対応する行動を決める ● チェックリストを作ることで必要な仕様を満たすことを確定させる ● つまり暗黙知を明示的で測定可能で更新可能な仕組みに変えること ○ 業務の言語化とも言える非決定性と標準化

Slide 23

Slide 23 text

非決定性との境界線を作る非決定性の高い状態決定性の高い状態どこかで境界線を作る必要がある

Slide 24

Slide 24 text

ソフトウェアはハードウェアのために非決定的な現実世界を仕様として決定する非決定性との境界線を作る

Slide 25

Slide 25 text

ソフトウェアの世界非決定性との境界線を作る Webフォーム REST API バリデーションロジック型データベース決定性の世界 Webフォームが境界線

Slide 26

Slide 26 text

再現性を高めるためには境界線が必要非決定性との境界線を作る

Slide 27

Slide 27 text

1. 自己紹介 2. 非決定性との境界線を作る 3. 制約が決定性を作る 4. 制約以外のアプローチ 5. おわりにあじぇんだ

Slide 28

Slide 28 text

制約が決定性を作る制約が決定性を作る

Slide 29

Slide 29 text

制約が決定性を作る ↓ ソフトウェアの世界の制約が境界線を作る制約が決定性を作る

Slide 30

Slide 30 text

制約が決定性を作る ↓ ソフトウェアの世界の制約が境界線を作る制約が決定性を作る品質の担保と安全性を設計する

Slide 31

Slide 31 text

制約が決定性を作る平日午後でミーティングを空き時間に設定して

Slide 32

Slide 32 text

制約が決定性を作る確かに設定してくれるが品質が安定しない

Slide 33

Slide 33 text

制約が決定性を作る平日午後でミーティングを空き時間を検索するクエリを作って GAS API

Slide 34

Slide 34 text

制約が決定性を作る GAS API バリデーションでハルシネーションを防げる

Slide 35

Slide 35 text

制約が決定性を作る GAS API エラー処理もできるし、リトライもできる

Slide 36

Slide 36 text

● RESTなどのAPIは責任境界線とセットで決定性を作る ○ 類似にCLIのインターフェースがある ○ 標準入力のバリデーションが制約として境界線を作る ○ アウトプットの品質が固定される ■ 中身がLLMだと非決定性が維持される ● データ層は決定された事実が保存される ○ 集計結果や分析の元になるデータは揺らいではいけない ■ 結果のノイズになってしまう ● 契約プログラミングに似ている ○ どうやって決定されたデータやオブジェクトを扱うかソフトウェアで作る境界線の例

Slide 37

Slide 37 text

制約によってガードレールを作る制約が決定性を作る

Slide 38

Slide 38 text

1. 自己紹介 2. 非決定性との境界線を作る 3. 制約が決定性を作る 4. 制約以外のアプローチ 5. おわりにあじぇんだ

Slide 39

Slide 39 text

制約によってガードレールを作る ↓ AIの方向性を整える制約以外のアプローチ

Slide 40

Slide 40 text

制約以外のアプローチ AI ゴール制約の壁制約の壁

Slide 41

Slide 41 text

制約以外のアプローチ AI ゴール制約の壁制約の壁間違った方向に行かない

Slide 42

Slide 42 text

制約以外のアプローチ AI ゴール制約の壁制約の壁しかし、制約ではゴールに直接的には導かない

Slide 43

Slide 43 text

？？？「ハーネスエンジニアリング？」制約が決定性を作る

Slide 44

Slide 44 text

？？？「ハーネスエンジニアリング？」 ↓ ハーネスエンジニアリングも標準化の方向性の一つ制約が決定性を作る

Slide 45

Slide 45 text

コードをゴールに導く制約が決定性を作る

Slide 46

Slide 46 text

● テストコードはソフトウェアに対する期待値を明確化する ● オブザーバビリティはソフトウェアの振る舞いを可視化する ● 境界線がソフトウェアのスコープを決める ○ ドメインモデルと一緒 ● アウトプットの品質指標がコードの方向性を決める ○ しかし、安易な指標はグッドハートの法則を生む ○ これは残念ながらLLMも一緒ゴールに導くための手法

Slide 47

Slide 47 text

Slide 48

Slide 48 text

個人的にはモデルが変わると陳腐化するので不毛感がある制約が決定性を作る

Slide 49

Slide 49 text

個人的にはモデルが変わると陳腐化するので不毛感がある制約が決定性を作るみんなの頑張ってくれた集合知に乗っていくぞ！

Slide 50

Slide 50 text

1. 自己紹介 2. 非決定性との境界線を作る 3. 制約が決定性を作る 4. 制約以外のアプローチ 5. おわりにあじぇんだ

Slide 51

Slide 51 text

今までは人間のふわっとした要求を仕様として決定してきたおわりに

Slide 52

Slide 52 text

今後は人間とAIの非決定性をソフトウェアとして決定していくおわりに

Slide 53

Slide 53 text

AIがどんなに発展しても仕事は形は変われど抽象度を高めれば一緒おわりに

Slide 54

Slide 54 text

AIがどんなに発展しても仕事は形は変われど抽象度を高めれば一緒おわりにもうしばらくは……。たぶん。

Slide 55

Slide 55 text

知識があるものが AIを活用できることは間違いないおわりに

Slide 56

Slide 56 text

https://soudai.hatenablog.com/entry/2026/01/18/133044 概ね、理由は以下のとおり。 ● 良い質問をするために知識が必要 ● AIの出力を評価する ● 抽象的なアドバイスを活用する　これらを実行するためには、一定の知識とスキルが必要である。スキルを身につけるためには基礎知識があるうえで経験が必要であり、そのサイクルがまさに学びなのである。　そのため、AIが普及したとしても、人が学ぶことの重要性は変わらない。その前提を踏まえたうえで、各ポイントについて説明する。

Slide 57

Slide 57 text

半年後にはどうなっているかわからないおわりに

Slide 58

Slide 58 text

半年後にはどうなっているかわからない ↓ だからこそ変化出来る設計が大事おわりに

Slide 59

Slide 59 text

どうでもよいことは流行に従い難しいことは常識に従い芸術のことは自分に従う – 映画監督小津安二郎おわりに

Slide 60

Slide 60 text

おわりに撮影 : @uzulla

Slide 61

Slide 61 text

どうでもいいことは流行りに従い、重大なことは標準に従い、ドメインのことは自分ら設計する – 郡山昭仁おわりに

Slide 62

Slide 62 text

不易流行（ふえきりゅうこう）いつまでも変わらない本質的なもの（不易）を大切にしつつ、時代の変化に応じた新しいもの（流行）を取り入れるという考え方。根幹は一つであり、伝統と革新を両立させ、変化し続けることこそが本質であると指します – 松尾芭蕉(が言ったらしい) おわりに

Slide 63

Slide 63 text

温故知新（おんこちしん）「故(ふる)きを温(たず)ね、新しきを知る」過去の事実を研究し、そこから新しい知識や見解をひらくこと。 – 孔子（論語から来ている）おわりに