| Sat, 18 Jun 2022 10:16:19 +0900 |
Shinji KONO |
...
|
| Sat, 18 Jun 2022 09:26:06 +0900 |
Shinji KONO |
nested transfinie on monotonicity
|
| Sat, 18 Jun 2022 00:41:37 +0900 |
Shinji KONO |
...
|
| Sat, 18 Jun 2022 00:07:25 +0900 |
Shinji KONO |
...
|
| Fri, 17 Jun 2022 23:19:19 +0900 |
Shinji KONO |
ind-mono
|
| Fri, 17 Jun 2022 21:50:50 +0900 |
Shinji KONO |
close this
|
| Fri, 17 Jun 2022 21:45:33 +0900 |
Shinji KONO |
dead end
|
| Fri, 17 Jun 2022 21:20:24 +0900 |
Shinji KONO |
...
|
| Fri, 17 Jun 2022 18:45:08 +0900 |
Shinji KONO |
...
|
| Fri, 17 Jun 2022 16:21:28 +0900 |
Shinji KONO |
...
|
| Fri, 17 Jun 2022 11:42:01 +0900 |
Shinji KONO |
...
|
| Fri, 17 Jun 2022 11:28:06 +0900 |
Shinji KONO |
mutual tranfinite in zorn
|
| Thu, 16 Jun 2022 09:58:13 +0900 |
Shinji KONO |
SupF and ChainMono
|
| Tue, 14 Jun 2022 18:24:17 +0900 |
Shinji KONO |
...
|
| Tue, 14 Jun 2022 16:05:25 +0900 |
Shinji KONO |
...
|
| Tue, 14 Jun 2022 15:32:01 +0900 |
Shinji KONO |
...
|
| Tue, 14 Jun 2022 15:14:28 +0900 |
Shinji KONO |
...
|
| Tue, 14 Jun 2022 14:36:45 +0900 |
Shinji KONO |
...
|
| Tue, 14 Jun 2022 11:08:15 +0900 |
Shinji KONO |
sup done
|
| Tue, 14 Jun 2022 06:17:24 +0900 |
Shinji KONO |
not yet ...
|
| Tue, 14 Jun 2022 02:10:15 +0900 |
Shinji KONO |
total done
|
| Tue, 14 Jun 2022 01:50:31 +0900 |
Shinji KONO |
...
|
| Tue, 14 Jun 2022 00:44:43 +0900 |
Shinji KONO |
...
|
| Tue, 14 Jun 2022 00:25:59 +0900 |
Shinji KONO |
...
|
| Mon, 13 Jun 2022 23:11:08 +0900 |
Shinji KONO |
...
|
| Mon, 13 Jun 2022 16:14:55 +0900 |
Shinji KONO |
...
|
| Mon, 13 Jun 2022 10:47:53 +0900 |
Shinji KONO |
...
|
| Mon, 13 Jun 2022 09:22:14 +0900 |
Shinji KONO |
FCSet
|
| Sun, 12 Jun 2022 12:20:16 +0900 |
Shinji KONO |
...
|
| Sat, 11 Jun 2022 18:33:12 +0900 |
Shinji KONO |
...
|
| Thu, 09 Jun 2022 05:13:18 +0900 |
Shinji KONO |
give up
|
| Thu, 09 Jun 2022 03:16:59 +0900 |
Shinji KONO |
chainf is now global on ZChain
|
| Thu, 09 Jun 2022 02:45:21 +0900 |
Shinji KONO |
...
|
| Wed, 08 Jun 2022 08:47:52 +0900 |
Shinji KONO |
...
|
| Tue, 07 Jun 2022 18:37:57 +0900 |
Shinji KONO |
ZChainā§Chain
|
| Tue, 07 Jun 2022 18:01:28 +0900 |
Shinji KONO |
try mutual transfinite
|
| Tue, 07 Jun 2022 12:59:08 +0900 |
Shinji KONO |
...
|
| Tue, 07 Jun 2022 02:18:25 +0900 |
Shinji KONO |
...
|
| Mon, 06 Jun 2022 17:19:24 +0900 |
Shinji KONO |
close
release
|
| Mon, 06 Jun 2022 17:18:05 +0900 |
Shinji KONO |
...
|
| Mon, 06 Jun 2022 07:47:45 +0900 |
Shinji KONO |
ZC is bad again
|
| Mon, 06 Jun 2022 07:19:03 +0900 |
Shinji KONO |
close
|
| Sun, 05 Jun 2022 23:57:46 +0900 |
Shinji KONO |
... look bad
|
| Sun, 05 Jun 2022 22:49:04 +0900 |
Shinji KONO |
...
|
| Sun, 05 Jun 2022 19:50:18 +0900 |
Shinji KONO |
f-next seems bad
|
| Sun, 05 Jun 2022 12:49:48 +0900 |
Shinji KONO |
ZC data won't work
|
| Tue, 03 May 2022 00:59:52 +0900 |
Shinji KONO |
... still remains
|
| Mon, 02 May 2022 23:23:12 +0900 |
Shinji KONO |
ZChain is monotonic on x, should be in record ZFChain
|
| Mon, 02 May 2022 19:51:51 +0900 |
Shinji KONO |
...
|
| Mon, 02 May 2022 12:43:42 +0900 |
Shinji KONO |
...
|
| Mon, 02 May 2022 00:44:43 +0900 |
Shinji KONO |
...
|
| Sun, 01 May 2022 09:36:44 +0900 |
Shinji KONO |
...
|
| Sun, 01 May 2022 05:35:36 +0900 |
Shinji KONO |
...
|
| Sun, 01 May 2022 02:15:12 +0900 |
Shinji KONO |
fix sp1
|
| Sun, 01 May 2022 01:17:54 +0900 |
Shinji KONO |
...
|
| Sat, 30 Apr 2022 17:30:20 +0900 |
Shinji KONO |
...
|
| Sat, 30 Apr 2022 17:07:35 +0900 |
Shinji KONO |
...
|
| Sat, 30 Apr 2022 14:53:04 +0900 |
Shinji KONO |
...
|
| Sat, 30 Apr 2022 10:48:23 +0900 |
Shinji KONO |
...
|
| Sat, 30 Apr 2022 05:11:53 +0900 |
Shinji KONO |
...
|
