学位論文 ロールバック付き優先論法による2-c.e.集合の分解

伴, 滉一郎

pp.1 - 43 , 2017-03-25
内容記述
Wu [9] では, 優先論法によりc.e. 次数を2つの1-ジェネリック次数に分解している. 本論文ではその結果を拡張し, 2-c.e. 次数を4つの1-ジェネリック次数に分解している. そのために考案したのがロールバック付の優先論法である. これはWu [9]で用いられている優先論法の戦略に加え, 構成に失敗した際に失敗の原因が生まれたステージまでロールバックをして原因を取り除きながら構成を行うというものである.
首都大学東京, 2017-03-25, 修士(理学)
本文を読む

https://tokyo-metro-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=6426&item_no=1&attribute_id=18&file_no=1

このアイテムのアクセス数:  回

その他の情報