WEKO3
アイテム
汎用的な証明図作成支援ソフトの構築
https://ipsj.ixsq.nii.ac.jp/records/91449
https://ipsj.ixsq.nii.ac.jp/records/9144985c37d60-7834-485d-963a-9dc14326bc0f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WPRO2010008.pdf (300.4 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-01-12 | |||||||
| タイトル | ||||||||
| タイトル | 汎用的な証明図作成支援ソフトの構築 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Constraction of Varsatile Proof Figure Drawing Tools | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 奈良女子大学大学院人間文化研究科 | ||||||||
| 著者所属 | ||||||||
| 奈良女子大学理学部 | ||||||||
| 著者所属 | ||||||||
| 奈良女子大学理学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Humanities and Sciences,Nara Woman’s University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Science,Nara Woman’s University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Science,Nara Woman’s University | ||||||||
| 著者名 |
小川, 美樹
× 小川, 美樹
|
|||||||
| 著者名(英) |
Miki, Ogawa
× Miki, Ogawa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 数理倫理学では、議論の対象としての証明を扱う。証明を表示するには、証明図というものがよく使われる。したがって、数理倫理学での文献を執筆するには証明図の作成が必須となる。証明図を書くためのツールとしては、X window system上で動作するxpeがある。しかし、大規模な証明図を柔軟にレイアウトする方法がないなど欠点もある。我々はxpeの欠点を克服したJpreという証明図作成支援ソフトを開発中である。Jpreの実現にあたっては、今後加えられそうな機能を予測し、拡張性に配慮したデータ構造の設計を行った。また、xpeと異なり、半自動証明機能を目指すため、入力の構文解析が必要となるので、それらを行いやすいように木構造によるデータ表現を行う。本論文はこれらに触れつつJpreの設計について述べる。 | |||||||
| 書誌情報 |
第51回プログラミング･シンポジウム予稿集 巻 2010, p. 73-78, 発行日 2010-01-12 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
