NAKASHO Kazuhisa

写真a

Title

Associate Professor

Homepage URL

http://p-www.iwate-pu.ac.jp/~nakasho_k/

Profile

Graduated with a Master's degree from Kyoto University Graduate School in 2003. Joined Elysion, Co.,Ltd. in the same year. Completed doctoral program at Shinshu University Graduate School in 2016, earning a Ph.D. in Engineering. Served as a Specially Appointed Assistant Professor at Akita Prefectural University, Assistant Professor at Osaka University, and Associate Professor at Yamaguchi University before assuming current position in 2025. Research interests include social implementation and mathematical knowledge management.
To the head of this page.▲

Research Interests 【 display / non-display 】

  • mathematical knowledge management

  • social implementation

  • educational technology

  • robotics

  • machine learning

display all >>

To the head of this page.▲

Graduating School 【 display / non-display 】

  • 1997.04
    -
    2001.03

    Kyoto University   Faculty of Science   University   Graduated   Japan

To the head of this page.▲

Graduate School 【 display / non-display 】

  • 2001.04
    -
    2003.03

    Kyoto University  Graduate School, Division of Natural Science  Master's Course  Completed  Japan

  • 2013.04
    -
    2016.03

    Shinshu University  Interdisciplinary Graduate School of Science and Technology  Department of Mathematics and System Development  Doctor's Course  Completed  Japan

To the head of this page.▲

Degree 【 display / non-display 】

  • Kyoto University -  Bachelor (Science)  Coursework

  • Kyoto University -  Master (Science)  Coursework

  • Shinshu University -  Doctor (Engineering)  Coursework

To the head of this page.▲

Campus Career 【 display / non-display 】

  • 2025.04
    -

    Iwate Prefectural University   Faculty of Software and Information Science   Graduate School of Software and Information Science Studies   Associate Professor  

To the head of this page.▲

External Career 【 display / non-display 】

  • 2003.04
    -
    2007.06

    Elysium Co., Ltd.   R&D Group   Engineer  

  • 2007.07
    -
    2013.06

    Elysium Co., Ltd.   R&D Group   Manager  

  • 2011.07
    -
    2013.03

    Elysium Co., Ltd.   Quality Assurance Group   Engineer  

  • 2016.04
    -
    2017.04

    Akita Prefectural University   Faculty of Systems Science and Technology   Specially Appointed Assistant Professor  

  • 2017.05
    -
    2018.02

    Osaka University   Graduate School of Engineering   Assistant Professor  

display all >>

To the head of this page.▲

Academic Society Affiliations 【 display / non-display 】

  • 2016.05
    -
     

    Infromation Processing Society of Japan  Japan

  • 2016.05
    -
     

    The Institute of Electronics, Information and Communication Engineers  Japan

  • 2016.05
    -
     

    The Society of Instrument and Control Engineers  Japan

  • 2016.05
    -
     

    The Japan Society of Mechanical Engineers  Japan

To the head of this page.▲

Research Areas 【 display / non-display 】

  • Informatics / Intelligent robotics

  • Natural Science / Basic mathematics

  • Informatics / Intelligent informatics

To the head of this page.▲
 

Teaching Experience 【 display / non-display 】

  • Yamaguchi University  Applied Information Mathematics

    2020.04
    　
    　

  • Yamaguchi University  Seminar on Sophisticated Monozukuri I

    2019.04
    -
    2024.03

  • Yamaguchi University  Seminar on Sophisticated Monozukuri II

    2019.04
    -
    2024.03

  • Yamaguchi University  System Development I

    2018.04
    　
    　

  • Yamaguchi University  System Development II

    2018.04
    　
    　

display all >>

To the head of this page.▲
 

Research Career 【 display / non-display 】

  • History education system with VR visual novel

    Collaboration in Japan  

    2024.04
    -
     

  • Body motion learning support system using VR and motion tracker

    Collaboration in Japan  

    2024.04
    -
     

  • Cat toilet cleaning system using a robotic arm

    Collaboration in Japan  

    2024.04
    -
     

  • Research on a new interactive theorem prover for human-AI integration

    Individual  

    2024.04
    -
     

  • Physics education system on VR

    Collaboration in Japan  

    2023.04
    -
     

display all >>

To the head of this page.▲

Books 【 display / non-display 】

To the head of this page.▲

Papers 【 display / non-display 】

  • Proposal and Evaluation of Immersive History Education through VR Visual Novels

    Toya Okabe, Kazuhisa Nakasho

    25th International Conference on Control, Automation and Systems (ICCAS2025)    1631 - 1636   2025.11

    Research paper (international conference proceedings)

    Joint Work  English 

  • Design and Evaluation of Learning Support Features for Projectile Motion in the VR Application HoloThrow

    Natsumi Oshiro, Tatsuro Ueda, Kazuhisa Nakasho

    25th International Conference on Control, Automation and Systems (ICCAS2025)    1615 - 1620   2025.11

    Research paper (international conference proceedings)

    Joint Work  English 

  • 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

    25th International Conference on Control, Automation and Systems (ICCAS2025)    1267 - 1272   2025.11

    Research paper (international conference proceedings)

    Joint Work  English 

  • VR-based Full-body Motion Learning Support System with Individual Difference Compensation

    Yuta Oka, Kazuhisa Nakasho

    25th International Conference on Control, Automation and Systems (ICCAS2025)    1129 - 1134   2025.11

    Research paper (international conference proceedings)

    Joint Work  English 

  • Feasibility Study of Automatic Cat Litter Cleaning System Using Robotic Arm

    Haru Ikeda, Kazuhisa Nakasho

    25th International Conference on Control, Automation and Systems (ICCAS2025)    551 - 556   2025.11

    Research paper (international conference proceedings)

    Joint Work  English 

display all >>

To the head of this page.▲

Review Papers 【 display / non-display 】

  • Mizar and the Formalized Mathematical Library (The Future of Mathematics with Theorem Provers and Generative AI)

    Kazuhisa Nakasho

        26 - 36   2025.06

    Introduction and explanation (commerce magazine)   Single Work  Japanese

  • Comparison of Displacement Measurements in an Exposed Type Column Base Using Piezoelectric Vibration Sensors and Piezoelectric Limit Sensors

    Nobuhiro Shimoi, Tetsuya Nishida, Akihiko Obata, Kazuhisa Nakasho, Carlos Cuadra

    Akita prefectural University Web Journal B ( Akita Prefectural University )  ( 6 ) 27 - 36   2019.09

    Prompt report, short report, and research note, etc. (bulletin of university, research institution)   Joint Work  Japanese

    Permalink

  • Improvement of bed monitoring system for aged people using composite sensors : On the current research results and the future plan

    Kazuhisa Nakasho, Shunya Saito, Hirokazu Madokoro, Nobuhiro Shimoi

    Akita prefectural University Web Journal B ( Akita Prefectural University )  ( 4 ) 101 - 106   2017.09

    Prompt report, short report, and research note, etc. (bulletin of university, research institution)   Joint Work  Japanese

    Permalink

  • Mizar and the Formalized Mathematical Library (Special Issue on Mathematics that Computers Can and Cannot Do)

    Kazuhisa Nakasho

      2015年 ( 11月 ) 24 - 29   2015.10

    Introduction and explanation (commerce magazine)   Single Work  Japanese

To the head of this page.▲

Presentations 【 display / non-display 】

display all >>

To the head of this page.▲

Grant-in-Aid for Scientific Research 【 display / non-display 】

To the head of this page.▲

Other external funds procured 【 display / non-display 】

To the head of this page.▲
 

Position in the academic society 【 display / non-display 】

  • 2025.04
    -

    Infromation Processing Society of Japan  

  • 2025.04
    -

    Infromation Processing Society of Japan  

  • 2024.05
    -
    2025.05

    The Institute of Electronics, Information and Communication Engineers  

  • 2024.04
    -

    Infromation Processing Society of Japan  

  • 2023.06
    -
    2025.05

    Infromation Processing Society of Japan  

display all >>

To the head of this page.▲