Abstract Design Theory

Mathematical Theory of Design and Function

Symposiums

• 4th Symposium on Design and Function
  
  (Jan 26-28, 2002, Kobe Univ.)
  • Lecture on "Abstract Design Theory" by Yuzuru Kakuda (Kobe)
  • Contributed Talks (dead line: Dec. 26, 2001)
  • Lecture Concert "Creativity and Logic in Music"
    by Tetsuji Emura (composer), Hiroshi Oe (flute), Uki Iwasaki (Piano)
  Please contact M. Kikuchi for more information.
• 3rd Symposium on Design and Function
  
  (July 23-25, 2001, Kobe Univ.)
  • Dan Braha (Ben-Gurion Univ., Israel),
    Formal Design Theory
  • Keith Devlin (Saint Mary's College),
    Introduction to Situation Theory and its Applications to Design
  • Takashi Kiriyama (Stanford),
    Knowledge Acquisition in Design
  • Takaaki Yagiu (Nihon Unisys),
    Modeling Design Objects and Processes
• 2nd Symposium on Design and Function
  
  (Jan 7-8, 2001, Space Alpha Kobe)
  • Ruth Millikan (Connecticut, USA),
    Functions.
  • Teruyuki Monnai (Waseda),
    Function, Form, and Context in Architectural Design.
  • Atsushi Shimojima (JASIT),
    Implications of the theory of proper functions on artifact design: preliminary questions.
• Symposium on Design and Function
  
  (Aug 16-17, 2000, Kobe Institute)
  • Kazuyuki Akasaka (Kobe),
    Design and Function of Protein Structre.
  • Takashi Iida (Keio),
    Function and Context.
  • Yuzuru Kakuda (Kobe),
    Mathematical Analysis of Design Theory.
  • Toshiharu Taura (Kobe),
    Engineering Design and Context.
• Intensive Course (Feb 1-4, 2000, Kobe Univ.)
  • Natuhiko Yosida (P.E. Tokyo Inst. Tech.),
    On Functions.

Documents

• Abstract Design Theory: Foundations
  • Y. Kakuda and M. Kikuchi,
    Topology on classifications in Abstract Dsign Theory,
    Proc. IWES '01, 123-130, 2001.
  • Y. Kakuda and M. Kikuchi,
    Abstract Design Theory,
    to appear in Ann Japan Assoc Phil Sci.
  • M. Kikuchi,
    Analysis and design from a viewpoint of information flow,
    to appear in Foundations of Formal Sciences II, Trends in Logic, Kluwer Academic Publishers.
  • Y. Kakuda,
    A mathematical definiton of synthetic emergence,
    Proc. IWES 99, 13 - 20, 1999.
  • Y. Kakuda and M. Kikuchi,
    A mathematical desicription of General Design Theory,
    (in Japanese) JSME Design and System Conference 99, 1999.
• Abstract Design Theory: Applications
  • S. Toyoda, Y. Kakuda, S. Kitamura and T. Kotani,
    Interpreting Abstract Design Theory by simple filter circuit,
    to appear in AI Engineering.
• Channel Theory
  • M. Kikuchi
    Supplementation of knowledge represented on classifications in Channel Theory
    preprint, 2001.
  • M. Kikuchi and Y. Kakuda,
    On channels between knowledge and objective worlds,
    Workshp of Logic and Learning, 2001.
  • Y. Kakuda, M. Kikuchi and H. Miki,
    Hyperformulas and classificaions
    Ann Japan Assoc Phil Sci 10, 33-52, 2000.
• Miscellaneous
  • M. Kikuchi,
    Mathematical analysis of Yoshikawa's General Design Theory
    (in Japanese) 1999.
  • M. Kikuchi,
    Topology for General Design Theory: An introduction
    (in Japanese) 1999.

Links

• Kobe University
  • Group of Foundations of Mathematics and Computer Science
  • Kitamura Laboratory
    
    (Biped Locomotive Robots, Reinforcement Learning, Emergent Synthesis)
  • Ueda Laboratory
    
    (Intelligent Machines and Manufacturing Systems)
    • Methogology of Emergent Synthesis
    • General Design Theory Seminar, Kobe 1999.
• Inside Japan
  • University of Tokyo
    • Research into Artifacts, Center for Engineering
  • Japan Society for the Promotion of Science
    • JSPS Post Doc Fellowship (JSPS home page)
• Around the World
  • Stanford University
    • Center for Deign Research
    • Center for the Study of Language and Information
  • AIEDAM
    • Distributed Design Directory
  • AI in Design Webliography (WPI)