Academic Theses

Basic information

Name NAGAO, Takeyuki
Belonging department
Occupation name
researchmap researcher code
researchmap agency

Title 

Representation of Lists by Partial Functions

					

					

						

							

								

									
Bibliography　Type 

									
								

							

						

						
Sole Author

					

					

						

							

								

									
Summary 

									
								

							

						

						
(4ページ)
リストは計算機科学で用いられる代表的なデータ構造である。本論文では、リストを順序集合を用いて、集合論的に厳密に定式化した。添え字集合が可算集合の場合には、計算機科学でいうところのリストに対応するが、添え字集合が非可算集合の場合には、計算機科学では応用されていないリストの拡張となっていることがわかった。いずれの場合にも添え字演算子が矛盾なく定義できることを示した。

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

						
産業技術大学院大学紀要

					

					

						

							

								

									
Volume 

									
								

							

						

						
Vol.9pp.155-158

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
2015/12