プログラム書き換えのための 「ログラム修正パターン」記述.pptVIP

ウィンターワークショップ?イン?鴨川 プログラム書き換えのための「プログラム修正パターン」記述 松下誠 大阪大学大学院情報科学研究科 動機付け プログラミング言語でプログラムは書けるのに，プログラミングする行為自体はどうして書けないのか? ソフトウェアプロセスにおけるプロセス記述 確かにプロセス（作業）は書けたが，それしか書けない 人間の作業はたいていblackbox 工程管理にはなっても，プログラミングを書いたことにならない 画像処理?画像加工ツール 画像に対する特殊な効果はその手順が「書けて」いる 適当なUIを用意することにより，作業者が行った行為を論理的に表現，記述，利用するものも プログラミング行為を記述するために 何が書ければ良いのか 第一義的には「やったこと」 この部分を?こういうつもりで?こうやって 編集対象と編集行為の組，（可能なら）その意図 どう書ければ良いのか 極論すれば「書かなくて良いならどうなっていてもよい」 現実的には何らかのテキスト表現 人が直接記述するのは現実的ではない また新しい記述言語を覚える手間の発生 人間の作業自身から機械的に生成可能 可能性を探るためにできること いきなりプログラミング行為を記述する環境を構築しても，うまくいかないかもしれない 少なくとも必要なのは記述のための体系，であればそれを決めるのに必要なことを考えればよい 記述言語自体は必要なものを適当に決めればよいが，最低限何が必要なのか プログラミングする中身，をどう書くのか（手続きなのか，推論記述なのか，それ以外なのか） 開発時に蓄積された差分情報を用いたプログラム修正パターン 版管理システムには，過去に行われた開発作業の記録が差分として記録されている 単純な old/new 両方の差分から情報を取り出せないか （プログラミング言語で書かれていることを前提に）構文情報 単純な字面に依存しない書き換え内容 変更内容の持つ意図 たくさんの情報から特徴的なパターンを発見 データマイニング? 「良くある」修正はおそらく意味がある（と思いたい） プログラム修正内容を表現するパターン ソフトウェアパターン，なんて使えない いまやってる開発作業にすぐ使えるパターンを * Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University * Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University * * * Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University