% TODO: 実験環境
% TODO: Delta と DeltaM の本体

% TODO list
指摘分リスト
    研究目的 -> プログラムの変更を形式化する
    in Functional Programming は chapter に
    category とかは分かってますよアピールなので
        何を書くかのダイジェスト
        飛ばしても良い旨
Delta Monad の merit
    2章に書いて良い
    parallel debugger
    colimit
Monad の解説
    序論で入れて良い
haskell code
    module とか :: とかも書く
などは使わない