WEKO3
アイテム
A Study of Computer-Based Problem Solving Based on Equivalent Transformations
https://tenshi.repo.nii.ac.jp/records/13
https://tenshi.repo.nii.ac.jp/records/13e598f41e-a910-4049-ab26-13019def0b71
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00004183035 (458.8 kB)
|
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2001-03-31 | |||||
| タイトル | ||||||
| タイトル | A Study of Computer-Based Problem Solving Based on Equivalent Transformations | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Computer-Based Problem Solving | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Equivalent Transformation | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Correctness of Algorithm | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Efficiency of Algorithm | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| ページ属性 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | P(論文) | |||||
| 記事種別(英) | ||||||
| en | ||||||
| Research Report | ||||||
| 論文名よみ | ||||||
| その他のタイトル | A Study of Computer-Based Problem Solving Based on Equivalent Transformations | |||||
| 著者名よみ |
川口, 雄一
× 川口, 雄一 |
|||||
| 著者名(英) |
川口, 雄一
× 川口, 雄一 |
|||||
| 著者所属(日) | ||||||
| 天使大学看護栄養学部教養教育科 | ||||||
| 抄録(英) | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | In order to solve a given problem by using a computer, we need an. algorithm. If an algorithm is produced with being based on human inspiration, then it is difficult to guarantee the corectness and efficiency of the algorithm. Correctness and efficiency are important sides of quality of algorithms. It is necessary that algorithms are produced with being based on theories. A given problem is expressed by using a formal language. Algorithms consists of means to operate such expressed problems and means to .control applications of operations. In this study, I only use equivalent transformations for such operations. Equivalent transformations guarantee the correctness of algorithms. Appropriate control of applying equivalent transformations makes algorithms efficient. | |||||
| 書誌情報 |
天使大学紀要 en : Bulletin of Tenshi College 巻 1, p. 97-102, 発行日 2001-03-31 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA11568183 | |||||
