1 code implementation • 6 Nov 2020 • YuAn Wang, Chenwei Wang, Yinan Ling, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
Finally, we apply ESLE to seek new service ports for NTT DOCOMO's bike share services operated in Japan.
no code implementations • 4 Apr 2017 • André Nies, Marcus A. Triplett, Keita Yokoyama
The result that every function on $[0, 1]$ of bounded variation is almost everywhere differentiable is equivalent to $\mathsf{WWKL}_0$.
Logic
