プレプリント / バージョン1

ローカルLLMを用いた日本語Lintの試み

-プロンプト工学に依存しない自然言語Lintの実装-

##article.authors##

  • 神谷, 達夫 福知山公立大学 地域経営学部

DOI:

https://doi.org/10.51094/jxiv.2247

キーワード:

自然言語仕様、 曖昧性検出、 JapaneseLint、 LoRA 蒸留学習、 仕様レビュー支援

抄録

本研究では、日本語仕様書に内在する曖昧表現、非定量条件、および論理的不整合を自動的に検出し、定量化を含む修正案の生成までを一体的に支援する自然言語 Lint システム JapaneseLint を提案した。JapaneseLint は、汎用大規模言語モデル(GPT-5.1)を教師とした蒸留学習により、仕様書レビューに特化した推論様式そのものを LoRA によって軽量モデルへ内包する構成を採用している。これにより、プロンプトエンジニアリングに依存することなく、実運用時のコンテキスト消費を最小化した安定した推論が実現される。
評価実験では、GPT-5.1 により自動生成した 20 件の評価用日本語仕様文を入力とし、推論時間および生成される指摘文・修正案の品質の両面から性能評価を行った。実験環境は GPU(RTX 4090)単体構成とし、fp16 形式の評価モデルを用いた。その結果、平均推論時間は 1.803 秒、最大でも 2.618 秒であり、対話型支援システムにおいて実用的とされる応答時間指標(数秒以内)を満たすことを確認した。また、生成される指摘文および修正案は、技術文書として必要な可読性、中立性、および定量性を十分に備えており、仕様レビュー作業において実務的に利用可能な文章品質であることが確認された。
以上より、本研究で提案する JapaneseLint は、日本語自然言語仕様書に対する曖昧性検出および定量的修正支援を、高速かつ実用的な計算資源効率のもとで実現可能な支援手法であると結論付けられる。

利益相反に関する開示

この文章に関する利益相反はありません。

ダウンロード *前日までの集計結果を表示します

ダウンロード実績データは、公開の翌日以降に作成されます。

引用文献

(1) チョムスキー, N.(井上和子訳)『言語論』大修館書店 (1979)

(2) チョムスキー, N.・バーウィック, R. C.(渡会圭子訳)『チョムスキー言語学講義──言語はいかにして進化したか』ちくま学芸文庫, 筑摩書房 (2017)

(3) ソシュール, F. de(町田健訳)『新訳 ソシュール 一般言語学講義』研究社 (2016)

(4) 町田健『ソシュールと言語学──コトバはなぜ通じるのか』講談社現代新書 (2004)

(5) C. E. Shannon, W. Weaver:コミュニケーションの数学的理論,明治図書,pp.35-40 (1969)

(6) 美濃 導彦・西田 正吾 編. 情報メディア工学. 東京, オーム社, pp. 2-5 (1999)

(7) Daniel M. Berry; Erik Kamsties; Michael M. Krieger, From Contract Drafting to Software Specification: Linguistic Sources of Ambiguity, University of Waterloo Technical Report (2003)

(8) Alessandro Fantechi; Stefania Gnesi; Laura Semini, Rule-based NLP vs ChatGPT in Ambiguity Detection, a Preliminary Study, CEUR Workshop Proceedings (REFSQ 2023 NLP4RE), Vol.3378 (2023)

(9) Muhamad H. F. Muhamad; Nur Nasuha Mohd Noor; Nooraini Yusoff; Suriayati Chuprat S., Fault-Prone Software Requirements Specification Detection Using Ensemble Learning for Edge/Cloud Applications, Applied Sciences (MDPI), Vol.13, No.13 (2023)

(10) Stefania Gnesi; Gabriele Trentanni, QuARS: A NLP Tool for Requirements Analysis, CEUR Workshop Proceedings, NLP4RE 2019, Vol. 2376, pp. 55–64, Essen, Germany, (2019)

(11) Alessandro Fantechi; Stefania Gnesi; Laura Semini, Rule-based NLP vs ChatGPT in Ambiguity Detection, a Preliminary Study, CEUR Workshop Proceedings, REFSQ 2023 NLP4RE, Vol. 3378 (2023)

(12) Sarmad Bashir; Alessio Ferrari; Muhammad Abbas Khan; Per Erik Strandberg; Zulqarnain Haider; Mehrdad Saadatmand; Markus Bohlin, Requirements Ambiguity Detection and Explanation with LLMs: An Industrial Study, 41st International Conference on Software Maintenance and Evolution (ICSME), pp. 620–631 (2025)

(13) Alex Mendoza; Shromona Ghosh; Clark Barrett, NL2Spec: Interactively Translating Unstructured Natural Language to Temporal Logic with Large Language Models, arXivarXiv:2303.04864 (2023)

(1) Lubos Běhounek; Martin Hnětynka; Tomáš Vasilek; Pavel Král, Leveraging Large Language Models for the Quality Assurance of Software Requirements, IEEE International Requirements Engineering Conference (RE) (2024)

(15) Andrew J. Porter; Michael W. Godfrey; Ahmed E. Hassan, Requirements Specification Automated Quality Analysis, IEEE Computer, Vol.58, No.2, pp. 45-53 (2025)

(16) Malte Noller; Markus Borg; Gordon Fraser; Andreas Zeller, SpecFix: Repairing Natural Language Software Specifications, Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2024)

(17) Hyeong Jin Kim; Seungwon Park; Yejin Choi, Aligning Language Models to Explicitly Handle Ambiguity, arXiv:2404.119972 (2024)

(18) Alessandro Cimatti; Edmund M. Clarke; Enrico Giunchiglia; Marco Roveri, Industrial Adoption of Formal Methods: Barriers and Challenges, Formal Methods for Industrial Critical Systems (FMICS), Vol. 8187, pp.1-15 (2013)

(19) Andrea Ferrari; Paola Spoletini; Stefania Gnesi, Formal Requirements Engineering and Large Language Models, Information and Software Technology (Elsevier), Vol.181, Article 107697 (2025)

(20) Ben Shneiderman, Response Time and Display Rate in Human Performance with Computers, IEEE Transactions on Systems, Man, and Cybernetics, Vol. SMC-14, No. 2, pp. 265–270 (1984)

(21) Fiona Fui-Hoon Nah, A Study on Tolerable Waiting Time: How Long Are Web Users Willing to Wait?, Behaviour & Information Technology, Vol. 23, No. 3, pp. 153–163 (2004)

ダウンロード

公開済


投稿日時: 2025-12-12 05:05:56 UTC

公開日時: 2025-12-18 02:33:51 UTC
研究分野
情報科学