title: Categorical Semantics of Program Modification author: Yasutaka Higa cover: lang: Japanese # 研究目的 * プログラミングにおいてプログラムの変更に共ない実行結果なども変更される * プログラムの変更に対応する圏を構築し、その構造を調べる * 圏の構造から導出される性質からソフトウェア開発に有用な仕組みを提案する * 本研究ではプログラムの変更を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 のパターンを調べようかと思ってます