WEKO3
アイテム
NaraViewを用いた分散論理プログラムにおける推論の視覚化
https://ipsj.ixsq.nii.ac.jp/records/33357
https://ipsj.ixsq.nii.ac.jp/records/333578f796405-30b3-4085-bf8f-23cfdfc2100a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MPS03045001.pdf (658.7 kB)
|
Copyright (c) 2003 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2003-06-24 | |||||||
| タイトル | ||||||||
| タイトル | NaraViewを用いた分散論理プログラムにおける推論の視覚化 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Application of NaraView to Reasonings for Distributed Logic Programs | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 岡山大学自然科学研究科 | ||||||||
| 著者所属 | ||||||||
| 岡山大学自然科学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Intelligence Computing and Systems Graduate School of Natural Science and Technology, Okayama University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Intelligence Computing and Systems Graduate School of Natural Science and Technology, Okayama University | ||||||||
| 著者名 |
笹倉, 万里子
× 笹倉, 万里子
|
|||||||
| 著者名(英) |
Mariko, Sasakura
× Mariko, Sasakura
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では分散論理プログラムにおける推論の過程を自動並列化コンパイラのための視覚化システム NaraView のプログラム構造ビューを用いて視覚化する。分散論理プログラムにおいて交換されるメッセージは、時刻、メッセージを送受する論理プログラム、メッセージの階層レベルの三つの要素を持っており、それらをプログラム構造ビューの各軸に対応させることで簡単に視覚化できる。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Visualization has played a significant role in understanding the behavior of distributed programs. We propose a visualization that shows message exchanges in distributed logic programs using the Program Structure View in NaraView. The behavior of distributed logic programs is easily visualized using the Program Structure View since the messages have three parametric factors: time, derivation, and hierarchical level. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10505667 | |||||||
| 書誌情報 |
情報処理学会研究報告数理モデル化と問題解決（MPS） 巻 2003, 号 65(2003-MPS-045), p. 1-4, 発行日 2003-06-24 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
