![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Kazuhisa Nakasho
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c15]Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho:
Remote Verification System for Mizar Integrated with Emwiki. CICM 2024: 337-344 - 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
, Yuichi Futa:
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
, Yasunari Shidama:
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
, Katsumi Wasaki:
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
, Hiroyuki Okazaki, Yasunari Shidama:
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
, Kazuhisa Nakasho
, Nobuhiro Shimoi, Hanwool Woo
, Kazuhito Sato:
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
, Kazuhisa Nakasho, Shohei Nishida:
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, Yasunari Shidama:
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, Yasunari Shidama:
Definition and Properties of Direct Sum Decomposition of Groups1. Formaliz. Math. 23(1): 15-27 (2015) - [j7]Noboru Endou
, Kazuhisa Nakasho, Yasunari Shidama:
σ-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, Hiroshi Yamazaki, Yasunari Shidama:
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, Yasunari Shidama:
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, Kazuhisa Nakasho, Yasunari Shidama:
Torsion Z-module and Torsion-free Z-module. Formaliz. Math. 22(4): 277-289 (2014) - 2013
- [j1]Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama:
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. Formaliz. Math. 21(3): 207-211 (2013)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-08-22 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint