プログラムのデバッグ支援(仮)
Yasutaka Higa - profile not found -
研究目的(仮)
プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
挙動は予想されていた挙動と異なる場合があり、それはバグとなる
ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか
異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する
近況報告
Vim勉強会してました
Category Theory for Computing Science ちょっと読み始めました
Category Theory for Computing Science
Functional Programming Language
FPL-1 : primitive data types, given in the language
FPL-2 : Constants of each type.
FPL-3 : Operations, which are functions between the types
FPL-4 : Constructors, which can be applied to datat ypes and operations to produce derived data types and operations of the language
Functional Programming Language as categories