Categorical Semantics of Program Modification
Yasutaka Higa - profile not found -
研究目的
プログラミングにおいてプログラムの変更に共ない実行結果なども変更される
プログラムの変更に対応する圏を構築し、その構造を調べる
圏の構造から導出される性質からソフトウェア開発に有用な仕組みを提案する
本研究ではプログラムの変更をMonadとして定義し、Monad によって構成される圏を解析する
近況報告
TODO
そろそろ卒研まとめを始めたいです
colimit of delta monad
Sample : Bubble Sort
TODO
Delta によってプログラムの全ての変更が表現できるか?
Functor なのでいけると思ってます
無限の変更を Delta によって書けるか
List で書けばいけるのでは(まだ)
Delta によって構成される limit とは
先生とやりました
卒研のまとめ
Technical English Presentation でもうスライドを作り始めます
ポジションペーパが12月なのでそろそろ卒論書こうかと思っています
方向性の確認だけしたい
特に研究目的
limit of delta monad
先生と対応を考えてました
limit
index category の形状は preorderd sets だと思ってます
has id, has pull back
colimit of delta monnad
colimit に相当するのは mercurial repository のような何か
全ての変更を持つDelta
任意の変更段階を生成できる
おそらく list で表現するとその index になる
equalizer, product of delta monnad
pull back があるので equalizer もある
おそらく mercurial の merge の non-conflict 部分
id があるので product もある
任意の変更段階を対にできる
parallel debugger の理論的背景
and more?
indexed category のパターンを調べようかと思ってます
