論文 - 中正　和久

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