論文 - 中正　和久

Comparison of Crack Measurement and FEM Analysis Using Infrared Camera for Concrete Surface of Coating-type Resin Sensor

Nobuhiro Shimoi, Kazuhisa Nakasho, Yu Yamauchi

Journal of Civil, Construction and Environmental Engineering  10 ( 1 ) 27 - 35   2025年02月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.jccee.20251001.13

Permalink DOI

Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces

Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  32 ( 1 ) 165 - 172   2024年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2024-0013

Permalink DOI

Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces

Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  32 ( 1 ) 247 - 269   2024年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2024-0021

Permalink DOI

On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality

Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  32 ( 1 ) 195 - 201   2024年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2024-0016

Permalink DOI

Classical Isoperimetric Theorem

Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  32 ( 1 ) 187 - 194   2024年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2024-0015

Permalink DOI

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

2024 International Symposium on Information Theory and Its Applications (ISITA)    2024年11月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.23919/ISITA60732.2024.10858234

Permalink DOI

Web Application for the MML Explanation

Yuta Teruya, Kazuhisa Nakasho

15th Mathematical User Interaction Workshop 2024 (MathUI'24)    2024年08月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

Remote Verification System for Mizar Integrated with Emwiki

Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho

17th Conference on Intelligent Computer Mathematics (CICM 2024) - Lecture Notes in Computer Science (LNCS) vol. 14960    337 - 344   2024年08月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1007/978-3-031-66997-2_19

Permalink DOI

Enhancing Learning Support Functions for Projectile Motion in the VR Application HoloThrow

Natsumi Oshiro, Tatsuro Ueda, Kazuhisa Nakasho

2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan)    729 - 730   2024年07月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ICCE-Taiwan62264.2024.10674175

Permalink DOI

Optimal Positioning of Sensors in a Bed Monitoring System Using RFID

Ryota Adachi, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho

2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan)    429 - 430   2024年07月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ICCE-Taiwan62264.2024.10674484

Permalink DOI

Study on the Impact of Subject Variability in a Bed Monitoring System Using RFID

Keisuke Soma, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho

2024 International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan)    439 - 440   2024年07月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ICCE-Taiwan62264.2024.10674472

DOI

Infrared–Resin Crack Measurement and Preventive Work Technology for Maintenance

Nobuhiro Shimoi, Yu Yamauchi, Kazuhisa Nakasho

American Journal of Remote Sensing  12 ( 1 ) 24 - 32   2024年06月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.ajrs.20241201.14

Permalink DOI

Preventive Work and Health Monitoring for Technology by Cracks of Concrete Surface Using IR Camera and Resin Sensor

Nobuhiro Shimoi, Yu Yamauchi, Kazuhisa Nakasho, Carlos Cuadra

The 13th TSME International Conference on Mechanical Engineering (TSME-ICoME)    411 - 420   2023年12月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

Posture Estimation for Bed Monitoring System Using RFID

Kazuhisa Nakasho, Chiaki Kohama, Kenta Sawada, Katsumi Wasaki, Nobuhiro Shimoi

The 23rd International Conference on Control, Automation and Systems (ICCAS2023)    1671 - 1676   2023年10月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.23919/iccas59377.2023.10317039

Permalink DOI

Web-Based Structural Health Monitoring System Using Piezoelectric Joint Sensors and IoT Devices

Keiju Seki, Kazuhisa Nakasho, Carlos Cuadra, Nobuhiro Shimoi

The 23rd International Conference on Control, Automation and Systems (ICCAS2023)    1598 - 1603   2023年10月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.23919/iccas59377.2023.10316970

Permalink DOI

Classification and Dependency Visualization of the Articles of the Mizar Mathematical Library

Shotaro Suzuki, Masahiro Nagasaki, Kazuhisa Nakasho

14th Mathematical User Interaction Workshop 2023 (MathUI'23)    2023年09月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

VSCode Extension for the Web and Coding Assistance for the Mizar Language

Haruka Miyata, Ryutaro Matsumoto, Kazuhisa Nakasho

14th Mathematical User Interaction Workshop 2023 (MathUI'23)    2023年09月

研究論文（国際会議プロシーディングス）

単著  英語

Permalink

変位計測用ピエゾ複合センサのベース板厚と形状変化によるセンサ出力の比較

下井 信浩, 中正 和久, Carlos Cuadra

計測自動制御学会論文集  59 ( 7 ) 321 - 329   2023年07月

研究論文（学術雑誌）

共著  日本語

DOI： 10.9746/sicetr.59.321

Permalink DOI

ピエゾ接合センサを用いた変位計測におけるセンサ出力評価とFEM解析

下井 信浩, 中正 和久, Carlos Cuadra

日本機械学会論文集  89 ( 921 ) 1 - 13   2023年05月

研究論文（学術雑誌）

共著  日本語

DOI： 10.1299/transjsme.22-00181

Permalink DOI

Preventive Work and Health Monitoring for Technology by Cracks of Concrete Surface Using Coating Type Resin Sensor

Nobuhiro Shimoi, Yu Yamauchi, Kazuhisa Nakasho

International Journal of Sensors and Sensor Networks  11 ( 1 ) 1 - 10   2023年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.ijssn.20231101.11

Permalink DOI

On Implicit and Inverse Function Theorems on Euclidean Spaces

Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  30 ( 3 ) 159 - 168   2022年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2022-0012

Permalink DOI

Transformation Tools for Real Linear Spaces

Kazuhisa Nakasho

Formalized Mathematics  30 ( 2 ) 93 - 98   2022年12月

研究論文（学術雑誌）

単著  英語

DOI： 10.2478/forma-2022-0008

Permalink DOI

Isomorphism Between Spaces of Multilinear Maps and Nested Compositions Over Real Normed Vector Spaces

Kazuhisa Nakasho, Yuichi Futa

Formalized Mathematics  30 ( 1 ) 66 - 77   2022年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2022-0006

Permalink DOI

An Integrated Web Platform for the Mizar Mathematical Library

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

15th Conference on Intelligent Computer Mathematics (CICM 2022) - Lecture Notes in Computer Science (LNCS) vol. 13467    141 - 146   2022年09月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1007/978-3-031-16681-5_9

Permalink DOI

Sensor Characteristics Attributable to Base Plate Thickness of Piezo-Composite Sensors

Nobuhiro Shimoi, Kazuhisa Nakasho, Carlos Cuadra

International Journal of Mechanical Engineering and Applications  10 ( 5 ) 105 - 112   2022年09月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.ijmea.20221005.12

Permalink DOI

Comparison of Sensor Output Because Base Plate Thickness and Shape Change of Piezoelectric Composite Sensor for Long-Term Measurement

Nobuhiro Shimoi, Kazuhisa Nakasho, Carlos Cuadra

American Journal of Science, Engineering and Technology  7 ( 3 ) 114 - 120   2022年08月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.ajset.20220703.17

Permalink DOI

Finite Dimensional Real Normed Spaces Are Proper Metric Spaces

Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama

Formalized Mathematics  29 ( 4 ) 175 - 184   2022年07月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2021-0017

Permalink DOI

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

Hiroyuki Okazaki, Kazuhisa Nakasho

Formalized Mathematics  29 ( 4 ) 241 - 248   2022年07月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2021-0022

Permalink DOI

Classification of Human Posture on Bed Using Machine Learning

Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi

2022 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2022)    547 - 548   2022年07月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ICCE-Taiwan55306.2022.9869245

Permalink DOI

Development of an IoT Device for Structural Health Monitoring

Keiju Seki, Kazuhisa Nakasho, Cuadra Carlos, Nobuhiro Shimoi

2022 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2022)    519 - 520   2022年07月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ICCE-Taiwan55306.2022.9869005

Permalink DOI

ピエゾモニタリングセンサの計測用ロボット（SALLY）の開発

下井 信浩, 中正 和久

計測自動制御学会論文集  58 ( 4 ) 245 - 247   2022年06月

研究論文（学術雑誌）

共著  日本語

DOI： 10.9746/sicetr.58.245

Permalink DOI

Privacy-Preserving Distributed Medical Data Integration Security System for Accuracy Assessment of Cancer Screening: Development Study of Novel Data Integration System

Atsuko Miyaji, Kaname Watanabe, Yuuki Takano, Kazuhisa Nakasho, Sho Nakamura, Yuntao Wang, Hiroto Narimatsu

JMIR Medical Informatics  10 ( 12 ) e38922 (17 pages)   2022年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.2196/38922

Permalink DOI

Piezoelectric Joint Sensors Shape to Sensor Response Characteristics by FEM Analysis and Measuring Result

Nobuhiro Shimoi, Kazuhisa Nakasho, Carlos Cuadra

Journal of Civil, Construction and Environmental Engineering  7 ( 1 ) 1 - 7   2022年02月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.jccee.20220701.11

Permalink DOI

Real Vector Space and Related Notions

Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama

Formalized Mathematics  29 ( 2 ) 117 - 127   2021年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2021-0012

Permalink DOI

A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection

Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, Atsuko Miyaji

The Ninth International Symposium on Computing and Networking Workshop (CANDARW 2021)    332 - 338   2021年11月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/CANDARW53999.2021.00063

Permalink DOI

Visual Studio Code Extension and Auto-Completion for Mizar Language

Hiroto Taniguchi, Kazuhisa Nakasho

The Ninth International Symposium on Computing and Networking (CANDAR 2021)    182 - 188   2021年11月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/CANDAR53791.2021.00033

Permalink DOI

Low-Cost Sensor System With Life Signals for Bed Monitoring

Nobuhiro Shimoi, Kazuhisa Nakasho, Katsumi Wasaki

International Journal of Science and Engineering Investigations  10 ( 116 ) 45 - 50   2021年09月

研究論文（学術雑誌）

共著  英語

Permalink

Inverse Function Theorem. Part I

Kazuhisa Nakasho, Yuichi Futa

Formalized Mathematics  29 ( 1 ) 9 - 19   2021年08月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2021-0002

Permalink DOI

A Web Platform for Hosting the Mizar Mathematical Library

Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki

5th Workshop on Formal Mathematics for Mathematicians (FMM 2021)    2021年07月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

ピエゾ接合センサを用いた柱脚の溶接部における変位測定比較

下井 信浩, Carlos Cuadra, 中正 和久

計測自動制御学会論文集  57 ( 5 ) 253 - 259   2021年05月

研究論文（学術雑誌）

共著  日本語

DOI： 10.9746/sicetr.57.253

Permalink DOI

Sally, a Robot for Measuring Piezoelectric Joint Sensor Characteristics

Nobuhiro Shimoi, Kazuhisa Nakasho

Research & Development  1 ( 1 ) 25 - 30   2020年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.rd.20200101.13

Permalink DOI

Comparison of Displacement Measurements and Simulation on Fillet Weld of Steel Column Base

Nobuhiro Shimoi, Carlos Cuadra, Hirokazu Madokoro, Kazuhisa Nakasho

International Journal of Mechanical Engineering and Applications  8 ( 5 ) 111 - 117   2020年10月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.ijmea.20200805.11

Permalink DOI

Development and Application of Privacy-Preserving Distributed Medical Data Integration System

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

2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2020)    1 - 2   2020年09月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ICCE-Taiwan49838.2020.9258160

Permalink DOI

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  20 ( 5 ) 1415   2020年03月

研究論文（学術雑誌）

共著  英語

DOI： 10.3390/s20051415

Permalink DOI

Invisible and Cost-Effective Sensors With a Network Robot for an IoT House for Tourists

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

19th International Conference on Control, Automation and Systems (ICCAS 2019)    460 - 465   2019年10月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.23919/ICCAS47443.2019.8971768

Permalink DOI

Invisible Sensors for Early Prediction of Discontinuous Bed-Leaving Behavior Patterns

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

5th International Conference on Sensors Engineering and Electronics Instrumentation Advances (SEIA' 2019)    74 - 80   2019年09月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

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

Kazuhisa Nakasho

The 2019 Federated Conference on Computer Science and Information Systems (FedCSIS 2019)    77 - 80   2019年09月

研究論文（国際会議プロシーディングス）

単著  英語

DOI： 10.15439/2019F151

DOI

Isomorphisms from the Space of Multilinear Operators

Kazuhisa Nakasho

Formalized Mathematics  27 ( 2 ) 101 - 106   2019年07月

研究論文（学術雑誌）

単著  英語

DOI： 10.2478/forma-2019-0011

Permalink DOI

Implicit Function Theorem. Part II

Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  27 ( 2 ) 117 - 131   2019年07月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2019-0013

Permalink DOI

Invertible Operators on Banach Spaces

Kazuhisa Nakasho

Formalized Mathematics  27 ( 2 ) 107 - 115   2019年07月

研究論文（学術雑誌）

単著  英語

DOI： 10.2478/forma-2019-0012

Permalink DOI

Bilinear Operators on Normed Linear Spaces

Kazuhisa Nakasho

Formalized Mathematics  27 ( 1 ) 15 - 23   2019年05月

研究論文（学術雑誌）

単著  英語

DOI： 10.2478/forma-2019-0002

Permalink DOI

Continuity of Multilinear Operator on Normed Linear Spaces

Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  27 ( 1 ) 61 - 65   2019年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2019-0006

Permalink DOI

Multilinear Operator and Its Basic Properties

Kazuhisa Nakasho

Formalized Mathematics  27 ( 1 ) 35 - 45   2019年05月

研究論文（学術雑誌）

単著  英語

DOI： 10.2478/forma-2019-0004

Permalink DOI

見守りロボットと非拘束センサによる日常生活の簡易モニタリングシステムの開発

間所 洋和, 下井 信浩, 佐藤 和人, 中正 和久, 新村 正明, 和崎 克己

電子情報通信学会D部門  J102-D ( 5 ) 411 - 422   2019年05月

研究論文（学術雑誌）

単著  日本語

DOI： 10.14923/transinfj.2018JDP7065

Permalink DOI

Continuity of Bounded Linear Operators on Normed Linear Spaces

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formalized Mathematics  26 ( 3 ) 231 - 237   2019年02月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2018-0021

Permalink DOI

ピエゾ極限センサを用いた雪崩発生計測柵の性能試験

下井 信浩, 中正 和久, Carlos Cuadra, 間所 洋和

日本機械学会論文集  84 ( 866 ) 1 - 7   2018年10月

研究論文（学術雑誌）

共著  日本語

DOI： 10.1299/transjsme.18-00244

Permalink DOI

Classification and Visualization of Long-Term Life-Monitoring Sensor Signals Using Topological Characteristics of Category Maps

Kazuya Iguchi, Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi

18th International Conference on Control, Automation and Systems (ICCAS 2018)    381 - 386   2018年10月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

Automatic Calibration of Bed-Leaving Sensor Signals Based on Genetic Evolutionary Learning

Daiju Hiramatsu, Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi

18th International Conference on Control, Automation and Systems (ICCAS 2018)    81 - 86   2018年10月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

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

Katsuya Tanaka, Ryuichi Yamamoto, Kazuhisa Nakasho, Atsuko Miyaji

2018 Special Topic Conference, European Federation for Medical Informatics (EFMI STC 2018) Studies in Health Technology and Informatics  255 ( 255 ) 35 - 39   2018年10月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.3233/978-1-61499-921-8-35

Permalink DOI

Landslide and Falling Rock Measurement Using Piezoelectric Smart Sensors

Nobuhiro Shimoi, Carlos Cuadra, Kazuhisa Nakasho, Hirokazu Madokoro

International Journal of Science and Engineering Investigations  7 ( 77 ) 134 - 138   2018年06月

研究論文（学術雑誌）

共著  英語

Permalink

Implicit Function Theorem. Part I

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formalized Mathematics  25 ( 4 ) 269 - 281   2018年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.1515/forma-2017-0026

Permalink DOI

F. Riesz Theorem

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  25 ( 3 ) 179 - 184   2017年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.1515/forma-2017-0017

Permalink DOI

Infrared Thermography Applied for Robust Image Processing to Examine Historical Wooden Buildings

Kazuhisa Nakasho, Carlos Cuadra, Hirokazu Madokoro, Nobuhiro Shimoi

14th International Workshop on Advanced Infrared Technology and Application (AITA 2017)    104 - 107   2017年09月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

Active Image Processing for Wooden Traditional Structure Using IR Cameras

Nobuhiro Shimoi, Carlos Cuadra, Kazuhisa Nakasho, Hirokazu Madokoro

14th International Workshop on Advanced Infrared Technology and Application (AITA 2017)    113 - 116   2017年09月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

Unsupervised Learning-Based Semantic Scene Recognition and Boundary Visualization on Category Maps

Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi

7th Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics (ICDL-EpiRob 2017)    350 - 355   2017年09月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/DEVLRN.2017.8329829

Permalink DOI

Context Based Semantic Scene Classification and Recognition Used for a Vision-Based Mobile Robot

Hirokazu Madokoro, Kazuhito Sato, Kazuhisa Nakasho, Nobuhiro Shimoi

26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2017)    1332 - 1337   2017年08月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ROMAN.2017.8172477

Permalink DOI

Avalanche and Falling Rock Measurement Using Piezoelectric Dynamics and Static Sensors

Nobuhiro Shimoi, Kazuhisa Nakasho, Carlos Cuadra, Masahiro Saijo, Hirokazu Madokoro

American Journal of Remote Sensing  5 ( 2 ) 10 - 15   2017年08月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.ajrs.20170502.11

Permalink DOI

Adaptive Learning Based Driving Episode Description on Category Maps

2017 International Joint Conference on Neural Networks (IJCNN 2017)

2017 International Joint Conference on Neural Networks (IJCNN 2017)    3138 - 3145   2017年05月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/IJCNN.2017.7966247

Permalink DOI

The Basic Existence Theorem of Riemann-Stieltjes Integral

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama

Formalized Mathematics  24 ( 4 ) 253 - 259   2017年02月

研究論文（学術雑誌）

共著  英語

DOI： 10.1515/forma-2016-0021

Permalink DOI

Compactness in Metric Spaces

Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama

Formalized Mathematics  24 ( 3 ) 167 - 172   2017年02月

研究論文（学術雑誌）

共著  英語

DOI： 10.1515/forma-2016-0013

Permalink DOI

Riemann-Stieltjes Integral

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  24 ( 3 ) 199 - 204   2017年02月

研究論文（学術雑誌）

共著  英語

DOI： 10.1515/forma-2016-0016

Permalink DOI

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

Atsuko Miyaji, Kazuhisa Nakasho, Shohei Nishida

Journal of Medical Systems  41 ( 3 ) 37 (10 pages)   2017年01月

研究論文（学術雑誌）

共著  英語

DOI： 10.1007/s10916-016-0657-4

Permalink DOI

Implementation of a Vital Signs Monitoring System in Combination With a Bed-Leaving Detection System

Kazuhisa Nakasho, Hirokazu Madokoro, Nobuhiro Shimoi

2016 IEEE/SICE International Symposium on System Integration (SII 2016)    290 - 295   2016年12月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/SII.2016.7844013

Permalink DOI

Comparison of Piezoelectric Limit Sensors With FEM Analysis Results of Compression Failure of Brick Masonry Specimens

Takuya Sasaki, Cairos Cuadra, Hirokazu Madokoro, Kazuhisa Nakasho, Nobuhiro Shimoi

16th International Conference on Control, Automation and Systems (ICCAS 2016)    1197 - 1201   2016年10月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1109/ICCAS.2016.7832466

Permalink DOI

Comparison of Displacement Measurements in Exposed Type Column Base Using Piezoelectric Dynamic Sensors and Static Sensors

Nobuhiro Shimoi, Tetsuya Nishida, Akihiko Obata, Kazuhisa Nakasho, Hirokazu Madokoro, Carlos Cuadra

American Journal of Remote Sensing  4 ( 5 ) 23 - 32   2016年10月

研究論文（学術雑誌）

共著  英語

DOI： 10.11648/j.ajrs.20160405.11

Permalink DOI

Conservation Rules of Direct Sum Decomposition of Groups

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama

Formalized Mathematics  24 ( 1 ) 81 - 94   2016年08月

研究論文（学術雑誌）

共著  英語

DOI： 10.1515/forma-2016-0007

Permalink DOI

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

Kazuhisa Nakasho, Yasunari Shidama

9th Conference on Intelligent Computer Mathematics (CICM 2016) - Lecture Notes in Computer Science (LNCS) vol. 9150    343 - 347   2015年07月

研究論文（国際会議プロシーディングス）

共著  英語

DOI： 10.1007/978-3-319-20615-8_25

Permalink DOI

Definition and Properties of Direct Sum Decomposition of Groups

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama

Formalized Mathematics  23 ( 1 ) 15 - 27   2015年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2015-0002

Permalink DOI

Equivalent Expressions of Direct Sum Decomposition of Groups

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

Formalized Mathematics  23 ( 1 ) 67 - 73   2015年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2015-0006

Permalink DOI

Separability of Real Normed Spaces and Its Basic Properties

Kazuhisa Nakasho, Noboru Endou

Formalized Mathematics  23 ( 1 ) 59 - 65   2015年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2015-0005

Permalink DOI

σ-ring and σ-algebra of Sets

Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  23 ( 1 ) 51 - 57   2015年05月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2015-0004

Permalink DOI

Torsion Z-module and Torsion-Free Z-module

Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  22 ( 4 ) 277 - 289   2014年12月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2014-0028

Permalink DOI

Formalization of Fundamental Theorem of Finite Abelian Groups in Mizar

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

6th Podlasie Conference on Mathematics (6PCM)    23 - 34   2014年07月

研究論文（国際会議プロシーディングス）

共著  英語

Permalink

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

Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Formalized Mathematics  22 ( 3 ) 189 - 198   2014年03月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2014-0021

Permalink DOI

Topological Properties of Real Normed Space

Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama

Formalized Mathematics  22 ( 3 ) 209 - 223   2014年03月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2014-0024

Permalink DOI

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama

Formalized Mathematics  21 ( 3 ) 207 - 211   2013年10月

研究論文（学術雑誌）

共著  英語

DOI： 10.2478/forma-2013-0022

Permalink DOI