ダウンロード

第４章
１．
組み込み述語を使う
ETI のダウンロードとインストールの方法
このテキストでは、 ET 言語のインタープリタである ETI を用いて ET プログラミング
を学習する。 ETI にはユーザインターフェイスに関して、 CUI 版（文字ベース）と GUI
版（グラフィックベース）の２つの版があるが、本テキストでは GUI 版を中心に説明する。
ダウンロードサイト http://assam.cims.hokudai.ac.jp/eti
から ETGUI.exe(ETI)をク
リックし、任意のフォルダに保存する。すると、フォルダ内にアイコン（電子レンジ）が
出てくる。これは自己解凍形式になっており、アイコンをダブルクリックすると解凍先の
指定が出てくるので、 ETI をインストールするフォルダを指定して、 OK ボタンを押す。
すると、解凍が始まり、解凍後に自動的にセットアップが起動する。
インストールの画面が出てきたら、指示に従って Next ボタンを押す（インストール先
の指定が間違っていないかを確認する）。インストール終了後に、再起動を促すダイアログ
ボックスが出ることがあるが、 ETI は再起動の必要がないように作られているので、それ
はキャンセルして構わない。インストールが成功すると、デスクトップにアイコンが現れ
る。このアイコンをダブルクリックすると、 ETI を起動することができる。
２．
ＥＴＩで組み込み述語を直接実行する
ＥＴＩでは、あらかじめシステムに組み込まれている述語 (組み込み述語 )に関する質問
を直接入力して、計算を行うことができる。まず、ＥＴＩを起動するには、「 ETGUI.exe」
をダブルクリックして、システムを起動する。すると
[D]＞
というプロンプトが画面に
表示される。プロンプトとは入力を促す記号である。ＥＴＩを起動して
トの後に質問
(:= *X (+ 1 2))
[D]＞
プロンプ
を入力し、 enter を押すとその質問に対する計算結果が
表示される。なおすべての入力は黒い画面ではなく、下のほうの白い入力エリアに書く。
ここでは編集を行うことができ、改行すればそのときの文字列が黒い画面に反映される。
[D]>(:= *X (+ 1 2))
--------------------D execution -----------------------------------------------------------------------------succeeded.
(:= 3 (+ 1 2))
execution time: 0 [msec]
その後、同じようにプロンプトが表示されるので、入力と計算は何回も繰り返すことがで
きる。ETI を終了するときは、[Ｄ ]＞
ｑ
と入力すればウインドウが閉じて終了となる。
16
３．
ＥＴＩで用いる組み込み述語
ＥＴＩの組み込み述語をいくつか紹介しよう。
(1)
単一化
単一化とは代入によって２つの引数を一致させることであり、一致させることができな
い場合は失敗する。代入は両方の引数に対して行われる。単一化は述語「＝」を用いて記
述する。
例
(= 7 *Y)
*Y は７になる → 成功
(= *X 6)
*X は６になる → 成功
(= *X apple)
*X は apple になる → 成功
(=
→ 失敗
5 6)
(= *X *Y)
(2)
*Y は *X になる → 成功
算術演算
数式を計算するときには「 :=」を用いる。もっとも頻度が高い使い方は、
(:= ＜変数＞＜数式＞ )
の形のアトムを用いるものである。
例
足し算
(:= *X (+ ３１ ))
*X に３足す１の答４を代入
引き算
(:= *X (− ５２ ))
*X に５引く２の答３を代入
掛け算
(:= *X (x ３３ ))
*X に３掛ける３の答９を代入
(演算子は小文字エックス )
割り算
*X に 10 割る２の答５を代入
(:= *X (d 10 ２ ))
(演算子は小文字ディー )
余り
(:= *X (mod ９４ ))
*X に９を４で割った余り１を代入
数式は、いくつかの演算を複合してもよい。
例
*X に (３＋４ )＋５の答１２を代入
(:= *X (+ (+ 3 4) 5))
(:= *X (x 4 (− 6 (d 12
3))))
*X に４ ×(６ − 12÷３ )の答８を代入
(d 10 3)のような整数のみの計算は、答は整数型となる。割り切れない場合は小数点以下
が切り捨てられて、３が答となる。 (d 10.0 3)というように小数を扱った計算は答が浮動
小数点型となり、小数点以下も計算される。 [D]＞ (:= *X (d 10.0 3))と入力して、 Enter
を押すと、計算結果は次のページのようになる。
17
[D]>(:= *X (d 10.0 3))
--------------------D execution ----------------------------------------------------------------------------succeeded.
(:= 3.333333 (d 10.000000 3))
execution time: 0 [msec]
「 =」と「 :=」の違いに注意したい。「 =」は「両辺の一致」であり、「 :=」は「右辺の計算
結果と左辺の一致」である。 (＝ *X (+ 1 2))と直接入力すると、 *X は (+ 1 2)というリ
ストを返す。 (:＝ *X (+ 1 2))と直接入力すると、 *X は３という数を返す。＝は構造の
同一化の意味を持つので、そのままの構造を *X に代入するが、:=は算術計算の意味を持
つので、計算した結果を *X に代入する。
「 :=」の左辺は数を書くこともできる。
(:= ＜数＞＜数式＞ )
これは、右辺の数式の計算結果と左辺の数が等しいか否か判定するアトムとなる。
数式を計算する時点で具体的な数式が確定していないとエラーが発生するので、プログラ
ムを書くときには注意する必要がある。
(3)
数の比較
２つの数の大小関係については、不等号を用いて記述する。
例
小なり
(< ２５ )
２は５よりも小さい
→
成功
大なり
(> ４１ )
４は１よりも大きい
→
成功
以下
(<= 3
6)
３は６以下である
→
成功
以上
(>= 4
2)
４は２以上である
→
成功
(<
4)
→ 失敗
(4)
一
6
致
２つの対象の一致については、等号 (==)を用いて記述する。
例
同じ
(== 7
7)
７と７は等しい
(== 4
*A)
→ 失敗
(== a
b)
→ 失敗
→
成功
「 =」と「 ==」の違いに注意したい。「 =」は「両辺の対象を一致させるように変形する」
ことを意味するのに対して、「 ==」は「その時点で両辺の対象を比較し、 S 式として一致
しているか判定する」ことを意味する。「 =」によって両辺に含まれる変数が特殊化される
18
ことはありうるが、「 ==」によって対象が変化することはない。
(5)
マッチング
マッチングとは、第１番目の引数に代入を施して、第２番目の引数に一致させることで
ある。すなわち、 (match *A *B) は、 *A は代入によって *B になり得るかどうかを判定す
る。それが可能ならば、その代入を施して成功するが、不可能なら失敗する。この場合の
代入は第１引数だけに対して行われる。これは単一化とは異なる。単一化とは、第１引数、
第２引数の両方に代入して一致させることである。
例
(match *X 5)
*X を５と一致させる → *X＝５となって成功
(match 5 *X)
５を *X と一致させる → ５は *X にならないので失敗
(match 5 5)
５を５と一致させる → ５はそのままで５なので成功
(match 5 7)
５を７と一致させる → ５は７にならないので失敗
(match 5 apple)
５を apple と一致させる → ５は apple にならないので失敗
第４章では、ＥＴＩの組み込み述語について説明した。今回説明したもの以外にも組み
込み述語は多数存在するが、数の計算に関する問題を解くうえで必要な知識は、最初はこ
のくらいで十分であろう。
付表１
組み込み述語一覧表（第４章で採り上げたもの）
組み込み述語
組み込み述語の意味
=
単一化 (ａ θ ＝ｂ θ )
:=
計算結果との一致
>
大なり
<
小なり
>=
以上
<=
以下
==
等しい
match
マッチング (ａ θ ＝ｂ )
付表２
演算子一覧表
（第４章で採り上げたもの）
演算子
演算子の意味
+
足し算
−
引き算
x
掛け算
d
割り算 (商 )
mod
余り
19

Download Report