タカラジマ イタル   Takarajima Itaru
  宝島 格
   所属   商学部
   職種   教授
言語種別 日本語
発行・発表の年月 2007/03
形態種別 研究論文(学術雑誌)
標題 計算機における集合と個体の扱いについて(Set and Indivisuals in Machines)
執筆形態 共著
掲載誌名 名学大論集 言語・文化篇
掲載区分国内
巻・号・頁 18-2.,59-68頁
著者・共著者 今仁生美
概要 集合とその構成要素である個体を計算機で扱うための理論的基礎は、実際に扱うためのものとしては未だ確立されていない。通常行われるような、集合を個体の集まりであると定義する方法では、実際の計算機がどのように動作すべきかがはっきりしない。本論文では集合を個体の集まりとしてではなく、それ自身が一つの個体であるように扱うことを提案し、その際に集合独特の性質をどのように扱うべきかを定めた。集合は単なる個体と異なり、分割や再統合を許容し、単なる個体を「構成要素として含む」という性質もある。こうした性質が直観的な集合の性質