書換え系理論を用いた講座配属アルゴリズムの完備性の解析
書誌事項
- タイトル別名
-
- Analysis of Completeness of Laboratory Assignment Algorithm by Rewrite Systems Theory
この論文をさがす
説明
講座配属アルゴリズムは,m人の各学生をn個の講座(研究室)のうちの1つに配属するための手続きである.本稿では,このアルゴリズムの停止性と合流性について抽象書換え系の理論によって示す.停止性と合流性は,アルゴリズムの重要な性質の1つである.計算が無限に続かないことを保証するのが停止性であり,計算結果が途中の非決定性によらず一意であることを保証するのが合流性である,停止性と合流性を満たすシステムを完備なシステムと呼び,本稿では,このアルゴリズムが完備であることを証明する.
収録刊行物
-
- 情報処理学会研究報告. AL, アルゴリズム研究会報告
-
情報処理学会研究報告. AL, アルゴリズム研究会報告 44 21-28, 1995-03-17
一般社団法人情報処理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1573950401930666880
-
- NII論文ID
- 110002812284
-
- NII書誌ID
- AN1009593X
-
- ISSN
- 09196072
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles
