來間啓伸

クルマヒロノブ | Kuruma Hironobu

研究分野 (1件)：ソフトウェア

論文 (20件)：

明神智之, 小川秀人, 來間啓伸, 佐藤直人. ロバスト性向上を目的とした予測モデルの不確実性に基づくデータセットの水増し手法. 情報処理学会論文誌. 2023. 64. 2. 568-580
來間啓伸, 明神智之, 佐藤直人, 小川秀人. XGBoost法により学習させたAIモデルの振舞いの形式検証. 情報処理学会論文誌. 2022. 63. 12. 1830-1839
來間啓伸, 佐藤直人, 中川雄一郎, 小川秀人. 演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト. 情報処理学会論文誌. 2020. 61. 2. 407-416
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa. Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. IEICE Trans. Inf. & Syst. 2020. E103-D. 2. 363-378
Naoto Sato, Hironobu Kuruma, Hideto Ogawa. Unsupposable Test-data Generation for Machine-learned Software. CoRR. 2020. abs/2005.10442

MISC (14件)：

來間啓伸, 明神智之, 佐藤直人, 小川秀人. XGBoost法により学習させたAIモデルのふるまいの形式検証. ソフトウェアエンジニアリングシンポジウム2021論文集. 2021. 2021. 137-142
佐藤直人, 來間啓伸, 小川秀人. 最大安全半径の監視によるコンセプトドリフト検知可能性の評価. 電子情報通信学会技術研究報告(Web). 2021. 120. 407(SS2020 28-46)
佐藤直人, 來間啓伸, 中川雄一郎, 小川秀人. DNN搭載システムの品質課題と既存技術の活用可能性. 日本ソフトウェア科学会研究会資料シリーズ(Web). 2018. 84
石川冬樹, 來間啓伸, 中島震. 不確かさを考慮したソフトウェア・テスティングおよび形式検証. 情報処理. 2017. 58. 8. 693-695
來間啓伸, 中島震. Event-Bを用いたリアクティブシステムのモデリングケーススタディ. 研究報告ソフトウェア工学(SE). 2014. 2014. 13. 1-7

書籍 (3件)：

学位 (1件)：

所属学会 (5件)：

IEEE , ACM , 情報処理学会 , 日本物理学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

來間 啓伸