論文
|
|
基本情報
|
| 氏名 | 長尾 雄行 |
| 氏名（カナ） | ナガオ タケユキ |
| 氏名（英語） | NAGAO, Takeyuki |
| 所属 | 政策情報学部 |
| 職名 | 准教授 |
| researchmap研究者コード | |
| researchmap機関 |
 |
Representation of Lists by Partial Functions
|
単著
|
(4ページ)
リストは計算機科学で用いられる代表的なデータ構造である。本論文では、リストを順序集合を用いて、集合論的に厳密に定式化した。添え字集合が可算集合の場合には、計算機科学でいうところのリストに対応するが、添え字集合が非可算集合の場合には、計算機科学では応用されていないリストの拡張となっていることがわかった。いずれの場合にも添え字演算子が矛盾なく定義できることを示した。
|
産業技術大学院大学紀要
|
Vol.9pp.155-158
|
2015/12