Mercurial > hg > Members > atton > seminar_slides
comparison template/slide.md @ 87:27f7f51b135e
Update template
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 16 Dec 2014 12:30:12 +0900 |
| parents | ff6851818210 |
| children | b9664a92428d |
comparison
equal
deleted
inserted
replaced
| 86:4fe3d1a80017 | 87:27f7f51b135e |
|---|---|
| 1 title: モナドによるプログラムの変更 | 1 title: Categorical Formalization of Program Modification |
| 2 author: Yasutaka Higa | 2 author: Yasutaka Higa |
| 3 cover: | 3 profile: |
| 4 lang: Japanese | 4 lang: Japanese |
| 5 | 5 |
| 6 | 6 |
| 7 # 研究目的 | 7 # 研究目的 (Categorical Formalization) |
| 8 * プログラムを変更するとプログラムの実行結果も変わる | 8 * プログラムの信頼性を向上させるために開発手法に着目する |
| 9 * しかし、バージョン互換を維持する場合など、ソースコードを変更した後も同じ結果を得たい場合もある | 9 * プログラムの信頼性が変化するのはプログラムを変更した時である |
| 10 * プログラムの改変の際にモナドとして改変することで過去のプログラムの保存ながら改変する | 10 * 信頼性を保ちながらプログラムを変更にプログラムの変更を形式化する |
| 11 * これによりリファクタリング支援や後方互換性の確保、プログラムの変更による実行結果の変化の検出などを行なう | 11 * Kleisli Category の Kleisli Triple と対応のある Monad によってプログラムの変更を記述する |
| 12 * さらにプログラムの改変をモナドとして表すことで、モナドの理論的背景である圏論の視点からプログラムを改変することの意味を探る | 12 |
| 13 # 研究目的 (Parallel Debugger) | |
| 14 * 本研究では Monad を用いてプログラムの変更を定義する | |
| 15 * Monad とは meta computation とデータ構造を対応付ける手法である | |
| 16 * プログラムの変更は変更前の動作を保存しつつ変更後の動作を追加することで表現する | |
| 17 * 異なるバージョンのプログラムを同時に実行し、トレースを比較することでデバッグを支援する手法を提案する | |
| 13 | 18 |
| 14 # hoge | 19 # hoge |
| 15 * hoge | 20 * hoge |
| 16 * hogehoge | 21 * hogehoge |
| 17 | 22 |