Mercurial > hg > Papers > 2015 > atton-thesis

annotate mindmap/mindmap.mm @ 12:11015b94a5cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add figures category
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 08 Feb 2015 12:19:30 +0900
parents d8386a964947
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 <map version="1.0.1">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 <node CREATED="1422949791529" ID="ID_1248140398" MODIFIED="1422949804941" TEXT="Categorical Formalization for Program Modification">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 <node CREATED="1422949835922" ID="ID_1426063364" MODIFIED="1422949839172" POSITION="right" TEXT="Category">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 <node CREATED="1422949860903" ID="ID_1292695301" MODIFIED="1422949916428" TEXT="Category">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 <node CREATED="1422949866542" ID="ID_1518583103" MODIFIED="1422949868440" TEXT="object"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 <node CREATED="1422949868693" ID="ID_415242676" MODIFIED="1422949871944" TEXT="morphism"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 <node CREATED="1422949872157" ID="ID_357562664" MODIFIED="1422949875175" TEXT="arrow composition"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 <node CREATED="1422949904913" ID="ID_1689417330" MODIFIED="1422949919057" TEXT="Functor">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 <node CREATED="1422949919058" ID="ID_1189883928" MODIFIED="1422949921851" TEXT="functor-laws"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 <node CREATED="1422949923200" ID="ID_1358081223" MODIFIED="1422949927570" TEXT="natural transformation"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 <node CREATED="1422949930607" ID="ID_1546681698" MODIFIED="1422949932624" TEXT="Monad">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 <node CREATED="1422949932625" ID="ID_686090142" MODIFIED="1422949933778" TEXT="mu"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 <node CREATED="1422949934015" ID="ID_1478454300" MODIFIED="1422949934682" TEXT="eta"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 <node CREATED="1422949934919" ID="ID_496949840" MODIFIED="1422949936314" TEXT="monad-laws"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 <node CREATED="1422949938327" ID="ID_324416662" MODIFIED="1422949942353" TEXT="Kleisli Triple"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 <node CREATED="1422950034982" ID="ID_903584038" MODIFIED="1422950165676" TEXT="Details">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 <node CREATED="1422949839408" ID="ID_1137787025" MODIFIED="1422949842274" TEXT="Product"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 <node CREATED="1422949843352" ID="ID_1693669846" MODIFIED="1422949845923" TEXT="CoProduct"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 <node CREATED="1422949846807" ID="ID_1543846313" MODIFIED="1422949849354" TEXT="Limit"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 <node CREATED="1422949850023" ID="ID_1212007111" MODIFIED="1422949852097" TEXT="CoLimit"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 <node CREATED="1422950168729" ID="ID_552214019" MODIFIED="1422950172819" TEXT="Equalizer"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 <node CREATED="1422950173065" ID="ID_486753790" MODIFIED="1422950175819" TEXT="CoEqualizer"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 <node CREATED="1422950176360" ID="ID_15015375" MODIFIED="1422950201097" TEXT="Proof through Indexed Category">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 <node CREATED="1422950538510" ID="ID_146756811" MODIFIED="1422950548362" TEXT="Introduction to higher order categorical logic"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 <node CREATED="1422950167033" ID="ID_1012510608" MODIFIED="1422950189114" TEXT="Adjoint">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 <node CREATED="1422950431432" ID="ID_1364735058" MODIFIED="1422950432226" TEXT="?"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 <node CREATED="1422950210301" ID="ID_1162629391" MODIFIED="1422950275793" TEXT="Monad in Functional Programming">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 <node CREATED="1422950218132" ID="ID_275907320" MODIFIED="1422950233440" TEXT="Notions of Computations and Monads">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 <node CREATED="1422950234587" ID="ID_700434335" MODIFIED="1422950235525" TEXT="moggi"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 <node CREATED="1422950236802" ID="ID_1229215612" MODIFIED="1422950244626" TEXT="examples of monads">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 <node CREATED="1422950244627" ID="ID_916207265" MODIFIED="1422950246716" TEXT="fail"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 <node CREATED="1422950247297" ID="ID_1502867290" MODIFIED="1422950250804" TEXT="non-determinism"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 <node CREATED="1422950251273" ID="ID_649095094" MODIFIED="1422950254907" TEXT="interactive input"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 <node CREATED="1422950293172" ID="ID_466802075" MODIFIED="1422950305571" TEXT="Categorical Definition of Delta?"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 <node CREATED="1422950445399" ID="ID_1843980612" MODIFIED="1422950448079" TEXT="morphisms">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 <node CREATED="1422950448080" ID="ID_1951830123" MODIFIED="1422950452073" TEXT="isomorphism"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 <node CREATED="1422950452334" ID="ID_1834101596" MODIFIED="1422950457080" TEXT="automorphism"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 <node CREATED="1422950314563" ID="ID_37453596" MODIFIED="1422950317077" POSITION="left" TEXT="Proofs">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 <node CREATED="1422950317403" ID="ID_1897119854" MODIFIED="1422950322693" TEXT="First Order Logic">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 <node CREATED="1422950323025" ID="ID_1209193790" MODIFIED="1422950323025" TEXT=""/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 <node CREATED="1422950326153" ID="ID_1972293244" MODIFIED="1422950331796" TEXT="Natural Deduction">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 <node CREATED="1422950333112" ID="ID_1751485732" MODIFIED="1422950360961" TEXT="imply"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 <node CREATED="1422950350591" ID="ID_1918801475" MODIFIED="1422950357378" TEXT="or"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 <node CREATED="1422950352360" ID="ID_868465468" MODIFIED="1422950354026" TEXT="and"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 <node CREATED="1422950406786" ID="ID_1244618529" MODIFIED="1422950411617" TEXT="Quantifiers">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 <node CREATED="1422950411618" ID="ID_1696313791" MODIFIED="1422950414228" TEXT="universal"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 <node CREATED="1422950414458" ID="ID_614614777" MODIFIED="1422950417188" TEXT="exsistentional"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 <node CREATED="1422950385771" ID="ID_1341835209" MODIFIED="1422950399809" TEXT="Sequent Calculs ?"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 <node CREATED="1422950418761" ID="ID_502598820" MODIFIED="1422950425157" TEXT="Curry-Howard Isomorphism">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 <node CREATED="1422950468660" ID="ID_1065234683" MODIFIED="1422950474039" TEXT="Proofs and Types">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 <node CREATED="1422950477468" ID="ID_224493054" MODIFIED="1422950484342" TEXT="girard"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 <node CREATED="1422950865446" ID="ID_1790265469" MODIFIED="1422950873384" TEXT="proof methods in types">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 <node CREATED="1422950873934" ID="ID_871077428" MODIFIED="1422950875352" TEXT="refl"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 <node CREATED="1422950875806" ID="ID_1411556617" MODIFIED="1422950876416" TEXT="sym"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 <node CREATED="1422950876661" ID="ID_1072901715" MODIFIED="1422950880047" TEXT="cong"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 <node CREATED="1422950880261" ID="ID_1489517351" MODIFIED="1422950881015" TEXT="trans"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 <node CREATED="1422950561211" ID="ID_807654330" MODIFIED="1422950566478" TEXT="Dependent types">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 <node CREATED="1422950566691" ID="ID_1735441355" MODIFIED="1422950568799" TEXT="agda">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 <node CREATED="1422950885317" ID="ID_100810535" MODIFIED="1422950887591" TEXT="reasoning"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 <node CREATED="1422950891332" ID="ID_464079116" MODIFIED="1422950896806" TEXT="Set"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 <node CREATED="1422950897108" ID="ID_879720519" MODIFIED="1422950900150" TEXT="record">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 <node CREATED="1422950909298" ID="ID_730652438" MODIFIED="1422950916244" TEXT="Set of laws"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 <node CREATED="1422950900939" ID="ID_989740172" MODIFIED="1422950903019" TEXT="examples">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 <node CREATED="1422950903020" ID="ID_1860288870" MODIFIED="1422950904917" TEXT="nat?"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 <node CREATED="1422950905299" ID="ID_603719171" MODIFIED="1422950906221" TEXT="list?"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 <node CREATED="1422950920921" ID="ID_1186471863" MODIFIED="1422950921788" TEXT="data"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 <node CREATED="1422951522712" ID="ID_565512040" MODIFIED="1422951524707" TEXT="level"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 <node CREATED="1422951526632" ID="ID_415549755" MODIFIED="1422951528314" TEXT="equality"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 <node CREATED="1422950570299" ID="ID_1923422030" MODIFIED="1422950707988" POSITION="right" TEXT="Delta Definitions">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 <node CREATED="1422950710220" ID="ID_1466431811" MODIFIED="1422950712444" TEXT="languages ">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 <node CREATED="1422950578931" ID="ID_1236151800" MODIFIED="1422950581988" TEXT="Haskell">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 <node CREATED="1422950717493" ID="ID_115506279" MODIFIED="1422950719479" TEXT="for sample"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 <node CREATED="1422950941367" ID="ID_1584306276" MODIFIED="1422950946257" TEXT="not have constraints"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 <node CREATED="1422950582218" ID="ID_1801350600" MODIFIED="1422950583204" TEXT="Agda">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 <node CREATED="1422950720876" ID="ID_264850344" MODIFIED="1422950729046" TEXT="for proofs"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 <node CREATED="1422950948597" ID="ID_1984925220" MODIFIED="1422950951014" TEXT="have constraints">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 <node CREATED="1422950951015" ID="ID_75060203" MODIFIED="1422950952241" TEXT="mu"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 <node CREATED="1422950952454" ID="ID_623824422" MODIFIED="1422950953273" TEXT="eta"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 <node CREATED="1422950954894" ID="ID_838801152" MODIFIED="1422950956265" TEXT="and more"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 <node CREATED="1422950583474" ID="ID_305480205" MODIFIED="1422950585378" TEXT="target">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 <node CREATED="1422950585379" ID="ID_177246050" MODIFIED="1422950614171" TEXT="automatically detection enbug">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 <node CREATED="1422950617726" ID="ID_114356602" MODIFIED="1422950644014" TEXT="not used property"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 <node CREATED="1422950650682" ID="ID_567585682" MODIFIED="1422950657991" TEXT="formalizetion of program modification">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 <node CREATED="1422950658986" ID="ID_45139927" MODIFIED="1422950661821" TEXT="repository"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 <node CREATED="1422950662113" ID="ID_1658619159" MODIFIED="1422950665604" TEXT="development methods"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 <node CREATED="1422950666346" ID="ID_1739084420" MODIFIED="1422950667356" TEXT="tests"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 <node CREATED="1422951232715" ID="ID_1132611118" MODIFIED="1422951236174" TEXT="Improve Reliance">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 <node CREATED="1422951239307" ID="ID_549944525" MODIFIED="1422951241189" TEXT="Program"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118 <node CREATED="1422951242331" ID="ID_1316714432" MODIFIED="1422951247165" TEXT="debug methods">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 <node CREATED="1422951259569" ID="ID_1234713209" MODIFIED="1422951262588" TEXT="parallel debuger"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 <node CREATED="1422950689487" ID="ID_488480945" MODIFIED="1422950696545" TEXT="definitions">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 <node CREATED="1422950750178" ID="ID_1039114059" MODIFIED="1422950762395" TEXT="list with constraints">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 <node CREATED="1422950762855" ID="ID_699012514" MODIFIED="1422950774063" TEXT="non-nil list"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 <node CREATED="1422950769103" ID="ID_1886159495" MODIFIED="1422950807640" TEXT="all delta have same versions"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
127 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 <node CREATED="1422950811956" ID="ID_958052648" MODIFIED="1422950840557" TEXT="functor">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
129 <node CREATED="1422950817412" ID="ID_1888805595" MODIFIED="1422950819629" TEXT="in haskell">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 <node CREATED="1422950832362" ID="ID_1817224697" MODIFIED="1422950833100" TEXT="fmap"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
132 <node CREATED="1422950845169" ID="ID_1349607548" MODIFIED="1422950847042" TEXT="in agda">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 <node CREATED="1422950847042" ID="ID_1086817747" MODIFIED="1422950848163" TEXT="fmap"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
134 <node CREATED="1422950848640" ID="ID_1034792943" MODIFIED="1422950854024" TEXT="proofs">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
135 <node CREATED="1422950854025" ID="ID_1413122621" MODIFIED="1422950855642" TEXT="preserve-id"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 <node CREATED="1422950855855" ID="ID_1876757441" MODIFIED="1422950859042" TEXT="covariant"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
137 <node CREATED="1422950859335" ID="ID_1882223604" MODIFIED="1422950861433" TEXT="fmap-equiv"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
139 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 <node CREATED="1422950820827" ID="ID_1537822947" MODIFIED="1422950822715" TEXT="monad">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
142 <node CREATED="1422950822716" ID="ID_1566056735" MODIFIED="1422950827589" TEXT="in haskell">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 <node CREATED="1422950827818" ID="ID_755996969" MODIFIED="1422950829516" TEXT="bind"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 <node CREATED="1422950830314" ID="ID_146123704" MODIFIED="1422950831236" TEXT="return"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 <node CREATED="1422950966101" ID="ID_1913271013" MODIFIED="1422950967909" TEXT="in agda">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 <node CREATED="1422950967910" ID="ID_1404401270" MODIFIED="1422950969007" TEXT="eta"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 <node CREATED="1422950969221" ID="ID_388891102" MODIFIED="1422950969871" TEXT="mu"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
149 <node CREATED="1422950970261" ID="ID_439903450" MODIFIED="1422950978275" TEXT="proofs">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 <node CREATED="1422950983890" ID="ID_1297976526" MODIFIED="1422950989755" TEXT="unity-law">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 <node CREATED="1422950989756" ID="ID_1510051038" MODIFIED="1422950990677" TEXT="right"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 <node CREATED="1422950990882" ID="ID_226447138" MODIFIED="1422950992349" TEXT="left"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
153 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
154 <node CREATED="1422950993306" ID="ID_502547745" MODIFIED="1422950995437" TEXT="association-law"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
155 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
156 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
157 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
158 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
159 <node CREATED="1422950999250" ID="ID_1737277691" MODIFIED="1422951001922" TEXT="with Monad">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
160 <node CREATED="1422951001923" ID="ID_1385758476" MODIFIED="1422951007107" TEXT="Inner Monad constraints">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
161 <node CREATED="1422951008785" ID="ID_460845815" MODIFIED="1422951046176" TEXT="functor">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
162 <node CREATED="1422951050237" ID="ID_1621733487" MODIFIED="1422951057039" TEXT="preserve-id"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
163 <node CREATED="1422951057291" ID="ID_987100412" MODIFIED="1422951059423" TEXT="covariant"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 <node CREATED="1422951059659" ID="ID_1739448000" MODIFIED="1422951061399" TEXT="fmap-equiv"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166 <node CREATED="1422951046390" ID="ID_1429702029" MODIFIED="1422951047456" TEXT="monad">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 <node CREATED="1422951063044" ID="ID_968778460" MODIFIED="1422951070803" TEXT="unity-law">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
168 <node CREATED="1422951070804" ID="ID_1073476437" MODIFIED="1422951072181" TEXT="right"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
169 <node CREATED="1422951072659" ID="ID_1444573713" MODIFIED="1422951074005" TEXT="left"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 <node CREATED="1422951074851" ID="ID_1258522947" MODIFIED="1422951077701" TEXT="association-law"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
173 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
174 <node CREATED="1422951009640" ID="ID_1149767856" MODIFIED="1422951011105" TEXT="target">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
175 <node CREATED="1422951011106" ID="ID_1298654118" MODIFIED="1422951015280" TEXT="compose monads">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 <node CREATED="1422951015281" ID="ID_280484761" MODIFIED="1422951136207" TEXT="general program use monads in haskell">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
177 <node CREATED="1422951156651" ID="ID_1406086205" MODIFIED="1422951160565" TEXT="real examples"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
178 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
179 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 <node CREATED="1422951166914" ID="ID_82359367" MODIFIED="1422951184688" TEXT="prove delta modulallity">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
181 <node CREATED="1422951184689" ID="ID_878683239" MODIFIED="1422951207209" TEXT="Delta be able to notate all program modification"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
182 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
183 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
184 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 <node CREATED="1422951467878" ID="ID_1815249376" MODIFIED="1422951469174" TEXT="kinds">
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 <node CREATED="1422951469174" ID="ID_19945496" MODIFIED="1422951471615" TEXT="pair delta"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 <node CREATED="1422951471853" ID="ID_1802255885" MODIFIED="1422951477743" TEXT="infinite delta"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
188 <node CREATED="1422951477997" ID="ID_827291344" MODIFIED="1422951484720" TEXT="length fixed infinite delta"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
189 <node CREATED="1422951485011" ID="ID_1840511542" MODIFIED="1422951493414" TEXT="length fixed infinite delta with monad"/>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
190 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
191 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 </node>
d8386a964947 Add mind map
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 </map>