高橋　伸弥 (タカハシ　ノブヤ)

Takahashi Nobuya

写真a

所属

工学教育研究部 工学科情報通信プログラム担当

職名

助教

外部リンク

関連SDGs


このページの先頭へ▲

学位 【 表示 ／ 非表示 】

  • 博士(工学) （ 2006年9月   熊本大学 ）

  • 修士(工学) （ 1996年3月   宮崎大学 ）

  • 学士(工学) （ 1994年3月   宮崎大学 ）

このページの先頭へ▲

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

  • ものづくり技術（機械・電気電子・化学工学） / 制御、システム工学

このページの先頭へ▲
 

論文 【 表示 ／ 非表示 】

  • Extension to Support Multi-Class Specification in BWDM that Generates Test Cases from VDM++ Specification

    Tomohiro Takahashi, Nobuya Takahashi, Tetsuro Katayama, Yoshihiro Kita

    The 2026 International Conference on Artificial Life and Robotics (ICAROB2026)   298 - 302   2026年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • Extension of ASLA Which Is a Segmentation and Labeling Tool for Application to New Document Formats and Improvement of Label Generation Accuracy

    Chihaya Takuma, Nobuya Takahashi, Tetsuro Katayama, Yoshihiro Kita

    The 2026 International Conference on Artificial Life and Robotics (ICAROB2026)   303 - 307   2026年2月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

  • Extension to Support Multi-Class Specification in BWDM that Generates Test Cases from VDM++ Specification 査読あり

    Takahashi Tomohiro, Takahashi Nobuya, Katayama Tetsuro, Kita Yoshihiro

    人工生命とロボットに関する国際会議予稿集   31   298 - 302   2026年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：株式会社ALife Robotics  

    Writing test cases from the formal specification description VDM++, which is a method for eliminating ambiguity in software specification, is time-consuming and labor-intensive. Therefore, our laboratory has developed BWDM, a tool that automatically generates test cases from VDM++ specification. However, the existing BWDM has a problem in that it cannot generate test cases from VDM++ specification having multiple classes. Therefore, in order to improve the usefulness of BWDM, this study extends BWDM to solve the above problem. Consequently, it has confirmed that the extended BWDM can reduce the test case generation time compared to manual test case generation for VDM++ specification having multiple classes.

    DOI： 10.5954/icarob.2026.os8-2

    CiNii Research

  • Extension of ASLA Which Is a Segmentation and Labeling Tool for Application to New Document Formats and Improvement of Label Generation Accuracy 査読あり

    Takuma Chihaya, Takahashi Nobuya, Katayama Tetsuro, Kita Yoshihiro

    人工生命とロボットに関する国際会議予稿集   31   303 - 307   2026年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：株式会社ALife Robotics  

    We have developed ASLA (Automatic Segmentation and Labeling tool using AI) to divide electronic documents into elements and generate labels for new applications. However, the existing ASLA has two problems: (1) low segmentation accuracy for document formats other than scientific papers, and (2) occasionally generating incorrect labels. This study generates a new document image dataset with three additional formats, generates a segmentation model, and extends ASLA to use a multimodal LLM (Gemini API) for label generation. We have confirmed through application examples that extended ASLA can divide the new document formats and generate labels for them. Finally, evaluation results have shown that the generated segmentation model achieved a score of at least 0.78 in mAP@[0.75] for each of the four format types in the test data. Additionally, it has confirmed that the multimodal LLM generates correct labels with higher accuracy than the existing ASLA method.

    DOI： 10.5954/icarob.2026.os8-3

    CiNii Research

  • Multi-Label Classification of Spectrogram Features for Rhythm Game Chart Generation Using Recurrent Neural Networks

    Taichi Inoue, Nobuya Takahashi, Masahiro Yokomichi, Shotaro Usuzaki, Kentaro Aburada

    Proceedings of the Joint Symposium of Thirty-First International Symposium on Artificial Life and Robotics (AROB 31st 2026) and Eleventh International Symposium on BioComplexity (ISBC 11th 2026)   1220 - 1224   2026年1月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

全件表示 >>

このページの先頭へ▲

講演・口頭発表等 【 表示 ／ 非表示 】

  • 離散時間系におけるトラッキングコントローラとオブザーバのロバスト設計

    矢山章成, 高橋伸弥, 佐藤治, 横道政裕

    第38回計測自動制御学会九州支部学術講演会  (宮崎大学工学部)  計測自動制御学会九州支部

    　詳細を見る

    開催年月日： 2019年11月30日

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：宮崎大学工学部  

  • 圧電素子を用いた心拍・呼吸・体動計測システムとその応用に関する研究

    吉田千香, 田村宏樹, 淡野公一, 高橋伸弥

    電子情報通信学会 パターン認識・メディア理解研究会（PRMU）  (徳島大学 ) 

    　詳細を見る

    開催年月日： 2019年2月28日 - 2019年3月1日

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：徳島大学  

  • 入力行列に不確かさを有するネットワーク化システムのギャランティードコスト制御

    高橋 伸弥, 横道 政裕, 佐藤 治

    日本機械学会 2015年度年次大会  (北海道大学工学部)  日本機械学会

    　詳細を見る

    開催年月日： 2015年9月13日 - 2015年9月16日

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：北海道大学工学部  

  • RGB-dカメラを用いたARにおける仮想物体の運動精度の改善

    石原 誠康，横道 政裕，高橋 伸弥

    第32回計測自動制御学会九州支部学術講演会  (長崎大学)  計測自動制御学会九州支部学術講演会,

    　詳細を見る

    開催年月日： 2013年11月30日 - 2013年12月1日

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：長崎大学  

  • 対象物とリンクの衝突における衝撃力緩和に関する研究

    佐藤浅次, 佐藤治, 高橋伸弥

    日本機械学会九州支部 宮崎講演会  (宮崎大学 木花キャンパス)  日本機械学会九州支部

    　詳細を見る

    開催年月日： 2011年9月30日

    記述言語：日本語   会議種別：口頭発表（一般）  

    開催地：宮崎大学 木花キャンパス  

全件表示 >>

このページの先頭へ▲

受賞 【 表示 ／ 非表示 】

  • Excellent Reviewer Award

    2022年3月   Artificial Life and Robotics  

    Nobuya Takahashi

    　詳細を見る

    受賞区分：学会誌・学術雑誌による顕彰 

このページの先頭へ▲

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

  • 自律UAV群による災害時の臨時ネットワークインフラ構築技術の確立

    研究課題/領域番号：17K01300  2017年04月 - 2020年03月

    科学研究費補助金  基盤研究(C)

このページの先頭へ▲

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

  • 圧電センサを用いた生体情報取得アプリケーションの開発

    2016年03月 - 2022年03月

    イー・アンド・エム株式会社  国内共同研究 

    田村　宏樹　高橋　伸弥　服部　秀美　黒木　勝久

    　詳細を見る

    担当区分：研究分担者  共同研究区分：国内共同研究

    被験者に取り付けられた圧電素子から取得した時系列の電圧信号から、心拍、呼吸などの生体情報を計測するためのアルゴリズムの開発。

このページの先頭へ▲