Publications

2025

  1. Toward frictionless system engineering through role-playing multi-agent coordination and enhanced explainability
    Kentaro Watanabe, Hideto Ogawa, Nagisa Matsumoto, and 5 more authors
    Aug 2025
  2. Bug-locating Method based on Statistical Testing for Quantum Programs
    Naoto Sato and Ryota Katsube
    Aug 2025
  3. How will generative AI change system development?
    Hironori WASHIZAKI, Atsushi Motoyama, and Hideto OGAWA
    Jun 2025
  4. Evaluating Mutation-based Fault Localization for Quantum Programs
    Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, and 4 more authors
    Jun 2025
  5. 生成 AI はシステム開発をどう変革していくのか?
    鷲崎弘宜, 元山厚, and 小川秀人
    Mar 2025
  6. 生成AIによる業務変革:2030年のソフトウェア産業像の推察
    川上真澄
    Feb 2025
  7. Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array
    Naoto Sato, Tomonori Sekiguchi, Takeru Utsugi, and 1 more author
    Feb 2025

2024

  1. Managing the Variability of a Logistics Robotic System
    Kentaro Yoshimura, Yuta Yamauchi, and Hideo Takahashi
    Dec 2024
  2. サービス連動テストの網羅度測定を介したテスト漏れ候補の検知
    布村佑奈, 清水遼, 鹿糠秀行, and 1 more author
    Dec 2024
  3. Enhancing Source Code Comment Generation via Retrieval-Augmented Generation with Design Document Term Dictionary
    Kazu Nishikawa, Genta Koreki, and Hideyuki Kanuka
    Nov 2024
  4. A Machine-learning-based Approach for Project Success/Failure Prediction in Software Development
    Yuhao Wu, Makoto Ichii, Masumi Kawakami, and 2 more authors
    Nov 2024
  5. 大規模言語モデルを用いた派生開発向け改修取り込み支援ツール
    大林浩気 and 河合克己
    Nov 2024
  6. LLMを用いた形式仕様記述による検証の試行評価
    新原敦介 and 小川秀人
    Sep 2024
  7. マイクロサービスアーキテクチャへの移行における対話的現新比較手法
    木下崇央, 鹿糠秀行, 乾広二, and 2 more authors
    Sep 2024
  8. 類似案件検索を活用した要求仕様評価技術の開発
    森承宇, 井奥章, 永吉勤, and 1 more author
    Sep 2024
  9. 生成AI普及によるソフト開発ビジネスへの影響検討
    川上真澄 and 小川秀人
    Sep 2024
  10. Estimating Air Consumption in Compressed Air Systems
    Yohei Kono and Yoshinori Mochizuki
    Aug 2024
  11. 企業グループ横断的な組み込みソフトウェア設計力の評価および強化施策の実践
    小川秀人, 島袋潤, 日野雅透, and 2 more authors
    Jul 2024
  12. エンジニアリングへの生成AIのインパクト
    小川秀人
    Jul 2024
  13. 状態遷移テストツールAustinの開発と組込み装置向けシナリオ作成工数削減アプローチ
    守谷歩
    Jun 2024
  14. テキスト駆動型属性操作に基づく生成的自動データ拡張の検討
    関根理敏, 新原敦介, 明神智之, and 1 more author
    May 2024
  15. Locating Buggy Segments in Quantum Program Debugging
    Naoto Sato and Ryota Katsube
    Apr 2024
  16. Enhancing Automated Microservice Decomposition via Multi-Objective Optimization
    Takahiro Kinoshita and Hideyuki Kanuka
    Apr 2024
  17. 自動運転の高度化に向けたリスク予測技術
    堀田勇樹
    Mar 2024
  18. 量子プログラムにおけるSATDの分類と評価
    中村悠人, 石本優太, 勝部瞭太, and 5 more authors
    Mar 2024
  19. 実践 生成AIの教科書 - 実績豊富な活用事例とノウハウで学ぶ
    AIセンター監修 (小川秀人共著) 日立製作所Generative
    Mar 2024
  20. Test-suite-guided discovery of least privilege for cloud infrastructure as code
    Ryo Shimizu, Yuna Nunomura, and Hideyuki Kanuka
    Mar 2024
  21. 大規模言語モデル用いた類似見直し支援ツール
    大林浩気 and 河合克己
    Mar 2024
  22. GPT-4Vを活用したスケッチ駆動型プロトタイプ開発の試行
    鹿糠秀行 and 小川秀人
    Mar 2024
  23. ChatGPTを活用したバグレポートの文章単位の自動ラベリング
    野寄祐樹, 鹿糠秀行, 野尻周平, and 2 more authors
    Mar 2024
  24. 企業インターンシップにおけるソフトウェア開発作業へのChatGPTの応用
    木下崇央, 田口真衣, 平林義健, and 2 more authors
    Mar 2024
  25. 生成AIを活用した自動車向けソフトウェア開発の効率化
    健太郎 吉村
    Feb 2024
  26. Improvement of Lane-Level Lateral Position Estimation for Ego Vehicle From Front Camera Data
    Syafril Bandara, Punit Galav, Takehiko Nagano, and 3 more authors
    Feb 2024
  27. AI品質『マネジメント』への期待
    小川秀人
    Feb 2024
  28. ラベリングベース高速経路探索における通行規制対応方式
    関口隆昭 and 寺岡秀敏
    Jan 2024
  29. AI技術の変化を踏まえたこれからの品質保証
    小川秀人
    Jan 2024
  30. TEEを用いた関数型暗号による秘匿配送マッチングの実現
    古家直樹, 矢内直人(阪大), and 藤原融(阪大・島根大)
    Jan 2024
  31. LLMを用いたVDM++の生成の評価
    新原敦介 and 小川秀人
    Jan 2024
  32. パネルディスカッション ポジショントーク
    小川秀人
    Jan 2024
  33. Variability Management for Large Language Model Tasks: Practical Insights from an Industrial Application
    Kentaro Yoshimura and Haruki Oishi
    Sep 2024
  34. 推論結果の不確実性に基づく運用時データシフトの検知
    來間啓伸, 村田大二郎, 関根理敏, and 1 more author
    Feb 2024
  35. マルチモーダル向け多主体KPI貨客混載マッチングシステムの開発
    松本紀子, 古家直樹, 下村真帆, and 1 more author
    Mar 2024

2023

  1. 移動障害物を考慮した経路計画を可能とするリスクマップ
    堀田勇樹, Gabriel Daniel, 稲葉龍, and 2 more authors
    Nov 2023
  2. サービス連動テスト網羅度の測定を通じたテスト漏れ候補の検出
    田中佑奈, 清水遼, 鹿糠秀行, and 1 more author
    Nov 2023
  3. ChatGPTを用いたソースコードコメント生成における用語抽出と反映の検
    西川和寿, 鹿糠秀行, 是木玄太, and 1 more author
    Nov 2023
  4. 意図的なソースコード切り出しに基づくChatGPTを用いたソースコードコメント生成方法の提案
    是木玄太, 井奥章, 村田大二郎, and 3 more authors
    Nov 2023
  5. 画面イベント関係情報類似度に基づく画面コーディング支援技術の提案
    村田大二郎, 是木玄太, 井奥章, and 2 more authors
    Nov 2023
  6. 配列を含むREST API向けテスト自動生成のためのペアワイズ法の拡張
    鈴木康文 and 川上真澄
    Nov 2023
  7. Leveraging Execution Trace with ChatGPT: A Case Study on Automated Fault Diagnosis
    Takafumi Sakura, Ryo Soga, Hideyuki Kanuka, and 2 more authors
    Oct 2023
  8. 運転条件の異なるバッチ重合プロセスにおけるグレイボックスモデルに基づくモデル予測制御に向けた数値的検討
    大津智宏, 河野洋平, and 望月義則
    Oct 2023
  9. パネルディスカッション「企業におけるAI品質マネジメントに必要な視点」ポジショントーク
    小川秀人
    Oct 2023
  10. 善きに改め、善きを改め
    小川秀人
    Oct 2023
  11. Panel – Intelligent SPLs
    Kentaro Yoshimura
    Sep 2023
  12. Managing Variability of Logistics Robot System: Experience at Hitachi
    Kentaro Yoshimura, Yuta Yamauchi, and Hideo Takahashi
    Sep 2023
  13. Exploring ChatGPT Approach to Bidirectional Traceability Problem between Design Models and Code
    Hideyuki Kanuka, Genta Koreki, Ryo Soga, and 1 more author
    Sep 2023
  14. データドリブンなソフトウェア開発プロジェクトマネジメント
    川上真澄
    Sep 2023
  15. AI搭載プロダクトの品質保証に関する国内外の動向と検証技術
    小川秀人
    Sep 2023
  16. The 20-year journey of SPLE in Hitachi and the next
    Hideto Ogawa and Kentaro Yoshimura
    Aug 2023
  17. 時系列データ中の部分系列の特性を考慮した距離指標の提案
    高澤一平, 河野洋平, 但馬慶行, and 1 more author
    Aug 2023
  18. 例外処理を検査するテストが実行経路に基づく欠陥限局手法に与える影響の調査
    吉岡遼, 肥後芳樹, 柗本真佑, and 3 more authors
    Aug 2023
  19. 設計モデルとコード間の双方向トレーサビリティ問題へのChatGPT適用実験
    鹿糠秀行, 是木玄太, 曾我遼, and 1 more author
    Aug 2023
  20. 非機能要件とIaCテンプレートの対応関係に基づくアーキテクチャ設計支援システムの検討
    松本渚紗
    Aug 2023
  21. Visualization Tool for Extraction of Various Attributes and Corresponding Data for Dataset Quality Assessment
    M. Sekine, D. Shimbara, T. Myojin, and 1 more author
    Jul 2023
  22. 相関関係の効率的な解釈を支援するための遅延相関分析手法の拡張:プロジェクト管理への活用に向けた適用実験
    市井誠, 堀口日向, 柏祐太郎, and 3 more authors
    Jul 2023
  23. データセットの品質評価に向けた半教師あり表現学習による属性値の回帰予測手法
    関根理敏, 新原敦介, 明神智之, and 1 more author
    Jun 2023
  24. Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM
    M. Kawakami and F. Ishikawa (NII)
    May 2023
  25. 土台からしっかり学ぶ ── ソフトウェアテストのセオリー
    小川秀人, 佐藤陽春, 森拓郎, and 1 more author
    Apr 2023
  26. AI搭載システム向け品質保証
    新原敦介, 関根理敏, and 小川秀人
    Mar 2023
  27. Ordinal Regression Based on the Distributional Distance for Tabular Data
    但馬慶行 and 濱上知樹
    Mar 2023
  28. 自動運転の高度化に向けたリスク予測技術について
    堀田勇樹
    Feb 2023
  29. 視線と心拍を用いたプログラム理解状況の推定
    曾我遼, 鹿糠秀行, 久保孝富, and 1 more author
    Feb 2023
  30. ロバスト性向上を目的とした予測モデルの不確実性に基づくデータセットの水増し手法利用
    明神智之, 小川秀人, 來間啓伸, and 1 more author
    Feb 2023
  31. Analysis of Embedded System’s Functional Requirement using BERT-based Name Entity Recognition for Extracting IO Entities
    Man Yiu Chow
    Feb 2023
  32. 格納期間評価による倉庫内の在庫移動方式
    古家直樹, 末光一成, 薦田憲久(阪大), and 1 more author
    Jan 2023
  33. 一般道自動運転に向けたリスク予測に基づく走行制御技術の開発
    堀田勇樹, 稲葉龍, and 英弘 豊田
    Mar 2023

2022

  1. XGBoost法により学習させたAIモデルの振舞いの形式検証
    來間啓伸, 明神智之, 佐藤直人, and 1 more author
    Dec 2022
  2. 関数型暗号を用いた秘匿配送マッチングのTEEによる実現
    古家直樹, 矢内直人(大阪大学), and 藤原融(大阪大学)
    Dec 2022
  3. ソフトウェア工学研究会研究報告を対象とした産学連携状況の初期調査
    小川秀人
    Dec 2022
  4. 多主体の満足度モデルを用いた貨客混載マッチングシステム
    下村真帆, 古家直樹, and 古屋聡一
    Nov 2022
  5. プログラム理解難易度の経時的な変化の可視化.
    曾我遼, 鹿糠秀行(日立製作所), 久保孝富, and 2 more authors
    Nov 2022
  6. システムテストにおけるキーワード駆動テストの適用とキーワードの階層化設計
    櫻井壮希, 塚本夏基, and 内木大地
    Nov 2022
  7. 自然言語解析を用いた開発プロジェクトリスク状況の定量化・可視化
    巴統哉, 北川健二, and 川上真澄
    Nov 2022
  8. Maintainability Index を用いた保守性改善プロセス適用
    加賀洋渡
    Nov 2022
  9. Risk assessment to design business process incorporating AI tasks
    R. Soga, H. Kanuka, D. Fukui, and 1 more author
    Nov 2022
  10. Advanced Access Control Mechanism for Mobility as a Service Platform
    Anjali Rajith and Soki Sakurai
    Nov 2022
  11. Data Usage Monitoring Method Using Metadata in Vehicle Data Distribution
    Galav Punit, Syafril Bandara, Akimasa Okada, and 2 more authors
    Nov 2022
  12. AI産官学のオープンな議論によるAIプロダクト品質保証ガイドライン策定の取り組み ―AIの適切な利活用による技術と社会の進展のために―
    小川秀人
    Oct 2022
  13. 言語横断バグ箇所検索手法の日本語記述への適用可能性
    林晋平, (東京工業大学) 小林隆志, 高井康勢, and 1 more author
    Sep 2022
  14. 大規模データセットと多種ミュータント演算子を利用した自動修正適合性の再計測
    前島葵, 肥後芳樹, 柗本真佑, and 2 more authors
    Sep 2022
  15. Analysis of Bug Report Qualities with fixing time using Causal and Inference Model
    Sien Reeve Peralta, Hironori Washizaki, Yoshiaki Fukazawa (Waseda University), and 3 more authors
    Sep 2022
  16. データセットの多種多様な属性情報抽出に向けた多面的クラスタリング変分オートエンコーダの手書き文字データへの適用
    関根理敏, 新原敦介, 明神智之, and 1 more author
    Sep 2022
  17. AIを含む業務プロセスのリスク評価手法
    曾我遼, 鹿糠秀行, 福井大輔, and 1 more author
    Aug 2022
  18. ディープニューラルネットワークを用いた局所線形回帰
    但馬慶行 and 望月義則
    Aug 2022
  19. 組立順序生成システムの刷新によるクラウド上での並列分散処理の実現
    伊藤蓮, 伊川宏美, 山形知行, and 1 more author
    Jun 2022
  20. 組込みシステム向け障害解析環境の効率改善
    長野岳彦, 小口琢夫, 吉岡信和, and 2 more authors
    May 2022
  21. AI/機械学習搭載システムの品質ガイドライン
    小川秀人
    Apr 2022
  22. Automated Microservice Decomposition Method as Multi-Objective Optimization
    Takahiro Kinoshita and Hideyuki Kanuka
    Mar 2022
  23. 移動障害物を考慮した軌道生成を可能とするリスクマップ
    堀田勇樹, Gabriel Daniel, 稲葉龍, and 2 more authors
    Mar 2022
  24. ブロックチェーン利活用による下請配送業者への対価支払迅速化システムの開発
    下村真帆, 古家直樹, 小坂忠義, and 1 more author
    Jan 2022
  25. 社会システムへのトラストを再構築する
    鍛忠司, 高橋健太, and 小川秀人
    Jan 2022

2021

  1. デジタル技術が切り拓く新たなモビリティサービス
    宮崎邦彦, 廣井和重, 小林悠一, and 3 more authors
    Nov 2021
  2. AIソフトウェアのテスト 答のない答え合わせ[4つの手法]
    佐藤直人, 小川秀人, 來間啓伸, and 1 more author
    Jun 2021
  3. Handling Quantity in Variability Models for System-of-Systems
    D. Shimbara, M. Saeki, S. Hayashi, and 1 more author
    Jun 2021
  4. ゾーン分析に基づくテストケース優先度付け手法
    左近健太
    Nov 2021
  5. 因果ダイアグラムによる経営改善の施策立案支援手法の提案
    堀旭宏 and 川上真澄
    Nov 2021
  6. 視線と心拍を用いた主観的なプログラム理解難易度の推定
    曾我遼, 横山由貴, 鹿糠秀行(日立製作所), and 2 more authors
    Nov 2021
  7. マイクロサービスアーキテクチャのVR可視化
    堀旭宏, 崇央 木下, 鹿糠秀行, and 1 more author
    Nov 2021
  8. Ordinal Regression Based on the Distributional Distance Between Labels
    但馬慶行 and 濱上知樹
    Oct 2021
  9. 分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム
    古家直樹, 長谷川学, 小坂忠義, and 1 more author
    Oct 2021
  10. テストケース自動生成の失敗予測
    曾我遼 and 鹿糠秀行
    Oct 2021
  11. Generating Program Identifier Dictionary for Maintaining Legacy Systems
    R. Soga, G. Koreki, H. Kanuka, and 2 more authors
    Sep 2021
  12. 自動修正適合性:新しいソフトウェア品質指標とその計測
    九間哲士, 肥後芳樹, 柗本真佑, and 2 more authors
    Sep 2021
  13. XGBoost法により学習させたAIモデルのふるまいの形式検証
    來間啓伸, 小川秀人, 佐藤直人, and 1 more author
    Sep 2021
  14. 組込みソフトウェア製品開発のプロジェクト管理に対する遅延相関分析の適用に向けて
    市井誠, 堀口日向, 柏祐太郎, and 3 more authors
    Sep 2021
  15. ラベルの分布間距離に基づく誤り方を考慮した識別モデル
    但馬慶行 and 濱上知樹
    Sep 2021
  16. 組込みシステム向け障害解析環境の効率改善
    長野岳彦, 小口琢夫, 吉岡信和, and 2 more authors
    Aug 2021
  17. GTFSデータを用いた路線バスの遅延状況推定
    但馬慶行 and 高橋由泰
    Aug 2021
  18. デジタル経済圏の胎動:欧州のデータ連携戦略
    ロボット革命・産業IoTイニシアティブ協議会
    Jul 2021
  19. Improvement of Area Priority Setting of Sequential Processing Storage Location Recommendation Technology Considering Stock Storage Period
    N. Furuya, N. Komoda, and T. Fujiwara
    Jul 2021
  20. 組込みシステムへの派生MBD適用に向けたパラメータ設定方式の検討
    秋下耀介, 大島浩資, 若林昇, and 1 more author
    Jun 2021
  21. FLASX: A Fault Localization Assistant System Using KLEE Symbolic Execution for Embedded Software
    T. T. H. Phan, Y. Suzuki, N. Sato, and 1 more author
    Jul 2021
  22. Heterogeneous Sensor Fusion with GMPHD for Environmentally Adaptable Obstacle Detection in Mobility Systems
    Chow Man Yiu and Mitsuhiro Kitani
    Jun 2021
  23. 複数車種の運行設計領域を管理する管制センタアーキテクチャの検討
    近藤明宏 and 松本貴士
    Mar 2021
  24. ニューノーマル時代の製造流通業を支えるバリューチェーンコーディネーションサービス
    小倉孝裕, 木内敦規, 齊藤元伸, and 1 more author
    Mar 2021
  25. 最大安全半径の監視によるコンセプトドリフト検知可能性の評価
    佐藤直人, 來間啓伸, and 小川秀人
    Mar 2021

2020

  1. 組立・加工現場向け生産性・品質向上ソリューション製造現場の4Mデータ分析を活用した顧客課題の解決
    後藤知明, 嶋田匡, 沖津潤, and 2 more authors
    Dec 2020
  2. Society 5.0時代の価値協創型DXの実現に向けて ~Lumadaへの取り組み~
    貴成 馬場, 長岡靖子, and 小川秀人
    Dec 2020
  3. AIビジネスにおける品質保証
    小川秀人
    Dec 2020
  4. Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges
    N. Sato, H. Kuruma, Y. Nakagawa, and 1 more author
    Dec 2020
  5. Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence
    G. Fujii, K. Hamada, F. Ishikawa, and 9 more authors
    Dec 2020
  6. A Program Simplification Method for Generating Test Input Values Using Symbolic Execution
    R. Soga, T. Yonemitsu, M. Inagaki, and 3 more authors
    Dec 2020
  7. システムの特徴を踏まえた素材コード片の生成による自動プログラム修正手法
    安田和矢, 伊藤信治, 中村知倫, and 2 more authors
    Nov 2020
  8. プログラム理解を行単位で測るための生体計測系の構築
    曾我遼, (横山)由貴 小磯, 前岡淳, and 1 more author
    Nov 2020
  9. GUIソフトウェア開発における性能向けCI環境CARPの開発
    楊夢龍, 小山恭平, and 新原敦介
    Nov 2020
  10. 開発プロジェクトQCD予測のための工数メトリクス取得手法の提案
    堀旭宏 and 川上真澄
    Nov 2020
  11. ソフトウェア開発プロジェクトの完了日予測のためのチケット自動修正方法
    堀旭宏, 市井誠, and 川上真澄
    Oct 2020
  12. 拡張現実技術を用いた物流ピッキング作業支援システムの開発とHMD表示画角の影響の分析
    松本紀子, 小坂忠義, 中島洋平, and 2 more authors
    Oct 2020
  13. 分割ルートハッシュ方式を用いたブロックチェーン利用トレーサビリティ管理システム
    古家直樹, 長谷川学, 小坂忠義, and 1 more author
    Oct 2020
  14. データ秘匿性を考慮した物流トレーサビリティデータ検索技術の開発
    長谷川学, 古家直樹, and 小坂忠義
    Oct 2020
  15. 組込みシステムへのプロダクトライン型開発導入容易化に向けた可変性モデリング手法「機器-パッケージモデル」の提案
    大島浩資, 秋下耀介, 若林昇, and 1 more author
    Sep 2020
  16. Unsupposable Test-data generation for Machine-learned Software
    N. Sato, H. Kuruma, and H. Ogawa
    Sep 2020
  17. 段階的なシステム刷新を狙いとしたシステム構造の再形成方式
    伊川宏美, 山﨑晃, 本村憲一朗, and 2 more authors
    Jun 2020
  18. リポジトリマイニングに基づくアンチパターン検出手法
    市井誠 and 川上真澄
    Apr 2020
  19. 一般道自動運転に向けたリスク予測に基づく走行制御技術の開発
    堀田勇樹, 稲葉龍, and 英弘 豊田
    Mar 2020
  20. 物流ARピッキングシステムにおけるHMD表示画角の影響の分析
    松本紀子, 大塚康平, and 田野俊一
    Mar 2020
  21. 演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト
    來間啓伸, 小川秀人, 雄一郎 中川, and 1 more author
    Feb 2020
  22. もっと奥へ、深く進んで視る!ソフトウェア構造をVRで可視化
    川上真澄 and 堀旭宏
    Feb 2020

2019

  1. Recovering Transitive Traceability Links among Various Software Artifacts for Developers
    R. Tsuchiya, K. Nishikawa, H. Washizaki, and 4 more authors
    Feb 2019
  2. Inferring Faults in Business Specifications Extracted from Source Code
    K. Yasuda, S. Itoh, R. Mibe, and 2 more authors
    Dec 2019
  3. ソフトウェア開発プロジェクトの完了時期予測のためのチケット自動修正方法
    堀旭宏, 市井誠, and 川上真澄
    Dec 2019
  4. 識別子の表記ゆれによるソースコード検索漏れ防止に向けた設計書を活用した識別子−自然言語変換技術.
    曾我遼, 是木玄太, 井奥章, and 1 more author
    Nov 2019
  5. Picking Work using AR Instructions in Warehouses
    T. Matsumoto, T. Kosaka, T. Sakurada, and 2 more authors
    Oct 2019
  6. 大規模で複雑なソフトウェアの構造をVR空間で可視化する技術を開発
    川上真澄 and 堀旭宏
    Oct 2019
  7. CodeHouse: VR Code Visualization Tool
    A. Hori, M. Kawakami, and M. Ichii
    Sep 2019
  8. Design of Presentation Method and Effects of Warehouse Visualization Tool Using AR
    T. Matsumoto, T. Kosaka, K. Ara, and 3 more authors
    Sep 2019
  9. 在庫格納期間を加味した逐次処理型の倉庫内格納先推奨技術の開発
    古家直樹, 永原聡士, 末光一成, and 3 more authors
    Jul 2019
  10. 物流における拡張現実技術を用いたピッキング作業支援システムの開発
    松本紀子, 小坂忠義, 中島洋平, and 3 more authors
    May 2019
  11. 日立グループ全社におけるソフトウェア開発プロセス革新
    小川秀人, 川上真澄, 加賀洋渡, and 1 more author
    May 2019

2018

  1. Policing functions for machine learning systems
    T. S. Hoang, N. Sato, T. Myosin, and 3 more authors
    May 2018
  2. DeepSaucer: Unified Environment for Verifying Deep Neural Networks
    N. Sato, H. Kuruma, M. Kaneko, and 4 more authors
    May 2018
  3. Simplified Influence Evaluation of Additional Training on Deep Neural Networks
    N. Sato, H. Kuruma, Y. Nakagawa, and 1 more author
    Dec 2018
  4. A Preprocessing Method of Test Input Generation by Symbolic Execution for Enterprise Application
    H. Ohbayashi, H. Kanuka, and C. Okamoto
    Dec 2018
  5. A Supporting Method for Defining Business Constraint in Automated Test Data Generation
    T. Sorabayashi, Y. Uchida, and H. Kanuka
    Nov 2018
  6. リポジトリマイニングに基づく「長すぎるメソッド」検出手法
    堀旭宏, 市井誠, and 川上真澄
    Nov 2018
  7. 作業ロス要因分析のための拡張現実技術を用いた物流倉庫内可視化ツールの開発
    松本紀子, 小坂忠義, 荒宏視, and 3 more authors
    May 2018
  8. A test architecture for machine learning product
    Y. Nishi, S. Masuda, H. Ogawa, and 1 more author
    Apr 2018
  9. Real-time optimized HVAC control system on top of an IoT framework
    A. Rajith, S. Soki, and M. Hiroshi
    Apr 2018

2017

  1. 拡張現実技術を用いた物流倉庫現場での作業ロス要因分析方式
    松本紀子, 小坂忠義, 荒宏視, and 3 more authors
    Aug 2017

2016

  1. Depth-first heuristic search for software model checking
    J. Maeoka, Y. Tanabe, and F. Ishikawa
    Aug 2016
  2. Refactoring verification using model transformation
    M. Ichii, D. Shimbara, Y. Suzuki, and 1 more author
    Sep 2016

2015

  1. Performance Exploring Using Model Checking - A Case Study of Hard Disk Drive Cache Function
    T. Nagano, K. Serizawa, N. Yoshioka, and 2 more authors
    Nov 2015
  2. モデル変換を用いたリファクタリング検証手法
    市井誠 and 小川秀人
    Aug 2015
  3. プログラム等価性検証技術
    市井誠 and 小川秀人
    Jan 2015