thesis_syokai

LMNtal のグラフィック機能の
設計と実装
Design and implementation of graphic features of the
LMNtal system
早稲田大学理工学部 情報学科
学籍番号: 1G02P065-0 中野 敦
指導:上田 和紀教授
背景と目的(1)
LMNtal 処理系の機能を拡張し,グラ
フィック・プログラムを実行できるようにする.
※グラフィック・プログラム
=静止画,アニメーション,ゲーム(I/O機
能)など
背景と目的(2)
LMNtal言語
階層的グラフの書換えに基づく言語
実世界を表現しやすい
逐次言語
実世界を宣言型で記述出来るとは言えない
つまり
より実世界に即した,より直感的なプログ
ラムを.
LMNtalでの実装
LMNtal言語説明(基本)
階層的グラフの書換えに基づく言語
構成要素:Atom,リンク,膜,ルール
リンクするAtomが
膜により階層化
→階層的グラフ構造
ルール(書換え規則)により
グラフ構造を書換え→計算が進行
すなわち
情報(アトム)の繋がり(リンク)と,まとまり
(膜)が表現できる.
現実世界を容易に表現
※宣言的に表現したものを
ダイレクトに操作できる
LMNtal言語解説(グラフィック機能)
アトム
膜
リンク
size
200
name
hoge
200
window
timer
1000
size
100
name
obj
100
draw
getpic
rect
rect
:-
ルール
getpic
$
p
getpic
oval
$p
ルール適
用で状態
が書き換
わる!
一秒後
size
200
name
hoge
200
window
timer
1000
size
100
name
obj
100
draw
getpic
oval
getpic
rect
$
p
:-
getpic
oval
$p