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