changeset 2:aeeafe537a17

Add Mindmap
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 23 Feb 2015 20:28:57 +0900
parents 7ae8b1797711
children 11a86cf869e2
files mindmap/mindmap.mm
diffstat 1 files changed, 150 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mindmap/mindmap.mm	Mon Feb 23 20:28:57 2015 +0900
@@ -0,0 +1,150 @@
+<map version="1.0.1">
+<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
+<node CREATED="1424688222803" ID="ID_557506290" MODIFIED="1424690769770" TEXT="Formalization of Program Modification using Monad">
+<node CREATED="1424688263973" ID="ID_874946976" MODIFIED="1424688267315" POSITION="right" TEXT="Introduction">
+<node CREATED="1424688267316" ID="ID_1486185173" MODIFIED="1424688272178" TEXT="Why formalize">
+<node CREATED="1424688272180" ID="ID_645524619" MODIFIED="1424688276581" TEXT="delete enbug">
+<node CREATED="1424688308508" ID="ID_1773362683" MODIFIED="1424688311227" TEXT="parallel debugger"/>
+</node>
+<node CREATED="1424688276914" ID="ID_1249512260" MODIFIED="1424688296352" TEXT="improve reliability">
+<node CREATED="1424688296354" ID="ID_1623590898" MODIFIED="1424688300412" TEXT="non property"/>
+</node>
+<node CREATED="1424688312799" ID="ID_501083220" MODIFIED="1424688342554" TEXT="new debug method">
+<node CREATED="1424688325889" ID="ID_197258029" MODIFIED="1424688332827" TEXT="parallel execution"/>
+</node>
+</node>
+</node>
+<node CREATED="1424688351654" ID="ID_545256406" MODIFIED="1424688355414" POSITION="left" TEXT="Definitions">
+<node CREATED="1424688355415" ID="ID_83029532" MODIFIED="1424688356710" TEXT="delta">
+<node CREATED="1424688356711" ID="ID_964445" MODIFIED="1424688358647" TEXT="haskell">
+<node CREATED="1424688377709" ID="ID_1950817218" MODIFIED="1424688393551" TEXT="elements">
+<node CREATED="1424688362750" ID="ID_774112974" MODIFIED="1424688365082" TEXT="type class">
+<node CREATED="1424688358648" ID="ID_1286477115" MODIFIED="1424688361250" TEXT="functor"/>
+<node CREATED="1424688361495" ID="ID_102031235" MODIFIED="1424688362490" TEXT="monad"/>
+<node CREATED="1424688543240" ID="ID_245284962" MODIFIED="1424688545573" TEXT="applicative"/>
+</node>
+<node CREATED="1424688365342" ID="ID_909984940" MODIFIED="1424688366681" TEXT="instance"/>
+<node CREATED="1424688369805" ID="ID_603389129" MODIFIED="1424688372961" TEXT="pattern match"/>
+<node CREATED="1424688549072" ID="ID_1257194072" MODIFIED="1424688551619" TEXT="type variable"/>
+</node>
+<node CREATED="1424688532280" ID="ID_1589259863" MODIFIED="1424688571456" TEXT="list liked structure"/>
+</node>
+<node CREATED="1424690462188" ID="ID_1340897009" MODIFIED="1424690471067" TEXT="categorical">
+<node CREATED="1424690471068" ID="ID_1259209489" MODIFIED="1424690472863" TEXT="like moggi"/>
+<node CREATED="1424690473811" ID="ID_390779943" MODIFIED="1424690475263" TEXT="T A"/>
+</node>
+</node>
+<node CREATED="1424688396005" ID="ID_1120885327" MODIFIED="1424688398102" TEXT="deltaM">
+<node CREATED="1424688398103" ID="ID_327773209" MODIFIED="1424688404536" TEXT="unDeltaM"/>
+<node CREATED="1424688404797" ID="ID_1500118489" MODIFIED="1424688407888" TEXT="headDeltaM"/>
+<node CREATED="1424688408317" ID="ID_1464299321" MODIFIED="1424688413279" TEXT="tailDeltaM">
+<node CREATED="1424688413796" ID="ID_291730597" MODIFIED="1424688413796" TEXT=""/>
+</node>
+<node CREATED="1424688415691" ID="ID_1099418724" MODIFIED="1424688455326" TEXT="why not use MonadTrans?">
+<node CREATED="1424688425532" ID="ID_473464507" MODIFIED="1424688469353" TEXT="MonadTrans abstracted outer monad"/>
+<node CREATED="1424688473827" ID="ID_1365059525" MODIFIED="1424688494437" TEXT="delta must be most outer"/>
+</node>
+</node>
+</node>
+<node CREATED="1424688580638" ID="ID_458924032" MODIFIED="1424688582527" POSITION="right" TEXT="proofs">
+<node CREATED="1424688582528" ID="ID_63452498" MODIFIED="1424688585778" TEXT="functor-laws">
+<node CREATED="1424688601237" ID="ID_1726543747" MODIFIED="1424688645319" TEXT="preserve-id"/>
+<node CREATED="1424688645548" ID="ID_15914929" MODIFIED="1424688648484" TEXT="covariant">
+<node CREATED="1424688648485" ID="ID_193318564" MODIFIED="1424688655328" TEXT="compose function"/>
+</node>
+</node>
+<node CREATED="1424688586014" ID="ID_220484891" MODIFIED="1424688587646" TEXT="monad-laws">
+<node CREATED="1424688587647" ID="ID_171793122" MODIFIED="1424688590337" TEXT="liked category">
+<node CREATED="1424688596853" ID="ID_957437005" MODIFIED="1424688597985" TEXT="eta"/>
+<node CREATED="1424688598222" ID="ID_287743613" MODIFIED="1424688599234" TEXT="mu"/>
+<node CREATED="1424690212374" ID="ID_1033381637" MODIFIED="1424690217265" TEXT="unity-law"/>
+<node CREATED="1424690217542" ID="ID_966204570" MODIFIED="1424690220976" TEXT="association-law"/>
+</node>
+<node CREATED="1424688590639" ID="ID_1670178328" MODIFIED="1424688595745" TEXT="non bind-style"/>
+</node>
+<node CREATED="1424688605165" ID="ID_710102779" MODIFIED="1424688607637" TEXT="constraints">
+<node CREATED="1424688607638" ID="ID_1871581404" MODIFIED="1424688614332" TEXT="all delta has same versions"/>
+<node CREATED="1424690294946" ID="ID_1306939068" MODIFIED="1424690315677" TEXT="versions more 1"/>
+</node>
+<node CREATED="1424688629325" ID="ID_1969275180" MODIFIED="1424688632549" TEXT="bibliography">
+<node CREATED="1424688632550" ID="ID_895377150" MODIFIED="1424688635872" TEXT="Composing Monad"/>
+</node>
+<node CREATED="1424690203622" ID="ID_106009560" MODIFIED="1424690205278" TEXT="Agda">
+<node CREATED="1424690251373" ID="ID_210796731" MODIFIED="1424690261249" TEXT="Curry-Howard Isomorphism"/>
+<node CREATED="1424690270643" ID="ID_1764595969" MODIFIED="1424690272038" TEXT="elements">
+<node CREATED="1424690205279" ID="ID_1514450546" MODIFIED="1424690248719" TEXT="syntax"/>
+<node CREATED="1424690267284" ID="ID_866533663" MODIFIED="1424690269054" TEXT="record"/>
+<node CREATED="1424690249020" ID="ID_237993762" MODIFIED="1424690250815" TEXT="data"/>
+</node>
+</node>
+</node>
+<node CREATED="1424690386654" ID="ID_1060402606" MODIFIED="1424690392786" POSITION="left" TEXT="paper">
+<node CREATED="1424690393110" ID="ID_98979005" MODIFIED="1424690395214" TEXT="introduction">
+<node CREATED="1424690395215" ID="ID_777174201" MODIFIED="1424690397305" TEXT="why formalize"/>
+</node>
+<node CREATED="1424690399142" ID="ID_1747642807" MODIFIED="1424690497610" TEXT="definitions">
+<node CREATED="1424690497611" ID="ID_1693414968" MODIFIED="1424690501237" TEXT="delta"/>
+<node CREATED="1424690511306" ID="ID_1566000412" MODIFIED="1424690517732" TEXT="like meta computaiton?"/>
+</node>
+<node CREATED="1424690502850" ID="ID_1168674371" MODIFIED="1424690504474" TEXT="example">
+<node CREATED="1424690504475" ID="ID_1616672802" MODIFIED="1424690506133" TEXT="delta"/>
+<node CREATED="1424690519745" ID="ID_1780001094" MODIFIED="1424690524739" TEXT="numberCount">
+<node CREATED="1424690525129" ID="ID_1559007272" MODIFIED="1424690536185" TEXT="non delta version">
+<node CREATED="1424690536186" ID="ID_407196116" MODIFIED="1424690539043" TEXT="prime"/>
+<node CREATED="1424690539280" ID="ID_536107576" MODIFIED="1424690540548" TEXT="even"/>
+</node>
+<node CREATED="1424690543664" ID="ID_1417512444" MODIFIED="1424690546227" TEXT="delta version"/>
+</node>
+</node>
+<node CREATED="1424690552351" ID="ID_328666702" MODIFIED="1424690565919" TEXT="combine other monads">
+<node CREATED="1424690565920" ID="ID_1984187158" MODIFIED="1424690570106" TEXT="DeltaM"/>
+<node CREATED="1424690570535" ID="ID_678249563" MODIFIED="1424690577036" TEXT="why not use MonadTrans"/>
+</node>
+<node CREATED="1424690579831" ID="ID_311743774" MODIFIED="1424690585255" TEXT="example">
+<node CREATED="1424690585256" ID="ID_322165294" MODIFIED="1424690586377" TEXT="DeltaM"/>
+<node CREATED="1424690586606" ID="ID_1756764624" MODIFIED="1424690590150" TEXT="NumebrCount">
+<node CREATED="1424690590151" ID="ID_1175775484" MODIFIED="1424690592826" TEXT="with Writer"/>
+</node>
+</node>
+<node CREATED="1424690593790" ID="ID_421504002" MODIFIED="1424690647107" TEXT="conclusion and future works">
+<node CREATED="1424690911912" ID="ID_730775506" MODIFIED="1424690913324" TEXT="merits"/>
+<node CREATED="1424690913632" ID="ID_303296964" MODIFIED="1424690921939" TEXT="future works"/>
+</node>
+</node>
+<node CREATED="1424690406366" ID="ID_1429591212" MODIFIED="1424690416282" POSITION="right" TEXT="examlpes">
+<node CREATED="1424690412343" ID="ID_169210074" MODIFIED="1424690414457" TEXT="delta">
+<node CREATED="1424690419325" ID="ID_1324005371" MODIFIED="1424690429215" TEXT="numberCount"/>
+</node>
+<node CREATED="1424690414670" ID="ID_1614338517" MODIFIED="1424690415729" TEXT="deltaM">
+<node CREATED="1424690431261" ID="ID_1696660939" MODIFIED="1424690433648" TEXT="numberCount"/>
+<node CREATED="1424690433869" ID="ID_781581000" MODIFIED="1424690436406" TEXT="with Writer"/>
+</node>
+<node CREATED="1424690451426" ID="ID_1255521703" MODIFIED="1424690453223" TEXT="non-delta"/>
+</node>
+<node CREATED="1424690598397" ID="ID_1266169067" MODIFIED="1424690603016" POSITION="left" TEXT="future works">
+<node CREATED="1424690603310" ID="ID_866572764" MODIFIED="1424690611553" TEXT="categorical analysis"/>
+<node CREATED="1424690620453" ID="ID_1484916861" MODIFIED="1424690636816" TEXT="define modification range"/>
+<node CREATED="1424690832524" ID="ID_1821782718" MODIFIED="1424690837925" TEXT="tree-liked version structure"/>
+</node>
+<node CREATED="1424690648786" ID="ID_206834678" MODIFIED="1424690650691" POSITION="right" TEXT="merit">
+<node CREATED="1424690650692" ID="ID_900146568" MODIFIED="1424690663444" TEXT="be able execute versions">
+<node CREATED="1424690663445" ID="ID_61358898" MODIFIED="1424690669678" TEXT="stable/develop"/>
+<node CREATED="1424690670347" ID="ID_1155171152" MODIFIED="1424690676677" TEXT="parallel debugger"/>
+</node>
+<node CREATED="1424690678946" ID="ID_1054542778" MODIFIED="1424690742011" TEXT="new feature for programming language">
+<node CREATED="1424690742012" ID="ID_362515331" MODIFIED="1424690748707" TEXT="repository builtin language"/>
+<node CREATED="1424690748984" ID="ID_432225481" MODIFIED="1424690761428" TEXT="defineable modification operators"/>
+</node>
+<node CREATED="1424690813341" ID="ID_481484189" MODIFIED="1424690824172" TEXT="formal definition of  VCS">
+<node CREATED="1424690824173" ID="ID_61278586" MODIFIED="1424690825976" TEXT="git"/>
+<node CREATED="1424690826396" ID="ID_1273207140" MODIFIED="1424690827654" TEXT="mercurial"/>
+<node CREATED="1424690827915" ID="ID_1317067209" MODIFIED="1424690829959" TEXT="tree-like"/>
+</node>
+<node CREATED="1424690840220" ID="ID_480415788" MODIFIED="1424690871045" TEXT="test trigger">
+<node CREATED="1424690872226" ID="ID_1996564647" MODIFIED="1424690876389" TEXT="model checking"/>
+<node CREATED="1424690884161" ID="ID_222407515" MODIFIED="1424690895492" TEXT="limit of category"/>
+</node>
+<node CREATED="1424690878641" ID="ID_1285518716" MODIFIED="1424690881333" TEXT="safe refactoring"/>
+</node>
+</node>
+</map>