プログラムのデバッグ支援(仮)

Yasutaka Higa

プログラムのデバッグ支援(仮)

研究目的(仮)

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

近況報告

  • 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