之一 g/ma
管癬幾
数理解析研究所講究録
296
計算機構の数学的研究
e
ヨ召
蒙古大じ
一夢
52.1Q25
数擁柵究暁
京都大学数理解析研究所
1977
年5
月L
2.
3.
4.
5.
ua ewfdi 2Ek4 e9if fo’
optez3)I5iLiA.,9K;itizijll
7ultra2;fi · ik(i,jil,G iEi7,IZ,;Ei.2.PO i977 # 2g 22e–2H 24 e
a ¿ft
goto fta 7I Ns 7o P 7” iA e? 1: .KN7 ··· i 1I31jf.z-ptIL ]abIEI U7 IIIi¡19t
J
Proposal of Programming and Verification Scheme
L
- Program Verification Zntegrated with Struetured Programming-
eeeeee-”e-e-eeee”-ee–eeeeeete-eeee-ete”-eeseeee–e”eiee ILI
Gs)¡ lstJ;ijzff gk,EI e, { ¿=-.
7f:-tt)JK. fE-¿i’fl- ;;U7 ;(5g..1¡
2
-s-NK lig vk tV
±Logical Basis of Program Synthesis ...·...·. 26
9.?;K i;lz ebl · fyii?sitN
,i;4Z8N } 1- V ? F s.a 9t’211(ti9 · lt29... 36
,Z7HKK g¡ki 2.),w 6,z,il { .
;/ ;/7o,vi · 7t”/‘(i’ /N · 7 F’1-F’?! 57 l= !j { ] 9’ g) z, B c2¿ sl · Sk
SilliEb e....e..e...eee....e...e...e..e. 45
at z. #2. jZny
噂
＼
7AJKL
エ1
桝曜阿江
1
ζ・6
・細胞41
状1
態遷移のオートマトン・モデ1
し/
一
GP
ズ:
キー∠へ.
一一●一『一...53
献 痙 礪幹俊
7.Ce・
・Lineage SystemとL System (: X 1
†ろ￡t:長ゑ礎庵力...。...。... 70
京穴 理 西尾萸之旦〃
8
・∋気駅図の最天.
道ノプラフを弄っTb
ア1
レゴ ノブぐ∠x t=
ついて.i...。...。.. 82
東妖鮪 塩払正博
潅
)(
工 熱電確を
も
9.
ペトcl
ラr
プ}
・めサブ・・7
つスのΣニスライス仁よる表…彪能フク 比軸ηいて.. . .. . ..89
と
ム入玉 物売紡 菊野ち
lo.
論理1
回数め最小イ6
めチ玖を奔1
用1
匹1
レーi
ンヨナP
レ/
デーゆ
ラベトン
Za
正規部分厩フいマ・・………5 享夫 工 よ二裸ラ診ろ
へ、、。、三二め≠ト延への選え碓性
(=
つ・・マ.. .
、29
青年 工i7*a
豪レ乙12e
13e
14.
15・
ユ6.
SK エ Eis* 蓼之
自乙組締ラ
(=
鰍邸麗;
繊縣。乞Open Scatter Table
eee一一eeeeee-eeee一一eeee-e一一ee-e一一一ee-e-e-eee-eee-eeeee L46
ム妖工 淫乱泣男 中西紫朗
藤井塗久
次定性フ・ッシュ砂〉才一トマト
)1
勿痢雌艇噸!
て亀
っ・マの一結果
... .
・54
東比フ(
号 ラ(
ムロ通夫k.
た 麹疲雄、 一一一
●
2 紘僻万一片トン三品 ズの設計争畷 .
へ
京穴
Gt}.b/tz it /
ee-eeeeeeeeee-eeeeeeeeeeeeeeeee-ee-e一一
ム
エnput Sets of Strongly Connected Automata ...。.。..
隼正大埋
The Firing Squad Synchronization ProbZem for Graphs.
敷大 一
危フ
(
エ●
● ●
●
●
(17)
國
￡
算
誘ナ
、参〃
●
●
● ●
●
工
髭合イタ
7
エ 劣記念
島
伊藤
膨危
移
・e 168
一雄
鵜
4
腎三・e 198
正美
.. 207
泰雁
雲雨
