graph

  • ...
    2022-01-25, by Shinji KONO
  • temporal logic
    2022-01-23, by Shinji KONO
  • ...
    2022-01-21, by Shinji KONO
  • omega
    2022-01-21, by Shinji KONO
  • root2 fulcomp
    2022-01-14, by Shinji KONO
  • ...
    2022-01-14, by Shinji KONO
  • ...
    2022-01-14, by Shinji KONO
  • ...
    2022-01-14, by Shinji KONO
  • ...
    2022-01-14, by Shinji KONO
  • ...
    2022-01-14, by Shinji KONO
  • ...
    2022-01-12, by Shinji KONO
  • ...
    2022-01-05, by Shinji KONO
  • ...
    2022-01-03, by Shinji KONO
  • ...
    2022-01-03, by Shinji KONO
  • clean up
    2022-01-02, by Shinji KONO
  • tra-phase1 done
    2022-01-02, by Shinji KONO
  • ...
    2022-01-02, by Shinji KONO
  • ...
    2022-01-02, by Shinji KONO
  • ...
    2022-01-02, by Shinji KONO
  • ...
    2022-01-02, by Shinji KONO
  • ...
    2022-01-02, by Shinji KONO
  • tra-04
    2022-01-01, by Shinji KONO
  • ...
    2022-01-01, by Shinji KONO
  • ...
    2022-01-01, by Shinji KONO
  • ...
    2022-01-01, by Shinji KONO
  • ...
    2022-01-01, by Shinji KONO
  • ...
    2022-01-01, by Shinji KONO
  • ...
    2022-01-01, by Shinji KONO
  • ...
    2021-12-31, by Shinji KONO
  • ...
    2021-12-31, by Shinji KONO
  • ...
    2021-12-31, by Shinji KONO
  • ...
    2021-12-31, by Shinji KONO
  • ...
    2021-12-31, by Shinji KONO
  • ...
    2021-12-31, by Shinji KONO
  • ...
    2021-12-30, by Shinji KONO
  • ...
    2021-12-29, by Shinji KONO
  • fin side done
    2021-12-29, by Shinji KONO
  • fless
    2021-12-29, by Shinji KONO
  • ...
    2021-12-28, by Shinji KONO
  • ...
    2021-12-28, by Shinji KONO
  • ...
    2021-12-28, by Shinji KONO
  • ...
    2021-12-28, by Shinji KONO
  • fix decrement case
    2021-12-27, by Shinji KONO
  • ...
    2021-12-27, by Shinji KONO
  • remove ls<n
    2021-12-27, by Shinji KONO
  • ...
    2021-12-27, by Shinji KONO
  • ...
    2021-12-27, by Shinji KONO
  • ...
    2021-12-27, by Shinji KONO
  • fix gcd and root
    2021-12-27, by Shinji KONO
  • ...
    2021-12-27, by Shinji KONO
  • ...
    2021-12-26, by Shinji KONO
  • dup in finiteSet in long list
    2021-12-26, by Shinji KONO
  • non-regular
    2021-12-25, by Shinji KONO
  • ...
    2021-12-19, by Shinji KONO
  • ...
    2021-12-18, by Shinji KONO
  • fixes
    2021-12-18, by Shinji KONO
  • depth first trace in nfa
    2021-11-27, by Shinji KONO
  • ...
    2021-11-26, by Shinji KONO
  • regex cmp
    2021-11-26, by Shinji KONO
  • derive worked but finiteness is difficult
    2021-11-26, by Shinji KONO
  • ...
    2021-11-26, by Shinji KONO
  • fix concat dfa
    2021-11-25, by Shinji KONO
  • ...
    2021-11-24, by Shinji KONO
  • ...
    2021-11-17, by Shinji KONO
  • ...
    2021-07-07, by Shinji KONO
  • ...
    2021-07-07, by Shinji KONO
  • ...
    2021-07-06, by Shinji KONO
  • LBℕ : Bijection ℕ ( List Bool ) done
    2021-07-06, by Shinji KONO
  • ...
    2021-07-06, by Shinji KONO
  • lb<
    2021-07-05, by Shinji KONO
  • ...
    2021-07-05, by Shinji KONO
  • ...
    2021-07-05, by Shinji KONO
  • ...
    2021-07-05, by Shinji KONO
  • ...
    2021-07-05, by Shinji KONO
  • ...
    2021-07-01, by Shinji KONO
  • prime version
    2021-06-29, by Shinji KONO
  • ... prime version
    2021-06-29, by Shinji KONO
  • ...
    2021-06-29, by Shinji KONO
  • root2 done
    2021-06-29, by Shinji KONO
  • ...
    2021-06-29, by Shinji KONO
  • ...
    2021-06-29, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • gcd-euclid1 done
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-28, by Shinji KONO
  • ...
    2021-06-27, by Shinji KONO
  • ...
    2021-06-27, by Shinji KONO
  • ...
    2021-06-27, by Shinji KONO
  • ...
    2021-06-27, by Shinji KONO
  • ...
    2021-06-25, by Shinji KONO
  • ...
    2021-06-25, by Shinji KONO
  • ...
    2021-06-24, by Shinji KONO
  • prime done
    2021-06-24, by Shinji KONO
  • ...
    2021-06-23, by Shinji KONO
  • ...
    2021-06-23, by Shinji KONO
  • ...
    2021-06-23, by Shinji KONO
  • ...
    2021-06-23, by Shinji KONO
  • ...
    2021-06-22, by Shinji KONO
  • fix
    2021-06-22, by Shinji KONO
  • ... give up
    2021-06-22, by Shinji KONO
  • ...
    2021-06-22, by Shinji KONO
  • ...
    2021-06-22, by Shinji KONO
  • ...
    2021-06-21, by Shinji KONO
  • ...
    2021-06-21, by Shinji KONO
  • ...
    2021-06-21, by Shinji KONO
  • NInduction
    2021-06-21, by Shinji KONO
  • ...
    2021-06-21, by Shinji KONO
  • ...
    2021-06-21, by Shinji KONO
  • gcd-dividable done
    2021-06-21, by Shinji KONO
  • ...
    2021-06-20, by Shinji KONO
  • ...
    2021-06-20, by Shinji KONO
  • ...
    2021-06-20, by Shinji KONO
  • max
    2021-06-20, by Shinji KONO
  • ... f-induction
    2021-06-20, by Shinji KONO
  • ...
    2021-06-20, by Shinji KONO
  • ...
    2021-06-19, by Shinji KONO
  • ...
    2021-06-19, by Shinji KONO
  • ...
    2021-06-18, by Shinji KONO
  • <fact done
    2021-06-18, by Shinji KONO
  • another method on fact<
    2021-06-18, by Shinji KONO
  • ...
    2021-06-18, by Shinji KONO
  • ...
    2021-06-18, by Shinji KONO
  • ...
    2021-06-17, by Shinji KONO
  • ...
    2021-06-17, by Shinji KONO
  • gcd done
    2021-06-17, by Shinji KONO
  • ...
    2021-06-17, by Shinji KONO
  • ...
    2021-06-17, by Shinji KONO
  • ... remove f>1
    2021-06-17, by Shinji KONO
  • ...
    2021-06-16, by Shinji KONO
  • dividable reorganzaiton
    2021-06-15, by Shinji KONO
  • ...
    2021-06-15, by Shinji KONO
  • fix decf
    2021-06-15, by Shinji KONO
  • ...
    2021-06-15, by Shinji KONO
  • expanding record does not work
    2021-06-14, by Shinji KONO
  • ...
    2021-06-14, by Shinji KONO
  • ...
    2021-06-14, by Shinji KONO
  • even→gcd
    2021-06-13, by Shinji KONO
  • ...
    2021-06-13, by Shinji KONO
  • Finduction
    2021-06-13, by Shinji KONO
  • fix
    2021-06-13, by Shinji KONO
  • reorganization
    2021-06-13, by Shinji KONO
  • ...
    2021-03-18, by Shinji KONO
  • ...
    2021-03-17, by Shinji KONO
  • halting problem done
    2021-03-17, by Shinji KONO
  • ...
    2021-03-17, by Shinji KONO
  • TNL in halting problem
    2021-03-16, by Shinji KONO
  • ...
    2021-03-14, by Shinji KONO
  • ...
    2021-03-14, by Shinji KONO
  • ..`
    2021-03-14, by Shinji KONO
  • bij
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-13, by Shinji KONO
  • ...
    2021-03-12, by Shinji KONO
  • ...
    2021-03-12, by Shinji KONO
  • ...
    2021-03-12, by Shinji KONO
  • ...
    2021-01-13, by Shinji KONO
  • ...
    2021-01-04, by Shinji KONO
  • ...
    2021-01-04, by Shinji KONO
  • ...
    2021-01-04, by Shinji KONO
  • add even
    2021-01-04, by Shinji KONO
  • ...
    2021-01-02, by Shinji KONO
  • ( n k : ℕ ) → 1 < n → gcd n k ≤ n
    2021-01-02, by Shinji KONO
  • ...
    2021-01-02, by Shinji KONO
  • ...
    2021-01-02, by Shinji KONO
  • ... gcd (i + j) j ≡ gcd i j
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • ...
    2021-01-01, by Shinji KONO
  • non terminating GCD
    2021-01-01, by Shinji KONO
  • ...
    2020-12-31, by Shinji KONO
  • ...
    2020-12-30, by Shinji KONO
  • ...
    2020-12-30, by Shinji KONO
  • ...
    2020-12-29, by Shinji KONO
  • ...
    2020-12-29, by Shinji KONO
  • ...
    2020-12-29, by Shinji KONO
  • ...
    2020-12-28, by Shinji KONO
  • clean up
    2020-12-27, by Shinji KONO
  • utm tester
    2020-03-14, by Shinji KONO
  • add utm
    2020-03-14, by Shinji KONO
  • ...
    2019-12-18, by Shinji KONO
  • clean up
    2019-11-24, by Shinji KONO
  • fin-< using data done
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • ...
    2019-11-24, by Shinji KONO
  • bad direction on fin-<
    2019-11-23, by Shinji KONO
  • ..
    2019-11-23, by Shinji KONO
  • add some files
    2019-11-23, by Shinji KONO
  • finite done
    2019-11-22, by Shinji KONO
  • ...
    2019-11-22, by Shinji KONO
  • clean up
    2019-11-22, by Shinji KONO
  • F2L-iso done
    2019-11-22, by Shinji KONO
  • ...
    2019-11-22, by Shinji KONO
  • ...
    2019-11-21, by Shinji KONO
  • finite
    2019-11-20, by Shinji KONO
  • ...
    2019-11-20, by Shinji KONO
  • fin-∨' almost finished
    2019-11-20, by Shinji KONO
  • ...
    2019-11-19, by Shinji KONO
  • ...
    2019-11-19, by Shinji KONO
  • ...
    2019-11-18, by Shinji KONO
  • finite-or
    2019-11-18, by Shinji KONO
  • ...
    2019-11-18, by Shinji KONO
  • finite
    2019-11-18, by Shinji KONO
  • finite
    2019-11-18, by Shinji KONO
  • clean up
    2019-11-17, by Shinji KONO
  • closed-in-concat← done
    2019-11-17, by Shinji KONO
  • case1 done
    2019-11-17, by Shinji KONO
  • ...
    2019-11-17, by Shinji KONO
  • ab-case
    2019-11-16, by Shinji KONO
  • ... state-A is not necessary?
    2019-11-15, by Shinji KONO
  • use exists in cond, nfa example
    2019-11-13, by Shinji KONO
  • ...
    2019-11-13, by Shinji KONO
  • inspect
    2019-11-12, by Shinji KONO
  • ...
    2019-11-12, by Shinji KONO
  • roll back
    2019-11-12, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-11, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO
  • ...
    2019-11-10, by Shinji KONO