Mercurial > hg > Papers > 2015 > atton-thesis

changeset 29:ed97e5de348d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add todo list
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Thu, 12 Feb 2015 11:28:50 +0900
parents c684abcc781b
children 67d79c18a276
files appendix.tex
diffstat 1 files changed, 17 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 とか :: とかも書く
+などは使わない