Notion AI と形式仕様記述｜ティンカリングメモ

Notion AI と呼ばれる最新鋭の技術が正式リリースされました。そこで今回は、それを使って「形式仕様記述言語 VDM-SL（Vienna Development Method Specification Language）」の記述を自然言語で説明させてみたいと思います。VDM-SLは、非技術者には読みづらいので、それを自然言語で説明する試みをしてみたのです。また、ChatGPT、BingGPT といったものの出力とも簡単に比較してみました。 （すみません、今回はあまりローテクな話ではありません） 以下のコードは形式仕様記述言語 VDM-SL による記述の一部です。ここでは商品券にまつわるデータ型を types セクションで定義しています。 types 券種型 = <共通券>|<専用券>; 商品券型 :: 商品券媒体 : 商品券媒体型 商品券額面 : 金額型; 商品券媒体型 = <電子>

[sh19910711]

"VDM-SLは、非技術者には読みづらいので、それを自然言語で説明する / 記述を厳密にしておいてそれを「説明」させるという用途はなかなか便利 / Notion AI: ユーザーの入力を学習に使わないと明言している"