2002 Fiscal Year Annual Research Report

抽象設計論の構築とその展開

Research Project

Project/Area Number	13650068
Research Institution	KOBE UNIVERSITY
Principal Investigator	角田譲神戸大学, 工学部, 教授 (50031365)
Co-Investigator(Kenkyū-buntansha)	長坂一朗神戸大学, 文学部, 助教授 (10314501) 菊池誠神戸大学, 工学部, 助教授 (60273801)
Keywords	情報の流れ / 抽象設計論 / 不確定分類 / 不確定集合論ZF^±
Research Abstract	・情報の流れの概念をBarwise-Seligmanのチャンネル理論とは異なる条件射の概念を使用して直接的に定義し,それがBarwise-Seligmanのチャンネル理論のそれと同値であることを示した.(完全性,健全性の証明) ・上記の結果により,情報の場における欲求あるいは要求の理論による分類と実体の挙動による分類への定立された情報の流れを理想的な生産と見て,その流れを覆うチャンネルを設計と見なすことにより,実体概念,実体のイメージ,実体の機能,実体の属性などを定義することができ,それらの間の関係を捉える図式を得た. ・通常の分類では,我々の知識の不完全さを捉えることが出来ないので,理想的な設計論ではなく経験に根ざした設計論を記述することが出来ない.そのために,不確定分類の概念を導入して,それに基礎をおく抽象設計論を展開して,上記と同様の結果を得た. ・不確定の概念をより根本的に考察するために,"不確定に属する"という概念を持つ集合論ZF^±を形式化し,そのZFからの無矛盾性を得た. ・抽象設計論の枠組みに教育を当て嵌めることにより,ブルームによるタキソノミーによる教育を数理的に表現した. ・多様分類の概念を設計論における"共創"の概念を数理的に厳密に展開するために導入し,それに関する情報の流れの理論を展開している.

Research Products

(7 results)

All Other

All Publications (7 results)

[Publications] 角田譲: "抽象設計論-設計論の数理的基礎付け-"設計工学シンポジウム論文講演集「21世紀のデザイン・ビジョン」日本学術会議人工物設計・生産研究連絡委員会設計工学専門委員会. No.02-30. 11-21 (2002)
[Publications] Kakuda, Y.: "On directions of flow of information -information paths, agents, information channels-"Proceedings of IWES'02. 83-88 (2002)
[Publications] Miki, H., Kikuchi, M., Kakuda, Y.: "An Abstract Design Model of Educational Activitiess"Proceedings of the International Workshop of Emergent Synthesis 02. 84-94 (2002)
[Publications] Kikuchi, M., Nagasaka, I.: "On the Three Forms of Non-Deductive Inferences : Induction, Abduction, an Design"Proceedings of the 21st IASTED International Conference on Applied Informatics. 357-362 (2003)
[Publications] Nagasaka, I., Kakuda, Y.: "Proof of non-consequence as abstract design in hyperproof"International Journal of Computing Anticipatory systems. 11. 81-94 (2002)
[Publications] Kikuchi, M.: "Analysis and Design from a Viewpoint of Information Flow"Foundations of the Formal Sciences II : Applications of Mathematical Logic in Philosophy and Linguistics (B.Lowe, W.Malzkorn and T.Rasch (Eds.)), Trends in Logic. 17. 119-122 (2003)
[Publications] H.Miki: "抽象設計論による教育の数理的形式化"神戸大学大学院自然科学研究科学位論文. 65 (2003)

2002 Fiscal Year Annual Research Report

抽象設計論の構築とその展開

Principal Investigator

角田 譲 神戸大学, 工学部, 教授 (50031365)

Research Products

[Publications] 角田譲: "抽象設計論-設計論の数理的基礎付け-"設計工学シンポジウム論文講演集「21世紀のデザイン・ビジョン」日本学術会議 人工物設計・生産研究連絡委員会設計工学専門委員会. No.02-30. 11-21 (2002)

[Publications] Kakuda, Y.: "On directions of flow of information -information paths, agents, information channels-"Proceedings of IWES'02. 83-88 (2002)

[Publications] Miki, H., Kikuchi, M., Kakuda, Y.: "An Abstract Design Model of Educational Activitiess"Proceedings of the International Workshop of Emergent Synthesis 02. 84-94 (2002)

[Publications] Kikuchi, M., Nagasaka, I.: "On the Three Forms of Non-Deductive Inferences : Induction, Abduction, an Design"Proceedings of the 21st IASTED International Conference on Applied Informatics. 357-362 (2003)

[Publications] Nagasaka, I., Kakuda, Y.: "Proof of non-consequence as abstract design in hyperproof"International Journal of Computing Anticipatory systems. 11. 81-94 (2002)

[Publications] Kikuchi, M.: "Analysis and Design from a Viewpoint of Information Flow"Foundations of the Formal Sciences II : Applications of Mathematical Logic in Philosophy and Linguistics (B.Lowe, W.Malzkorn and T.Rasch (Eds.)), Trends in Logic. 17. 119-122 (2003)

[Publications] H.Miki: "抽象設計論による教育の数理的形式化"神戸大学大学院自然科学研究科 学位論文. 65 (2003)

角田譲神戸大学, 工学部, 教授 (50031365)

[Publications] 角田譲: "抽象設計論-設計論の数理的基礎付け-"設計工学シンポジウム論文講演集「21世紀のデザイン・ビジョン」日本学術会議人工物設計・生産研究連絡委員会設計工学専門委員会. No.02-30. 11-21 (2002)

[Publications] H.Miki: "抽象設計論による教育の数理的形式化"神戸大学大学院自然科学研究科学位論文. 65 (2003)