企業情報

HOME >
企業情報 >
日本ユニシスの研究活動 >
日本ユニシスの研究開発方針 >
論文

研究開発

論文

To be published
- Mesh Simplification Accompanied by its Denoising of Scanned Data >
  
  Shoichi Tsuchie
  Engineering with Computers (Springer) p1-16, in press.
- Verification of CPS Based on Control Loop using Model Checking
  
  Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
  25th Asia-Pacific Software Engineering Conference (ASPEC 2018), to appear.
- A Template System for Modeling and Verifying Agent Behaviors
  
  Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
  21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2018), to appear.
2018
- アイトラッキングを利用した，次世代の要件定義書レビュー評価手法 >
  
  斉藤功樹，土肥拓生
  2018年度日本認知科学会第35回大会大会論文集p661-668 (2018)
- Four-valued Tableau Calculi for Decision Logic of Rough Set >
  
  Yotaro Nakayama, Seiki Akama, Tetsuya Murai
  Procedia Computer Science (Elsevier) 126 p383-392 (2018)
- An Impression Based Recording of Art Viewing Experience: Preliminary Implementation and Analysis >
  
  Takayuki Hoshino, Rentaro Yoshioka, Masahiro Arai
  International Journal of Culture and History 4(3) p36-41 (2018)
- Deduction System for Decision Logic Based on Many-valued Logics >
  
  Yotaro Nakayama, Seiki Akama, Tetsuya Murai
  International Journal On Advances in Intelligent Systems 11(1 & 2) p105-114 (2018)
- Goal-Satisfaction Verification to Combination of Use Case Components >
  
  Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
  13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) p343-350 (2018)
2017
- A Tool to Edit and Verify IoT System Architecture Model > [PDF]
  
  Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
  20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2017) p571-575 (2017)
- Automated Historical Fact-Checking by Passage Retrieval, Word Statistics, and Virtual Question-Answering >
  
  Mio Kobayashi, Ai Ishii, Chikara Hoshino, Hiroshi Miyashita, Takuya Matsuzaki
  8th International Joint Conference on Natural Language Processing p967–975 (2017)
- Deduction System for Decision Logic based on Partial Semantics >
  
  Yotaro Nakayama, Seiki Akama, Tetsuya Murai
  11th International Conference on Advances in Semantic Processing p8-11 (2017)
- Two Alternative Criteria for a Split-Merge MCMC on Dirichlet Process Mixture Models >
  
  Tikara Hosino
  26th International Conference on Artificial Neural Networks (ICANN 2017), LNCS 10614 (Springer) p672-679 (2017)
- Reconstruction of Underlying Surfaces from Scanned Data Using Lines of Curvature >
  
  Shoichi Tsuchie
  Computers & Graphics (Elsevier) 68 p108-118 (2017)
- Reconstruction of Underlying Curves with Styling Radius Corners >
  
  Shoichi Tsuchie
  The Visual Computer (Springer) 33(9) p1197-1210 (2017)
- Security Requirements Verification for Existing Systems with Model Checking Technique and UML >
  
  Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
  5th International Conference on Model-Driven Engineering and Software Development p529-535 (2017)
2016
- STAMP/STPA によるハザード分析のモデル検査を用いた支援 >
  
  青木善貴，福島祐子
  ソフトウェアエンジニアリングシンポジウム2016論文集 p219-226 (2016)
- High-quality Quadratic Curve Fitting for Scanned Data of Styling Design >
  
  Shoichi Tsuchie, Kunio Okamoto
  Computer-Aided Design (Elsevier) 71 p39-50 (2016)
2014
- Practical Behavioral Inconsistency Detection between Source Code and Specification using Model Checking >
  
  Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
  25th International Symposium on Software Reliability Engineering (2014)
- Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking >
  
  Yoshitaka Aoki, Saeko Matsuura
  IEICE Transactions on Information and Systems E97-D(5) MAY p1097-1108 (2014)
- Verifying Security Requirements using Model Checking Technique for UML-Based Requirements Specification >
  
  Yoshitaka Aoki, Saeko Matsuura
  IEEE 1st International Workshop on Requirements Engineering and Testing (RET) p18-25 (2014)
- 要件定義プロセスと保守プロセスにおけるモデル検査技術の開発現場への適用 >
  
  松浦佐江子，小形真平，青木善貴，矢沢智史，西村一彦
  Information-technology Promotion Agency (IPA) SEC journal 37 JUL. p8-15 (2014)
- Surface Mesh Segmentation and Reconstruction with Smooth Boundary Curves >
  
  Shoichi Tsuchie, Masatake Higashi
  Pacific Conference on Computer Graphics and Applications -Short Papers- p25-30 (2014)
- Extraction of Surface-feature Lines on Meshes Using Normal Tensor Framework >
  
  Shoichi Tsuchie, Masatake Higashi
  Computer-Aided Design and Applications (Taylor & Francis) 11(2) p172-181 (2014)
- High-quality Vertex Clustering for Surface Mesh Segmentation Using Student-t Mixture Model >
  
  Shoichi Tsuchie, Tikara Hosino, Masatake Higashi
  Computer-Aided Design (Elsevier) 46 p69-78 (2014)
2013
- Data Lifecycle Verification Method for Requirements Specifications Using a Model Checking Technique >
  
  Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
  8th International Conference on Software Engineering Advances (ICSEA 2013) p194-200 (2013)
2012
- Quality Improvement of Requirements Specification Using Model Checking Technique >
  
  Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
  14th International Conference on Enterprise Information Systems (ICEIS 2014) p401-406 (2012)
- Surface Mesh Denoising with Normal Tensor Framework >
  
  Shoichi Tsuchie, Masatake Higashi
  Graphical Models (Elsevier) 74(4) JUL. p130-139 (2012)
- Multi-GPU Algorithm for k-nearest Neighbor Problem >
  
  Kimikazu Kato, Tikara Hosino
  Concurrency and Computation: Practice and Experience 24(1) p45-53 (2012)
2011
- Verification of Embedded System by a Method for Detecting Defects in Source Codes Using Model Checking >
  
  Yoshitaka Aoki, Saeko Matsuura
  IEEE Symposium on Computers & Informatics (ISCI 2011) p530-535 (2011)
- A Method for Detecting Unusual Defects in Enterprise System Using Model Checking Techniques > [PDF]
  
  Yoshitaka Aoki, Saeko Matsuura
  10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems p165-171 (2011)
2010
- A Method for Detecting Defects in Source Codes Using Model Checking Techniques >
  
  Yoshitaka Aoki, Saeko Matsuura
  IEEE 34th Annual Computer Software and Applications Conference (COMPSAC 2010) p543-544 (2010)
- Solving k-Nearest Neighbor Problem on Multiple Graphics Processors >
  
  Kimikazu Kato, Tikara Hosino
  10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing p769-773 (2010)
- On Degeneracy of Lower Envelopes of Algebraic Surfaces > [PDF]
  
  Kimikazu Kato
  22th Canadian Conference on Computational Geometry (CCCG) p59-62 (2010)
- High Dimensional Non-linear Modeling with Bayesian Mixture of CCA >
  
  Tikara Hosino
  17th International Conference on Neural Information Processing (ICONIP 2010), LNCS 6443 (Springer) p446-453 (2010)
2006
- Free Energy of Stochastic Context Free Grammar on Variational Bayes >
  
  Tikara Hosino, Kazuho Watanabe, Sumio Watanabe
  13th International Conference on Neural Information Processing (ICONIP 2006), LNCS 4232 (Springer) p407-416 (2006)

学会講演予稿，寄稿，他

2018
- 粒状計算に基づく情報の粒度を考慮した推論のフレーム問題への適用 >
  
  中山陽太郎，赤間世紀，村井哲也
  人工知能学会第107回人工知能基本問題研究会(SIG-FPAI) AUG. p7-12 (2018)
- コントロールループに着目したIoT アーキテクチャモデルの検証に関する一考察 >
  
  青木善貴，小形真平，小林一樹，中川博之
  電子情報通信学会技術研究報告 KBSE 118(138) p61-66 (2018)
2017
- IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価 >
  
  小形真平，青木善貴，中川博之，小林一樹，福島祐子
  電子情報通信学会技術研究報告 KBSE 117(136) p25-30 (2017)
- 「ロボットは東大に入れるか」という企て：6．世界史：自然言語処理モジュールの組合せによる，マーク式問題の自動解答 >
  
  星野力，宮下洋，石井愛，小林実央
  情報処理学会 58(7) p609-610 (2017)
2016
- センター試験『世界史B』文の正誤判定問題ソルバー >
  
  宮下洋，石井愛，小林実央，星野力
  言語処理学会第22回年次大会（NLP2016）
- デザインパターンに基づくソースコードのモデル検証の手法の提案 >
  
  青木善貴
  信学技報 116(67) KBSE2016-6 MAY p31-36 (2016)
2015
- モデル検査によるドローンの安全確認 >
  
  青木善貴，細金万智子
  第23回ソフトウェア工学の基礎ワークショップ FOSE2015 DEC. p227-228 (2015)
- ドローン利活用の安全性の確保における企業情報システム開発技術の適用 >
  
  青木善貴，細金万智子，星野隆之
  エンタテインメントコンピューティングシンポジウム2015論文集 p267-273 (2015)
- モデル検査を用いたユースケースモデルに基づくソースコード検証　-ASP.NETアプリケーションを事例として >
  
  青木善貴，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 114(501) p71-76 (2015)
- Markov Logic Networksを用いたデータ統合メディエータの提案 > [PDF]
  
  中山陽太郎，横石潔和，渡辺信幸
  DEIM Forum 2015 B6-4 (2015)
2014
- 個別化医療を目指した統合情報基盤 >
  
  羽田昭裕
  細胞 2014年12月号 p34-37 (2014)
- 反例からの検査式自動生成による不具合原因特定支援 >
  
  青木善貴，松浦佐江子
  信学技報 114(127) KBSE2014-19 JUL. p87-92 (2014)
- モデル検査における反例解析容易化支援 >
  
  青木善貴，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 114(128) p1-6 (2014)
- モデル検査を利用した仕様とソースコード間におけるシステムの振舞いの不一致発見 >
  
  青木善貴，松浦佐江子
  ソフトウェアエンジニアリングシンポジウム2014論文集 p212-213 (2014)
- 意匠測定データに対する高品質セグメンテーション（第5報）─ 形態学的な領域分割と領域競合による境界生成 ─ >
  
  土江庄一，東正毅
  2014年度精密工学会秋季大会学術講演会講演論文集 p593-594 (2014)
- 意匠測定データに対する高品質セグメンテーション（第4報）─ セグメント領域と境界の再構築 ─ >
  
  土江庄一，東正毅
  2014年度精密工学会春季大会学術講演会講演論文集 p787-788 (2014)
- コモンセンス知識と推論を用いた幼児教材「仲間外れ概念探し」問題への取組みと評価 >
  
  中原和洋，内田咲，小林実央，山田茂雄
  2014年度人工知能学会全国大会論文集 MAY (2014)
- 研究開発活動とP2M ～健康長寿社会の実現を目指した，健康・医療情報の利活用を事例に～ > [PDF]
  
  星野隆之
  PMAJジャーナル 49 APR. p12-15 (2014)
- NUL System at NTCIR RITE-VAL tasks >
  
  Ai Ishii, Hiroshi Miyashita, Mio Kobayashi, Chikara Hishino
  The 11th NTCIR Conference p249-254 (2014)
- NUL System at QALab tasks >
  
  Hiroshi Miyashita, Ai Ishii, Mio Kobayashi, Chikara Hishino
  The 11th NTCIR Conference p556-558 (2014)
- Technical Report of Uni2014 in NTCIR-11 MedNLP-2 (Extraction and Normalization Task) >
  
  Kenta Fukuda
  The 11th NTCIR Conference p184-186 (2014)
2013
- UML 要求分析モデルへのモデル検査技術適用による実現可能性の検証 >
  
  青木善貴，小形真平，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 113(160) p97-102 (2013)
- モデル検査技術の開発現場への適用 >
  
  青木善貴，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 113(160) p91-96 (2013)
- 開発現場を想定したモデル検査に基づくプログラムの不具合検証－検査支援ツールを用いた安定的な検査－ >
  
  青木善貴，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 112(496) p1-5 (2013)
- モデル検査技術を用いたセキュリティ要求の検証 >
  
  青木善貴，小形真平，野呂惇，松浦佐江子
  第20回ソフトウェア工学の基礎ワークショップ FOSE p209-214 (2013)
- 意匠測定データに対する高品質セグメンテーション（第3報）─ 頂点クラスタリングからのセグメント生成 ─ >
  
  土江庄一，東正毅
  2013年度精密工学会秋季大会学術講演会講演論文集 p853-854 (2013)
- 意匠測定データに対する高品質セグメンテーション（第2報）─ 法線テンソルによる曲面特徴線の抽出 ─ >
  
  土江庄一，東正毅
  2013年度精密工学会春季大会学術講演会講演論文集 p843-844 (2013)
2012
- 意匠測定データに対する高品質セグメンテーション（第1報） ─ 変分ベイズ法によるロバストな頂点クラスタリング ─ >
  
  土江庄一，星野力，東正毅
  2012年度精密工学会秋季大会学術講演会講演論文集 p267-268 (2012)
- 法線テンソルによるメッシュの平滑化 >
  
  土江庄一，東正毅
  2012年度精密工学会春季大会学術講演会講演論文集 p535-536 (2012)
- UML 要求分析モデルにおけるCRUD 観点のデータライフサイクルの妥当性検査手法 >
  
  青木善貴，小形真平，奥田博隆，松浦佐江子
  情報処理学会第74回全国大会講演論文集 5A-5 (2012)
- 開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法 >
  
  青木善貴，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 111(396) p43-48 (2012)
- 要求分析におけるCRUD観点のモデル検査技術の適用 >
  
  青木善貴，小形真平，奥田博隆，松浦佐江子
  第19回ソフトウェア工学の基礎ワークショップ FOSE p75-80 (2012)
- Source2UPPAAL: ソースコードの効率的な検証へ向けた開発者支援ツールの検討 >
  
  谷沢智史，西村一彦，青木善貴，小形新平，松浦佐江子
  第19回ソフトウェア工学の基礎ワークショップ FOSE p241-242 (2012).
- データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法 >
  
  小形真平，谷沢智史，西村一彦，青木善貴，奥田博隆，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 112(314) p119-114 (2012)
2011
- 個別化医療を目指した医療情報の集積 >
  
  羽田昭裕
  月刊メディカル・サイエンス・ダイジェスト 37 OCT. p499-502 (2011)
- モデル検査を用いたプログラムにおける再現性の低い潜在的欠陥の抽出手法　～データベースロック問題の検証～ >
  
  青木善貴，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 110(468) p79-84 (2011)
2010
- モデル検査に基づくプログラム欠陥抽出作業支援ツールの開発と実践 >
  
  青木善貴，松浦佐江子
  情報処理学会創立50 周年記念(第72回)全国大会 2P-3 (2010)
- ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証 >
  
  青木善貴，松浦佐江子
  第9回情報科学技術フォーラム B-022 (2010)
- ソースコード解析を利用したモデル検査に基づく欠陥抽出手法 >
  
  青木善貴，松浦佐江子
  第17回ソフトウェア工学の基礎ワークショップ FOSE p95-100 (2010)
2009
- ソースコード解析を利用したモデル検査に基づく欠陥抽出手法の提案 >
  
  青木善貴，松浦佐江子
  電子情報通信学会技術研究報告 KBSE 109(307) p79-84 (2009)
- ソースコードの解析を利用したモデル検査に基づく欠陥抽出手法の提案 >
  
  青木善貴，松浦佐江子
  第8回情報科学技術フォーラム B-016 (2009)

日本ユニシスの研究開発に関するお問い合わせはこちら >

業種別

業務・目的別

技術・基盤サービス

CSRトップ

採用情報トップ

企業情報

研究開発

論文

学会講演予稿，寄稿，他

企業情報

日本ユニシスについて

日本ユニシスの企業活動

日本ユニシスの研究活動