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
|