POPL'11 2日目

午後１の Synthesis セッションの最初のが面白かった，というか便利なので欲しい．スプレッドシート上の文字列の変換操作を，いくつか例示してやるだけで他のは勝手にやってくれる（そういうプログラムを内部で合成している）．間違った部分もインタラクティブに修正してやると，同じような修正のかかりそうな部分をやっぱり勝手に直してくれる．これが Excel に標準で入っていれば…　世の中の事務処理が物凄く高速化されるんじゃなかろうか？　中身的には，入力文字列の部分列と定数文字列の組み合わせでできる文字列を出力するプログラムを合成する．部分列は開始インデックスと終了インデックスで表され，インデックスは２つの正規表現（インデックスから左にマッチする正規表現と右の正規表現）と何番目のマッチかの整数で表す．リーズナブルなプログラムを出すのに具体的にどうやっているのかは分からないけれど，なるべく小さくかつ定数文字列を少なくという方向でチューンされているらしい．今回のは syntactic な変換（部分文字列の再構成）のみだけど，semantic な変換（日付から曜日を出すとか，数を足すとか）もできる研究が進んでいるらしい．Excelとかを日々使うような人たちこそがプログラム合成を必要としている人々の大部分なわけで，その意味において非常に有用な結果だと思う．というか，コマンドライン上で生活する人間としては sed のプログラムを自動生成してほしい…　（過去何度か考えたけどあまりに面倒なので放棄され続けている…）

他略．