# HG changeset patch # User Yasutaka Higa # Date 1423708130 -32400 # Node ID ed97e5de348d3eaa9d0887557ab1a46ce7322ab7 # Parent c684abcc781b843e9b2c8a431e8a393f06113bd3 Add todo list diff -r c684abcc781b -r ed97e5de348d appendix.tex --- a/appendix.tex Wed Feb 11 13:12:38 2015 +0900 +++ b/appendix.tex Thu Feb 12 11:28:50 2015 +0900 @@ -1,2 +1,19 @@ % TODO: 実験環境 % TODO: Delta と DeltaM の本体 + +% TODO list +指摘分リスト + 研究目的 -> プログラムの変更を形式化する + in Functional Programming は chapter に + category とかは分かってますよアピールなので + 何を書くかのダイジェスト + 飛ばしても良い旨 +Delta Monad の merit + 2章に書いて良い + parallel debugger + colimit +Monad の解説 + 序論で入れて良い +haskell code + module とか :: とかも書く +などは使わない