厳密な定義

@kanayannet 厳密な定義 Gunma.web #59

前提

前提今回話すのはAIから適切な回答を得るためにどんな工夫をするといいのか？言葉の定義の大事さが刺さる内容にしたいそのための練習LT である凄い話ではない

Agenda

Agenda 形式手法とは? 厳密な仕様とは？生成AIの反応を見る仕様の大切さをどう伝える？まとめ

形式手法とは？

形式手法仕様を厳密な構文と、意味を持つ手段で記述して、検証( Verification )、妥当性( Validation )、確認、文書化、設計といった開発活動の品質を向上させる手法お財布携帯 = FeliCa 開発時に使われた手法
参考(るびま): https://magazine.rubyist.net/articles/0045/0045- TochigiRubyKaigi05Report.html

厳密? 行き違い・勘違いがない定義 VDM というツールもあるくらい

module SimpleWallet types -- 残高は0以上 Balance = nat inv b
== b >= 0; state Wallet of balance : Balance init w == w = mk_Wallet(0); operations -- チャージ Charge(amount: nat) ext wr w pre amount > 0 post w.balance = w~.balance + amount;

中々ハードル高い

あくまで考え方が重要

なぜ？形式手法だったか？仕様策定者と実装者間で「勘違い」を起こしたまま進むと困る検証( Verification ) = 仕様をレビューできる妥当性( Validation
) = 仕様を評価できる

「不具合厳禁」というよりも...

「勘違いを避ける」

じわじわ生成AIのネタに近づいてきましたか？

厳密な仕様とは？

例題をいくつか出します生成AI のレスポンスを試します

例題1 画像をアップロードして、表示したい

ふわっとし過ぎてコード出してくれない(汗)

例題2 不特定多数の人に画像をアップロードして、表示したい

やや前進(反応が変わる)

例題3 不特定多数の人に画像をアップロードして、表示したい転送料金が気になるので S3 と CloudFront を使いたい

ようやくコードを自動生成しかし..言語はAI任せ(JS, Python) lambda 利用もAI任せ

例題4 不特定多数の人に画像をアップロードする画像かどうか?をruby mini-magick を使って評価する許可する画像は gif, jpeg, png とする
許可する容量は 5MB とするインターネット上で画像を表示する S3 と CloudFront を使う転送料金がやすい方がいい aws の認証情報は xxxxx として欲しい

だいぶ意図通り微調整で済むくらいのものになってきた

例題5(おまけ) 上記二つの学習プランを立てて欲しい

学習プランちょっと基本を飛ばしてる感あるが... ないよりマシくらいのプランを出してくる

仕様の大切さをどう伝える？

結構難しい正直上述の例を出してみても、イマイチ刺さらない方が多い

理由を考察

シニアエンジニアの前提いきなりコードから書かない「勘違い」による「やり直し」の果てしなさを「経験」済である「勘違い」が起きないように進める言葉(自然言語)による厳密な定義の「重要」さを知っている etc...

ジュニアエンジニアの前提コードを書くことへの憧れ職業プログラマへの憧れ最重要は「コード」動くもの大好き動くものがすぐ欲しいコードのお手本大歓迎

すれ違う(汗)

アイデア言語化レビュー

曖昧な定義を粛清しようというのだアムロ当日はシャアの画像

そうは言うがな大佐当日はスネークの画像

たかが仕様書一つ！書いてみせる！当日はアムロの画像

と...期待したい

まとめ

まとめ「曖昧さがない」言葉による定義は重要コードじゃなく「自然言語」が武器になる生成AIと相性がいい微調整で済む(事が多い) 銀の弾丸は存在しないきちんとやろうとする方もいるコードにまっしぐらの方もいる

おまけネタが解った方は..「年齢」がバレます！

悩み事じわじわ「ネタ」が通じる世代が少なくなってきた(汗)

意外な事「JOJO」は意外と若い世代にも刺さる(事がある)

ご清聴ありがとうございました！

厳密な定義

厳密な定義

More Decks by kanayannet

Other Decks in Programming

Featured

Transcript