Mercurial > hg > Members > atton > seminar_slides

comparison template/slide.md @ 76:ff6851818210

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update template
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 04 Nov 2014 10:51:45 +0900
parents 8d98d8d5b471
children 27f7f51b135e
comparison
equal deleted inserted replaced
75:36da64ee66cf 76:ff6851818210
1 title: プログラムのデバッグ支援 1 title: モナドによるプログラムの変更
2 author: Yasutaka Higa 2 author: Yasutaka Higa
3 cover: 3 cover:
4 lang: Japanese 4 lang: Japanese
5 5
6 6
7
8 # 研究目的 7 # 研究目的
9 * プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる 8 * プログラムを変更するとプログラムの実行結果も変わる
10 * しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい 9 * しかし、バージョン互換を維持する場合など、ソースコードを変更した後も同じ結果を得たい場合もある
11 * ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい 10 * プログラムの改変の際にモナドとして改変することで過去のプログラムの保存ながら改変する
12 * これによりリファクタリング支援や後方互換性の支援などを行なう 11 * これによりリファクタリング支援や後方互換性の確保、プログラムの変更による実行結果の変化の検出などを行なう
13 12 * さらにプログラムの改変をモナドとして表すことで、モナドの理論的背景である圏論の視点からプログラムを改変することの意味を探る
14 13
15 # hoge 14 # hoge
16
17 * hoge 15 * hoge
18 * hogehoge 16 * hogehoge
19 17
20
21 # fuga 18 # fuga
22
23 * fuga 19 * fuga
24 * fugafuga 20 * fugafuga
25 21
26 <!-- vim: set filetype=markdown.slide: --> 22 <!-- vim: set filetype=markdown.slide: -->