log

age author description
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO gcd-euclid1 done
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-28 Shinji KONO ...
2021-06-27 Shinji KONO ...
2021-06-27 Shinji KONO ...
2021-06-27 Shinji KONO ...
2021-06-27 Shinji KONO ...
2021-06-25 Shinji KONO ...
2021-06-25 Shinji KONO ...
2021-06-24 Shinji KONO ...
2021-06-24 Shinji KONO prime done
2021-06-23 Shinji KONO ...
2021-06-23 Shinji KONO ...
2021-06-23 Shinji KONO ...
2021-06-23 Shinji KONO ...
2021-06-22 Shinji KONO ...
2021-06-22 Shinji KONO fix
2021-06-22 Shinji KONO ... give up
2021-06-22 Shinji KONO ...
2021-06-22 Shinji KONO ...
2021-06-21 Shinji KONO ...
2021-06-21 Shinji KONO ...
2021-06-21 Shinji KONO ...
2021-06-21 Shinji KONO NInduction
2021-06-21 Shinji KONO ...
2021-06-21 Shinji KONO ...
2021-06-21 Shinji KONO gcd-dividable done
2021-06-20 Shinji KONO ...
2021-06-20 Shinji KONO ...
2021-06-20 Shinji KONO ...
2021-06-20 Shinji KONO max
2021-06-20 Shinji KONO ... f-induction
2021-06-20 Shinji KONO ...
2021-06-19 Shinji KONO ...
2021-06-19 Shinji KONO ...
2021-06-18 Shinji KONO ...
2021-06-18 Shinji KONO <fact done
2021-06-18 Shinji KONO another method on fact<
2021-06-18 Shinji KONO ...
2021-06-18 Shinji KONO ...
2021-06-17 Shinji KONO ...
2021-06-17 Shinji KONO ...
2021-06-17 Shinji KONO gcd done
2021-06-17 Shinji KONO ...
2021-06-17 Shinji KONO ...
2021-06-17 Shinji KONO ... remove f>1
2021-06-16 Shinji KONO ...
2021-06-15 Shinji KONO dividable reorganzaiton
2021-06-15 Shinji KONO ...
2021-06-15 Shinji KONO fix decf
2021-06-15 Shinji KONO ...
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 ...
2019-11-23 Shinji KONO bad direction on fin-<
2019-11-23 Shinji KONO ..
2019-11-23 Shinji KONO add some files
2019-11-22 Shinji KONO finite done
2019-11-22 Shinji KONO ...
2019-11-22 Shinji KONO clean up
2019-11-22 Shinji KONO F2L-iso done
2019-11-22 Shinji KONO ...
2019-11-21 Shinji KONO ...
2019-11-20 Shinji KONO finite
2019-11-20 Shinji KONO ...
2019-11-20 Shinji KONO fin-∨' almost finished
2019-11-19 Shinji KONO ...
2019-11-19 Shinji KONO ...
2019-11-18 Shinji KONO ...
2019-11-18 Shinji KONO finite-or
2019-11-18 Shinji KONO ...
2019-11-18 Shinji KONO finite
2019-11-18 Shinji KONO finite
2019-11-17 Shinji KONO clean up
2019-11-17 Shinji KONO closed-in-concat← done
2019-11-17 Shinji KONO case1 done
2019-11-17 Shinji KONO ...
2019-11-16 Shinji KONO ab-case
2019-11-15 Shinji KONO ... state-A is not necessary?
2019-11-13 Shinji KONO use exists in cond, nfa example
2019-11-13 Shinji KONO ...
2019-11-12 Shinji KONO inspect
2019-11-12 Shinji KONO ...
2019-11-12 Shinji KONO roll back
2019-11-11 Shinji KONO ...
2019-11-11 Shinji KONO ...
2019-11-11 Shinji KONO ...
2019-11-11 Shinji KONO ...
2019-11-10 Shinji KONO ...
2019-11-10 Shinji KONO ...
2019-11-10 Shinji KONO ...
2019-11-10 Shinji KONO ...
2019-11-10 Shinji KONO ...
2019-11-10 Shinji KONO ...
2019-11-10 Shinji KONO ...
2019-11-10 Shinji KONO clean up
2019-11-09 Shinji KONO reverse direction
2019-11-09 Shinji KONO ...
2019-11-09 Shinji KONO all foundables
2019-11-08 Shinji KONO found done
2019-11-08 Shinji KONO add end function
2019-11-08 Shinji KONO ...
2019-11-08 Shinji KONO ...
2019-11-08 Shinji KONO ...
2019-11-08 Shinji KONO ...
2019-11-08 Shinji KONO ...
2019-11-08 Shinji KONO ...
2019-11-08 Shinji KONO ...
2019-11-07 Shinji KONO ...
2019-11-07 Shinji KONO ...
2019-11-07 Shinji KONO ...
2019-11-07 Shinji KONO ...
2019-11-06 Shinji KONO ...
2019-11-06 Shinji KONO add concat
2019-11-06 Shinji KONO subset construction
2019-10-31 Shinji KONO use Vec
2019-10-31 Shinji KONO ...
2019-10-31 Shinji KONO ...
2019-10-31 Shinji KONO ...
2019-10-30 Shinji KONO ...
2019-10-30 Shinji KONO ...
2019-10-28 Shinji KONO try solver
2019-10-27 Shinji KONO add puzzle
2019-10-24 Shinji KONO ..
2019-10-23 Shinji KONO ...
2019-10-23 Shinji KONO ...
2019-10-17 Shinji KONO ...
2019-10-17 Shinji KONO even dgree
2019-10-16 Shinji KONO fix graph
2019-10-16 Shinji KONO ...
2019-10-15 Shinji KONO add
2019-10-02 Shinji KONO fix
2019-04-07 Shinji KONO flcagl finish
2019-04-06 Shinji KONO ...
2019-04-06 Shinji KONO fix
2019-04-05 Shinji KONO fix coinduction
2019-04-05 Shinji KONO fix
2019-04-05 Shinji KONO add coinduction
2018-12-22 Shinji KONO fix derive
2018-12-22 Shinji KONO seprate finite
2018-12-21 Shinji KONO using Fin id
2018-12-21 Shinji KONO list base CFG
2018-12-21 Shinji KONO cfg done
2018-12-21 Shinji KONO fix
2018-12-21 Shinji KONO fix
2018-12-12 Shinji KONO push down automaton example
2018-12-05 Shinji KONO fix
2018-11-28 Shinji KONO add cfg and derive
2018-11-07 Shinji KONO fix
2018-11-06 Shinji KONO add regular language
2018-11-05 Shinji KONO try some bad difinition
2018-11-05 Shinji KONO suset construction for subset function nfa
2018-11-05 Shinji KONO nfa using subset mapping done
2018-11-05 Shinji KONO ...
2018-11-05 Shinji KONO simpler exists , nfa accept dones not wokred
2018-11-05 Shinji KONO exits done but not so goot
2018-11-05 Shinji KONO ...
2018-11-05 Shinji KONO improve finite
2018-11-04 Shinji KONO how to use Data.Fin
2018-11-04 Shinji KONO naccept1
2018-09-17 Shinji KONO ...
2018-09-10 Shinji KONO ...
2018-08-30 Shinji KONO add omega
2018-08-29 Shinji KONO add halt
2018-08-27 Shinji KONO turing machine done
2018-08-27 Shinji KONO turing wrote but not yet worked
2018-08-26 Shinji KONO add pushdown and turing
2018-08-24 Shinji KONO Added tag subset-construction for changeset 54382de19264
2018-08-24 Shinji KONO sbconst1 done subset-construction
2018-08-24 Shinji KONO fix
2018-08-24 Shinji KONO start exp version of subset construction
2018-08-24 Shinji KONO sbconst done
2018-08-24 Shinji KONO fix sbconst
2018-08-23 Shinji KONO merge Σ
2018-08-22 Shinji KONO separate epsiron