WEKO3
アイテム
機械学習支援による形式検証についての考察
https://ipsj.ixsq.nii.ac.jp/records/237358
https://ipsj.ixsq.nii.ac.jp/records/2373582ac26bad-4685-403a-8493-9ede0ed0462a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE24217004.pdf (502.6 kB)
2026年7月18日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, SE:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-07-18 | |||||||
| タイトル | ||||||||
| タイトル | 機械学習支援による形式検証についての考察 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Consideration of Machine Learning-Assisted Formal Verification | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 早稲田大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Waseda University | ||||||||
| 著者名 |
岸, 知二
× 岸, 知二
|
|||||||
| 著者名(英) |
Tomoji, Kishi
× Tomoji, Kishi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 形式手法と機械学習との接点や相乗効果について様々な議論や研究がおこなわれている．本稿では特に形式検証に焦点を当て，機械学習支援による形式検証のあり方について，いくつかの基本的な考察を行う． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2024-SE-217, 号 4, p. 1-7, 発行日 2024-07-18 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 2188-8825 | |||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
