Mon, 20 Jun 2022 16:23:55 +0900 |
Shinji KONO |
... TFcomm
|
Mon, 20 Jun 2022 15:39:40 +0900 |
Shinji KONO |
...
|
Mon, 20 Jun 2022 13:47:06 +0900 |
Shinji KONO |
failed again
|
Mon, 20 Jun 2022 08:43:23 +0900 |
Shinji KONO |
...
|
Mon, 20 Jun 2022 07:49:35 +0900 |
Shinji KONO |
supf again
|
Mon, 20 Jun 2022 07:20:17 +0900 |
Shinji KONO |
dead end
|
Sat, 18 Jun 2022 12:28:09 +0900 |
Shinji KONO |
min-sup
|
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:18:05 +0900 |
Shinji KONO |
...
|
Mon, 06 Jun 2022 07:47:45 +0900 |
Shinji KONO |
ZC is bad again
|
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 |
...
|