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
|