log

age author description
Thu, 01 Mar 2018 15:04:46 +0900 Nozomi Teruya fix default tip
Mon, 19 Feb 2018 21:24:19 +0900 Nozomi Teruya add 5 min presen
Mon, 19 Feb 2018 19:07:57 +0900 nozomi poster fix
Mon, 19 Feb 2018 18:38:30 +0900 Nozomi Teruya add poster
Fri, 09 Feb 2018 12:39:07 +0900 Nozomi Teruya change chapter
Wed, 07 Feb 2018 11:58:26 +0900 Nozomi Teruya honban
Wed, 07 Feb 2018 10:07:30 +0900 Nozomi Teruya minor change
Wed, 07 Feb 2018 09:18:50 +0900 Nozomi Teruya minor change
Wed, 07 Feb 2018 04:14:09 +0900 Nozomi Teruya add Annotation slide
Tue, 06 Feb 2018 18:19:10 +0900 Nozomi Teruya add slide comment
Tue, 06 Feb 2018 13:46:47 +0900 Nozomi Teruya cut slide
Tue, 06 Feb 2018 12:19:12 +0900 Nozomi Teruya add Akka/Hazelcast slide
Tue, 06 Feb 2018 11:14:10 +0900 Nozomi Teruya change paper
Tue, 06 Feb 2018 03:56:16 +0900 Nozomi Teruya add slide
Mon, 05 Feb 2018 17:54:31 +0900 Nozomi Teruya add presen directory
Mon, 05 Feb 2018 16:38:28 +0900 Nozomi Teruya minor change
Mon, 05 Feb 2018 14:59:41 +0900 Nozomi Teruya merge
Mon, 05 Feb 2018 14:58:31 +0900 Nozomi Teruya add comment
Mon, 05 Feb 2018 14:35:24 +0900 Nozomi Teruya merge
Mon, 05 Feb 2018 14:24:15 +0900 Nozomi Teruya add conclusion
Mon, 05 Feb 2018 14:55:44 +0900 Shinji KONO fix
Mon, 05 Feb 2018 14:22:46 +0900 Shinji KONO fix abstract
Mon, 05 Feb 2018 00:35:52 +0900 Nozomi Teruya add English Abstract
Sun, 04 Feb 2018 22:31:12 +0900 Nozomi Teruya change chapter1
Sun, 04 Feb 2018 17:27:53 +0900 Nozomi Teruya merge
Sun, 04 Feb 2018 17:25:00 +0900 Nozomi Teruya add comment
Sun, 04 Feb 2018 17:24:18 +0900 nozomi change mindmap
Sun, 04 Feb 2018 16:13:57 +0900 Nozomi Teruya change chapter 1
Sat, 03 Feb 2018 20:00:43 +0900 Nozomi Teruya add chapter1 mindmap
Sat, 03 Feb 2018 15:04:47 +0900 Nozomi Teruya add reference
Thu, 01 Feb 2018 16:25:53 +0900 Nozomi Teruya change SequenceDiagram
Wed, 31 Jan 2018 23:29:00 +0900 Nozomi Teruya add SequenceDiagram
Wed, 31 Jan 2018 14:58:24 +0900 Nozomi Teruya change abstract & chapter1
Tue, 30 Jan 2018 23:41:54 +0900 Nozomi Teruya add requiremants
Mon, 29 Jan 2018 17:35:22 +0900 Nozomi Teruya change image size
Mon, 29 Jan 2018 15:41:16 +0900 Nozomi Teruya add example CodeGear
Mon, 29 Jan 2018 12:11:59 +0900 Nozomi Teruya add some source
Mon, 29 Jan 2018 01:16:03 +0900 Nozomi Teruya add chapter4
Sun, 28 Jan 2018 18:23:56 +0900 Nozomi Teruya add Topology image
Sat, 27 Jan 2018 23:47:41 +0900 Nozomi Teruya add chapter3
Sat, 27 Jan 2018 19:16:38 +0900 Nozomi Teruya add source, add chapter2
Thu, 25 Jan 2018 18:15:48 +0900 Nozomi Teruya add Alice abstract
Sat, 06 Jan 2018 19:07:03 +0900 Nozomi Teruya remove file
Sat, 06 Jan 2018 19:04:39 +0900 Nozomi Teruya add Makefile
Sat, 06 Jan 2018 18:57:26 +0900 Nozomi Teruya add Makefile
Mon, 27 Feb 2017 20:29:43 +0900 atton Bookbinding
Mon, 27 Feb 2017 13:25:17 +0900 atton Add spine
Mon, 27 Feb 2017 10:48:07 +0900 atton Add original for bookbinding
Tue, 21 Feb 2017 18:06:54 +0900 atton Added tag poster for changeset 7917654da828
Mon, 20 Feb 2017 14:31:49 +0900 atton Update report poster
Mon, 20 Feb 2017 14:18:03 +0900 atton Update report
Sun, 19 Feb 2017 19:34:55 +0900 atton Fix font
Sun, 19 Feb 2017 19:23:10 +0900 atton Add report.doc
Sun, 19 Feb 2017 16:46:12 +0900 atton addremove
Sun, 19 Feb 2017 16:46:05 +0900 atton Generate pdf
Sun, 19 Feb 2017 16:43:01 +0900 atton Wrote slide for poster session
Sun, 19 Feb 2017 13:45:06 +0900 atton Update poster
Sat, 18 Feb 2017 16:28:40 +0900 atton Wrote poster
Sat, 18 Feb 2017 15:43:30 +0900 atton Writing poster...
Sat, 18 Feb 2017 15:43:09 +0900 atton Update todo
Sat, 18 Feb 2017 11:16:52 +0900 atton Import poster graffle file from kaito-master
Sat, 18 Feb 2017 11:15:37 +0900 atton Add report.txt
Thu, 16 Feb 2017 13:49:07 +0900 atton Update
Thu, 16 Feb 2017 13:39:49 +0900 atton Update reference
Thu, 16 Feb 2017 13:26:33 +0900 atton Added tag presentation for changeset 7ab9767dc9f9
Tue, 14 Feb 2017 16:18:28 +0900 atton Update slide presentation
Tue, 14 Feb 2017 16:09:01 +0900 atton Update slide
Tue, 14 Feb 2017 15:45:03 +0900 atton Update slide
Tue, 14 Feb 2017 15:03:04 +0900 atton Update slide
Tue, 14 Feb 2017 11:31:08 +0900 atton Update slide
Mon, 13 Feb 2017 17:41:26 +0900 atton Update slide
Mon, 13 Feb 2017 17:39:10 +0900 atton Fix specification
Mon, 13 Feb 2017 17:33:48 +0900 atton Adjust color
Mon, 13 Feb 2017 17:31:45 +0900 atton Update slide
Mon, 13 Feb 2017 17:15:10 +0900 atton Add Makefile
Mon, 13 Feb 2017 16:01:38 +0900 atton Writing slide...
Mon, 13 Feb 2017 15:44:45 +0900 atton Fix akasha
Mon, 13 Feb 2017 15:00:06 +0900 atton Merge
Mon, 13 Feb 2017 14:59:25 +0900 atton Second paper review
Mon, 13 Feb 2017 14:18:03 +0900 atton Fix
Mon, 13 Feb 2017 14:11:30 +0900 atton Add ()
Mon, 13 Feb 2017 13:59:20 +0900 atton Fix return
Mon, 13 Feb 2017 13:47:04 +0900 atton Writing slide...
Mon, 13 Feb 2017 13:22:18 +0900 atton Fix cover
Mon, 13 Feb 2017 10:36:46 +0900 atton Added tag teacher-submit for changeset 0ab2de92120b
Mon, 13 Feb 2017 10:33:15 +0900 atton Added tag 1F-submit for changeset 0a4646310261 teacher-submit
Sun, 12 Feb 2017 18:10:33 +0900 atton Generate slide
Sun, 12 Feb 2017 18:10:16 +0900 atton Writing slide ...
Sun, 12 Feb 2017 14:29:28 +0900 atton Update
Sun, 12 Feb 2017 11:52:20 +0900 atton Self review
Sun, 12 Feb 2017 11:13:08 +0900 atton Update
Sun, 12 Feb 2017 10:45:45 +0900 atton Update abstract
Fri, 10 Feb 2017 17:22:00 +0900 Shinji KONO fix
Fri, 10 Feb 2017 14:25:43 +0900 atton Update 1F-submit
Thu, 09 Feb 2017 19:08:11 +0900 atton Update
Thu, 09 Feb 2017 18:58:53 +0900 atton Fix
Thu, 09 Feb 2017 18:54:18 +0900 atton Update
Thu, 09 Feb 2017 18:52:09 +0900 atton Add figure
Thu, 09 Feb 2017 18:37:26 +0900 atton Update
Thu, 09 Feb 2017 18:30:02 +0900 atton Add figure meta-hierarchy
Thu, 09 Feb 2017 18:12:12 +0900 atton Fix
Thu, 09 Feb 2017 17:50:50 +0900 atton Add figure
Thu, 09 Feb 2017 16:34:07 +0900 atton Update fig
Thu, 09 Feb 2017 15:40:11 +0900 atton Fix lstinput
Thu, 09 Feb 2017 15:36:52 +0900 atton Update curry-howard isomorphism
Thu, 09 Feb 2017 13:57:35 +0900 atton Update type.tex
Thu, 09 Feb 2017 12:56:22 +0900 atton Add simple/sub type description
Wed, 08 Feb 2017 17:39:12 +0900 atton Update
Wed, 08 Feb 2017 17:37:08 +0900 atton Update
Wed, 08 Feb 2017 17:25:27 +0900 atton Update summary
Wed, 08 Feb 2017 15:52:44 +0900 atton Update agda description
Wed, 08 Feb 2017 14:49:51 +0900 atton Reconstruct paper
Wed, 08 Feb 2017 14:27:06 +0900 atton Update chapter akasha
Wed, 08 Feb 2017 13:50:52 +0900 atton Add chapter akasha
Mon, 06 Feb 2017 20:23:42 +0900 atton First review
Mon, 06 Feb 2017 16:13:14 +0900 atton Add references
Mon, 06 Feb 2017 15:42:45 +0900 atton Add abstract
Mon, 06 Feb 2017 10:32:49 +0900 atton Add sources
Mon, 06 Feb 2017 10:15:16 +0900 atton Add sample source
Sun, 05 Feb 2017 16:53:16 +0900 atton Add summary
Sat, 04 Feb 2017 16:34:14 +0900 atton Update pdf
Sat, 04 Feb 2017 16:19:41 +0900 atton Update TODO
Sat, 04 Feb 2017 16:19:23 +0900 atton Add proof description
Sat, 04 Feb 2017 12:23:25 +0900 atton Add push/pop description
Fri, 03 Feb 2017 16:34:30 +0900 atton Add single linked stack
Fri, 03 Feb 2017 14:49:58 +0900 atton Mini fixes with ryokka-san
Fri, 03 Feb 2017 11:59:41 +0900 atton Add example of meta code segment execution
Fri, 03 Feb 2017 10:29:28 +0900 atton Add Meta CodeSegment description
Fri, 03 Feb 2017 10:23:26 +0900 atton Add Meta DataSegment description
Wed, 01 Feb 2017 15:37:11 +0900 atton Add normal level goto
Wed, 01 Feb 2017 15:27:15 +0900 atton Mini fixes
Wed, 01 Feb 2017 14:52:01 +0900 atton Writing cs/ds in agda
Wed, 01 Feb 2017 13:27:58 +0900 atton Split cbc-type.tex
Tue, 31 Jan 2017 19:26:31 +0900 atton Add pdf
Tue, 31 Jan 2017 17:30:07 +0900 atton Add reasoning
Tue, 31 Jan 2017 17:20:50 +0900 atton Writing agda description ......
Tue, 31 Jan 2017 17:20:04 +0900 atton Writing agda description ...
Tue, 31 Jan 2017 16:41:36 +0900 atton Writing agda description
Tue, 31 Jan 2017 11:57:12 +0900 atton Writing Agda description
Tue, 31 Jan 2017 10:30:08 +0900 atton Add natural deduction and curry-howard isomorphism
Mon, 30 Jan 2017 16:59:53 +0900 atton Add agda.tex
Mon, 30 Jan 2017 16:41:56 +0900 atton Wrote type.tex
Mon, 30 Jan 2017 14:54:01 +0900 atton Mini fixes
Mon, 30 Jan 2017 14:25:14 +0900 atton Wrote subtype
Sun, 29 Jan 2017 22:13:47 +0900 atton Writing subtype
Sun, 29 Jan 2017 21:58:35 +0900 atton Add record
Sun, 29 Jan 2017 12:27:25 +0900 atton Wrote typed-lambda
Sun, 29 Jan 2017 11:56:00 +0900 atton Writing typed-lambda
Sat, 28 Jan 2017 18:29:15 +0900 atton Wrote simple-type
Sat, 28 Jan 2017 17:10:51 +0900 atton Writing typed expression
Sat, 28 Jan 2017 15:35:26 +0900 atton Wrote untyped lambda
Sat, 28 Jan 2017 12:10:35 +0900 atton Wrote untyped expression
Sat, 28 Jan 2017 11:28:38 +0900 atton Writing expression ...
Sat, 28 Jan 2017 10:29:37 +0900 atton Writing expression ...
Sat, 28 Jan 2017 09:47:44 +0900 atton Update TODO
Sat, 28 Jan 2017 09:46:02 +0900 atton Writing expression ...
Sat, 28 Jan 2017 09:02:15 +0900 atton Update lambda description
Fri, 27 Jan 2017 17:10:33 +0900 atton Writing lambda ...
Thu, 26 Jan 2017 17:16:18 +0900 atton Writing lambda
Thu, 26 Jan 2017 11:03:51 +0900 atton Add type system description
Thu, 26 Jan 2017 10:15:57 +0900 atton Add comments on seminar
Mon, 23 Jan 2017 18:41:23 +0900 atton Add akasha result
Mon, 23 Jan 2017 17:19:30 +0900 atton Add akasha description
Mon, 23 Jan 2017 15:42:08 +0900 atton Add rbtree description
Mon, 23 Jan 2017 10:39:15 +0900 atton Add figure
Mon, 23 Jan 2017 10:36:42 +0900 atton Add rbtree figure
Mon, 23 Jan 2017 10:00:41 +0900 atton Add bibliography
Sun, 22 Jan 2017 16:35:37 +0900 atton Update introduction
Sun, 22 Jan 2017 16:24:59 +0900 atton Update introduction
Fri, 20 Jan 2017 16:37:04 +0900 atton Add introduction
Fri, 20 Jan 2017 14:53:16 +0900 atton Add stub description
Fri, 20 Jan 2017 14:39:45 +0900 atton Add GearsOS description
Fri, 20 Jan 2017 12:40:43 +0900 atton Add GearsOS
Fri, 20 Jan 2017 11:37:01 +0900 atton Add meta computations
Thu, 19 Jan 2017 11:39:10 +0900 atton Update cbc description
Thu, 19 Jan 2017 11:29:13 +0900 atton Add goto.cbc and goto.pdf
Wed, 18 Jan 2017 17:09:21 +0900 atton Update cbc description
Wed, 18 Jan 2017 16:26:44 +0900 atton Add cbc description
Tue, 17 Jan 2017 17:13:38 +0900 atton Update table of contents
Mon, 16 Jan 2017 16:40:22 +0900 atton Mini fixes
Mon, 16 Jan 2017 16:28:42 +0900 atton Add first table of contents
Mon, 16 Jan 2017 15:47:43 +0900 atton Add history.tex
Mon, 16 Jan 2017 15:37:45 +0900 atton Add thanks.tex
Mon, 16 Jan 2017 15:32:57 +0900 atton Import reference from atton-thesis
Mon, 16 Jan 2017 15:30:59 +0900 atton Add packages from atton-thesis
Mon, 16 Jan 2017 15:27:36 +0900 atton Fix title
Mon, 16 Jan 2017 15:18:03 +0900 atton Import files for compile
Mon, 16 Jan 2017 15:11:47 +0900 atton Import main tex file from kkb-master
Mon, 16 Jan 2017 15:06:00 +0900 atton Add .hgignore
Mon, 16 Jan 2017 15:03:14 +0900 atton Add mindmap