Kazuhisa Nakasho

60 papers B 2C 5Journal 40Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	IntSeqBERT: Learning Arithmetic Structure in OEIS via Modulo-Spectrum Embeddings. CoRR Kazuhisa Nakasho
2025	J	`jnl`	Higher Order Partial Differentiable Functions. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2024	J	`jnl`	Classical Isoperimetric Theorem. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2024	J	`jnl`	Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2024	—	`conf`	Enhancing Learning Support Functions for Projectile Motion in the VR Application HoloThrow. ICCE-Taiwan Natsumi Oshiro, Tatsuro Ueda, Kazuhisa Nakasho
2024	J	`jnl`	Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2024	J	`jnl`	On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2024	—	`conf`	Optimal Positioning of Sensors in a Bed Monitoring System Using RFID. ICCE-Taiwan Ryota Adachi, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho
2024	C	`conf`	Remote Verification System for Mizar Integrated with Emwiki. CICM Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho
2024	J	`jnl`	Remote Verification System for Mizar Integrated with Emwiki. CoRR Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho
2024	—	`conf`	Study on the Impact of Subject Variability in a Bed Monitoring System Using RFID. ICCE-Taiwan Keisuke Soma, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho
2024	C	`conf`	The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes of Length 11. ISITA Kazuhisa Nakasho, Manabu Hagiwara, Austin Anderson, James B. Nation
2023	J	`jnl`	The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes in Dimension 11. CoRR Kazuhisa Nakasho, Manabu Hagiwara, Austin Anderson, James B. Nation
2022	C	`conf`	An Integrated Web Platform for the Mizar Mathematical Library. CICM Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
2022	J	`jnl`	An Integrated Web Platform for the Mizar Mathematical Library. CoRR Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
2022	—	`conf`	Classification of Human Posture on Bed Using Machine Learning. ICCE-TW Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi
2022	—	`conf`	Development of an IoT Device for Structural Health Monitoring. ICCE-TW Keiju Seki, Kazuhisa Nakasho, Cuadra Carlos, Nobuhiro Shimoi
2022	J	`jnl`	Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces. Formaliz. Math. Kazuhisa Nakasho, Yuichi Futa
2022	J	`jnl`	On Implicit and Inverse Function Theorems on Euclidean Spaces. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2022	J	`jnl`	Transformation Tools for Real Linear Spaces. Formaliz. Math. Kazuhisa Nakasho
2021	—	`conf`	A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection. CANDAR (Workshops) Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, Atsuko Miyaji
2021	—	`conf`	A Web Platform for Hosting the Mizar Mathematical Library (short paper). CICM Workshops Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
2021	J	`jnl`	Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formaliz. Math. Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
2021	J	`jnl`	Inverse Function Theorem. Part I1. Formaliz. Math. Kazuhisa Nakasho, Yuichi Futa
2021	J	`jnl`	Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. Formaliz. Math. Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
2021	J	`jnl`	The 3-Fold Product Space of Real Normed Spaces and its Properties. Formaliz. Math. Hiroyuki Okazaki, Kazuhisa Nakasho
2021	—	`conf`	Visual Studio Code Extension and Auto-completion for Mizar Language. CANDAR Hirota Taniguchi, Kazuhisa Nakasho
2020	—	`conf`	Development and Application of Privacy-preserving Distributed Medical Data Integration System. ICCE-TW Seitaro Mishima, Kazuhisa Nakasho, Kousuke Takeuchi, Naohiro Hayaishi, Yuuki Takano, Atsuko Miyaji
2020	J	`jnl`	Development of Invisible Sensors and a Machine-Learning-Based Recognition System Used for Early Prediction of Discontinuous Bed-Leaving Behavior Patterns. Sensors Hirokazu Madokoro, Kazuhisa Nakasho, Nobuhiro Shimoi, Hanwool Woo, Kazuhito Sato
2020	—	`ch.`	Secure Primitive for Big Data Utilization. Security Infrastructure Technology for Integrated Utilization of Big Data Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, Yuuki Takano
2019	J	`jnl`	Bilinear Operators on Normed Linear Spaces. Formaliz. Math. Kazuhisa Nakasho
2019	J	`jnl`	Continuity of Multilinear Operator on Normed Linear Spaces. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2019	C	`conf`	Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System. FedCSIS Kazuhisa Nakasho
2019	J	`jnl`	Implicit Function Theorem. Part II. Formaliz. Math. Kazuhisa Nakasho, Yasunari Shidama
2019	J	`jnl`	Invertible Operators on Banach Spaces. Formaliz. Math. Kazuhisa Nakasho
2019	J	`jnl`	Isomorphisms from the Space of Multilinear Operators. Formaliz. Math. Kazuhisa Nakasho
2019	J	`jnl`	Multilinear Operator and Its Basic Properties. Formaliz. Math. Kazuhisa Nakasho
2018	J	`jnl`	Continuity of Bounded Linear Operators on Normed Linear Spaces. Formaliz. Math. Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2018	—	`conf`	Development of a Secure Cross-Institutional Data Collection System Based on Distributed Standardized EMR Storage. EFMI-STC Katsuya Tanaka, Ryuichi Yamamoto, Kazuhisa Nakasho, Atsuko Miyaji
2017	B	`conf`	Adaptive learning based driving episode description on category maps. IJCNN Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi
2017	B	`conf`	Context based semantic scene classification and recognition used for a vision-based mobile robot. RO-MAN Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi
2017	J	`jnl`	F. Riesz Theorem. Formaliz. Math. Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
2017	J	`jnl`	Implicit Function Theorem. Part I. Formaliz. Math. Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2017	J	`jnl`	Privacy-Preserving Integration of Medical Data - A Practical Multiparty Private Set Intersection. J. Medical Syst. Atsuko Miyaji, Kazuhisa Nakasho, Shohei Nishida
2017	—	`conf`	Unsupervised learning-based semantic scene recognition and boundary visualization on category maps. ICDL-EPIROB Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi
2016	J	`jnl`	Compactness in Metric Spaces. Formaliz. Math. Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
2016	J	`jnl`	Conservation Rules of Direct Sum Decomposition of Groups. Formaliz. Math. Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
2016	—	`conf`	Implementation of a vital signs monitoring system in combination with a bed-leaving detection system. SII Kazuhisa Nakasho, Hirokazu Madokoro, Nobuhiro Shimoi
2016	J	`jnl`	Riemann-Stieltjes Integral. Formaliz. Math. Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
2016	J	`jnl`	The Basic Existence Theorem of Riemann-Stieltjes Integral. Formaliz. Math. Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
2015	J	`jnl`	Definition and Properties of Direct Sum Decomposition of Groups1. Formaliz. Math. Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
2015	C	`conf`	Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CICM Kazuhisa Nakasho, Yasunari Shidama
2015	J	`jnl`	Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CoRR Kazuhisa Nakasho, Yasunari Shidama
2015	J	`jnl`	Equivalent Expressions of Direct Sum Decomposition of Groups1. Formaliz. Math. Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
2015	J	`jnl`	Separability of Real Normed Spaces and Its Basic Properties. Formaliz. Math. Kazuhisa Nakasho, Noboru Endou
2015	J	`jnl`	σ-ring and σ-algebra of Sets1. Formaliz. Math. Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama
2014	J	`jnl`	Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. Formaliz. Math. Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2014	J	`jnl`	Topological Properties of Real Normed Space. Formaliz. Math. Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2014	J	`jnl`	Torsion Z-module and Torsion-free Z-module. Formaliz. Math. Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
2013	J	`jnl`	Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. Formaliz. Math. Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama