| 研究課題/領域番号 |
17300027
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
メディア情報学・データベース
|
|---|
| 研究機関 | 北海道大学 |
|---|
研究代表者 |
赤間 清 北海道大学, 情報基盤センター, 教授 (50126265)
|
|---|
| 研究分担者 |
馬淵 浩司 岩手県立大学, 情報ソフトウェア学部, 准教授 (20281545)
|
|---|
| 研究期間 (年度) |
2005 – 2008
|
| 研究課題ステータス |
完了 (2008年度)
|
| 配分額 *注記 |
7,230千円 (直接経費: 6,300千円、間接経費: 930千円)
2008年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2007年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
2006年度: 1,700千円 (直接経費: 1,700千円)
2005年度: 1,500千円 (直接経費: 1,500千円)
|
|---|
| キーワード | セマンテックWeb / 求解問題 / プログラム生成 / 開世界問題 / 正当性 / 等価変換 / スコーレム化 / 意味保存スコーレム化 / 質問応答問題 / 論理等価式 / 一般論理構造 / 例に導かれた探索 / 適応 |
|---|
| 研究概要 |
セマンテックWeb上の高度な処理を正確かつ高速に行うプログラムを、適応的に自動生成する技術を研究した。 セマンテックWebにおける質問応答問題を一般的にかつ厳密に定式化し、それを等価変換で解く手続きを開発した。 適応的なセマンテックWebを実現するために、正当で高速なプログラムを自動的に構築する方法を研究し、ルール生成に基づくプログラム生成システムの強化を行った。 これらにより、適応的なセマンテックWebを実現するための基礎技術を得た。
|
