Thu, 02 Mar 2017 11:36:31 +0900 |
Shinji KONO |
try incomplete pattern for discrete
|
Tue, 28 Feb 2017 22:33:03 +0900 |
Shinji KONO |
negnat
|
Tue, 28 Feb 2017 12:38:23 +0900 |
Shinji KONO |
add negation example
|
Mon, 27 Feb 2017 21:20:34 +0900 |
Shinji KONO |
bottom
|
Mon, 02 Jan 2017 11:26:21 +0900 |
Shinji KONO |
on goinhg ...
|
Mon, 02 Jan 2017 11:01:53 +0900 |
Shinji KONO |
discrete again with negation
|
Sat, 15 Oct 2016 23:29:53 +0900 |
Shinji KONO |
complete connection dead end
|
Fri, 14 Oct 2016 21:02:12 +0900 |
Shinji KONO |
bad case on distr
|
Fri, 14 Oct 2016 19:44:59 +0900 |
Shinji KONO |
cont..
|
Fri, 14 Oct 2016 19:12:01 +0900 |
Shinji KONO |
complete connection for finite category
|
Sun, 04 Sep 2016 21:05:39 +0900 |
Shinji KONO |
fix IsEqualizer
|
Thu, 01 Sep 2016 17:34:28 +0900 |
Shinji KONO |
fix
|
Tue, 30 Aug 2016 15:11:17 +0900 |
Shinji KONO |
preinital full subcategory done
|
Tue, 30 Aug 2016 14:22:47 +0900 |
Shinji KONO |
fix limit
|