changeset 76:ff6851818210

Update template
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 04 Nov 2014 10:51:45 +0900
parents 36da64ee66cf
children c638b0792a4a
files template/slide.md
diffstat 1 files changed, 6 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- 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