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 】

  • robotics

  • machine learning

  • image processing

  • signal processing

  • information system

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 】

  • 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 ) 27 - 35   2025.02

    Research paper (scientific journal)

    Joint Work  English 

    DOI： 10.11648/j.jccee.20251001.13

    Permalink DOI

  • Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces

    Kazuhisa Nakasho, Yasunari Shidama

    Formalized Mathematics  32 ( 1 ) 165 - 172   2024.12

    Research paper (scientific journal)

    Joint Work  English 

    DOI： 10.2478/forma-2024-0013

    Permalink DOI

  • Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces

    Kazuhisa Nakasho, Yasunari Shidama

    Formalized Mathematics  32 ( 1 ) 247 - 269   2024.12

    Research paper (scientific journal)

    Joint Work  English 

    DOI： 10.2478/forma-2024-0021

    Permalink DOI

  • On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality

    Kazuhisa Nakasho, Yasunari Shidama

    Formalized Mathematics  32 ( 1 ) 195 - 201   2024.12

    Research paper (scientific journal)

    Joint Work  English 

    DOI： 10.2478/forma-2024-0016

    Permalink DOI

  • Classical Isoperimetric Theorem

    Kazuhisa Nakasho, Yasunari Shidama

    Formalized Mathematics  32 ( 1 ) 187 - 194   2024.12

    Research paper (scientific journal)

    Joint Work  English 

    DOI： 10.2478/forma-2024-0015

    Permalink DOI

display all >>

To the head of this page.▲

Review Papers 【 display / non-display 】

  • 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.▲

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
    -

    Infromation Processing Society of Japan  

display all >>

To the head of this page.▲