Mercurial > hg > Members > atton > generated_seminar_slides

title: プログラムのデバッグ支援(仮)
author: Yasutaka Higa
cover:
lang: Japanese


# 研究目的(仮)

* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
* 挙動は予想されていた挙動と異なる場合があり、それはバグとなる
* ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか
* 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する


# 近況報告
* pro3 ソースコード読み会
* Parallel debugger はそろそろ目処付けたいです
* Category Theory for Computing Science ちょっと読み始めました


# readning : Category Theory for Computing Science
* CbC と Monad との対応をどうするか
* Monad になった場合はどういうメリットがあるのか
* Category 自体を勉強しないとなー、と

# Category Theory for Computing Science
* Chapter 2くらいまで
* Sets
* Graph
  * Function == arrow of Set -> Set
* Category
  *  A category is a graph with a rule for compose ...


<!-- vim: set filetype=markdown.slide: -->
author	Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date	Thu, 29 Jan 2015 16:59:59 +0900
parents	24ca0623d67e
children