| 研究課題/領域番号 |
22650001
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
井田 哲雄 筑波大学, 名誉教授 (70100047)
|
|---|
| 研究分担者 |
MARIN Mircea 筑波大学, 大学院・システム情報工学研究科, 講師 (60396603)
|
|---|
| 研究期間 (年度) |
2010 – 2012
|
| 研究課題ステータス |
完了 (2012年度)
|
| 配分額 *注記 |
3,280千円 (直接経費: 2,800千円、間接経費: 480千円)
2012年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2010年度: 1,200千円 (直接経費: 1,200千円)
|
|---|
| キーワード | 計算折紙論 / 記号計算 / 書換え系 / 自動幾何定理証明 / 制約問題 / 代数的グラフ書換系 / グロブナ基底計算 / 計算折紙 / グラフ書き換え / 検証支援系 / 制約計算 / 計算理論 / グラフ書換系 / 折紙計算論 / 定理自動証明 |
|---|
| 研究概要 |
折紙における「折る]過程を研究し,以下の成果を得た.
(1) 折る過程を抽象的に表現する代数的グラフ書換系を定義し,グラフ書換を記述・実行する言語処理系を開発した.
(2) グラフ書換操作から代数系へと変換するアルゴリズムの開発とその正当性の検証を行った.
(3) 研究の進展に応じてコンピュータによる折紙実行システムの拡張を行い,折紙幾何定理の証明の高速化と多くの定理の自動証明を可能とした.
|
