︒階 成

メ ン タ ル モ デ ル (mental  model) 

あ る 対 象 や 状 況 に 対 し て 人 閣 の 心 の 中 に 作 ら れ る イ メ ー ジ 的 な モ デ ル の こ と 。 人 間 の 思 考 は ， 一 般 化 ， 抽 象 化 さ れ た 形 式 的 ， 記 号 的 な 思 考 だ け で は な く ， 具 象 的 な メ ン タ ル モ デ ル の 操 作 に よ っ て 思 考 を 行 っ て い る 部 分 も あ る と 考 え ら れ て い

る 。 ( キ1p209) 

ま た は ， そ の ま ま (

キ10 p870) 

「様式」 モ ー ド (mode) 

オ ペ レ ー シ ョ ン (operat ion)に 関 す る 方 法 を 示 し ，

「モ ー ド」と訳される。

モ ジ ュ ー ル (module) 

既 知 の 特 性 を も っ 機 能 単 位 と し て の 部 品 集 合 の こ と 。 キ(10 p867) 

モ デ ル 化 (modeling) 

模 型 製 作 ， 立 体 感 表 現 法 。 ^{︑ ︑ l}r

nH U 

門t

f nk U 

D ‑

nH U 

‑ EE ム 必干

/t

︑

ユ ー ザ イ ン タ ー フ ェ イ ス (user interface) 

エ キ ス パ ー ト シ ス テ ム を 利 用 す る ユ ー ザ が ， 容 易 に 入 力 し 出 力 を 理 解 で き る た め の 入 出 力 イ ン タ ー フ ェ イ ス の こ と 。 ( キ1p210) 

利 用 者 と コ ン ビ ュ ー タ シ ス テ ム と の 閣 の 意 志 の 伝 達 や 理 解 を 助 け る た め の 手 段 を 漠 然 と 指 す 言 葉 で ， 特 に 入 力 装 置 の 支 援 ソ フ ト ウ ェ ア に 関 し て 用 い る 。

(

キ10 p879) 

ラ イ ト ペ ン (light  pen) 

ペ ン 状 の 形 状 を し た デ ー タ 入 力 装 置 の こ と 。 ^{nHd  nuぺ ︑ ︑ JJ}

n xu  

ny  

nH U 

1Eム

ム 率︒ I︐ ︐

︑

改 良 さ れ た 物 ル ー チ ン ワ ー ク (routine work) 

単 純 で 繰 返 し の 多 い 作 業 の こ と 。 作 業 を 憶 え る の は 比 較 的 容 易 で あ る が ， 慣 れ と 飽 き の 問 題 が 発 生 し や す く ， 自 動 化 の 対 象 と さ れ る 作 業 で あ る 。 ( キ1p210) 

(refinement)  改良点，

リ フ ァ イ メ ン ト

ワ イ ヤ ー フ レ ー ム ( 針 金 細 工 的 表 現 ) (wire  frame  representation)  隠 線 を 区 別 す る こ と 無 く ， 3次 元 物 体 の す べ て の 縁 を 示 す 表 示 方 式 。

(

キ10 p936) 

基 本 線 素 か ら 立 体 の ワ イ ヤ ー フ レ ー ム を つ く る 。

﹂ に の 引 か 学 そ 凶 何 科 '1

﹁ 機 り 付 う 算 あ が 計 で ち が 号 と 木 記 他 類 て

'分

べ は や す と 現 は 味 表

﹂ 意 ク か

︐一

何 り ワ

﹁ あ ト ' で ツ は 味 ネ に 意 ' 的

︒ す て 論 る 表 し 号 れ の と 記 さ 称 法 た と 自 方 ま う の す

︒ 行 そ 表 る で は を い 号 ) 念

﹂ て 記 別 減 か れ の 伐 の 何 さ 別

∞象﹁用に い 事

︒ 利 更 る す て を 念 あ 指 い 釈 概 を お 解

比臼

1 j

︐ ︐ ︑ ︐

1a4

uznU 

戸 ド V 1

0っι

の る

P

こ れ 判

キC

/•••• ︑ ︑

︒

階

公 理 論 的 集 合 論

( a x i o m a t i c   s e t   t h e o r y )  

集 合 は 現 在 数 学 の 基 礎 で あ る が ， 初 期 の 集 合 論 で は 有 名 な ラ ソ セ ル

( R u s s e l )

の 背 理 な ど が あ り ， 数 学 の 基 礎 が 揺 る い だ と 考 え ら れ た 。 そ こ で ， 集 合 論 を 矛 盾 な く 建 設 す る た め に 公 理 系 か ら 出 発 し て い こ う と い う 立 場 で 作 ら れ た の が . ツ ェ ル メ ロ

( Z e r m e l o )

， フ レ ン ケ ル

( F r a e n k e l )

， ゲ ー デ ル

( G o d e l )

な ど に よ る の 理 論 的 集 合 論 で あ り ， 例 え ば 「 す べ て の 集 合 の 集 合 」 は 排 除 し て い る 。 ( 宇1p2

品)

拘 束 条 件 っ き プ ロ グ ラ ミ ン グ

( c o n s t r a i n t   l o g i c   p r o g r a m m i n g

， 

C  L  P) 

論 理 プ ロ グ ラ ミ ン グ の 拡 張 の 一 方 法 。 目 的 節 の 一 部 を 変 数 に 諜 せ ら れ た 拘 束 条 件とみなし， こ れ を 通 常 の 単 一 化 に よ る 推 論 の 枠 外 の 機 構

( s o l v e r )

に よ っ て 解 く 。 算 術 や 特 別 の 構 造 を も っ 領 域 の 探 索 な ど ， 形 式 的 推 論 が 不 得 手 と す る 機 能 を 用 意

し ， 効 率 的 解 法 を 目 指 す 。 純 粋 の L Pが 形 式 理 論 で あ る の に 対 し ， C L Pは 特 定 の 解 釈 領 域 の 数 学 的 構 造 を 推 論 の 内 に 取 り 込 ん だ 機 構 と 考 え ら れ る 。 そ の 領 域 の い か ん に よ り ， 多 種 の CL Pが あ る 。 ( キ1p203)  拘 束 条 件 解 法

( c o n s t r a i n t   s o l v i n g   m e t h o d )  

与 え ら れ た 拘 束 ( 制 約 ) 条 件 の 式 の 集 合 に 対 し て ， 計 算 し た り 推 論 し た り し て 式 を 簡 約 化 し た り 変 数 の 値 を 求 め た り す る こ と 。 拘 束 条 件 式 の 表 現 形 式 に よ り

さ ま ざ ま な 解 法 が と ら れ る 。 連 立 方 程 式 の お け る 消 去 法 は そ の 一 例 。 ( 宇1p203)  項

( t e r m )

式 の 中 で 値 を 割 り 当 て る こ と が で き る 最 小 の 単 位 。 ⁿy ^nJL  n J λ一 ‑ ^n同d ^{︑ ︑ ﹄ ︐ ︐}

  nH U 

‑ ‑ I

A   . . 本‑

︐ ︐ ︐ ︑

再 帰

( r e c u r s i v e )  

「 関 数 が 再 帰 的 で あ る 」 と い う の は ， 関 数 の 定 義 の 中 で ， 自 分 自 身 の 関 数 を 用 い て 定 義 す る こ と 。 あ る い は ， 前 の 結 果 を 循 環 し て 使 用 し て ， 次 の 結 果 を 得 る プ

ロ セ ス を 再 帰 的 と い う 。 ( 本10 p656) 

再 帰 関 数

( r e c u r s i v e   f u n c t i o n )  

巳 然 数 を 値 と し て と り ， こ の 関 数 が オ ペ ラ ン ド に な る と い う 置 き 換 え 規 則 に よ り 得 ら れ る 自 然 、 数 の 列 か ら 値 が 導 か れ る 関 数 。 ( 牢10 p656)  手 続 き 型 言 語

( n o n   p r o c e d u r a l   l a n g u a g e  

， 

p r o c e d u r e  o r i e n t e d   l a n g u a g e )  

∞ ^{B 心 L}

^，

^{F O R T R A N}

^， 

^{P L / I}

な ど の 手 順 を 明 確 な 算 法 と し て 容 易 に 表 現 で き る 問 題 向 き 言 語 ， 原 則 と し て 書 か れ た 順 番 に 構 文 要 素 が 実 行 さ れ る プ ロ グ ラ ム 言 語 の こ と 。

(

キ10 p613)  計 算 手 順 を 直 接 的 に 表 現 す る も の で あ っ て ， フ ォ ン ノ イ マ ン 型 計 算 機 の 機 械 語 の 動 作 の 直 接 的 表 現 に 近 い 処 理 形 態 と い え る 。 ( 本8 p868)  非 手 続 き 型 言 語

( n o n   p r o c e d u r a l   l a n g u a g e )  

コ ン ビ ュ ー タ の 実 行 順 序 に 関 係 な く 処 理 内 容 を 記 述 で き る プ ロ グ ラ ム 言 語 (

キ10 p527) 

設

ω

テ リ 間 し 村 知 り 閃 を 凶 ス モ 時 に 凶

oよ

凶

部1

シ メ が う

0

と に

l

細 川 け ム 霊 ブ よ 判 こ ル 付 イ 容 一 る ( の デ ど タ 大 レ き 椛 モ な ル い ス で 機 の 成 ア 速 て が る 現 作 リ の つ 事 す 表 の ン 度 よ 仕 行 設 図 イ 速 に の 実 知

ロm

ラ 算 と 他 を に 部 ン 演 こ が 論 般 ォ ' る 一 位 一 関 ' し す タ て ' 展 と 対 合 ス い に ロ

∞ う に 結 マ 用 め 部 い ) 筏 ' を た と 一 + 凶 一 に 識 る に ム タ を 間 知 す と テ ス ) る た 述 も ス マ ブ い 心 れ 関

︒ を シ ( 一 て

m

さ に る ) 報 ブ タ レ っ

. U 化 筏 な れ 情 一 一 ス 行

o m タ 密 と

U

た レ ユ ( を 式

e一とこ ん 山 れ ス ピ サ ス 方 川 デ 現 は ー さ

ω

一ンツセる・日る表法 引定

M

タ コ セ ロ げ 訂 あ 識 方 引 決 心 山 ス 主 ロ プ 上 川 に 知 現 付 で

︒

m

マ ' プ 算 を れ ス の 実 計 階 印 ' て 属 演 率 一 内 の 計 設 段 付 ば い 従 る 効 椛 ベ ス 格 設 本 る え お つ か 理 機 誠 一 機 細 基 す 属 例 に も か 処 論 知 ベ 論 詳 計 従 ム を の て 惟 誠 惟

‑212 ‑

則 指 や の ク 凶 規 を 齢 タ ザ 凶 般 体 年 一 ン

i

一 個 た デ ラ' け る の ま 力 ト れ 他 ' 入 ば

︑りん﹂人ノ︑り

せ と こ 伴 な 課 こ る を 立 に つ す 新 成 め も 在 更 不 た を 存 の る 値 が ス れ あ 定 体 一 さ に 確 個 ベ 求 態 は な タ 要 状 性 う 一 が

﹂ 属 よ デ 立 い 一 の

︒ 成 ) し キ そ ど の 川 正 て 際 な 件 以

﹁ い 実 と 条 叫 ' お で こ 性

m

て に じ る 合 cし ス 応 あ 整 げ と 一 に で て 体. U

ベ 寸 負 い

oq

全 タ 非 お る 川 が 一 十 は に れ れ ス デ 同 値 後 さ 一 係 け す 直 去 件 ベ 関 性 わ の 除 条 タ ぱ 属 表 位 は 性 一 え す を 単 ン 合 デ と 示 量 理 ヨ 整 た し 数 処 シ

全 わ 全 段 と

MW

を 表 ' 力 こ 凶 者 を ば 入 っ

i

前 係 え ' も 付 '関とスを き が た 一 係 と 識

︒ ケ 関 た 知 い ' 分 れ た 多 は 部 さ れ が て 一 割 さ と し 体 分 用 こ と 全 に 適 る 例 も 造 ' い の 身 構 慮 て 造 自 副 考 し 構 造 の し わ 分 構 数 際 表 部 分 複 に を ' 部

'割係い

川 て 分 関 合 に

・印つ︒が場ら 以 従 る 前 た さ 引 に す 名 し

︒ 寸 識 と の と る 同 知 造 体

﹂あ い山の構自機で んげ計分造速ど 設 部 構 減 な 係 が を 分 車 段 関 造 者 部 歯 力 分 構 後 '

﹁ 出

︒ 部 の ' 常 を ' る 一 象 造 通 造 段 き 体 対 構

︒ 構 間 で 全 体 す 体 中 が

属 性 文 法 Cattribute  grammar) 

分 脈 自 由 文 法 の か く 各 非 終 端 記 号 に 属 性 と 属 性 の 値 を も つ こ と を 許 し そ の 属 性 値 の 関 数 的 計 算 法 法 を 各 構 文 規 則 ご と に 定 義 し た も の 。 ( キ8p913)  多 層 論 理

拡 張 さ れ た シ ン タ ッ ク ス を も っ 述 語 論 理 。 ⁿud  p  ^{噌1ゐ ︽U﹃ω 内J白 ︑ ︐ ︐ ︐}

←令

t︐ ︐

︑

探 索 ( search) 

同 じ 性 質 を も っ 項 目 の 集 合 の 中 か ら 必 要 な 特 性 を も っ 項 目 を 探 し 出 す こ と 。 (

キ10 p656)  (search  space) 

を れ

ω

り 築 わ 探 凶 構 行 を ー の が み 付 ル 成 組 ' デ 作 仕 し モ の の 化 の ム 知 タ そ テ の 一 ' ス 間 デ し シ 人 で 明 機 形 解 算 も の を 計 り か き な よ ら 働 的 の 何 の 知 も

︒ を 心 に の る 識 た 様 そ な 知 し 同 現 異 る と と 実 が す ) 心 究 の 点

ω

用 日 中 研 能 る お 使 引 を の 知 い b で 0. U) 能 な て

μ

ム と

sm

知 的 し 凶 テ こ W

U

工工と

川 ス の .U

M人

人 眼

m

シス.川問︒'主 代 ト 一 句

∞ 問 が を 一 ベ い ( 学 い と ス パ タ 知 る 多 こ 一 ス 一 学 の す が る ベ キ デ 科 間 と と す 識 エ た 知 人 的 こ 証 知 し 認 目 る 検

蓄 積 ・ 管 理 (

キ1p206)  探 索 空 間

す 確 こ こ 全 日

た

' oく

て 凶 満 に る 導 べ ー を 的 な を す 付 ) 般 ら 盾 は 力 一 か 矛 数 人 は 節 ' 変 ( ム の せ ' 件 ラ 形 わ 式 条 グ の 合 理

のロ川を込柵

与 プ け と 子

'γ l

︐fm

川 マ ヨ ︑

一 ロ

υ 0

・ほか

・11 4十 ↑u・a.

八 八

lv

て 方 1

・r つの

q

い '

AU

よ グ

↑ U q

Mにン

p r '

mき

ミ す

↑

p

日 働 ラ 表 る

︒

︒ 刊 の グ を あ る る 肝 論 口 論 で 得 す 推 プ 結

﹀ を と 比 な る

・ 節 値 る 句 的 す 説 的 す い れ 鐸 図 仮 目 た て 演 意 ' ( 満 れ グ

・ を

↑ 定 を さ ン 的 出

p

否

明 縛 ミ 械 導 す の 表 束 ラ 機 の 表 明 力 り グ

・ ) を 表 出 よ ロ 的 力 実 力 り に プ 式 出 事 出 よ 号 理 形 ( 的 と に 記 論 値 定 れ と 称

【引用参考文献】

宇l イ ン テ リ ジ ェ ン ト CA D (上):吉川弘之，富山哲男，朝倉書庖， 1989.6 川 英 和 コ ン ビ ュ ー タ 用 語 大 辞 典 : 日 本 ア ソ シ エ ー ツ 1 9 8 9 . 4  村 知 識 シ ス テ ム ハ ン ド ブ ^y ク:小林重信・寺野隆雄，オーム社， 1990.11  村 オ ブ ジ ェ ク ト 指 向 入 門 :

キ5

* 

^{7' :;'ェ?ト指向の7.ロl'7ミンク. : Rri川守， ト y パ ン 1988.11} 

村 C A D / C A M シ ス テ ム : 千 田 豊 前 ， 理 工 学 社 ， 1990.1

本7 日 経 パ ソ コ ン 新 語 辞 典 : 日 経 マ グ ロ ウ ヒ ル ， 1987.10

刈 情 報 処 理 ハ ン ド ブ ^y ク : 福 村 晃 夫 ， オ ーム 社 ， 昭 和 63年8月

刊 知 識 情 報 処 理 : 大 須 賀 節 雄 ， オ ー ム 社 ， 昭 和61年11月

本10 和 英 コ ン ビ ュ ー タ 用 語 大 辞 典 : 日 本 ア ソ シ エ ー ツ ， 1989.5

判 l オ ブ ジ ェ ク ト 指 向 とSmalltalk:小 林 史 典 ， C Q 出 版 ， 1989.5

‑213 

A  p p  e  n  d  i  x    r r

一 設 計 用 簡 易 言 語

DS  P

の 操 作 概 要 説 明 一

‑ 214  ‑

は じ め に

本 書 は ， 設 計 計 算 用 ス プ レ ッ ド シ ー ト を 使 用 す る た め の マ ニ ュ ア ル で あ る 。 本 書は， シ ス テ ム の 取 り 扱 い 説 明 か ら は じ め て ， 関 数 の 説 明 ， シ ー ト 上 で の プ ロ グ

ラ ミ ン グ 等 に つ い て 詳 し く 説 明 し で あ る 。

[ 目 次 ]

は じ め に

第 1章 設 計 計 算 用 ス プ レ ッ ド シ ー ト 1 ‑ 1  シ ス テ ム の 特 徴

1 ‑2  シ ス テ ム の 概 要

第2章 プ ロ グ ラ ム ・ パ yケ ー ジ ・ リ ス ト て ッ チ フ ァ イ ル の 設 定

第 3章 メ ニ ュ ー フ ァ イ ル の 説 明 第 4章 シ ー ト ・ エ デ ィ タ の 説 明 第 5章 実 行 フ ァ イ ル の 説 明 第6章 カ タ ロ グ エ デ ィ タ の 説 明

第7章 数 表 用 カ タ ロ グ エ デ ィ タ ( 補 間 用 〉 第 8章 関 数 の 説 明

索引

‑215  ‑

第 l章 設 計 計 算 用 ス プ レ ッ ド シ ー ト 1 ‑ 1  シ ス テ ム の 特 徴

① 受 け 入 れ 易 い

プ ロ グ ラ ミ ン グ の 専 門 知 識 を 必 要 と し な い 簡 易 言 語 形 式 で 実 現 し て い る 。 手 計 算 で 行 う 設 計 手 順 を そ の ま ま 記 述 で き る 。

デ ー タ の 持 つ 意 味 を 検 討 す る だ け で プ ロ グ ラ ム の デ パ ・ ッ グ が で き る 。

② 小 規 模 な 設 計 計 算 に 限 定 す る 。

設 計 計 算 は 探 索 的 な 作 業 が 多 く ， パ ソ コ ン 上 で 大 規 模 な 設 計 を 行 う と 組 合 せ の 爆 発 を 起 こ し 必 要 な 解 を 得 ら れ な く な る こ と が あ る 。

1 ‑2  シ ス テ ム の 概 要

本 シ ス テ ム の 構 成 を ， 下 図 に 示 す 。

イ ン タ ー フ ェ ー ス

⑤  作 業 領 域

プ ロ グ ラ ム ラ イ ブ ラ リ

①  ユ ー ザ ー ・ イ ン タ ー フ ェ ー ス

エディタ， コ ン パ イ ラ ， 実 行 管 理 の 機 能 を フ ァ ン ク シ ョ ン キ ー に よ り 選 択 で き る よ う に な っ て い る 。

②  エ デ ィ タ

シ ー ト エ デ ィ タ と カ タ ロ グ エ デ ィ タ の 2つがある。

② ‑1  シ ー ト エ デ ィ タ

D S  P

の プ ロ グ ラ ム を 編 集 す る エ デ ィ タ で あ る 。

② ‑2  カ タ ロ グ エ デ ィ タ

設 計 計 算 で 使 用 す る 規 格 な ど の カ タ ロ グ を 編 集 す る も の で あ る 。

③  コ ン パ イ ラ

ユ ー ザ ー に よ り 作 成 さ れ た プ ロ グ ラ ム を コ ン パ イ ル す る た め の も の で あ る 。

④  実 行 管 理

ユ ー ザ ー に よ り 作 成 さ れ た シ ー ト プ ロ グ ラ ム を 実 行 す る も の で あ る 。

⑤  作 業 領 域

設 計 プ ロ グ ラ ム の テ キ ス ト ， コ ン パ イ ル コ ー ド ， 実 行 後 の 解 が 格 納 さ れ る 。

‑ 216  ‑

ドキュメント内 建築物の統合化設計支援システムの構築法に関する 研究 (ページ 85-114)