研究キーワード 【 表示 ／ 非表示 】

研究キーワード 【 表示 ／ 非表示 】

全件表示 >>

出身大学 【 表示 ／ 非表示 】

出身大学 【 表示 ／ 非表示 】

出身大学院 【 表示 ／ 非表示 】

出身大学院 【 表示 ／ 非表示 】

取得学位 【 表示 ／ 非表示 】

取得学位 【 表示 ／ 非表示 】

学内職務経歴 【 表示 ／ 非表示 】

学内職務経歴 【 表示 ／ 非表示 】

学外略歴 【 表示 ／ 非表示 】

学外略歴 【 表示 ／ 非表示 】

全件表示 >>

所属学会・委員会 【 表示 ／ 非表示 】

所属学会・委員会 【 表示 ／ 非表示 】

研究分野 【 表示 ／ 非表示 】

研究分野 【 表示 ／ 非表示 】

担当授業科目（学内） 【 表示 ／ 非表示 】

担当授業科目（学内） 【 表示 ／ 非表示 】

担当経験のある授業科目(学外) 【 表示 ／ 非表示 】

担当経験のある授業科目(学外) 【 表示 ／ 非表示 】

全件表示 >>

指導学生数及び学位記授与者数 【 表示 ／ 非表示 】

指導学生数及び学位記授与者数 【 表示 ／ 非表示 】

• 2024年度

  卒業研究指導	:	4人
  研究指導：博士（前期）課程	:	8人
  研究指導：博士（後期）課程	:	0人
  学位記授与者数：博士（前期）課程	:	3人
  学位記授与者数：博士（後期）課程	:	0人

• 2023年度

  卒業研究指導	:	5人
  研究指導：博士（前期）課程	:	8人
  研究指導：博士（後期）課程	:	0人
  学位記授与者数：博士（前期）課程	:	5人
  学位記授与者数：博士（後期）課程	:	0人

• 2022年度

  卒業研究指導	:	5人
  研究指導：博士（前期）課程	:	8人
  研究指導：博士（後期）課程	:	0人
  学位記授与者数：博士（前期）課程	:	3人
  学位記授与者数：博士（後期）課程	:	0人

その他教育活動及び特記事項 【 表示 ／ 非表示 】

その他教育活動及び特記事項 【 表示 ／ 非表示 】

研究経歴 【 表示 ／ 非表示 】

研究経歴 【 表示 ／ 非表示 】

• VRビジュアルノベルによる歴史教育システム

  国内共同研究  

  2024年04月

  -

  継続中

   

• VRとモーショントラッカーを用いた動作学習支援システム

  国内共同研究  

  2024年04月

  -

  継続中

   

• ロボットアームを用いた猫トイレ清掃システム

  国内共同研究  

  2024年04月

  -

  継続中

   

• 人とAIの融和を目指した新たな定理証明支援系の研究

  個人研究  

  2024年04月

  -

  継続中

   

• VRによる物理教育システム

  国内共同研究  

  2023年04月

  -

  継続中

   

全件表示 >>

著書 【 表示 ／ 非表示 】

著書 【 表示 ／ 非表示 】

• Security Infrastructure Technology for Integrated Utilization of Big Data

  Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, Yuuki Takano (担当： 共著 , 担当範囲: Chapter: Secure Primitive for Big Data Utilization )

  単行本（学術書）  英語

  Springer Singapore  2020年04月  ISBN: 978-981-15-3653-3

  DOI： 10.1007/978-981-15-3

  ASIN DOI

論文 【 表示 ／ 非表示 】

論文 【 表示 ／ 非表示 】

• 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月

  研究論文（国際会議プロシーディングス）

  共著  英語

• 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月

  研究論文（国際会議プロシーディングス）

  共著  英語

• 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月

  研究論文（国際会議プロシーディングス）

  共著  英語

• 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月

  研究論文（国際会議プロシーディングス）

  共著  英語

• 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月

  研究論文（国際会議プロシーディングス）

  共著  英語

全件表示 >>

総説・解説記事 【 表示 ／ 非表示 】

総説・解説記事 【 表示 ／ 非表示 】

• Mizarと形式化数学ライブラリ（後日譚：定理証明支援系と生成AIが織りなす数学の未来）

  中正 和久

  数学セミナー増刊 数学とAIのこれまで（とこれから） ( 日本評論社 )    26 - 36   2025年06月

  総説・解説（商業誌）   単著  日本語

• ピエゾ極限センサとピエゾ振動センサを用いた露出型柱脚における変位測定

  下井 信浩, 西田 哲也, 小幡 昭彦, 中正 和久, Carlos Cuadra

  秋田県立大学ウェブジャーナル B ( 秋田県立大学 )  ( 6 ) 27 - 36   2019年09月

  速報，短報，研究ノート等（大学，研究機関紀要）   共著  日本語

  Permalink

• 複合センサを用いた高齢者向けベッドモニタリングシステムの改良 - システムの現状と将来構想について

  中正 和久, 齋藤 俊哉, 間所 洋和, 下井 信浩

  秋田県立大学ウェブジャーナル B ( 秋田県立大学 )  ( 4 ) 101 - 106   2017年09月

  速報，短報，研究ノート等（大学，研究機関紀要）   共著  日本語

  Permalink

• ピエゾセンサを用いた木造構造物の振動解析

  下井 信浩, クアドラ カルロス, 中正 和久, 間所 洋和

  超音波TECHNO   2017年 ( 3-4月 ) 29 - 33   2017年04月

  総説・解説（商業誌）   共著  日本語

• Mizarと形式化数学ライブラリ(特集・コンピュータにできる数学・できない数学)

  中正 和久

  数学セミナー ( 日本評論社 )  2015年 ( 11月 ) 24 - 29   2015年10月

  総説・解説（商業誌）   単著  日本語

研究発表 【 表示 ／ 非表示 】

研究発表 【 表示 ／ 非表示 】

• 編集距離をもとにした深層学習による整数列の類似性検出

  国内会議  第48回情報理論とその応用シンポジウム (SITA2025)  (福島県郡山市 磐梯熱海温泉 ホテル華の湯)  口頭（一般） 

  2025年11月

  　

  　

• Challenges and Opportunities in Formal Analysis of Side-Channel Attacks

  国際会議  3rd Workshop on Formal Verification of Physical Systems (FVPS 2024)  (Concordia University (Montreal, Canada))  口頭（一般） 

  2024年08月

  　

  　

• 定理証明⽀援系Mizarのリモート検証システムの構築

  国内会議  2024年 電子情報通信学会総合大会  (広島大学 東広島キャンパス（東広島市）)  口頭（一般） 

  2024年03月

  　

  　

• Mizar 数学ライブラリの解説記事を提供するWebアプリケーション

  国内会議  2024年 電子情報通信学会総合大会  (広島大学 東広島キャンパス（東広島市）)  口頭（一般） 

  2024年03月

  　

  　

• The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes in Dimension 11

  国内会議  第46回情報理論とその応用シンポジウム (SITA2023)  (山口県山口市 湯田温泉 かめ福オンプレイス)  口頭（一般） 

  2023年11月

  -

  2023年12月

全件表示 >>

学術関係受賞 【 表示 ／ 非表示 】

学術関係受賞 【 表示 ／ 非表示 】

• 計測自動制御学会 産業応用部門 技術賞

  2023年11月16日   計測自動制御学会   国内学会・会議・シンポジウム等の賞  日本国

  受賞者：  中正 和久, 下井 信浩, クアドラ カルロス

• 第65回秋田県発明展 （公社）発明協会会長奨励賞

  2016年11月05日   秋田県/秋田県発明協会/(公財)あきた企業活性化センター   その他の賞  日本国

  受賞者：  齋藤 俊哉, 和﨑 克己, 新村 正明, 間所 洋和, 中正 和久, 下井 信浩

• 第65回秋田県発明展 秋田県電子工業振興協議会長賞

  2016年11月05日   秋田県/秋田県発明協会/(公財)あきた企業活性化センター   その他の賞  日本国

  受賞者：  鎌形 拳, 中正 和久, 下井 信浩

• 第65回秋田県発明展 東北経済産業局長賞

  2016年11月05日   秋田県/秋田県発明協会/(公財)あきた企業活性化センター   その他の賞  日本国

  受賞者：  佐々木 拓哉, 下井 信浩, 間所 洋和, 中正 和久, 西村 旭正

研究についてのマスコミによる報道 【 表示 ／ 非表示 】

研究についてのマスコミによる報道 【 表示 ／ 非表示 】

• 秋田県立大学 ロボット工学研究室『安心安全のための見守りシステム』

  2017年03月  インターノウス株式会社 

  下井 信浩, 中正 和久, 間所 洋和

• 【プレスリリース】 土砂・雪崩災害警報システムの実装現地公開について

  2016年12月  新聞社２社(北羽新報社，秋田魁新報) / テレビ局４社(NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送) 

  下井 信浩, 中正 和久

• 【プレスリリース】 独居高齢者の事故を防止する為の見守りシステムの紹介

  2016年11月  新聞社３社(毎日新聞秋田支局，読売新聞秋田支局，秋田魁新報) / テレビ局４社(NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送) 

  下井 信浩, 中正 和久

• 【プレスリリース】 土砂・雪崩災害警報システムの実装試験について

  2016年09月  新聞社３社(北羽新報社，読売新聞秋田支局，秋田魁新報)，テレビ局４社(NHK秋田放送局，秋田テレビ，秋田朝日放送，秋田放送) 

  下井 信浩, 中正 和久

科研費（文科省・学振）獲得実績 【 表示 ／ 非表示 】

科研費（文科省・学振）獲得実績 【 表示 ／ 非表示 】

• 集合論ベースの定理証明支援系の言語仕様の刷新

  基盤研究(C)

  2024年04月

  -

  2027年03月

  現在主流の定理証明支援系は型理論を基礎とするが，現代数学の研究対象の大部分は集合論上に構築されているため，数学者にとっては使い勝手が悪い．本研究の目的は，LaTeXのように日常的に利用される定理証明支援系の構築を目指して，集合論ベースの定理証明支援系の言語仕様の刷新を提案するとともに，その有効性と実現可能性を検証することである．このための研究戦略は，近年のプログラミングパラダイムと自動定理証明の研究成果をシステムに取り込むことである．本研究の目標が実現されれば，数学論文の正しさを査読するプロセスが不要になるとともに，生成系AIを用いた定理証明支援に有益な言語的基盤を提供することにつながる．

• ピエゾ極限センサを用いたインフラ構造物の簡易自律型健全性モニタリングシステム

  基盤研究(A)

  2020年04月

  -

  2024年03月

  鉄骨造建築物の柱脚の接合部に注目し，長期的かつ安価で簡便に構造物の健全性を計測可能にするモニタリングシステムの開発を行なった．接合部の変位やボルト締結部に注目しその健全性をモニタリングするための簡易計測の可能なセンサ開発に注力した．溶接接合では溶接時の熱影響から接合部周辺に硬化と同時に脆性が生じる問題，さらに鋼材強度が増すと延性・靭性が下がり疲労亀裂の発生から，疲労強度が低下するという一般的課題も存在する．研究代表者らが開発した構造物の柱脚における健全性モニタリングシステムは，パッシブ型であるオリジナルのピエゾ複合センサの出力から構造物の変位量予測が可能な様に設計されている．

• 定理間の論理的な類似度に関する研究

  若手研究

  2020年04月

  -

  2023年03月

  近年，定理証明支援系による形式化数学ライブラリの開発が活発化しており，本研究におけるMizar数学ライブラリのWeb統合アプリの研究開発は，ライブラリ開発の効率化に一石を投じ，他のシステムに対しても同様の環境を構築する強いモチベーションを与えたものと考える．また現在進行形で，大規模言語モデル（LLM）が自動定理証明器に大幅な性能向上をもたらしつつあるが，本研究で提案した定理間の類似度を計測する情報理論的枠組みは，LLMのファインチューニングに対する良質な学習コーパスを人手に依らず生成する能力を有するため，今後，自動定理証明器に革命的な性能向上をもたらす可能性がある．

• 間伐材と自律型極限計測センサを用いた土石流等の危険予測システムの研究

  挑戦的萌芽研究

  2016年04月

  -

  2019年03月

  地すべりや落石の発生を予測することは重要であるが、実際には困難である。この問題を解決するために、降雨時および落石時の土石流の危険度を荷重の変化と計測柵の変形に比例した出力する電圧の特性測定から危険度の評価について検討した。この測定システムには、専用の土石流計測柵に取り付けたブラケットで固定されている圧電センサを使用している。計測柵の構造設計で地すべりや落石が発生したときの荷重と振動を計測する。また、間伐材を使用した木材構造のこの柵は、小規模の地すべりや落石に対応する防護柵としても利用が可能な様製作されている。土砂崩れ時の土砂崩れ荷重3～5[t/m2]に耐えるように設計されている。

財団研究費及び全学プロジェクト等研究費 【 表示 ／ 非表示 】

財団研究費及び全学プロジェクト等研究費 【 表示 ／ 非表示 】

• 山口大学 次世代若手研究者支援事業

  論理式の類似度分析手法の研究 

  2018年04月

  -

  2021年03月

• 山口大学 科研TRY(若手研究者支援)プロジェクト

  一階述語論理における論理式の類似度指標の研究 

  2018年04月

  -

  2019年03月

• 秋田県立大学 学長プロジェクト(新任教員スタートアップ支援研究)

  個人差によらない離床予測システムに関する研究 

  2016年04月

  -

  2017年03月

その他競争的資金獲得実績 【 表示 ／ 非表示 】

その他競争的資金獲得実績 【 表示 ／ 非表示 】

• 国際学会 8th Conference on Intelligent Computer Mathematics 2015 発表のための渡航助成

  提供機関： 情報科学国際交流財団  情報科学国際交流財団 研究者海外派遣助成

  2015年07月

  　

  　

• ビッグデータ統合利活用推進のためのセキュリティ基盤技術の体系化

  提供機関： 文部科学省  戦略的創造研究推進事業

  2015年04月

  -

  2019年03月

• 複合センサを用いた地域型独居高齢者生活サポートシステムの研究開発

  提供機関： 総務省  総務省 SCOPE(戦略的情報通信研究開発推進事業) 地域ICT振興型研究開発

  2015年04月

  -

  2018年03月

• 国際学会 6th Podlasie Conference on Mathematics 発表のための渡航助成

  提供機関： 電気通信普及財団  電気通信普及財団 海外渡航旅費援助

  2014年07月

  　

  　

共同研究実施実績 【 表示 ／ 非表示 】

共同研究実施実績 【 表示 ／ 非表示 】

• Webアプリ開発における先端技術の探索と応用

  提供機関： 株式会社ジェイテクト  国内共同研究

  2024年08月

  -

  2025年03月

共同研究希望テーマ 【 表示 ／ 非表示 】

共同研究希望テーマ 【 表示 ／ 非表示 】

• VR/ARを用いた技術伝承・人材育成システム

  産学連携、民間を含む他機関等との共同研究等を希望する  受託研究

• 知能ロボットによる製造・物流工程の自動化

  産学連携、民間を含む他機関等との共同研究等を希望する  受託研究

• センシング技術とAIを融合した産業現場の効率化・安全管理システム

  産学連携、民間を含む他機関等との共同研究等を希望する  受託研究

学術貢献活動 【 表示 ／ 非表示 】

学術貢献活動 【 表示 ／ 非表示 】

• 2024年度(第75回)電気・情報関連学会中国支部連合大会

  2024年10月

  　

  　

• 15th Mathematical User Interaction Workshop 2024 (MathUI 2024)

  2024年08月

  　

  　

• 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)

  日本ソフトウェア科学会 プログラミング論研究会 

  2024年03月

  　

  　

• 第6回中高生情報学研究コンテスト 中国・四国・九州ブロック大会

  情報処理学会 

  2023年12月

  　

  　

• 第32回計測自動制御学会中国支部学術講演会

  計測自動制御学会 

  2023年11月

  　

  　

全件表示 >>

学会における役職等 【 表示 ／ 非表示 】

学会における役職等 【 表示 ／ 非表示 】

全件表示 >>