Zobrazeno 1 - 10
of 262
pro vyhledávání: '"Takahashi, Kazuko"'
Autor:
Moriguchi, Sosuke, Takahashi, Kazuko
In this paper, we propose a new method for computing general allocators directly from completeness conditions. A general allocator is an abstraction of all complete labelings for an argumentation framework. Any complete labeling is obtained from a ge
Externí odkaz:
http://arxiv.org/abs/1911.01185
Autor:
Ghourabi, Fadoua, Takahashi, Kazuko
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.
Comment: Proofs available
Comment: Proofs available
Externí odkaz:
http://arxiv.org/abs/1804.01637
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:
Takahashi, Kazuko
Publikováno v:
明星大学教育学部研究紀要. (12):1-15
Publikováno v:
In Journal of Symbolic Computation July-August 2015 69:93-108
Autor:
Takahashi, Kazuko
Publikováno v:
教職研究. 2019:131-142
グローバル化と国内の超高齢化・少子化が同時進行し、日本社会の様々な領域において 人材不足と人材のグローバル化が進みつつある現在、教育現場においても、異文化や多文 化共生
Autor:
Adachi Kyoichi, Mishiro Tomoko, Toda Takashi, Kano Naomi, Fujihara Harumi, Mishima Yuko, Konishi Atsuko, Mochida Mariko, Takahashi Kazuko, Kinoshita, Yoshikazu
Publikováno v:
JOURNAL OF CLINICAL BIOCHEMISTRY AND NUTRITION. 62(3):264-269
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.
Publikováno v:
Journal of Natural Language Processing. 24:135-170
Autor:
Takagi, Kayoko, Teshima, Reiko *, Okunuki, Haruyo, Hachisuka, Akiko, Sawada, Jun-ichi, Kojima, Kohichi, Takahashi, Kazuko, Ohsawa, Motoyasu, Yoshida, Takahiko
Publikováno v:
In Allergology International 2005 54(4):581-587