Nakasho LaboratoryIwate Prefectural University
Menu
PUBLICATIONS & PRESENTATIONS

Selected Publications

Selected works by research area.

For the complete record, consult researchmap.

Biomass & Energy

No publications or conference presentations yet.

Agricultural Robotics

  1. Micro-Batch Harvesting: Path Planning for Tomato Robots using Safe-Cylinder Strategy and PC-CVRP
    Kazuhisa Nakasho, Hirokazu Madokoro, Stephanie Nix
    International conference paper · ICCT-Pacific 2026, pp. 51–54 · 2026

Healthcare & Privacy

  1. 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
    Journal article · JMIR Medical Informatics, 10(12), e38922 · 2022
  2. A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection
    Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, Atsuko Miyaji
    International conference paper · CANDARW 2021, pp. 332–338 · 2021
  3. Development and Application of Privacy-Preserving Distributed Medical Data Integration System
    Seitaro Mishima, Kazuhisa Nakasho, Kousuke Takeuchi, Naohiro Hayaishi, Yuuki Takano, Atsuko Miyaji
    International conference paper · ICCE-TW 2020, pp. 1–2 · 2020
  4. Privacy-Preserving Integration of Medical Data: A Practical Multiparty Private Set Intersection
    Atsuko Miyaji, Kazuhisa Nakasho, Shohei Nishida
    Journal article · Journal of Medical Systems, 41(3), 37 · 2017

Bed Monitoring & Sensing

  1. Optimal Positioning of Sensors in a Bed Monitoring System Using RFID
    Ryota Adachi, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho
    International conference paper · ICCE-Taiwan 2024, pp. 429–430 · 2024
  2. Study on the Impact of Subject Variability in a Bed Monitoring System Using RFID
    Keisuke Soma, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho
    International conference paper · ICCE-Taiwan 2024, pp. 439–440 · 2024
  3. Posture Estimation for Bed Monitoring System Using RFID
    Kazuhisa Nakasho, Chiaki Kohama, Kenta Sawada, Katsumi Wasaki, Nobuhiro Shimoi
    International conference paper · ICCAS 2023, pp. 1671–1676 · 2023
  4. Classification of Human Posture on Bed Using Machine Learning
    Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi
    International conference paper · ICCE-TW 2022, pp. 547–548 · 2022
  5. 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
    Journal article · Sensors, 20(5), 1415 · 2020
  6. Implementation of a Vital Signs Monitoring System in Combination With a Bed-Leaving Detection System
    Kazuhisa Nakasho, Hirokazu Madokoro, Nobuhiro Shimoi
    International conference paper · IEEE/SICE SII 2016, pp. 290–295 · 2016

VR & Learning

  1. 個人差を考慮した動的補正機能とリプレイ機能を備える VR 全身動作学習支援システムの提案と評価
    岡 優太, 中正 和久
    Domestic presentation · 第31回日本バーチャルリアリティ学会大会 · 2026
  2. VR ビジュアルノベルによる歴史教育の効果検証： 没入度が学習と歴史的共感に与える影響
    岡部 透也, 中正 和久
    Domestic presentation · 第31回日本バーチャルリアリティ学会大会 · 2026
  3. VRHMD環境下における光源特性が距離知覚に与える影響の検証
    池田 羽琉, 中正 和久
    Domestic presentation · 第31回日本バーチャルリアリティ学会大会 · 2026
  4. Design and Evaluation of Learning Support Features for Projectile Motion in the VR Application HoloThrow
    Natsumi Oshiro, Tatsuro Ueda, Kazuhisa Nakasho
    International conference paper · ICCAS 2025, pp. 1615–1620 · 2025
  5. Proposal and Evaluation of Immersive History Education through VR Visual Novels
    Toya Okabe, Kazuhisa Nakasho
    International conference paper · ICCAS 2025, pp. 1631–1636 · 2025
  6. VR-based Full-body Motion Learning Support System with Individual Difference Compensation
    Yuta Oka, Kazuhisa Nakasho
    International conference paper · ICCAS 2025, pp. 1129–1134 · 2025
  7. Learning Gas Laws with HoloAir: A VR Educational Tool for the Ideal Gas Equation
    Toshiki Hamaoka, Tatsuro Ueda, Kazuhisa Nakasho
    International conference paper · ICCE-Asia 2025, pp. 419–424 · 2025

Formal Mathematics & Mizar

  1. Higher Order Partial Differentiable Functions
    Kazuhisa Nakasho, Yasunari Shidama
    Journal article · Formalized Mathematics 33(1), pp. 103–115 · 2025
  2. Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
    Kazuhisa Nakasho, Yasunari Shidama
    Journal article · Formalized Mathematics 32(1), pp. 247–269 · 2024
  3. Remote Verification System for Mizar Integrated with Emwiki
    Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho
    International conference paper · CICM 2024, LNCS 14960, pp. 337–344 · 2024
  4. Web Application for the MML Explanation
    Yuta Teruya, Kazuhisa Nakasho
    International conference paper · MathUI 2024 · 2024
  5. Mizar 数学ライブラリの解説記事を提供するWebアプリケーション
    照屋 勇太, 中正 和久
    Domestic presentation · 電子情報通信学会総合大会 · 2024
  6. 定理証明⽀援系Mizarのリモート検証システムの構築
    甲斐 俊紀, 中正 和久
    Domestic presentation · 電子情報通信学会総合大会 · 2024
  7. Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
    Kazuhisa Nakasho, Yasunari Shidama
    Journal article · Formalized Mathematics, 32(1), pp. 165–172 · 2024
  8. Classical Isoperimetric Theorem
    Kazuhisa Nakasho, Yasunari Shidama
    Journal article · Formalized Mathematics, 32(1), pp. 187–194 · 2024
  9. On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
    Kazuhisa Nakasho, Yasunari Shidama
    Journal article · Formalized Mathematics, 32(1), pp. 195–201 · 2024
  10. VSCode Extension for the Web and Coding Assistance for the Mizar Language
    Haruka Miyata, Ryutaro Matsumoto, Kazuhisa Nakasho
    International conference paper · MathUI 2023 · 2023
  11. Classification and Dependency Visualization of the Articles of the Mizar Mathematical Library
    Shotaro Suzuki, Masahiro Nagasaki, Kazuhisa Nakasho
    International conference paper · MathUI 2023 · 2023
  12. An Integrated Web Platform for the Mizar Mathematical Library
    Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
    International conference paper · CICM 2022, LNCS 13467, pp. 141–146 · 2022
  13. Visual Studio Code Extension and Auto-Completion for Mizar Language
    Hiroto Taniguchi, Kazuhisa Nakasho
    International conference paper · CANDAR 2021, pp. 182–188 · 2021
  14. Multilinear Operator and Its Basic Properties
    Kazuhisa Nakasho
    Journal article · Formalized Mathematics, 27(1), pp. 35–45 · 2019
  15. Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System
    Kazuhisa Nakasho
    International conference paper · FedCSIS 2019, pp. 77–80 · 2019
  16. Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
    Kazuhisa Nakasho, Yasunari Shidama
    International conference paper · CICM 2015, LNCS 9150, pp. 343–347 · 2015

Mathematical Discovery

  1. IntSeqBERT: Learning Arithmetic Structure in OEIS via Modulo-Spectrum Embeddings
    Kazuhisa Nakasho
    International conference paper · CICM 2026, LNCS 16907, pp. 249–267 · 2026
  2. 編集距離をもとにした深層学習による整数列の類似性検出
    溝部 壮太朗, 中正 和久
    Domestic presentation · SITA 2025 · 2025

Other Research

  1. Feasibility Study of Automatic Cat Litter Cleaning System Using Robotic Arm
    Haru Ikeda, Kazuhisa Nakasho
    International conference paper · ICCAS 2025, pp. 551–556 · 2025
  2. Health Monitoring for Technology for Cracks of Concrete Surface Using Passive IR Camera of Convenient Measurement Sensors
    Nobuhiro Shimoi, Yu Yamauchi, Kazuhisa Nakasho, Carlos Cuadra
    International conference paper · ICCAS 2025, pp. 1267–1272 · 2025
  3. 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 article · Journal of Civil, Construction and Environmental Engineering, 10(1), pp. 27–35 · 2025
  4. The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes of Length 11
    Kazuhisa Nakasho, Manabu Hagiwara, Austin Anderson, James B. Nation
    International conference paper · ISITA 2024, pp. 389–394 · 2024
  5. Infrared–Resin Crack Measurement and Preventive Work Technology for Maintenance
    Nobuhiro Shimoi, Yu Yamauchi, Kazuhisa Nakasho
    Journal article · American Journal of Remote Sensing 12(1), pp. 24–32 · 2024
  6. Web-Based Structural Health Monitoring System Using Piezoelectric Joint Sensors and IoT Devices
    Keiju Seki, Kazuhisa Nakasho, Carlos Cuadra, Nobuhiro Shimoi
    International conference paper · ICCAS 2023, pp. 1598–1603 · 2023
  7. 見守りロボットと非拘束センサによる日常生活の簡易モニタリングシステムの開発
    間所 洋和, 下井 信浩, 佐藤 和人, 中正 和久, 新村 正明, 和崎 克己
    Journal article · 電子情報通信学会論文誌D, J102-D(5), pp. 411–422 · 2019
  8. ピエゾ極限センサを用いた雪崩発生計測柵の性能試験
    下井 信浩, 中正 和久, Carlos Cuadra, 間所 洋和
    Journal article · 日本機械学会論文集, 84(866), pp. 1–7 · 2018