自己組織系としての計算システム -- ソフトウェア研究への 2 つの提案 -- (改定版)[*1]

( 夏のプログラミング・シンポジウム '92 論文 ハイパー・テキスト版 )

金田　泰
日立製作所 中央研究所 [*2]

Written as Paper: 11/17/92 ( (C) 1992 by Information Processing Society of Japan ).
Created as HTML Document: 10/10/94, Updated: 5/6/2002.

Warning! The original version of this paper was published by Information Processing Society of Japan.

Sorry! English version is not available.

概要

ソフトウェアを開発するのは不完全な人間であり，また今日では人間社会と密に結合され た大規模・複雑な開放系が開発されていることをかんがえると，閉じた ``完全な計画'' を 要求する従来のソフトウェア開発法や理論にかわる自己組織的な計算システムの開発法や 理論を構築することが必要である．そこで，この報告では「プログラムなしの計算をめざ そう」，「計算システムを自己組織系としてみよう」というソフトウェア研究への 2 つの 提案をする．これらの提案の実現に必要なミクロ・モデルとマクロ・モデルについて説明 し，前報でしめした計算モデル CCM を前者の例として位置づけ，後者の例として計算を 確率過程としてみるマルコフ連鎖モデルをしめす．
(10/14/94 追記) このような 2 つのモデルをもちだす理由は，自己組織化としての計算システムに おいては，計算はミクロなレベルとマクロなレベルとのからみあいをともなうと かんがえられるからである．

目次

• 1. はじめに
• 2. 提案 1「プログラムなしの計算をめざそう」
• 3. 提案 2「計算システムを自己組織系としてみよう」
• 4. ミクロ・モデルの例 -- 化学的キャスティング・モデル (CCM)
• 5. マクロ・モデルの例 -- 確率過程にもとづくモデル
• 6. 結論
• 謝辞
• 参考文献
• 質疑応答
• 付録 (λの計算法など) -- not yet available!

[→ 次章]

脚注