المؤلفون: Kai, Toshiki, Teruya, Yuta, Nakasho, Kazuhisa

مصطلحات موضوعية: Computer Science - Software Engineering, 68V05, 68V15, 68V20, 68V30, 68V35, G.4

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

المؤلفون: Nakasho, Kazuhisa, Hagiwara, Manabu, Anderson, Austin, Nation, J. B.

مصطلحات موضوعية: Computer Science - Information Theory, 68P30, E.4, G.2.1

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

المؤلفون: Furushima, Hideharu, Yamamichi, Daichi, Shigenaka, Seigo, Nakasho, Kazuhisa, Wasaki, Katsumi

مصطلحات موضوعية: Computer Science - Programming Languages, 68V25, 68V30, 68V35, G.4

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

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

مصطلحات موضوعية: Computer Science - Mathematical Software, G.4

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

المؤلفون: Nakasho, Kazuhisa, Futa, Yuichi

مصطلحات موضوعية: Banach space, composition function, multilinear function

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

Relation: Formalized Mathematics, Volume 30, Issue 1, Pages 67-77; http://hdl.handle.net/11320/14248; Formalized Mathematics; orcid:0000-0003-1110-4342

الاتاحة: http://hdl.handle.net/11320/14248
https://doi.org/10.2478/forma-2022-0006

المؤلفون: Nakasho, Kazuhisa

مصطلحات موضوعية: real linear space, real normed space, real Euclidean space, real vector space

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

Relation: Formalized Mathematics, Volume 30, Issue 2, Pages 93-98; http://hdl.handle.net/11320/14265; Formalized Mathematics; orcid:0000-0003-1110-4342

الاتاحة: http://hdl.handle.net/11320/14265
https://doi.org/10.2478/forma-2022-0008

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

مصطلحات موضوعية: implicit function theorem, inverse function theorem, continuously differentiable function

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

Relation: Formalized Mathematics, Volume 30, Issue 3, Pages 159-168; http://hdl.handle.net/11320/14667; Formalized Mathematics

الاتاحة: http://hdl.handle.net/11320/14667
https://doi.org/10.2478/forma-2022-0012

المؤلفون: Kawachi, Akinori, Miyaji, Atsuko, Nakasho, Kazuhisa, Qi, Yiying, Takano, Yuuki

المصدر: Security Infrastructure Technology for Integrated Utilization of Big Data ; page 35-63 ; ISBN 9789811536533 9789811536540

الاتاحة: http://dx.doi.org/10.1007/978-981-15-3654-0_3
http://link.springer.com/content/pdf/10.1007/978-981-15-3654-0_3

المؤلفون: Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari

مصطلحات موضوعية: real vector space, topological space, normed spaces, L1-norm, maximum norm, linear isometry, proper metric space

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

Relation: Formalized Mathematics, Volume 29, Issue 4, Pages 175-184; http://hdl.handle.net/11320/13658; Formalized Mathematics

الاتاحة: http://hdl.handle.net/11320/13658
https://doi.org/10.2478/forma-2021-0017

المؤلفون: Nakasho, Kazuhisa, Okazaki, Hiroyuki, Shidama, Yasunari

مصطلحات موضوعية: real vector space, topological space, normed spaces

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

Relation: Formalized Mathematics, Volume 29, Issue 3, Pages 117-127; 1426–2630; http://hdl.handle.net/11320/12388; Formalized Mathematics

الاتاحة: http://hdl.handle.net/11320/12388
https://doi.org/10.2478/forma-2021-0012

المؤلفون: Nakasho, Kazuhisa, Futa, Yuichi

مصطلحات موضوعية: inverse function theorem, Lipschitz continuit, differentiability, implicit function, inverse function

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

Relation: Formalized Mathematics, Volume 29, Issue 1, Pages 9-19; http://hdl.handle.net/11320/11408; Formalized Mathematics; orcid:0000-0003-1110-4342

الاتاحة: http://hdl.handle.net/11320/11408
https://doi.org/10.2478/forma-2021-0002

المؤلفون: Okazaki, Hiroyuki, Nakasho, Kazuhisa

مصطلحات موضوعية: 3-fold product spaces, linear spaces, normed spaces

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

Relation: Formalized Mathematics, Volume 29, Issue 4, Pages 241-248; http://hdl.handle.net/11320/13668; Formalized Mathematics; brakORCID; orcid:0000-0003-1110-4342

الاتاحة: http://hdl.handle.net/11320/13668
https://doi.org/10.2478/forma-2021-0022

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

المصدر: Formalized Mathematics; August 2024, Vol. 32 Issue: 1 p195-201, 7p

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

المصدر: Formalized Mathematics; August 2024, Vol. 32 Issue: 1 p165-172, 8p

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

المصدر: Formalized Mathematics; August 2024, Vol. 32 Issue: 1 p187-194, 8p

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

المصدر: Formalized Mathematics; August 2024, Vol. 32 Issue: 1 p247-269, 23p

المؤلفون: Nakasho, Kazuhisa

المصدر: Formalized Mathematics ; volume 27, issue 1, page 15-23 ; ISSN 1898-9934 1426-2630

الاتاحة: http://dx.doi.org/10.2478/forma-2019-0002
http://content.sciendo.com/view/journals/forma/27/1/article-p15.xml
https://www.sciendo.com/pdf/10.2478/forma-2019-0002

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

المصدر: Formalized Mathematics ; volume 27, issue 2, page 117-131 ; ISSN 1898-9934 1426-2630

الاتاحة: http://dx.doi.org/10.2478/forma-2019-0013
http://content.sciendo.com/view/journals/forma/27/2/article-p117.xml
https://www.sciendo.com/pdf/10.2478/forma-2019-0013

المؤلفون: Nakasho, Kazuhisa

المصدر: Formalized Mathematics ; volume 27, issue 2, page 107-115 ; ISSN 1898-9934 1426-2630

الاتاحة: http://dx.doi.org/10.2478/forma-2019-0012
http://content.sciendo.com/view/journals/forma/27/2/article-p107.xml
https://www.sciendo.com/pdf/10.2478/forma-2019-0012

المؤلفون: Nakasho, Kazuhisa, Shidama, Yasunari

المصدر: Formalized Mathematics ; volume 27, issue 1, page 61-65 ; ISSN 1898-9934 1426-2630

الاتاحة: http://dx.doi.org/10.2478/forma-2019-0006
http://content.sciendo.com/view/journals/forma/27/1/article-p61.xml
https://www.sciendo.com/pdf/10.2478/forma-2019-0006