default search action
Kazuhisa Nakasho
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c18]Ryota Adachi, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho:
Optimal Positioning of Sensors in a Bed Monitoring System Using RFID. ICCE-Taiwan 2024: 429-430 - [c17]Keisuke Soma, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho:
Study on the Impact of Subject Variability in a Bed Monitoring System Using RFID. ICCE-Taiwan 2024: 439-440 - [c16]Natsumi Oshiro, Tatsuro Ueda, Kazuhisa Nakasho:
Enhancing Learning Support Functions for Projectile Motion in the VR Application HoloThrow. ICCE-Taiwan 2024: 731-732 - [c15]Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho
:
Remote Verification System for Mizar Integrated with Emwiki. CICM 2024: 337-344 - [i4]Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho:
Remote Verification System for Mizar Integrated with Emwiki. CoRR abs/2410.20809 (2024) - 2023
- [i3]Kazuhisa Nakasho, Manabu Hagiwara, Austin Anderson, James B. Nation:
The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes in Dimension 11. CoRR abs/2309.14736 (2023) - 2022
- [j30]Kazuhisa Nakasho
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces. Formaliz. Math. 30(1): 67-77 (2022) - [j29]Kazuhisa Nakasho
Transformation Tools for Real Linear Spaces. Formaliz. Math. 30(2): 93-98 (2022) - [j28]Kazuhisa Nakasho
On Implicit and Inverse Function Theorems on Euclidean Spaces. Formaliz. Math. 30(3): 159-168 (2022) - [c14]Keiju Seki, Kazuhisa Nakasho, Cuadra Carlos, Nobuhiro Shimoi:
Development of an IoT Device for Structural Health Monitoring. ICCE-TW 2022: 519-520 - [c13]Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi:
Classification of Human Posture on Bed Using Machine Learning. ICCE-TW 2022: 547-548 - [c12]Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho
An Integrated Web Platform for the Mizar Mathematical Library. CICM 2022: 141-146 - [i2]Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki:
An Integrated Web Platform for the Mizar Mathematical Library. CoRR abs/2210.02336 (2022) - 2021
- [j27]Kazuhisa Nakasho, Yuichi Futa:
Inverse Function Theorem. Part I1. Formaliz. Math. 29(1): 9-19 (2021) - [j26]Kazuhisa Nakasho
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. Formaliz. Math. 29(3): 117-127 (2021) - [j25]Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama:
Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formaliz. Math. 29(4): 175-184 (2021) - [j24]Hiroyuki Okazaki, Kazuhisa Nakasho:
The 3-Fold Product Space of Real Normed Spaces and its Properties. Formaliz. Math. 29(4): 241-248 (2021) - [c11]Hirota Taniguchi, Kazuhisa Nakasho:
Visual Studio Code Extension and Auto-completion for Mizar Language. CANDAR 2021: 182-188 - [c10]Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, Atsuko Miyaji
A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection. CANDAR (Workshops) 2021: 332-338 - [c9]Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki:
A Web Platform for Hosting the Mizar Mathematical Library (short paper). CICM Workshops 2021 - 2020
- [j23]Hirokazu Madokoro
Development of Invisible Sensors and a Machine-Learning-Based Recognition System Used for Early Prediction of Discontinuous Bed-Leaving Behavior Patterns. Sensors 20(5): 1415 (2020) - [c8]Seitaro Mishima, Kazuhisa Nakasho, Kousuke Takeuchi, Naohiro Hayaishi, Yuuki Takano, Atsuko Miyaji
Development and Application of Privacy-preserving Distributed Medical Data Integration System. ICCE-TW 2020: 1-2 - [p1]Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, Yuuki Takano:
Secure Primitive for Big Data Utilization. Security Infrastructure Technology for Integrated Utilization of Big Data 2020: 35-63
2010 – 2019
- 2019
- [j22]Kazuhisa Nakasho:
Bilinear Operators on Normed Linear Spaces. Formaliz. Math. 27(1): 15-23 (2019) - [j21]Kazuhisa Nakasho:
Multilinear Operator and Its Basic Properties. Formaliz. Math. 27(1): 35-45 (2019) - [j20]Kazuhisa Nakasho, Yasunari Shidama:
Continuity of Multilinear Operator on Normed Linear Spaces. Formaliz. Math. 27(1): 61-65 (2019) - [j19]Kazuhisa Nakasho:
Isomorphisms from the Space of Multilinear Operators. Formaliz. Math. 27(2): 101-106 (2019) - [j18]Kazuhisa Nakasho:
Invertible Operators on Banach Spaces. Formaliz. Math. 27(2): 107-115 (2019) - [j17]Kazuhisa Nakasho, Yasunari Shidama:
Implicit Function Theorem. Part II. Formaliz. Math. 27(2): 117-131 (2019) - [c7]Kazuhisa Nakasho:
Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System. FedCSIS 2019: 77-80 - 2018
- [j16]Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Continuity of Bounded Linear Operators on Normed Linear Spaces. Formaliz. Math. 26(3): 231-237 (2018) - [c6]Katsuya Tanaka, Ryuichi Yamamoto, Kazuhisa Nakasho, Atsuko Miyaji
Development of a Secure Cross-Institutional Data Collection System Based on Distributed Standardized EMR Storage. EFMI-STC 2018: 35-39 - 2017
- [j15]Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama:
F. Riesz Theorem. Formaliz. Math. 25(3): 179-184 (2017) - [j14]Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Implicit Function Theorem. Part I. Formaliz. Math. 25(4): 269-281 (2017) - [j13]Atsuko Miyaji
Privacy-Preserving Integration of Medical Data - A Practical Multiparty Private Set Intersection. J. Medical Syst. 41(3): 37:1-37:10 (2017) - [c5]Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi:
Unsupervised learning-based semantic scene recognition and boundary visualization on category maps. ICDL-EPIROB 2017: 350-355 - [c4]Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi:
Adaptive learning based driving episode description on category maps. IJCNN 2017: 3138-3145 - [c3]Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi:
Context based semantic scene classification and recognition used for a vision-based mobile robot. RO-MAN 2017: 1332-1337 - 2016
- [j12]Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki
Conservation Rules of Direct Sum Decomposition of Groups. Formaliz. Math. 24(1): 81-94 (2016) - [j11]Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama:
Compactness in Metric Spaces. Formaliz. Math. 24(3): 167-172 (2016) - [j10]Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama:
Riemann-Stieltjes Integral. Formaliz. Math. 24(3): 199-204 (2016) - [j9]Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama:
The Basic Existence Theorem of Riemann-Stieltjes Integral. Formaliz. Math. 24(4): 253-259 (2016) - [c2]Kazuhisa Nakasho, Hirokazu Madokoro, Nobuhiro Shimoi:
Implementation of a vital signs monitoring system in combination with a bed-leaving detection system. SII 2016: 290-295 - 2015
- [j8]Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki
Definition and Properties of Direct Sum Decomposition of Groups1. Formaliz. Math. 23(1): 15-27 (2015) - [j7]Noboru Endou
σ-ring and σ-algebra of Sets1. Formaliz. Math. 23(1): 51-57 (2015) - [j6]Kazuhisa Nakasho, Noboru Endou
Separability of Real Normed Spaces and Its Basic Properties. Formaliz. Math. 23(1): 59-65 (2015) - [j5]Kazuhisa Nakasho, Hiroyuki Okazaki
Equivalent Expressions of Direct Sum Decomposition of Groups1. Formaliz. Math. 23(1): 67-73 (2015) - [c1]Kazuhisa Nakasho, Yasunari Shidama:
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CICM 2015: 343-347 - [i1]Kazuhisa Nakasho, Yasunari Shidama:
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CoRR abs/1505.01577 (2015) - 2014
- [j4]Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. Formaliz. Math. 22(3): 189-198 (2014) - [j3]Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Topological Properties of Real Normed Space. Formaliz. Math. 22(3): 209-223 (2014) - [j2]Yuichi Futa, Hiroyuki Okazaki
Torsion Z-module and Torsion-free Z-module. Formaliz. Math. 22(4): 277-289 (2014) - 2013
- [j1]Hiroshi Yamazaki, Hiroyuki Okazaki
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. Formaliz. Math. 21(3): 207-211 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: