論文 - 中正　和久

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