Kazuhisa Nakasho

According to our database, Kazuhisa Nakasho authored at least 47 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Remote Verification System for Mizar Integrated with Emwiki.

Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023

The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes in Dimension 11.

Kazuhisa Nakasho, Manabu Hagiwara, Austin Anderson, James B. Nation

CoRR, 2023

2022

On Implicit and Inverse Function Theorems on Euclidean Spaces.

Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2022

Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces.

Kazuhisa Nakasho, Yuichi Futa

Formaliz. Math., 2022

Transformation Tools for Real Linear Spaces.

Kazuhisa Nakasho

Formaliz. Math., 2022

An Integrated Web Platform for the Mizar Mathematical Library.

Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

Development of an IoT Device for Structural Health Monitoring.

Keiju Seki, Kazuhisa Nakasho, Cuadra Carlos, Nobuhiro Shimoi

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

Classification of Human Posture on Bed Using Machine Learning.

Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

2021

The 3-Fold Product Space of Real Normed Spaces and its Properties.

Hiroyuki Okazaki, Kazuhisa Nakasho

Formaliz. Math., 2021

Finite Dimensional Real Normed Spaces are Proper Metric Spaces.

Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2021

Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863.

Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2021

Inverse Function Theorem. Part I1.

Kazuhisa Nakasho, Yuichi Futa

Formaliz. Math., 2021

A Web Platform for Hosting the Mizar Mathematical Library (short paper).

Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

Visual Studio Code Extension and Auto-completion for Mizar Language.

Hirota Taniguchi, Kazuhisa Nakasho

Proceedings of the Ninth International Symposium on Computing and Networking, 2021

A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection.

Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, Atsuko Miyaji

Proceedings of the Ninth International Symposium on Computing and Networking, 2021

2020

Development of Invisible Sensors and a Machine-Learning-Based Recognition System Used for Early Prediction of Discontinuous Bed-Leaving Behavior Patterns.

Hirokazu Madokoro, Kazuhisa Nakasho, Nobuhiro Shimoi, Hanwool Woo, Kazuhito Sato

Sensors, 2020

Development and Application of Privacy-preserving Distributed Medical Data Integration System.

Seitaro Mishima, Kazuhisa Nakasho, Kousuke Takeuchi, Naohiro Hayaishi, Yuuki Takano, Atsuko Miyaji

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020

Secure Primitive for Big Data Utilization.

Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, Yuuki Takano

Proceedings of the Security Infrastructure Technology for Integrated Utilization of Big Data, 2020

2019

Implicit Function Theorem. Part II.

Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2019

Continuity of Multilinear Operator on Normed Linear Spaces.

Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2019

Invertible Operators on Banach Spaces.

Kazuhisa Nakasho

Formaliz. Math., 2019

Isomorphisms from the Space of Multilinear Operators.

Kazuhisa Nakasho

Formaliz. Math., 2019

Multilinear Operator and Its Basic Properties.

Kazuhisa Nakasho

Formaliz. Math., 2019

Bilinear Operators on Normed Linear Spaces.

Kazuhisa Nakasho

Formaliz. Math., 2019

Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System.

Kazuhisa Nakasho

Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, 2019

2018

Continuity of Bounded Linear Operators on Normed Linear Spaces.

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2018

Development of a Secure Cross-Institutional Data Collection System Based on Distributed Standardized EMR Storage.

Katsuya Tanaka, Ryuichi Yamamoto, Kazuhisa Nakasho, Atsuko Miyaji

Proceedings of the Decision Support Systems and Education, 2018

2017

Privacy-Preserving Integration of Medical Data - A Practical Multiparty Private Set Intersection.

Atsuko Miyaji, Kazuhisa Nakasho, Shohei Nishida

J. Medical Syst., 2017

F. Riesz Theorem.

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2017

Implicit Function Theorem. Part I.

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2017

Context based semantic scene classification and recognition used for a vision-based mobile robot.

Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi

Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

Adaptive learning based driving episode description on category maps.

Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Unsupervised learning-based semantic scene recognition and boundary visualization on category maps.

Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi

Proceedings of the 2017 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics, 2017

2016

Riemann-Stieltjes Integral.

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2016

Conservation Rules of Direct Sum Decomposition of Groups.

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2016

The Basic Existence Theorem of Riemann-Stieltjes Integral.

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama

Formaliz. Math., 2016

Compactness in Metric Spaces.

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama

Formaliz. Math., 2016

Implementation of a vital signs monitoring system in combination with a bed-leaving detection system.

Kazuhisa Nakasho, Hirokazu Madokoro, Nobuhiro Shimoi

Proceedings of the 2016 IEEE/SICE International Symposium on System Integration, 2016

2015

Definition and Properties of Direct Sum Decomposition of Groups1.

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2015

Equivalent Expressions of Direct Sum Decomposition of Groups1.

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

Formaliz. Math., 2015

Separability of Real Normed Spaces and Its Basic Properties.

Kazuhisa Nakasho, Noboru Endou

Formaliz. Math., 2015

σ-ring and σ-algebra of Sets1.

Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2015

Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library.

Kazuhisa Nakasho, Yasunari Shidama

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

Topological Properties of Real Normed Space.

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formaliz. Math., 2014

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.

Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formaliz. Math., 2014

Torsion Z-module and Torsion-free Z-module.

Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2014

2013

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order.

Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formaliz. Math., 2013