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