|
Affiliation |
Engineering educational research section Information and Communication Technology Program |
|
Title |
Assistant Professor |
|
External Link |
|
|
Related SDGs |
|
Takahashi Nobuya
|
|
|
Degree 【 display / non-display 】
-
博士(工学) ( 2006.9 熊本大学 )
-
修士(工学) ( 1996.3 宮崎大学 )
-
学士(工学) ( 1994.3 宮崎大学 )
Research Areas 【 display / non-display 】
-
Manufacturing Technology (Mechanical Engineering, Electrical and Electronic Engineering, Chemical Engineering) / Control and system engineering
Papers 【 display / non-display 】
-
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
Language：English Publishing type：Research paper (international conference proceedings)
-
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
Language：English Publishing type：Research paper (international conference proceedings)
-
Takahashi Tomohiro, Takahashi Nobuya, Katayama Tetsuro, Kita Yoshihiro
人工生命とロボットに関する国際会議予稿集 31 298 - 302 2026.1
Language：English Publishing type：Research paper (scientific journal) Publisher：株式会社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.
-
Takuma Chihaya, Takahashi Nobuya, Katayama Tetsuro, Kita Yoshihiro
人工生命とロボットに関する国際会議予稿集 31 303 - 307 2026.1
Language：English Publishing type：Research paper (scientific journal) Publisher：株式会社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.
-
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
Language：English Publishing type：Research paper (international conference proceedings)
Presentations 【 display / non-display 】
-
離散時間系におけるトラッキングコントローラとオブザーバのロバスト設計
矢山章成, 高橋伸弥, 佐藤治, 横道政裕
第38回計測自動制御学会九州支部学術講演会 (宮崎大学工学部) 計測自動制御学会九州支部
Event date： 2019.11.30
Language：Japanese Presentation type：Oral presentation (general)
Venue：宮崎大学工学部
-
圧電素子を用いた心拍・呼吸・体動計測システムとその応用に関する研究
吉田千香, 田村宏樹, 淡野公一, 高橋伸弥
電子情報通信学会 パターン認識・メディア理解研究会（PRMU） (徳島大学 )
Event date： 2019.2.28 - 2019.3.1
Language：Japanese Presentation type：Oral presentation (general)
Venue：徳島大学
-
Guaranteed Cost Control of the Networked Control System with Uncertainty in the Input Matrix
Nobuya TAKAHASHI, Masahiro YOKOMICHI and Osamu SATO
Mechanical Engineering Congress, 2015 Japan (MECJ-15)
Event date： 2015.9.13 - 2015.9.16
Language：Japanese Presentation type：Oral presentation (general)
-
RGB-dカメラを用いたARにおける仮想物体の運動精度の改善
石原 誠康，横道 政裕，高橋 伸弥
第32回計測自動制御学会九州支部学術講演会 (長崎大学) 計測自動制御学会九州支部学術講演会,
Event date： 2013.11.30 - 2013.12.1
Language：Japanese Presentation type：Oral presentation (general)
Venue：長崎大学
-
対象物とリンクの衝突における衝撃力緩和に関する研究
佐藤浅次, 佐藤治, 高橋伸弥
日本機械学会九州支部 宮崎講演会 (宮崎大学 木花キャンパス) 日本機械学会九州支部
Event date： 2011.9.30
Language：Japanese Presentation type：Oral presentation (general)
Venue：宮崎大学 木花キャンパス
Awards 【 display / non-display 】
-
Excellent Reviewer Award
2022.3 Artificial Life and Robotics
Nobuya Takahashi
Award type：Honored in official journal of a scientific society, scientific journal
Grant-in-Aid for Scientific Research 【 display / non-display 】
-
自律UAV群による災害時の臨時ネットワークインフラ構築技術の確立
Grant number：17K01300 2017.04 - 2020.03
科学研究費補助金 基盤研究(C)
