Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications,
2022-12,
in: Proceedings of the 29th Asia-Pacific Software Engineering Conference,
APSEC 2023
Maiko Onishi
,
Shinpei Ogata
,
Kozo Okano
,
Daisuke Bekki
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties,
2022-09,
in: Procedia Computer Science,
KES 2022
Kozo Okano
,
Maiko Onishi
,
Jo Otsuka
,
Shinpei Ogata
,
Toshifusa Sekizawa
,
Keishi Okamoto
,
Daisuke Bekki
A Method for Matching Patterns Based on Event Semantics with Requirements,
2022-08,
in: Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering,
JCKBSE 2022
Maiko Onishi
,
Shinpei Ogata
,
Kozo Okano
,
Daisuke Bekki
仕様書の条件文における状態遷移関係の抽出方法,
2021-07,
in: 電子情報通信学会技術研究報告, vol.121, no.94, SS2021-5,
SS 2021
大西舞子
,
井浩也
,
小形真平
,
岡野浩三
,
戸次大介
CCGと定理証明器による自然言語の時間関係認識,
2020-06,
in: 第34回人工知能学会全国大会論文集, 1E3-GS-9-04,
JSAI 2020
大西舞子
,
谷中瞳
,
峯島宏次
,
戸次大介
CCGに基づく時間解析の実装に向けて,
2019-03,
in: 言語処理学会第25回年次大会発表論文集, D6-1,
NLP 2019
大西舞子
,
峯島宏次
,
戸次大介