主要業績

バイオマス発電・エネルギー

現時点では論文・学会発表はありません。

農業ロボティクス

1. Micro-Batch Harvesting: Path Planning for Tomato Robots using Safe-Cylinder Strategy and PC-CVRP
   Kazuhisa Nakasho, Hirokazu Madokoro, Stephanie Nix
   国際会議論文 · ICCT-Pacific 2026, pp. 51–54 · 2026

医療情報・暗号技術

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
   学術雑誌論文 · 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
   国際会議論文 · 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
   国際会議論文 · 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 of Medical Systems, 41(3), 37 · 2017

離床予測・センシング

1. Optimal Positioning of Sensors in a Bed Monitoring System Using RFID
   Ryota Adachi, Yu Yamauchi, Nobuhiro Shimoi, Kazuhisa Nakasho
   国際会議論文 · 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
   国際会議論文 · 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
   国際会議論文 · ICCAS 2023, pp. 1671–1676 · 2023
4. Classification of Human Posture on Bed Using Machine Learning
   Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi
   国際会議論文 · 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
   学術雑誌論文 · 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
   国際会議論文 · IEEE/SICE SII 2016, pp. 290–295 · 2016

VR・動作学習支援

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

数学知識管理・形式化数学

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

数学的知識発見・整数列

1. IntSeqBERT: Learning Arithmetic Structure in OEIS via Modulo-Spectrum Embeddings
   Kazuhisa Nakasho
   国際会議論文 · CICM 2026, LNCS 16907, pp. 249–267 · 2026
2. 編集距離をもとにした深層学習による整数列の類似性検出
   溝部 壮太朗, 中正 和久
   国内学会・研究会発表 · SITA 2025 · 2025

その他の研究・過去の研究

1. Feasibility Study of Automatic Cat Litter Cleaning System Using Robotic Arm
   Haru Ikeda, Kazuhisa Nakasho
   国際会議論文 · 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
   国際会議論文 · 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 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
   国際会議論文 · ISITA 2024, pp. 389–394 · 2024
5. Infrared–Resin Crack Measurement and Preventive Work Technology for Maintenance
   Nobuhiro Shimoi, Yu Yamauchi, Kazuhisa Nakasho
   学術雑誌論文 · 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
   国際会議論文 · ICCAS 2023, pp. 1598–1603 · 2023
7. 見守りロボットと非拘束センサによる日常生活の簡易モニタリングシステムの開発
   間所 洋和, 下井 信浩, 佐藤 和人, 中正 和久, 新村 正明, 和崎 克己
   学術雑誌論文 · 電子情報通信学会論文誌D, J102-D(5), pp. 411–422 · 2019
8. ピエゾ極限センサを用いた雪崩発生計測柵の性能試験
   下井 信浩, 中正 和久, Carlos Cuadra, 間所 洋和
   学術雑誌論文 · 日本機械学会論文集, 84(866), pp. 1–7 · 2018