Mercurial > hg > Members > atton > seminar_slides
comparison slides/20140826/slide.md @ 65:2a8bdd08eefd
Add slide
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 26 Aug 2014 17:50:28 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
64:a0d1d3618a86 | 65:2a8bdd08eefd |
---|---|
1 title: プログラムのデバッグ支援(仮) | |
2 author: Yasutaka Higa | |
3 cover: | |
4 lang: Japanese | |
5 | |
6 | |
7 | |
8 # 研究目的(仮) | |
9 * プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる | |
10 * 挙動は予想されていた挙動と異なる場合があり、それはバグとなる | |
11 * ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか | |
12 * 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する | |
13 | |
14 | |
15 # 近況報告 | |
16 * Vim勉強会してました | |
17 * Category Theory for Computing Science ちょっと読み始めました | |
18 | |
19 | |
20 # Category Theory for Computing Science | |
21 * Functional Programming Language | |
22 * FPL-1 : primitive data types, given in the language | |
23 * FPL-2 : Constants of each type. | |
24 * FPL-3 : Operations, which are functions between the types | |
25 * FPL-4 : Constructors, which can be applied to datat ypes and operations to produce derived data types and operations of the language | |
26 * Functional Programming Language as categories | |
27 | |
28 <!-- vim: set filetype=markdown.slide: --> |