# HG changeset patch # User Yasutaka Higa # Date 1415065905 -32400 # Node ID ff6851818210087b1292c6d0c2fc31ac7d963063 # Parent 36da64ee66cfdd380a3be242cfc76963546bba4d Update template diff -r 36da64ee66cf -r ff6851818210 template/slide.md --- a/template/slide.md Tue Oct 28 17:29:36 2014 +0900 +++ b/template/slide.md Tue Nov 04 10:51:45 2014 +0900 @@ -1,25 +1,21 @@ -title: プログラムのデバッグ支援 +title: モナドによるプログラムの変更 author: Yasutaka Higa cover: lang: Japanese - # 研究目的 -* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる -* しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい -* ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい -* これによりリファクタリング支援や後方互換性の支援などを行なう - +* プログラムを変更するとプログラムの実行結果も変わる +* しかし、バージョン互換を維持する場合など、ソースコードを変更した後も同じ結果を得たい場合もある +* プログラムの改変の際にモナドとして改変することで過去のプログラムの保存ながら改変する +* これによりリファクタリング支援や後方互換性の確保、プログラムの変更による実行結果の変化の検出などを行なう +* さらにプログラムの改変をモナドとして表すことで、モナドの理論的背景である圏論の視点からプログラムを改変することの意味を探る # hoge - * hoge * hogehoge - # fuga - * fuga * fugafuga