研究開発
論文
To be published
-
Daichi Ohnami, Rentaro Yoshioka, Takayuki Hoshino
IEEE Region 10 Conference 2024 (TENCON2024) (2024), to appear -
A Deductive System for Annotated Linear-Time Temporal Logic LTLτ
Yotaro Nakayama, Yoshitaka Aoki
The IEEE World Congress on Computational Intelligence for the year 2024 (IEEE-WCCI 2024) (2024), to appear
2024
-
Analysis of LLM's ‟Spurious‟ Correct Answers Using Evidence Information of Multi-hop QA Datasets
Ai Ishii, Naoya Inoue, Hisami Suzuki, Satoshi Sekine
In Proceedings of the First Workshop on Knowledge Graphs and Large Language Models (KaLLM), Association for Computational Linguistics p24-34 (2024) -
土江 庄一
Visual Computing 2024 p1-5 (2024) -
Review Matching Task to Diagnose Basic Review Ability
Koki Saito
Journal of Digital Life Volume 4 (2024) -
JEMHopQA: Dataset for Japanese Explainable Multi-Hop Question Answering
Ai Ishii, Naoya Inoue, Hisami Suzuki, Satoshi Sekine
In Proceedings of The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024) p9515–9525 (2024) -
Viewing Experience Support Environment based on Knowledge Experience Design
Takayuki Hoshino
2024 the 12th International Conference on Information and Education Technology (ICIET 2024) (2024) -
α-Curves: Extended Log-aesthetic Curves with Variable Shape Parameter
Shoichi Tsuchie, Norimasa Yoshida
Computers & Graphics (Elsevier) 118 p60-70 (2024)
2023
-
既存サービスへの別サービス追加時のSTAMP/STPAとCATWOEを利用した要求獲得
沖汐 大志，福島 祐子
第30回ソフトウェア工学の基礎ワークショップ (FOSE2023) p153-158 (2023) -
Annotated Logic with Rough Double Stone Algebraic Interpretation
Yotaro Nakayama, Seiki Akama, Jair M. Abe, Tetsuya Murai
IEEE International Conference on Fuzzy Systems (2023) -
α-曲線：可変 Shape Parameter による対数美的曲線
土江 庄一，吉田 典正
Visual Computing 2023 p1-5 (2023) -
沖汐 大志，福島 祐子
安全工学 (安全工学会) 62(2) p122-129 (2023) -
Hiroki Abe, Tamotsu Kamishima, Ryoji Ojima, Ryuta Onishi, Michiyo Hirano
Information, Communication & Society (Routledge) 26(3) p459-478 (2023) -
Reconstruction of Aesthetically Smooth Curves
Shoichi Tsuchie
The Visual Computer (Springer) 39(1) p353-365 (2023)
2022
-
Takuma Sakamoto, Shun Sinzeki, Shunsuke Kakinuma, Eri Ishihara, Hiroko Tabunoki
BMC Genomics 23, 751 p1-13 (2022) -
High-Quality Approximation of Log-Aesthetic Curves Based on the Fourth Order Derivative
Shoichi Tsuchie, Norimasa Yoshida
Journal of Computational Design and Engineering (Oxford University Press) 9(6) p2439-2451 (2022) -
A Software Design Method for Creation and Utilization of Experiential Knowledge
Takayuki Hoshino, Rentaro Yoshioka
International Conference on Electrical Computer and Energy Technologies 2022 (ICECET2022) p1-6 (2022) -
Four-valued Interpretation for Paraconsistent Annotated Evidential Logic
Yotaro Nakayama, Seiki Akama, Jair Minoro Abe, Tetsuya Murai
14th International KES Conference Intelligent Decision Technologies (KES-IDT) p137-147 (2022) -
セキュリティ対策の行動変容を促すSNSによるナッジ手法の提案
岡澤 野乃華，上原 哲太郎，齊藤 哲哉
研究報告セキュリティ心理学とトラスト (SPT) 2022-SPT-46(5) p1-8 (2022) -
Cooperative Design of Devices and Services to Balance Low Power and User Experience
Takayuki Hoshino, Rentaro Yoshioka, Yukihide Kohira, Shingo Tetsuka
Journal of Low Power Electronics and Applications (MDPI) 12(1) p1-19 (2022) -
Reconstruction of Adaptive Swept Surfaces from Scanned Data for Styling Design
Shoichi Tsuchie
The Visual Computer (Springer) 38(2) p493-507 (2022)
2021
-
Takayuki Hoshino, Rentaro Yoshioka, Yukihide Kohira
IEEE 14th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) p296-303 (2021) -
UI Method to Support Knowledge Creation in Hybrid Museum Experience
Toru Tamahashi, Rentaro Yoshioka, Takayuki Hoshino
IEEE 14th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) p292-295 (2021) -
小形 真平，大池 勇太郎，中川 博之，青木 善貴，小林 一樹，岡野 浩三
第28回ソフトウェア工学の基礎ワークショップ (FOSE2021) p45-50 (2021) -
Many-Valued Tableau Calculi for Decision Logic based on Approximation Regions in VPRS
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
International Journal of Reasoning-based Intelligent Systems (Inderscience Publishers) 13(4) p235-242 (2021) -
Reconstruction of Intersecting Surface Models from Scanned Data for Styling Design
Shoichi Tsuchie
Engineering with Computers (Springer) 37(1) p211-222 (2021)
2020
-
Rough Set Logic for Kleene's Three-valued Logic
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems (SCIS＆ISIS 2020) (2020) -
机上へのプロジェクションによる紙面テキストハイライト手法【プレミアム発表】
土田 太一，藤田 和之，中原 和洋，山田 茂雄，高嶋 和毅，北村 喜文
インタラクション2020論文集 (情報処理学会) p909-911 (2020) -
バーチャルな影による奥行き錯覚を用いた付箋紙の移動操作と類似度可視化インタフェース【プレミアム発表】
中原 和洋，藤田 和之，土田 太一，高嶋 和毅，北村 喜文
インタラクション2020論文集 (情報処理学会) p848-851 (2020) -
Bilattice Logic for Rough Sets
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Journal of Advanced Computational Intelligence and Intelligent Informatics (Fuji Technology Press) 24(6) p774-784 (2020) -
Variational Bayesian Parameter-Based Policy Exploration
Tikara Hosino
International Joint Conference on Neural Networks (IJCNN2020) p1-7 (2020) -
青木 善貴，小形 真平，小林 一樹，中川 博之
ソフトウェアエンジニアリングシンポジウム2020論文集 p115-124 (2020) -
斉藤 功樹，日髙 昇平
認知科学27(3) p280-294 (2020) -
中山 陽太郎，赤間 世紀，村井 哲也
知能と情報 (日本知能情報ファジィ学会誌) 32(4) p768-777 (2020) -
梶谷 肇，加治佐 剛
森林利用学会誌35(1) -速報- p45-52 (2020)
2019
-
青木 善貴，小形 真平，小林 一樹，中川 博之
ソフトウェア工学の基礎XXVI (近代科学社) p115-120 (2019) -
青木 善貴，小形 真平
ソフトウェアエンジニアリングシンポジウム2019論文集 p116-125 (2019) -
Design of Knowledge Templates and Multi-view Symbols for Experiential Learning
Takayuki Hoshino, Rentaro Yoshioka
13th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) p201-208 (2019) -
Analysis of Review Quality by Using Gaze Data During Document Review
Koki Saito, Shohei Hidaka
41th Annual Meeting of the Cognitive Science Society (CogSci2019) p2695-2701 (2019) -
A Graph-based Model for Experiential Knowledge
Takayuki Hoshino, Rentaro Yoshioka
International Journal of Knowledge Engineering 5(1) p1-7 (2019) -
Mesh Simplification Accompanied by its Denoising of Scanned Data
Shoichi Tsuchie
Engineering with Computers (Springer) 35(3) p993-1008 (2019)
2018
-
Verification of CPS Based on Control Loop using Model Checking
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
25th Asia-Pacific Software Engineering Conference (APSEC) p678-682 (2018) -
Four-Valued Semantics for Granular Reasoning towards Frame Problem
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Joint 10th International Conference on Soft Computing and Intelligent Systems (SCIS) and 19th International Symposium on Advanced Intelligent Systems (ISIS), p37-42 (2018) -
A Template System for Modeling and Verifying Agent Behaviors
Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
PRIMA 2018: Principles and Practice of Multi-Agent Systems (PRIMA 2018), LNCS 11224 (Springer) p576-584 (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
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) -
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
-
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) -
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
-
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
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
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) -
Bayesian Joint Optimization for Topic Model and Clustering
Tikara Hosino
20th International Conference on Artificial Neural Networks (ICANN 2010), LNCS 6352 (Springer) p77-86 (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)
学会講演予稿，寄稿，他
2024
-
奥村 知之
日本建築仕上学会大会学術講演会 (2024) -
土江 庄一
2024年度精密工学会秋季大会学術講演会講演論文集 B90 p.69-70 (2024) -
孟 憲巍，齊藤 哲哉，成田 尚宣
次世代の人間科学研究会2024 ポスター発表 (2024) -
3D Landmarkに基づく個人最適化されたEye Aspect Ratioによる瞬目検出手法
斉藤 功樹
2024年度 人工知能学会全国大会 (第38回) (2024) -
青木 善貴，中山 陽太郎
電子情報通信学会技術研究報告 KBSE 123(443) p49-54 (2024) -
成澤 瑠佳，小形 真平，青木 善貴，中川 博之，小林 一樹，岡野 浩三
電子情報通信学会技術研究報告 KBSE 123(443) p43-48 (2024) -
JEMHopQA: 日本語マルチホップ QA データセットの改良
石井 愛，井之上 直也，鈴木 久美，関根 聡
言語処理学会第30回年次大会 (NLP2024) p862-867 (2024) -
マルチホップ QA の根拠情報を用いた LLM の “偽” 正解の分析
石井 愛，井之上 直也，鈴木 久美，関根 聡
言語処理学会第30回年次大会 (NLP2024) p2595-2600 (2024) -
林業作業におけるウェアラブルセンサを用いた作業種と心身状態の予測
榎本 真
第135回日本森林学会大会 (2024) -
酒井 智彦
第29回日本災害医学会総会学術集会 (2024) -
「仕掛け」の着想を支援するワークショップのスタートアップ教育への適用
成田 尚宣，齊藤 哲哉，栗本 英和
第14回仕掛学研究会 (2024) -
Prism ワークショップ:「仕掛け」の着想を支援するワークショップの設計と実践
齊藤 哲哉，成田 尚宣，栗本 英和
第14回仕掛学研究会 (2024)
2023
-
Bilattice Tableau Calculi with Rough Set Semantics
Yotaro Nakayama, Seiki Akama, Tetsuya Murai
Advances in Applied Logics - Applications of Logic for Philosophy, Mathematics and
Information Technology (Springer) p113-128 (2023) -
モデル検査によるUMLステートマシン図の多次元的検証支援の検討
田中 友基，小形 真平，青木 善貴，中川 博之，岡野 浩三
第30回ソフトウェア工学の基礎ワークショップ (FOSE2023) -
酒井 智彦，中尾 俊一郎，河内 孝仁，前部 晴奈，宮﨑 絹子，西岡 彩夏，南田 真那，神村 幸輝，真田 泰明，河田 慶三，織田 順
第51回日本救急医学会総会・学術集会 (2023) -
酒井 智彦，河田 慶三，中尾 俊一郎，真田 泰明，前部 晴奈，西岡 彩夏，宮﨑 絹子，小倉 裕司，織田 順
第28回日本災害医学会総会・学術集会 (2023) -
土江 庄一，吉田 典正
2023年度精密工学会秋季大会学術講演会講演論文集 H42 (2023) -
青木 善貴，小形 真平，中川 博之，小林 一樹
信学技報 123(124) KBSE2023-31 JUL. p110-115 (2023) -
Epistemic Situation Calculus Based on Granular Computing：A New Approach to Common-Sense Reasoning
Seiki Akama, Yotaro Nakayama, Tetsuya Murai
Intelligent Systems Reference Library Vol.239 (2023) -
榎本 真，佐々木 重樹，加治佐 剛，山崎 太郎
第134回森林学会大会講演集 p116 (2023) -
土江 庄一，吉田 典正
2023年度精密工学会春季大会学術講演会講演論文集 A50 p58-59 (2023) -
川辺 治之
数学文化 (日本数学協会) 第39号 (2023) -
誰もが仕掛けられる世の中の実現を目指したワークショップの検討
齊藤 哲哉
第13回仕掛学研究会 (ライトニングトーク) (2023) -
Sakino Shinokawa, Hiroki Abe, Risa Takashima, Ryuta Onishi, Michiyo Hirano
International Journal of Environmental Research and Public Health, 20(3),1884 (2023)
※Funding and Acknowledgments
2022
-
酒井 智彦，中尾 俊一郎，中村 洋平，前部 晴奈，河内 孝仁，近藤 聖也，真田 泰明，河田 慶三，小倉 裕司，織田 順
第17回日本病院前救急診療医学会総会・学術集会 (2022) -
酒井 智彦，松原 庸博，坂本 篤哉，河田 慶三，宮崎 絹子，真田 泰明，神村 幸輝，南田 真那，西岡彩夏，小倉 裕司
第27回日本災害医学会総会・学術集会 (2022) -
Ryuta Onishi, Risa Takashima, Kazuko Saeki, Michiyo Hirano
Nursing Open, 00:P1-11 (2022)
※Funding and Acknowledgments -
ロジックモデルからステークホルダーバリューネットワークへの変換による価値循環の抽出
丹羽 南，山田 勉，青木 善貴
第29回ソフトウェア工学の基礎ワークショップ (FOSE2022) -
中山 陽太郎，赤間 世紀，村井 哲也
第38回ファジィシステムシンポジウム (FS2022) -
「日本人」にとってくさい食品、いいにおいの食品とは何かー匂い表現からイメージする食品への地域と属性の影響
宮村 佳典，小塩 真司
日本味と匂学会第56回大会 ポスター発表 (2022) -
ウェアラブルセンサを用いた林業作業における作業動作と心身状態の可視化
榎本 真，佐々木 重樹，加治佐 剛，山崎 太郎
第133回日本森林学会大会 ポスター発表 (2022) -
CPSのサイバーセキュリティに求められる安全分析とSTPA-Secの有効性
福島 祐子
月刊JETI 2022年3月号 p61-69 (2022) -
川辺 治之
数学セミナー 2022年3月号 p1 (2022) -
齊藤 哲哉
第12回仕掛学研究会 (ライトニングトーク) (2022)
2021
-
人の期待とシステムの振る舞いの乖離をモデル検査により検証する手法の提案
青木善貴，小形真平，中川博之，小林一樹
第28回ソフトウェア工学の基礎ワークショップ (FOSE2021) ポスター発表 (2021) -
全社的リスク管理と STAMP/STPA による IoT サービスの安全性確保
沖汐 大志
ソフトウェア品質シンポジウム2021 SQuBOK Review 2021(6) p1-8 (2021) -
中⼭ 陽太郎，⾚間 世紀，村井 哲也
第37回ファジィシステムシンポジウム (FSS2021) -
斉藤 功樹，中川 靖士
日本認知科学会第38回大会発表論文集 p544-547 (2021) -
匂いの気づきやすさが食品の香り嗜好性に及ぼす影響～食欲と嗜好の研究紹介からデータ分析まで～
宮村 佳典，小塩 真司
AROMA RESEARCH (フレグランスジャーナル社) No.87 Vol.22(3) p202-208 (2021) -
STILTsを適用した機械読解によるWikipedia記事の構造化
石井 愛
言語処理学会第27回年次大会 (NLP2021) p1815-1819 (2021) -
佐保田 万智子，加治佐 剛，寺岡 行雄
第132回日本森林学会大会学術講演要旨集 p148 (2021) -
九州から発信！電波不毛な山間森林地帯での先進ICTトライアル
加治佐 剛，三浦 龍，山﨑 太郎，田中 征治，渋谷 彰
FORN (電波技術協会報) 338 p20-23 (2021)
2020
-
寺岡 行雄，田中 征治，桝田 孝一郎，中村 成希，山﨑 太郎
FORN (電波技術協会報) 336 p32-35 (2020) -
石井 愛，小松 祐城，脇森 浩志
言語処理学会 第26回年次大会 発表論文集 p881-884 (2020) -
木口画像を用いた丸太個体識別における疑似マーカーの有効性評価
佐保田 万智子，加治佐 剛，寺岡 行雄
第76回九州森林学会大会 p1-5 (2020), in press. -
齊藤 哲哉
第9回仕掛学研究会 (ディスカッション・ペーパー) p1-5 (2020) -
斉藤 功樹，日髙 昇平
日本認知科学会第37回大会発表論文集 p538-541 (2020) -
中山 陽太郎，赤間 世紀，村井 哲也
第36回ファジィシステムシンポジウム (FSS2020) 講演論文集 p455-458 (2020) -
沖汐 大志，小島 嘉津江，藤原 良一
ソフトウェア品質シンポジウム2020 SQuBOK Review 2020(5) p1-12 (2020) -
Gaze Behavior in a Review-a-Definition Task
Koki Saito, Shohei Hidaka
42th Annual Meeting of the Cognitive Science Society (CogSci2020) ポスター発表 (2020) -
齊藤 哲哉
第8回仕掛学研究会 (ディスカッション・ペーパー) p1-5 (2020)
2019
-
制御ループの振舞いの定量化によるFRAMモデルの可読性向上の試案【優秀論文発表賞受賞】
青木 善貴
第17回 ディペンダブルシステムワークショップ(DSW 2019) -
安全分析手法 STAMP/STPA における UCA 識別手法の改善
福島 祐子
第17回 ディペンダブルシステムワークショップ(DSW 2019) -
斉藤 功樹，日髙 昇平
2019年度日本認知科学会第36回大会 大会論文集 p188-192 (2019) -
中山 陽太郎，赤間 世紀，村井 哲也
第35回ファジィシステムシンポジウム「FG3 ラフ集合と粒状計算：基礎から応用まで2」セッション(2019) -
太田 裕一，北野 健太，早川 芳昭，石川 冬樹
第2回機械学習工学ワークショップ（MLSE夏合宿2019） -
中原 和洋
2019年度人工知能学会全国大会(第33回) 4Rin1-15 p1-4 (2019) -
福島 祐子
安全工学(安全工学会誌) 58(3) p162-167 (2019) -
青木 善貴，小形 真平
電子情報通信学会技術研究報告 KBSE 119(56) p49-56 (2019) -
変わりゆくシステムの安全性を高める ～STAMP/STPA への取り組みとその背景～
福島 祐子，井上 祐司
信頼性 (日本信頼性学会誌) 41(2) p103-110 (2019) -
石井 愛
言語処理学会第25回年次大会 (NLP2019) p438-441 (2019) -
青木 善貴
情報処理学会ソフトウェア工学研究会ウィンターワークショップ2019
2018
-
アイトラッキングを利用した，次世代の要件定義書レビュー評価手法
斉藤 功樹，土肥 拓生
2018年度日本認知科学会第35回大会 大会論文集 p661-668 (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
-
宮下 洋，石井 愛，小林 実央，星野 力
言語処理学会第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を用いたデータ統合メディエータの提案
中山 陽太郎，横石 潔和，渡辺 信幸
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 ～健康長寿社会の実現を目指した，健康・医療情報の利活用を事例に～
星野 隆之
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) -
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) -
青木 善貴，小形 真平，奥田 博隆，松浦 佐江子
第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)