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 ...