VRC LT #3 プログラム合成

Transcript

1. プログラム合成 VRCLT #3 秋津 早苗
2. 僕はだれですか？ • 名前: 秋津 早苗 • VRC ID: akitsu-sanae • Twitter: @akitsu_sanae • 身分: 大学院生 (M2) • 趣味でRustとかOCamlを書いている • アルバイトでHaxeとかを書いている
3. プログラミングってめんどくさい！
4. プログラミングを自動化したい！！
5. プログラム合成の大枠 プログラム合成器 プログラムの 仕様 プログラム e.g.) リストを反転する 関数が欲しい！ ここを作りたい！！！
6. プログラム合成の大枠 プログラム合成器 プログラムの 仕様 プログラム • 停止性 • 安全性 etc. ここを作りたい！！！ • 手続き型 • 関数型 • オブジェクト指向 etc.
7. でも実用的じゃないんでしょ？ • 自動的に作れる関数の幅が狭い • プログラムの仕様が人間の手に負えないほど複雑になる etc .
8. Magic Haskeller • 入力した等式を成り立たせるようなHaskellの関数を合成する • 部分関数は苦手だけど大抵の入力に対して動いてくれる http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html ⇒
9. ExcellのFlashFill 1. 入出力からユーザーが想定している関数を自動的に合成 (入力: “akitsu.sanae@gmail.com”, 出力: “Akitsu Sanae”) 2. 合成して得た関数をもとに候補をsuggest
10. 機械学習技術をプログラム合成に応用 プログラム合成： 仕様からその仕様を満たすプログラムを探す 機械学習： 入出力例から何が起きているかを説明できる関数を探す プログラムを探す ≅ 関数を探す e.g.) RobustFill: Neural Program Learning under Noisy I/O [Jacob+, ICML’17] … ExcellのFlashFillに機械学習を応用
11. おわり