AI-assisted biomass plant operations
Monitoring, early detection of anomalies, moisture forecasting, and fuel-blend optimization.
IWATE PREFECTURAL UNIVERSITY · SOCIAL SYSTEMS DESIGN
Nakasho Laboratory 中正研究室
Solving social challenges with AI and mathematics.
Our laboratory applies AI, IoT, robotics, and mathematical methods to real-world challenges in energy, agriculture, healthcare, and welfare. We also study mathematical knowledge management and discovery.
01 CURRENT RESEARCH
Research projects
Agricultural harvesting robotics
Safe route planning and efficient micro-batch harvesting.
Privacy-preserving medical record linkage
Private Set Intersection protocols for secure cross-institution record matching.
RFID-based bed-exit prediction
Estimating patient posture and anticipating bed exits from RFID signals.
VR motion learning assistance
Real-time feedback comparing learner and instructor movements.
Mizar Evolution
Modernizing a formal mathematics environment, alongside Mizar tools and MML extensions.
02 PREVIOUS RESEARCH
Previous research
Mizar VS Code extension
Development support for Mizar, including syntax highlighting, definition navigation, and verification commands.
MML search and browsing
Web environments for searching and browsing definitions and theorems in the Mizar Mathematical Library.
MML extensions and formalization
Formalization of mathematical topics including inverse function theorems and higher-order partial differentiability.
Healthcare sensing
Older-adult monitoring and heart-rate and respiration estimation using sensor signals.
Disaster and infrastructure monitoring
Landslide and avalanche alerts, structural health monitoring, and infrared image analysis.
VR and MR physics learning materials
Interactive learning materials for projectile motion and gas laws.
Computer vision and assistive robotics
A robot-arm-based automatic cleaning system for existing cat litter boxes.
03 EDUCATION & SEMINARS
Students & seminars
Students supervised in 2026
7 students
Third-year undergraduates: 6 · Fourth-year: 1 · Graduate students: 0
Third-year seminar
Hands-on fundamentals of machine learning and web application development, together with reading papers and discussions.
Fourth-year and graduate seminars
Research planning, design, implementation, experiments, evaluation, and progress presentations.
Shared seminar activities
Reading papers, discussing research progress, and developing ideas for solving social challenges.
04 CONTACT
Contact
For inquiries about our research and collaboration, please contact the laboratory.
- LABORATORY
- Nakasho Laboratory
Faculty of Software and Information Science, Iwate Prefectural University - LOCATION
- 152-52 Sugo, Takizawa, Iwate 020-0693, Japan
- nakasho_k [at] iwate-pu.ac.jp
- RESEARCHER
- Kazuhisa Nakasho (Associate Professor) · Personal website · researchmap · University researcher profile · Google Scholar · DBLP
- OFFICIAL INFORMATION
- Faculty of Software and Information Science · Iwate Prefectural University