• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2007 年度 実績報告書

アレグザンダーの理論の起源:数学的モデル(構造)と証明(プロセス)

研究課題

研究課題/領域番号 19560618
研究機関神戸大学

研究代表者

長坂 一郎  神戸大学, 人文学研究科, 准教授 (10314501)

キーワード文献収集 / 代数的構造(Lattice) / 構成主義的証明概念 / 生成プロセス / パタン・ランゲージ
研究概要

アレグザンダー自身の著作のほぼ全てと,学術論文のうち日本国内において入手可能なもの全てを,彼自身による目録に基づいて収集を終えた.
また,彼の理論の2つの柱であるパタン・ランゲージと生成プロセスの発想の源流が数学的構造としてのモデルと数学的な証明のプロセスに求められることを彼の初期の著作,具体的には1960年代の文献をもとに検証した.その結果,数学的構造としては代数的構造であるlatticeを用い,その構造上でモデル論的意味論に従って彼のデザイン理論の意味論を構成していることを確認した.
さらに,『形の合成に関するノート』のなかに「いうまでもなく数学のあり方は抽象的であり,建築のあり方は具体的で人間的である.けれども,その違いは本質的なものではない.それがどんなものであれ,そのあり方の鍵握る質はそのを構成のなかにあるのであり,このような仕方でその構成について考えるとき,我々はそれを形式と呼ぶのである.数学的な形式に対する人間の感覚は,証明のプロセスに対するその人の感覚からのみ発展する.」等の記述から、彼の生成プロセスに関する思想は直観主義の創始者であるブラウアーの思想(数学は精神により直接的に把握される心的な構成(証明)を扱う)と一致し,アレグザンダーの生成プロセスと構成的数学における証明概念との明らかな対応を見出すことができた。

  • 研究成果

    (2件)

すべて 2008 2007

すべて 学会発表 (1件) 図書 (1件)

  • [学会発表] Requirements and Theories of Meaning2007

    • 著者名/発表者名
      長坂 一郎
    • 学会等名
      International Conference on Engineering Design 2007
    • 発表場所
      パリ(フランス)
    • 年月日
      2007-08-28
  • [図書] 共生の人文学2008

    • 著者名/発表者名
      共生倫理研究会
    • 総ページ数
      258
    • 出版者
      昭和堂

URL: 

公開日: 2010-02-04   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi