論文

基本情報

氏名 長尾 雄行
氏名（カナ） ナガオ タケユキ
氏名（英語） NAGAO, Takeyuki
所属 政策情報学部
職名 准教授
researchmap研究者コード
researchmap機関

題名 

Representation of Lists by Partial Functions

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
単著

					

					

						

							

								

									
概要 

									
								

							

						

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

					

					

						

							

								

									
発行雑誌等の名称 

									
								

							

						

						
産業技術大学院大学紀要

					

					

						

							

								

									
巻・号・掲載ページ（移行用） 

									
								

							

						

						
Vol.9pp.155-158

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
201512