| Wed, 20 Nov 2019 13:34:34 +0900 |
Shinji KONO |
fin-∨' almost finished
|
| Wed, 20 Nov 2019 00:01:38 +0900 |
Shinji KONO |
...
|
| Tue, 19 Nov 2019 10:50:35 +0900 |
Shinji KONO |
...
|
| Tue, 19 Nov 2019 00:25:43 +0900 |
Shinji KONO |
...
|
| Mon, 18 Nov 2019 23:53:47 +0900 |
Shinji KONO |
finite-or
|
| Mon, 18 Nov 2019 19:51:08 +0900 |
Shinji KONO |
...
|
| Mon, 18 Nov 2019 12:08:09 +0900 |
Shinji KONO |
finite
|
| Mon, 18 Nov 2019 11:00:31 +0900 |
Shinji KONO |
finite
|
| Thu, 14 Nov 2019 05:13:49 +0900 |
Shinji KONO |
use exists in cond, nfa example
|
| Mon, 11 Nov 2019 02:22:02 +0900 |
Shinji KONO |
...
|
| Sun, 10 Nov 2019 18:07:50 +0900 |
Shinji KONO |
...
|
| Sun, 10 Nov 2019 10:55:25 +0900 |
Shinji KONO |
clean up
|
| Sat, 09 Nov 2019 17:15:18 +0900 |
Shinji KONO |
reverse direction
|
| Sat, 09 Nov 2019 10:04:34 +0900 |
Shinji KONO |
all foundables
|
| Sat, 09 Nov 2019 07:47:32 +0900 |
Shinji KONO |
found done
|
| Sat, 09 Nov 2019 00:05:05 +0900 |
Shinji KONO |
add end function
|
| Fri, 08 Nov 2019 21:30:14 +0900 |
Shinji KONO |
...
|
| Fri, 08 Nov 2019 20:23:35 +0900 |
Shinji KONO |
...
|
| Fri, 08 Nov 2019 20:18:10 +0900 |
Shinji KONO |
...
|
| Fri, 08 Nov 2019 19:52:26 +0900 |
Shinji KONO |
...
|
| Fri, 08 Nov 2019 16:26:40 +0900 |
Shinji KONO |
...
|
| Fri, 08 Nov 2019 14:42:28 +0900 |
Shinji KONO |
...
|
| Fri, 08 Nov 2019 13:40:25 +0900 |
Shinji KONO |
...
|
| Wed, 06 Nov 2019 23:19:53 +0900 |
Shinji KONO |
add concat
|
| Wed, 06 Nov 2019 17:18:58 +0900 |
Shinji KONO |
subset construction
|
| Fri, 05 Apr 2019 16:13:44 +0900 |
Shinji KONO |
add coinduction
|
| Sat, 22 Dec 2018 11:45:37 +0900 |
Shinji KONO |
seprate finite
|
