1 0 0 0 IR シーケント計算に基づく証明系と法的推論への適用
- 著者
- 長田 博泰
- 出版者
- 札幌学院大学社会情報学部
- 雑誌
- 社会情報 (ISSN:0917673X)
- 巻号頁・発行日
- vol.10, no.2, pp.93-106, 2001-03
1 0 0 0 OA Webメニューデザインの形式的方法 : 情報アーキテクチャへの形式概念解析の応用
- 著者
- 長田 博泰
- 出版者
- 札幌学院大学
- 雑誌
- 社会情報 (ISSN:0917673X)
- 巻号頁・発行日
- vol.16, no.2, pp.1-17, 2007-03-31
It is essential for the design and construction of websites to categorize and organize a set of web documents. This paper proposes a new approach using Formal Concept Analysis (FCA), which categorize and organize the contents using the relationships between documents and their properties. The methodology enables to assist in the design and automatic generation of a navigation hierarchy for the contents. We illustrate how multi-layered menu models can be devised and automatically generated by FCA.