Mercurial > hg > Papers > 2015 > atton-sigse

--- a/mindmap.mm	Wed Dec 10 16:57:49 2014 +0900
+++ b/mindmap.mm	Thu Dec 11 12:11:37 2014 +0900
@@ -1,6 +1,6 @@
 <map version="1.0.1">
 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
-<node CREATED="1418180915266" ID="ID_91344823" MODIFIED="1418180918413" TEXT="&#x5f62;&#x5f0f;&#x624b;&#x6cd5; &#xff0d;&#x7523;&#x5b66;&#x9023;&#x643a;&#x3067;&#x666e;&#x53ca;&#x62e1;&#x5927;&#x3092;&#x76ee;&#x6307;&#x3059;&#xff0d;">
+<node CREATED="1418180915266" ID="ID_91344823" MODIFIED="1418264850714" TEXT="&#x5f62;&#x5f0f;&#x624b;&#x6cd5; &#xff0d;&#x7523;&#x5b66;&#x9023;&#x643a;&#x3067;&#x666e;&#x53ca;&#x62e1;&#x5927;&#x3092;&#x76ee;&#x6307;&#x3059;&#xff0d;">
 <node CREATED="1418180919812" ID="ID_1639973897" MODIFIED="1418180981990" POSITION="right" TEXT="&#x8a3c;&#x660e;&#x3059;&#x308b;&#x30a2;&#x30d7;&#x30ed;&#x30fc;&#x30c1;">
 <node CREATED="1418180981992" ID="ID_1157185658" MODIFIED="1418180994566" TEXT="&#x5272;&#x3068;1&#x30c7;&#x30fc;&#x30bf;&#x578b;&#x306b;&#x5bfe;&#x3057;&#x3066;&#x30b3;&#x30b9;&#x30c8;&#x304c;&#x9ad8;&#x3044;">
 <node CREATED="1418180994567" ID="ID_905788309" MODIFIED="1418180997440" TEXT="&#x8a3c;&#x660e;&#x3092;&#x66f8;&#x304f;&#x306e;&#x306b;">
@@ -200,5 +200,105 @@
 </node>
 </node>
 </node>
+<node CREATED="1418264851770" ID="ID_269756551" MODIFIED="1418264858305" POSITION="right" TEXT="&#x3042;&#x306a;&#x305f;&#x306f;&#x4f55;&#x8005;&#x304b;">
+<node CREATED="1418264858306" ID="ID_1735151494" MODIFIED="1418264871355" TEXT="&#x7409;&#x5927;ie">
+<node CREATED="1418265394067" ID="ID_113042345" MODIFIED="1418265398133" TEXT="B4"/>
+<node CREATED="1418265398403" ID="ID_1016158888" MODIFIED="1418265404238" TEXT="cr-ryukyu"/>
+</node>
+<node CREATED="1418264871777" ID="ID_438116913" MODIFIED="1418264879579" TEXT="Agda &#x66f8;&#x3044;&#x3066;&#x4e00;&#x5e74;&#x304f;&#x3089;&#x3044;">
+<node CREATED="1418265025625" ID="ID_1191217011" MODIFIED="1418265030925" TEXT="Proofs and Types"/>
+<node CREATED="1418265031202" ID="ID_534861136" MODIFIED="1418265036444" TEXT="Category"/>
+<node CREATED="1418265041897" ID="ID_1702681357" MODIFIED="1418265073282" TEXT="&#x8208;&#x5473;&#x3042;&#x308b;&#x3051;&#x308c;&#x3069;&#x307e;&#x3060;">
+<node CREATED="1418265073744" ID="ID_608556658" MODIFIED="1418265076674" TEXT="&#x30e2;&#x30c7;&#x30eb;&#x30c1;&#x30a7;&#x30c3;&#x30af;"/>
+<node CREATED="1418265076895" ID="ID_1072437552" MODIFIED="1418265079290" TEXT="&#x8a00;&#x8a9e;&#x51e6;&#x7406;&#x7cfb;"/>
+<node CREATED="1418265079543" ID="ID_1440072245" MODIFIED="1418265082314" TEXT="&#x30c6;&#x30b9;&#x30c8;"/>
+<node CREATED="1418265082464" ID="ID_897804660" MODIFIED="1418265085459" TEXT="&#x30c6;&#x30b9;&#x30c8;&#x81ea;&#x52d5;&#x751f;&#x6210;"/>
+<node CREATED="1418265085704" ID="ID_1598131497" MODIFIED="1418265087891" TEXT="&#x9759;&#x7684;&#x89e3;&#x6790;"/>
+<node CREATED="1418265412690" ID="ID_1262388893" MODIFIED="1418265414843" TEXT="Type">
+<node CREATED="1418265423370" ID="ID_625273719" MODIFIED="1418265425589" TEXT="dependent"/>
+<node CREATED="1418265425817" ID="ID_1403542222" MODIFIED="1418265430836" TEXT="linear"/>
+</node>
+<node CREATED="1418265450153" ID="ID_1946990069" MODIFIED="1418265606238" TEXT="&#x30d0;&#x30b0;&#x306e;&#x4e00;&#x89a7;&#x3068;&#x304b;&#x3082;&#x6700;&#x8fd1;&#x6b32;&#x3057;&#x3044;"/>
+<node CREATED="1418265093288" ID="ID_567024624" MODIFIED="1418265107847" TEXT="&#x305f;&#x3076;&#x3093;&#x4e00;&#x756a;&#x4e2d;&#x5fc3;&#x306b;&#x3042;&#x308b;&#x306e;&#x306f;">
+<node CREATED="1418265107848" ID="ID_813757267" MODIFIED="1418265117442" TEXT="&#x300c;&#x9593;&#x9055;&#x3044;&#x3092;&#x8d77;&#x3053;&#x3057;&#x306b;&#x304f;&#x3044;&#x6a5f;&#x69cb;&#x300d;"/>
+<node CREATED="1418265117878" ID="ID_350406365" MODIFIED="1418265126284" TEXT="&#x300c;&#x9593;&#x9055;&#x3044;&#x3092;&#x6307;&#x6458;&#x3059;&#x308b;&#x6a5f;&#x69cb;&#x300d;"/>
+<node CREATED="1418265126671" ID="ID_796449975" MODIFIED="1418265133569" TEXT="&#x300c;&#x9593;&#x9055;&#x3044;&#x304c;&#x7121;&#x3044;&#x305f;&#x3081;&#x306b;&#x306f;&#x300d;"/>
+<node CREATED="1418265133982" ID="ID_54301794" MODIFIED="1418265137717" TEXT="&#x3068;&#x304b;&#x3060;&#x308d;&#x3046;">
+<node CREATED="1418265137718" ID="ID_306083222" MODIFIED="1418265145839" TEXT="&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x81ea;&#x52d5;&#x7684;&#x306b;&#x9593;&#x9055;&#x3044;&#x3092;&#x6392;&#x9664;&#x3057;&#x305f;&#x3044;"/>
+</node>
+</node>
+</node>
+</node>
+<node CREATED="1418264880049" ID="ID_861006294" MODIFIED="1418264889963" TEXT="Haskell &#x3067;&#x5de8;&#x5927;&#x306a;&#x30b3;&#x30fc;&#x30c9;&#x306f;&#x66f8;&#x3044;&#x305f;&#x3053;&#x3068;&#x7121;&#x3057;">
+<node CREATED="1418265153631" ID="ID_163581378" MODIFIED="1418265159631" TEXT="&#x5b9f;&#x7528;&#x3055;&#x308c;&#x308b;&#x306e;&#x304b;&#x3001;&#x3068;&#x3044;&#x3046;&#x60c5;&#x5831;&#x306f;&#x7121;&#x3057;"/>
+<node CREATED="1418265164373" ID="ID_657050859" MODIFIED="1418265172236" TEXT="&#x3061;&#x306a;&#x307f;&#x306b; ghc &#x8aad;&#x3093;&#x3067;&#x3066;&#x7591;&#x554f;&#x306f;&#x591a;&#x3044;">
+<node CREATED="1418265172237" ID="ID_1204477840" MODIFIED="1418265181027" TEXT="&#x3042;&#x306e;&#x30b5;&#x30a4;&#x30ba;&#x3067;&#x307b;&#x3093;&#x3068;&#x306b;&#x52d5;&#x3044;&#x3066;&#x308b;&#x306e;&#x304c;&#x4e0d;&#x601d;&#x8b70;">
+<node CREATED="1418265181028" ID="ID_295533172" MODIFIED="1418265185910" TEXT="&#x95a2;&#x6570;&#x578b;&#x3068;&#x304b;&#x306e;&#x30e1;&#x30ea;&#x30c3;&#x30c8;&#x3060;&#x3068;&#x3057;&#x3066;"/>
+<node CREATED="1418265186251" ID="ID_705483742" MODIFIED="1418265192423" TEXT="&#x305d;&#x308c;&#x306f;&#x79c1;&#x306f;&#x307e;&#x3060;&#x7406;&#x89e3;&#x3067;&#x304d;&#x3066;&#x306a;&#x3044;"/>
+<node CREATED="1418265192659" ID="ID_717608541" MODIFIED="1418265197245" TEXT="&#x30b3;&#x30b9;&#x30c8;&#x9ad8;&#x3044;&#x3063;&#x3066;&#x3053;&#x3068;&#x306a;&#x306e;&#x304b;&#x306a;"/>
+<node CREATED="1418265473391" ID="ID_1808881427" MODIFIED="1418265477379" TEXT="&#x3082;&#x3057;&#x304f;&#x306f;&#x578b;&#x304c;&#x6b63;&#x7fa9;"/>
+</node>
+<node CREATED="1418265199019" ID="ID_285042699" MODIFIED="1418265204098" TEXT="&#x8a2d;&#x8a08;&#x7684;&#x306b;&#x3069;&#x3046;&#x306a;&#x306e;&#x3001;&#x3063;&#x3066;&#x3057;&#x3066;&#x3044;&#x308b;">
+<node CREATED="1418265204099" ID="ID_1950029502" MODIFIED="1418265210158" TEXT="Monad &#x3067;&#x826f;&#x3044;&#x306e;&#x306f;&#x5206;&#x304b;&#x3063;&#x305f;&#x3051;&#x308c;&#x3069;"/>
+<node CREATED="1418265210634" ID="ID_1624286378" MODIFIED="1418265223276" TEXT="&#x74b0;&#x5883;&#x3064;&#x308c;&#x307e;&#x308f;&#x3057;&#x3066;&#x3069;&#x3053;&#x304c; Pure &#x3068;&#x3044;&#x3046;&#x306e;&#x304b;"/>
+<node CREATED="1418265228170" ID="ID_1200660796" MODIFIED="1418265234237" TEXT="&#x3044;&#x3084;&#x30d1;&#x30d5;&#x30a9;&#x30fc;&#x30de;&#x30f3;&#x30b9;&#x304c;&#x306d;&#x3001;&#x3063;&#x3066;&#x6c17;&#x3082;&#x3057;&#x3066;&#x3044;&#x308b;&#x3051;&#x308c;&#x3069;"/>
+</node>
+</node>
+</node>
+<node CREATED="1418264891259" ID="ID_816418698" MODIFIED="1418265242963" TEXT="Delta &#x3092;&#x3084;&#x3063;&#x3066;&#x307e;&#x3059;">
+<node CREATED="1418264904943" ID="ID_1093313604" MODIFIED="1418264910830" TEXT="&#x5b9f;&#x969b;&#x5f79;&#x306b;&#x7acb;&#x3064;&#x3068;&#x601d;&#x3063;&#x3066;&#x66f8;&#x3044;&#x3066;&#x3044;&#x308b;&#x306e;&#x304b;">
+<node CREATED="1418264910831" ID="ID_1712036891" MODIFIED="1418264913769" TEXT="yes"/>
+<node CREATED="1418264913990" ID="ID_1129443322" MODIFIED="1418264915953" TEXT="&#x3060;&#x304c;&#x9060;&#x3044;">
+<node CREATED="1418265483640" ID="ID_1170406966" MODIFIED="1418265487867" TEXT="&#x3042;&#x304f;&#x307e;&#x3067;&#x7406;&#x8ad6;&#x3060;&#x3068;&#x601d;&#x3063;&#x3066;&#x3044;&#x308b;"/>
+</node>
+<node CREATED="1418264916191" ID="ID_1004925452" MODIFIED="1418265636773" TEXT="Delta &#x3092;&#x5b9f;&#x7528;&#x3059;&#x308b;&#x306b;&#x306f;&#x3042;&#x3068;&#x6570;&#x30b9;&#x30c6;&#x30c3;&#x30d7;&#x5fc5;&#x8981;&#x3060;&#x3068;&#x601d;&#x3063;&#x3066;&#x308b;">
+<node CREATED="1418264925096" ID="ID_1853880815" MODIFIED="1418264934936" TEXT="version control based delta"/>
+<node CREATED="1418264935734" ID="ID_1081926319" MODIFIED="1418264947072" TEXT="convert to delta"/>
+<node CREATED="1418264948413" ID="ID_1018420243" MODIFIED="1418264953623" TEXT="&#x305d;&#x306e;&#x307e;&#x307e;&#x306e;&#x306b;&#x306f;&#x7121;&#x7406;">
+<node CREATED="1418265494999" ID="ID_197532767" MODIFIED="1418265497411" TEXT="&#x526f;&#x4f5c;&#x7528;&#x3068;&#x304b;"/>
+<node CREATED="1418265497855" ID="ID_576459990" MODIFIED="1418265512881" TEXT="&#x52d5;&#x3044;&#x3066;&#x308b;&#x5de8;&#x5927;&#x306a;&#x30a2;&#x30d7;&#x30ea;&#x30b1;&#x30fc;&#x30b7;&#x30e7;&#x30f3;&#x306b;&#x306f;&#x7121;&#x7406;"/>
+<node CREATED="1418265513561" ID="ID_951052932" MODIFIED="1418265520458" TEXT="&#x5c0f;&#x3055;&#x3044;&#x3084;&#x3064;&#x306a;&#x3089;&#x3069;&#x3046;&#x306a;&#x306e;&#x3060;&#x308d;&#x3046;&#x3001;&#x304f;&#x3089;&#x3044;"/>
+</node>
+<node CREATED="1418265343559" ID="ID_317302944" MODIFIED="1418265345758" TEXT="&#x3069;&#x3046;&#x3057;&#x3066;">
+<node CREATED="1418265345759" ID="ID_249268917" MODIFIED="1418265366832" TEXT="&#x5b9f;&#x969b;&#x4f55;&#x3082;&#x66f8;&#x304b;&#x306a;&#x3044;&#x3067;&#x30c7;&#x30d0;&#x30c3;&#x30b0;&#x3059;&#x308b;&#x3064;&#x3082;&#x308a;&#x3060;&#x3063;&#x305f; Delta &#x306b;&#x5bfe;&#x3059;&#x308b; Agda &#x3067;&#x6255;&#x3046;&#x30b3;&#x30b9;&#x30c8;&#x306f;&#x5927;&#x304d;&#x304b;&#x3063;&#x305f;"/>
+<node CREATED="1418265367269" ID="ID_350210524" MODIFIED="1418265377143" TEXT="&#x305d;&#x308c;&#x306e;&#x6069;&#x6075;&#x3068;&#x6bd4;&#x3079;&#x3066;&#x30b3;&#x30b9;&#x30c8;&#x306f;&#x6bd4;&#x8f03;&#x3059;&#x308b;&#x3079;&#x304d;">
+<node CREATED="1418265377820" ID="ID_776530195" MODIFIED="1418265380191" TEXT="&#x3060;&#x304c;&#x5b9f;&#x7528;&#x306f;&#x307e;&#x3060;"/>
+</node>
+</node>
+</node>
+<node CREATED="1418264970676" ID="ID_939954661" MODIFIED="1418264978799" TEXT="no step &#x3068;&#x3057;&#x3066;&#x306e;&#x305d;&#x306e;&#x307e;&#x307e;&#x30d1;&#x30e9;&#x30ec;&#x30eb;&#x30c7;&#x30d0;&#x30c3;&#x30ac;&#x306f;&#x3042;&#x308b;">
+<node CREATED="1418264979667" ID="ID_1571439568" MODIFIED="1418264982887" TEXT="&#x3067;&#x3082;&#x3084;&#x3093;&#x306a;&#x304b;&#x3063;&#x305f;"/>
+<node CREATED="1418264983204" ID="ID_914871799" MODIFIED="1418264986254" TEXT="&#x306e;&#x306f;&#x7591;&#x554f;&#x304c;&#x3042;&#x3063;&#x305f;&#x306e;&#x3067;">
+<node CREATED="1418265646561" ID="ID_70151771" MODIFIED="1418265656332" TEXT="&#x526f;&#x4f5c;&#x7528;&#x3068;&#x304b;&#x4ee5;&#x4e0b;&#x7565;">
+<node CREATED="1418265664457" ID="ID_1422144384" MODIFIED="1418265677715" TEXT="&#x3063;&#x3066;&#x3053;&#x3068;&#x306f;&#x5168;&#x3066;&#x306e;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306b;&#x5bfe;&#x3057;&#x3066;&#x9069;&#x7528;&#x53ef;&#x80fd;&#x3067;&#x3042;&#x3063;&#x3066;&#x6b32;&#x3057;&#x304b;&#x3063;&#x305f;&#x306e;&#x304c;&#x6839;&#x5e95;&#x306b;&#x3042;&#x308a;&#x305d;&#x3046;"/>
+<node CREATED="1418265677952" ID="ID_1826124827" MODIFIED="1418265686144" TEXT="&#x9069;&#x6750;&#x9069;&#x6240;&#x8ad6;&#x3067;&#x3044;&#x3051;&#x3070;&#x5341;&#x5206;&#x306a;&#x306e;&#x304b;&#x306a;">
+<node CREATED="1418265686145" ID="ID_347619172" MODIFIED="1418265696970" TEXT="&#x305d;&#x306e;&#x305f;&#x3081;&#x306b;&#x306f;&#x3068;&#x308a;&#x3042;&#x3048;&#x305a;&#x66f8;&#x3053;&#x3046;&#x7684;&#x306a;&#x611f;&#x3058;&#x3082;&#x3059;&#x308b;"/>
+</node>
+</node>
+</node>
+<node CREATED="1418264987108" ID="ID_41351441" MODIFIED="1418265013494" TEXT="&#x5b9f;&#x969b;&#x306e;&#x305d;&#x306e;&#x7591;&#x554f;&#x306e;&#x5148;&#x304c; MonadTransform &#x306b;&#x843d;&#x3061;&#x4ed8;&#x304d;&#x3064;&#x3064;&#x3042;&#x308b;&#x306e;&#x306f;&#x5f62;&#x5f0f;&#x624b;&#x6cd5;&#x306e;&#x30e1;&#x30ea;&#x30c3;&#x30c8;&#x3084;&#x3082;&#x3057;&#x308c;&#x306a;&#x3044;"/>
+</node>
+</node>
+<node CREATED="1418265243633" ID="ID_17018336" MODIFIED="1418265246641" TEXT="&#x3069;&#x3046;&#x3057;&#x3066;&#x3084;&#x3063;&#x305f;&#x306e;&#x304b;">
+<node CREATED="1418265246642" ID="ID_969048682" MODIFIED="1418265252209" TEXT="&#x81ea;&#x52d5;&#x3067;&#x30d0;&#x30b0;&#x3092;&#x898b;&#x4ed8;&#x3051;&#x305f;&#x304b;&#x3063;&#x305f;">
+<node CREATED="1418265252210" ID="ID_134438758" MODIFIED="1418265256219" TEXT="&#x306a;&#x308b;&#x3079;&#x304f;&#x4f55;&#x3082;&#x66f8;&#x304d;&#x305f;&#x304f;&#x306a;&#x304b;&#x3063;&#x305f;">
+<node CREATED="1418265280770" ID="ID_1291872363" MODIFIED="1418265307825" TEXT="&#x30c6;&#x30b9;&#x30c8;&#x66f8;&#x304f;&#x30b3;&#x30b9;&#x30c8;&#x3082;&#x4ed5;&#x69d8;&#x66f8;&#x304f;&#x30b3;&#x30b9;&#x30c8;&#x3082;&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306e;&#x30b3;&#x30b9;&#x30c8;&#x3068;&#x7b49;&#x4fa1;&#x3060;&#x3068;&#x601d;&#x3063;&#x3066;&#x3044;&#x308b;"/>
+</node>
+<node CREATED="1418265256472" ID="ID_738417529" MODIFIED="1418265271571" TEXT="&#x30d7;&#x30ed;&#x30b0;&#x30e9;&#x30e0;&#x306e;&#x5909;&#x66f4;&#x3092;&#x60c5;&#x5831;&#x3068;&#x3057;&#x3066;&#x4e0e;&#x3048;&#x3066;&#x3069;&#x306e;&#x304f;&#x3089;&#x3044;&#x30d0;&#x30b0;&#x304c;&#x91e3;&#x308c;&#x308b;&#x304b;&#x306a;&#x30fc;&#x3001;&#x3068;&#x304b;&#x601d;&#x3063;&#x3066;&#x305f;"/>
+<node CREATED="1418265731966" ID="ID_550579197" MODIFIED="1418265736654" TEXT="&#x306a;&#x305c;&#x81ea;&#x52d5;&#x3067;&#x3084;&#x308a;&#x305f;&#x3044;&#x306e;&#x304b;">
+<node CREATED="1418265736655" ID="ID_1711157822" MODIFIED="1418265747877" TEXT="&#x81ea;&#x52d5;&#x3067;&#x3067;&#x304d;&#x308b;&#x30d0;&#x30b0;&#x30c1;&#x30a7;&#x30c3;&#x30af;&#x3082;&#x3042;&#x308b;&#x3068;&#x601d;&#x3063;&#x305f;">
+<node CREATED="1418265747878" ID="ID_1953673719" MODIFIED="1418265753802" TEXT="zero division"/>
+<node CREATED="1418265754052" ID="ID_953375213" MODIFIED="1418265758712" TEXT="invalid pointer"/>
+<node CREATED="1418265758989" ID="ID_239916430" MODIFIED="1418265766048" TEXT="etc"/>
+</node>
+<node CREATED="1418265771348" ID="ID_666459434" MODIFIED="1418265776308" TEXT="&#x3068;&#x3044;&#x3046;&#x304b; DRY &#x304b;&#x306a;">
+<node CREATED="1418265776309" ID="ID_502993760" MODIFIED="1418265781351" TEXT="&#x30c7;&#x30d0;&#x30c3;&#x30b0;&#x3092;&#x7e70;&#x308a;&#x8fd4;&#x3057;&#x305f;&#x304f;&#x306a;&#x304b;&#x3063;&#x305f;"/>
+<node CREATED="1418265782716" ID="ID_83671806" MODIFIED="1418265822206" TEXT="&#x3057;&#x3001;&#x3060;&#x3044;&#x305f;&#x3044;&#x306e;&#x30d0;&#x30b0;&#x306f;&#x5206;&#x985e;&#x53ef;&#x80fd;&#x3060;&#x3068;&#x601d;&#x3063;&#x305f;"/>
+</node>
+</node>
+</node>
+</node>
+</node>
+</node>
 </node>
 </map>