Zobrazeno 1 - 10
of 436
pro vyhledávání: '"NAKANO, KEISUKE"'
Autor:
Nakano, Keisuke, Iwami, Munehiro
We study the termination of sole combinatory calculus, which consists of only one combinator. Specifically, the termination for non-erasing combinators is disproven by finding a desirable tree automaton with a SAT solver as done for term rewriting sy
Externí odkaz:
http://arxiv.org/abs/2406.14305
We present a novel normal form for (total deterministic) macro tree transducers (mtts), called depth proper normal form. If an mtt is in this normal form, then it is guaranteed that each parameter of each state of the mtt appears at arbitrary depth i
Externí odkaz:
http://arxiv.org/abs/2307.16500
Autor:
Nakano, Keisuke
Bidirectional transformation, also called lens, has played important roles in maintaining consistency in many fields of applications. A lens is specified by a pair of forward and backward functions which relate to each other in a consistent manner. T
Externí odkaz:
http://arxiv.org/abs/1910.10421
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ikebuchi, Mirai, Nakano, Keisuke
Publikováno v:
Logical Methods in Computer Science, Volume 16, Issue 2 (June 2, 2020) lmcs:5156
$B$-terms are built from the $B$ combinator alone defined by $B\equiv\lambda fgx. f(g~x)$, which is well known as a function composition operator. This paper investigates an interesting property of $B$-terms, that is, whether repetitive right applica
Externí odkaz:
http://arxiv.org/abs/1901.11010
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Asano, Yasuhito, Hidaka, Soichiro, Hu, Zhenjiang, Ishihara, Yasunori, Kato, Hiroyuki, Ko, Hsiang-Shang, Nakano, Keisuke, Onizuka, Makoto, Sasaki, Yuya, Shimizu, Toshiyuki, Tran, Van-Dang, Tsushima, Kanae, Yoshikawa, Masatoshi
Views are known mechanisms for controlling access of data and for sharing data of different schemas. Despite long and intensive research on views in both the database community and the programming language community, we are facing difficulties to use
Externí odkaz:
http://arxiv.org/abs/1809.10357
Autor:
Asano, Yasuhito, Hidaka, Soichiro, Hu, Zhenjiang, Ishihara, Yasunori, Kato, Hiroyuki, Ko, Hsiang-Shang, Nakano, Keisuke, Onizuka, Makoto, Sasaki, Yuya, Shimizu, Toshiyuki, Tsushima, Kanae, Yoshikawa, Masatoshi
The view and the view update are known mechanism for controlling access of data and for integrating data of different schemas. Despite intensive and long research on them in both the database community and the programming language community, we are f
Externí odkaz:
http://arxiv.org/abs/1803.06674