log

age author description
2021-06-14 Shinji KONO expanding record does not work
2021-06-14 Shinji KONO ...
2021-06-14 Shinji KONO ...
2021-06-13 Shinji KONO even→gcd
2021-06-13 Shinji KONO ...
2021-06-13 Shinji KONO Finduction
2021-06-13 Shinji KONO fix
2021-06-13 Shinji KONO reorganization
2021-03-18 Shinji KONO ...
2021-03-17 Shinji KONO ...
2021-03-17 Shinji KONO halting problem done
2021-03-17 Shinji KONO ...
2021-03-16 Shinji KONO TNL in halting problem
2021-03-14 Shinji KONO ...
2021-03-14 Shinji KONO ...
2021-03-14 Shinji KONO ..`
2021-03-13 Shinji KONO bij
2021-03-13 Shinji KONO ...
2021-03-13 Shinji KONO ...
2021-03-13 Shinji KONO ...
2021-03-13 Shinji KONO ...
2021-03-13 Shinji KONO ...
2021-03-13 Shinji KONO ...
2021-03-12 Shinji KONO ...
2021-03-12 Shinji KONO ...
2021-03-12 Shinji KONO ...
2021-01-13 Shinji KONO ...
2021-01-04 Shinji KONO ...
2021-01-04 Shinji KONO ...
2021-01-04 Shinji KONO ...
2021-01-04 Shinji KONO add even
2021-01-02 Shinji KONO ...
2021-01-02 Shinji KONO ( n k : ℕ ) → 1 < n → gcd n k ≤ n
2021-01-02 Shinji KONO ...
2021-01-02 Shinji KONO ...
2021-01-01 Shinji KONO ... gcd (i + j) j ≡ gcd i j
2021-01-01 Shinji KONO ...
2021-01-01 Shinji KONO ...
2021-01-01 Shinji KONO ...
2021-01-01 Shinji KONO ...
2021-01-01 Shinji KONO non terminating GCD
2020-12-31 Shinji KONO ...
2020-12-30 Shinji KONO ...
2020-12-30 Shinji KONO ...
2020-12-29 Shinji KONO ...
2020-12-29 Shinji KONO ...
2020-12-29 Shinji KONO ...
2020-12-28 Shinji KONO ...
2020-12-27 Shinji KONO clean up
2020-03-14 Shinji KONO utm tester
2020-03-14 Shinji KONO add utm
2019-12-18 Shinji KONO ...
2019-11-24 Shinji KONO clean up
2019-11-24 Shinji KONO fin-< using data done
2019-11-24 Shinji KONO ...
2019-11-24 Shinji KONO ...
2019-11-24 Shinji KONO ...
2019-11-24 Shinji KONO ...
2019-11-24 Shinji KONO ...
2019-11-24 Shinji KONO ...