プログラムを自動生成する技術～ Programming by Example ～（NTTデータテクノロジーカンファレンス 2020 発表資料）

© 2020 NTT DATA Corporation
NTTデータテクノロジーカンファレンス 2020
プログラムを自動生成する技術
2020年10月15日
株式会社NTTデータデジタル技術部竹之内啓太
～ Programming by Example ～

© 2020 NTT DATA Corporation 2
自己紹介
NTTデータ技術革新統括本部デジタル技術部 (APモダナイズチーム)
論文投稿などアカデミックな活動をメインにしてます
• 情報処理学会ソフトウェア工学研究会運営委員
今日は、ソフトウェア研究の話をします！
前半：自動プログラミングについて
後半：私のチームの研究について
竹之内啓太

プログラマなら、こんなこと考えたことありませんか？
プログラム書くの
めんどくさいなぁ。
〇〇〇するプログラム
いい感じに書いといてカシコマリマシタ！

サンキュー！デキマシタ！

サンキュー！デキマシタ！
本日は
“自動プログラミング”
の話をします

じつは、古くから研究されているテーマです
Computer ( Volume: 21 , Issue: 8 , 1988 )
“最初のプログラマがプログラミングの難しさに直面して以来ずっと、
自動プログラミングはコンピュータサイエンス・人工知能の目標である”
2020
1988

はるか昔から、自動プログラミング技術は存在します
Communications of the ACM ( Vol. 1, No. 4, 1958 )
2020
1988
1958

今でも数値計算に使用される
プログラミング言語
なぜ FORTRAN が “自動プログラミング” 技術？
高級言語からマシン語が自動生成されるから。
Communications of the ACM ( Vol. 1, No. 4, 1958 )
1988
1958 2020

2020
1958 1988

問題提起：“抽象的な仕様” からプログラムを生成
高級言語マシン語
抽象的な仕様
自然言語
「住所から郵便番号と区を抽出せよ」
入出力の例
入力例：“〒135-6033 東京都江東区豊洲3-3-3”
出力例：“135-6033”, “江東区”
1958
1988
2020
1958 1988

2020年はどうなってるのか？
2020
1958 1988

2020年はどうなってるのか？
入出力の例からの自動プログラミング
MS Excel に
搭載されるほど
実用的な技術になった
2020
1958 1988

「住所から郵便番号を
抜き出したい」

出力（郵便番号）の
例を人間が作る

「フラッシュフィル」ボタンを
クリック

残りの住所から
郵便番号を抽出できる
※ Excel の内部では
プログラムが
自動生成されている

自チームの取り組み｜入出力例から SQL の生成
データ分析のため、誰もが SQL を書ける時代へ
SQL クエリ
？
出力例
入力例
先行研究の性能を大きく上回る技術の開発に成功

論文書きました（2020年10月12日公開）

さいごに
1958
高級言語マシン語
抽象的な仕様
ぜひ高評価お願いします！
1988
問題提起
2020
一部の領域で
実用化
汎用的な
自動プログラミング
20XX
抽象的な仕様、
自然言語、入出力例
Programming by Example、
Excel、SQLクエリ
機械学習,
言語モデル(GPT-3), ...

プログラムを自動生成する技術～ Programming by Example ～（NTTデータテクノロジーカンファレンス 2020 発表資料）

More Related Content

What's hot (20)

Similar to プログラムを自動生成する技術～ Programming by Example ～（NTTデータテクノロジーカンファレンス 2020 発表資料） (20)

More from NTT DATA Technology & Innovation (20)