厳密な定義

Gunma.web #59

Transcript

1. @kanayannet 厳密な定義 Gunma.web #59
2. 前提
3. 前提 今回話すのはAIから適切な回答を得るために どんな工夫をするといいのか？ 言葉の定義の大事さが刺さる内容にしたい そのための練習LT である 凄い話ではない
4. Agenda
5. Agenda 形式手法とは? 厳密な仕様とは？ 生成AIの反応を見る 仕様の大切さをどう伝える？ まとめ
6. 形式手法とは？
7. 形式手法 仕様を厳密な構文と、意味を持つ手段で記述して、検証( Verification )、妥当性( Validation )、確認、文書化、設計といった開発活動の品質を向上させる手法 お財布携帯 = FeliCa 開発時に使われた手法 参考(るびま): https://magazine.rubyist.net/articles/0045/0045- TochigiRubyKaigi05Report.html
8. 厳密? 行き違い・勘違いがない定義 VDM というツールもあるくらい
9. 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;
10. 中々ハードル高い
11. あくまで考え方が重要
12. なぜ？形式手法だったか？ 仕様策定者と実装者 間で「勘違い」を起こしたまま進むと困る 検証( Verification ) = 仕様をレビューできる 妥当性( Validation ) = 仕様を評価できる
13. 「不具合厳禁」というよりも...
14. 「勘違いを避ける」
15. じわじわ生成AIのネタに 近づいてきましたか？
16. 厳密な仕様とは？
17. 例題をいくつか出します 生成AI のレスポンスを試します
18. 例題1 画像をアップロードして、表示したい
20. ふわっとし過ぎてコード出してくれない(汗)
21. 例題2 不特定多数の人に画像をアップロードして、表示したい
23. やや前進(反応が変わる)
24. 例題3 不特定多数の人に画像をアップロードして、表示したい 転送料金が気になるので S3 と CloudFront を使いたい
26. ようやくコードを自動生成 しかし..言語はAI任せ(JS, Python) lambda 利用もAI任せ
27. 例題4 不特定多数の人に画像をアップロードする 画像かどうか?をruby mini-magick を使って評価する 許可する画像は gif, jpeg, png とする 許可する容量は 5MB とする インターネット上で画像を表示する S3 と CloudFront を使う 転送料金がやすい方がいい aws の認証情報は xxxxx として欲しい
29. だいぶ意図通り 微調整で済むくらいのものになってきた
30. 例題5(おまけ) 上記二つの学習プランを立てて欲しい
32. 学習プラン ちょっと基本を飛ばしてる感あるが... ないよりマシくらいのプランを出してくる
33. 仕様の大切さをどう伝える？
34. 結構難しい 正直上述の例を出してみても、イマイチ刺さらない方が多い
35. 理由を考察
36. シニアエンジニアの前提 いきなりコードから書かない 「勘違い」による「やり直し」の果てしなさを「経験」済である 「勘違い」が起きないように進める 言葉(自然言語)による厳密な定義の「重要」さを知っている etc...
37. ジュニアエンジニアの前提 コードを書くことへの憧れ 職業プログラマへの憧れ 最重要は「コード」 動くもの大好き 動くものがすぐ欲しい コードのお手本大歓迎
38. すれ違う(汗)
39. アイデア 言語化レビュー
40. 曖昧な定義を粛清しようというのだアムロ 当日はシャアの画像
41. そうは言うがな大佐 当日はスネークの画像
42. たかが仕様書一つ！書いてみせる！ 当日はアムロの画像
43. と...期待したい
44. まとめ
45. まとめ 「曖昧さがない」言葉による定義は重要 コードじゃなく「自然言語」が武器になる 生成AIと相性がいい 微調整で済む(事が多い) 銀の弾丸は存在しない きちんとやろうとする方もいる コードにまっしぐらの方もいる
46. おまけ ネタが解った方は..「年齢」がバレます！
47. 悩み事 じわじわ「ネタ」が通じる世代が少なくなってきた(汗)
48. 意外な事 「JOJO」は意外と若い世代にも刺さる(事がある)
49. ご清聴ありがとうございました！