Kazuhisa Nakasho

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 44

Top Topics

Set Intersection

Top Venues

Formaliz. Math.

Publications

Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho
Remote Verification System for Mizar Integrated with Emwiki. CICM (2024)
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 (2023)
Keiju Seki, Kazuhisa Nakasho, Cuadra Carlos, Nobuhiro Shimoi
Development of an IoT Device for Structural Health Monitoring. ICCE-TW (2022)
Kazuhisa Nakasho
Transformation Tools for Real Linear Spaces. Formaliz. Math. 30 (2) (2022)
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
An Integrated Web Platform for the Mizar Mathematical Library. CICM (2022)
Kazuhisa Nakasho, Yasunari Shidama
On Implicit and Inverse Function Theorems on Euclidean Spaces. Formaliz. Math. 30 (3) (2022)
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
An Integrated Web Platform for the Mizar Mathematical Library. CoRR (2022)
Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi
Classification of Human Posture on Bed Using Machine Learning. ICCE-TW (2022)
Kazuhisa Nakasho, Yuichi Futa
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces. Formaliz. Math. 30 (1) (2022)
Kazuhisa Nakasho, Yuichi Futa
Inverse Function Theorem. Part I1. Formaliz. Math. 29 (1) (2021)
Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formaliz. Math. 29 (4) (2021)
Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
A Web Platform for Hosting the Mizar Mathematical Library (short paper). CICM Workshops (2021)
Hirota Taniguchi, Kazuhisa Nakasho
Visual Studio Code Extension and Auto-completion for Mizar Language. CANDAR (2021)
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) (2021)
Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, Atsuko Miyaji
A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection. CANDAR (Workshops) (2021)
Hiroyuki Okazaki, Kazuhisa Nakasho
The 3-Fold Product Space of Real Normed Spaces and its Properties. Formaliz. Math. 29 (4) (2021)
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)
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) (2020)
Kazuhisa Nakasho, Yasunari Shidama
Continuity of Multilinear Operator on Normed Linear Spaces. Formaliz. Math. 27 (1) (2019)
Kazuhisa Nakasho
Isomorphisms from the Space of Multilinear Operators. Formaliz. Math. 27 (2) (2019)
Kazuhisa Nakasho, Yasunari Shidama
Implicit Function Theorem. Part II. Formaliz. Math. 27 (2) (2019)
Kazuhisa Nakasho
Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System. FedCSIS (2019)
Kazuhisa Nakasho
Bilinear Operators on Normed Linear Spaces. Formaliz. Math. 27 (1) (2019)
Kazuhisa Nakasho
Multilinear Operator and Its Basic Properties. Formaliz. Math. 27 (1) (2019)
Kazuhisa Nakasho
Invertible Operators on Banach Spaces. Formaliz. Math. 27 (2) (2019)
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
Continuity of Bounded Linear Operators on Normed Linear Spaces. Formaliz. Math. 26 (3) (2018)
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)
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
F. Riesz Theorem. Formaliz. Math. 25 (3) (2017)
Atsuko Miyaji, Kazuhisa Nakasho, Shohei Nishida
Privacy-Preserving Integration of Medical Data - A Practical Multiparty Private Set Intersection. J. Medical Syst. 41 (3) (2017)
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
Implicit Function Theorem. Part I. Formaliz. Math. 25 (4) (2017)
Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi
Unsupervised learning-based semantic scene recognition and boundary visualization on category maps. ICDL-EPIROB (2017)
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)
Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi
Adaptive learning based driving episode description on category maps. IJCNN (2017)
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
The Basic Existence Theorem of Riemann-Stieltjes Integral. Formaliz. Math. 24 (4) (2016)
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
Riemann-Stieltjes Integral. Formaliz. Math. 24 (3) (2016)
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Conservation Rules of Direct Sum Decomposition of Groups. Formaliz. Math. 24 (1) (2016)
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
Compactness in Metric Spaces. Formaliz. Math. 24 (3) (2016)
Kazuhisa Nakasho, Hirokazu Madokoro, Nobuhiro Shimoi
Implementation of a vital signs monitoring system in combination with a bed-leaving detection system. SII (2016)
Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama
σ-ring and σ-algebra of Sets1. Formaliz. Math. 23 (1) (2015)
Kazuhisa Nakasho, Noboru Endou
Separability of Real Normed Spaces and Its Basic Properties. Formaliz. Math. 23 (1) (2015)
Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Equivalent Expressions of Direct Sum Decomposition of Groups1. Formaliz. Math. 23 (1) (2015)
Kazuhisa Nakasho, Yasunari Shidama
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CoRR (2015)
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Definition and Properties of Direct Sum Decomposition of Groups1. Formaliz. Math. 23 (1) (2015)
Kazuhisa Nakasho, Yasunari Shidama
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CICM (2015)
Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. Formaliz. Math. 22 (3) (2014)
Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Torsion Z-module and Torsion-free Z-module. Formaliz. Math. 22 (4) (2014)
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
Topological Properties of Real Normed Space. Formaliz. Math. 22 (3) (2014)
Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. Formaliz. Math. 21 (3) (2013)