WEKO3
アイテム
ZDDと論理式に関する一考察
https://ipsj.ixsq.nii.ac.jp/records/186564
https://ipsj.ixsq.nii.ac.jp/records/186564bb983818-820c-4829-bd61-b476d4f259ff
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-AL18167008.pdf (575.0 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-03-01 | |||||||
| タイトル | ||||||||
| タイトル | ZDDと論理式に関する一考察 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 島根大学大学院総合理工学研究科 | ||||||||
| 著者名 |
森住, 大樹
× 森住, 大樹
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | ゼロサプレス型二分決定グラフ （ZDD : Zero-suppressed binary decision diagram） は，二分決定グラフ （BDD : Binary decision diagram） の派生形の中で最も成功しているものの一つである．本発表では，ZDD の BDD との違いを，論理式に適用する試みについて述べる．また，論理式に限らず，決定木，分岐プログラム，計算モデルとしての論理式などに，同様の試みを行う研究を現在進めており，それらについて幅広く触れる．（ショートトーク） | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN1009593X | |||||||
| 書誌情報 |
研究報告アルゴリズム（AL） 巻 2018-AL-167, 号 8, p. 1-1, 発行日 2018-03-01 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 2188-8566 | |||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
