log

age author description
2023-09-24 Shinji KONO ...
2023-09-24 Shinji KONO fix for std-lib 2.0
2023-08-10 Shinji KONO ...
2023-08-10 Shinji KONO ...
2023-08-06 Shinji KONO ...
2023-08-05 Shinji KONO ...
2023-08-05 Shinji KONO ...
2023-08-03 Shinji KONO ...
2023-08-03 Shinji KONO ... look bad
2023-08-03 Shinji KONO ...
2023-07-31 Shinji KONO ...
2023-07-30 Shinji KONO ...
2023-07-27 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO bb22 takes 10GB and 5 min
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-25 Shinji KONO add regex2 (we need source reorganization)
2023-07-24 Shinji KONO ...
2023-07-24 Shinji KONO ...
2023-07-24 Shinji KONO ... !
2023-07-24 Shinji KONO ...
2023-07-24 Shinji KONO ...
2023-07-24 Shinji KONO ...
2023-07-24 Shinji KONO ...
2023-07-24 Shinji KONO ...
2023-07-23 Shinji KONO .. another one
2023-07-23 Shinji KONO ...
2023-07-22 Shinji KONO ..
2023-07-22 Shinji KONO ... I see ...
2023-07-22 Shinji KONO ...
2023-07-22 Shinji KONO we may use different scheme on regex-states
2023-07-22 Shinji KONO ...
2023-07-22 Shinji KONO ...
2023-07-22 Shinji KONO ...
2023-07-21 Shinji KONO ...
2023-07-19 Shinji KONO ...
2023-07-18 Shinji KONO finiteSet from fin injection done
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO fix fin<n
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-18 Shinji KONO ...
2023-07-17 Shinji KONO ...
2023-07-17 Shinji KONO ...
2023-07-17 Shinji KONO ...
2023-07-17 Shinji KONO ...
2023-07-17 Shinji KONO ...
2023-07-17 Shinji KONO copying countable bijection may not easy
2023-07-16 Shinji KONO ...
2023-07-15 Shinji KONO ...
2023-07-15 Shinji KONO n<m→fDUP is bad idea. Bernstein style on constructive proof requires complex calculation
2023-07-15 Shinji KONO ...
2023-07-11 Shinji KONO ...
2023-07-10 Shinji KONO ...
2023-07-10 Shinji KONO ...
2023-07-10 Shinji KONO ...
2023-07-10 Shinji KONO ...
2023-07-09 Shinji KONO ...
2023-07-09 Shinji KONO ...
2023-03-20 Shinji KONO ...
2023-03-12 Shinji KONO ...
2023-03-12 Shinji KONO fix
2022-12-07 Shinji KONO ...
2022-11-16 Shinji KONO ...
2022-01-25 Shinji KONO ...
2022-01-23 Shinji KONO temporal logic
2022-01-21 Shinji KONO ...
2022-01-21 Shinji KONO omega
2022-01-14 Shinji KONO root2 fulcomp
2022-01-14 Shinji KONO ...
2022-01-14 Shinji KONO ...
2022-01-14 Shinji KONO ...
2022-01-14 Shinji KONO ...
2022-01-14 Shinji KONO ...
2022-01-12 Shinji KONO ...
2022-01-05 Shinji KONO ...
2022-01-03 Shinji KONO ...
2022-01-03 Shinji KONO ...
2022-01-02 Shinji KONO clean up
2022-01-02 Shinji KONO tra-phase1 done
2022-01-02 Shinji KONO ...
2022-01-02 Shinji KONO ...
2022-01-02 Shinji KONO ...
2022-01-02 Shinji KONO ...
2022-01-02 Shinji KONO ...
2022-01-01 Shinji KONO tra-04
2022-01-01 Shinji KONO ...
2022-01-01 Shinji KONO ...
2022-01-01 Shinji KONO ...
2022-01-01 Shinji KONO ...
2022-01-01 Shinji KONO ...
2022-01-01 Shinji KONO ...
2021-12-31 Shinji KONO ...
2021-12-31 Shinji KONO ...
2021-12-31 Shinji KONO ...
2021-12-31 Shinji KONO ...
2021-12-31 Shinji KONO ...
2021-12-31 Shinji KONO ...
2021-12-30 Shinji KONO ...
2021-12-29 Shinji KONO ...
2021-12-29 Shinji KONO fin side done
2021-12-29 Shinji KONO fless
2021-12-28 Shinji KONO ...
2021-12-28 Shinji KONO ...
2021-12-28 Shinji KONO ...
2021-12-28 Shinji KONO ...
2021-12-27 Shinji KONO fix decrement case
2021-12-27 Shinji KONO ...
2021-12-27 Shinji KONO remove ls<n