المؤلفون: 中野, 和之, NAKANO, K., 川合, 勇治, KAWAI, Y., 寺井, 一, TERAI, H., 福谷, 敏, FUKUTANI, S., 石川, 久美, ISHIKAWA, Kumi, 仲田, 恵子, NAKATA, Keiko

مصطلحات موضوعية: 沖縄, 米軍基地, アブチラガマ, 平和, 沖縄戦, 工芸品, ひめゆりの塔, エイサー, 民族, 差別

الاتاحة: http://hdl.handle.net/2237/5201

المؤلفون: Nakata, Keiko

الاتاحة: http://hdl.handle.net/2237/4974

المؤلفون: Mukai, Emiko, Fukushima, Wakaba, Morikawa, Saeko, Nakata, Keiko, Hiroi, Satoshi, Fujioka, Masashi, Matsushita, Tohru, Kubota, Megumi, Yagi, Yoshina, Takechi, Tetsuhisa, Takasaki, Yoshio, Shindo, Shizuo, Yamashita, Yuji, Yokoyama, Takato, Kiyomatsu, Yumi, Matsumoto, Kazuhiro, Maeda, Akiko, Kondo, Kyoko, Ito, Kazuya, Kase, Tetsuo, Ohfuji, Satoko, Hirota, Yoshio

المساهمون: Ministry of Health, Labour and Welfare

المصدر: Influenza and Other Respiratory Viruses ; volume 17, issue 10 ; ISSN 1750-2640 1750-2659

الاتاحة: http://dx.doi.org/10.1111/irv.13213
https://onlinelibrary.wiley.com/doi/pdf/10.1111/irv.13213

المؤلفون: Nakata, Keiko

Thesis Advisors: 長谷川, 真人, 藤重, 悟, 齋藤, 恭司, 中田, 景子, ナカタ, ケイコ

مصطلحات موضوعية: 400

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/2433/136740

المؤلفون: Nakata, Keiko, Uustalu, Tarmo

المصدر: Logical Methods in Computer Science, Volume 11, Issue 1 (February 11, 2015) lmcs:692

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1412.6579

المؤلفون: Kidokoro, Minoru, Shiino, Teiichiro, Yamaguchi, Tomohiro, Nariai, Eri, Kodama, Hiroe, Nakata, Keiko, Sano, Takako, Gotou, Keiko, Kisu, Tomoko, Maruyama, Tomomi, Kuba, Yumani, Sakata, Wakako, Higashi, Teruaki, Kiyota, Naoko, Sakai, Takashi, Yahiro, Shunsuke, Nagita, Akira, Watanabe, Kaori, Hirokawa, Chika, Hamabata, Hirotsune, Fujii, Yoshiki, Yamamoto, Miwako, Yokoi, Hajime, Sakamoto, Misako, Saito, Hiroyuki, Shibata, Chihiro, Inada, Machi, Fujitani, Misako, Minagawa, Hiroko, Ito, Miyabi, Shima, Akari, Murano, Keiko, Katoh, Hiroshi, Kato, Fumihiro, Takeda, Makoto, Suga, Shigeru

المساهمون: Japan Agency for Medical Research and Development

المصدر: Frontiers in Microbiology ; volume 13 ; ISSN 1664-302X

الاتاحة: http://dx.doi.org/10.3389/fmicb.2022.728831
https://www.frontiersin.org/articles/10.3389/fmicb.2022.728831/full

المؤلفون: Bezem, Marc, Nakata, Keiko, Uustalu, Tarmo

المصدر: Logical Methods in Computer Science, Volume 8, Issue 4 (October 10, 2012) lmcs:1048

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1

URL الوصول: http://arxiv.org/abs/1210.1200

المؤلفون: Ilik, Danko, Nakata, Keiko

المصدر: Leibniz International Proceedings in Informatics, 26, 2014

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, F.4.1, F.3.3

URL الوصول: http://arxiv.org/abs/1209.2229

المؤلفون: Nakata, Keiko

المصدر: EPTCS 66, 2011, pp. 226-235

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1109.0785

المؤلفون: Nakata, Keiko, Uustalu, Tarmo

المصدر: EPTCS 32, 2010, pp. 57-75

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.2, F.1.2

URL الوصول: http://arxiv.org/abs/1008.2112

المؤلفون: Nakata, Keiko

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/0908.3650

المؤلفون: Nakata, Keiko, Hasegawa, Masahito

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/0907.4640

المؤلفون: Fukushima, Wakaba, Morikawa, Saeko, Fujioka, Masashi, Matsushita, Tohru, Kubota, Megumi, Yagi, Yoshina, Takechi, Tetsuhisa, Takasaki, Yoshio, Shindo, Shizuo, Yamashita, Yuji, Yokoyama, Takato, Kiyomatsu, Yumi, Hiroi, Satoshi, Nakata, Keiko, Matsumoto, Kazuhiro, Maeda, Akiko, Kondo, Kyoko, Ito, Kazuya, Kase, Tetsuo, Ohfuji, Satoko, Hirota, Yoshio

المصدر: International Journal of Epidemiology ; volume 50, issue Supplement_1 ; ISSN 0300-5771 1464-3685

مصطلحات موضوعية: General Medicine, Epidemiology

الاتاحة: http://dx.doi.org/10.1093/ije/dyab168.209
http://academic.oup.com/ije/article-pdf/50/Supplement_1/dyab168.209/40211479/dyab168.209.pdf

المؤلفون: Kase, Tetsuo, Inoue, Megumi, Morikawa, Saeko, Kumashiro, Hiroko, Hiroi, Satoshi, Nakata, Keiko, Ito, Kazuya, Ishibashi, Motoki, Tsuru, Tomomi, Irie, Shin, Maeda, Akiko, Ohfuji, Satoko, Fukushima, Wakaba, Hirota, Yoshio

المساهمون: Ministry of Health, Labour and Welfare, Japan

المصدر: Vaccine ; volume 38, issue 42, page 6524-6532 ; ISSN 0264-410X

الاتاحة: http://dx.doi.org/10.1016/j.vaccine.2020.08.025
https://api.elsevier.com/content/article/PII:S0264410X20310665?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0264410X20310665?httpAccept=text/plain

المؤلفون: Bezem, Marc, Coquand, Thierry, Nakata, Keiko, Parmann, Erik

المساهمون: Marc Bezem and Thierry Coquand and Keiko Nakata and Erik Parmann

مصطلحات موضوعية: Type theory, realizability, constructive notions of finiteness

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 97, 22nd International Conference on Types for Proofs and Programs (TYPES 2016); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2016.6

الاتاحة: https://doi.org/10.4230/LIPIcs.TYPES.2016.6
https://nbn-resolving.org/urn:nbn:de:0030-drops-98541
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2016.6

المؤلفون: Sakon, Naomi, Yamazaki, Kenji, Nakata, Keiko, Kanbayashi, Daiki, Yoda, Tomoko, Mantani, Masanobu, Kase, Tetsuo, Takahashi, Kazuo, Komano, Jun

المصدر: The Journal of Infectious Diseases, 2015 Mar . 211(6), 879-888.

URL الوصول: http://www.jstor.org/stable/43709504

المؤلفون: Azuma, Junji, Yamamoto, Takehisa, Sakurai, Mihoko, Amou, Ryuko, Yamada, Chieko, Hashimoto, Kazuhisa, Kajita, Satomi, Yamamoto, Kyoko, Kijima, Eri, Mizoguchi, Yoshimi, Nakata, Keiko, Shimotsuji, Tunesuke, Ozono, Keiichi

المصدر: Medicine ; volume 97, issue 43, page e12930 ; ISSN 0025-7974 1536-5964

الاتاحة: http://dx.doi.org/10.1097/md.0000000000012930
https://journals.lww.com/00005792-201810260-00043

المؤلفون: Shinomoto, Makiko, Kawasaki, Tatsuya, Sugahara, Takuya, Nakata, Keiko, Kotani, Tomoya, Yoshitake, Hidetaka, Yuasa, Kento, Saeki, Masashi, Fujiwara, Yasuhiro

المساهمون: JSPS KAKENHI

المصدر: International Journal of Infectious Diseases ; volume 59, page 22-24 ; ISSN 1201-9712

الاتاحة: http://dx.doi.org/10.1016/j.ijid.2017.03.018
https://api.elsevier.com/content/article/PII:S1201971217301029?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1201971217301029?httpAccept=text/plain

المؤلفون: Nakata, Keiko, Saar, Andri

المساهمون: Institute of Cybernetics Tallinn, Tallinn University of Technology (TTÜ), Farhad Arbab, Marjan Sirjani

المصدر: Lecture Notes in Computer Science ; 5th International Conference on Fundamentals of Software Engineering (FSEN) ; https://inria.hal.science/hal-01514661 ; 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-642-40213-5_7⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Tehran, Iran

Relation: hal-01514661; https://inria.hal.science/hal-01514661; https://inria.hal.science/hal-01514661/document; https://inria.hal.science/hal-01514661/file/978-3-642-40213-5_7_Chapter.pdf

الاتاحة: https://inria.hal.science/hal-01514661
https://inria.hal.science/hal-01514661/document
https://inria.hal.science/hal-01514661/file/978-3-642-40213-5_7_Chapter.pdf
https://doi.org/10.1007/978-3-642-40213-5_7

المؤلفون: Ariola, Zena, Downen, Paul, Herbelin, Hugo, Nakata, Keiko, Saurin, Alexis

المساهمون: Department of Computer and Information Science, University of Oregon Eugene, Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Design, study and implementation of languages for proofs and programs (PI.R2), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institute of Cybernetics Tallinn (IOC, Tallinn University of Technology (TalTech), Équipe associée INRIA Sémacode, Tom Schrijvers and Peter Thiemann

المصدر: FLOPS 2012 - 11th International Symposium on Functional and Logic Programming ; https://inria.hal.science/hal-00697241 ; FLOPS 2012 - 11th International Symposium on Functional and Logic Programming, May 2012, Kobe, Japan. pp.32-46, ⟨10.1007/978-3-642-29822-6⟩

مصطلحات موضوعية: call-by-need, lazy evaluation, duality of computation, sequent calculus, lambda-mu-calculus, classical logic, control, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.0: Control primitives, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Kobe, Japan

الاتاحة: https://inria.hal.science/hal-00697241
https://inria.hal.science/hal-00697241v1/document
https://inria.hal.science/hal-00697241v1/file/classical-need-artifacts.pdf
https://doi.org/10.1007/978-3-642-29822-6