とりあえず２つのリストの和集合？をとる関数。 色々作った。以外にocamlと相性良いかも！ let rec list_uniqufy(lst) = match lst with |[]->[] |hd::tl -> hd::(List.filter (fun x-> hd<>x) (list_uniqufy tl));; let list_union(lst1, lst2) = list_uniq…

open Xml type place = P of string let ps_to_xml (ps) = map (function (P p) -> p) ps;; とすると This pattern matches values of type place but is here used to match values of type Xml.xml と冷たく怒られる。なんでXML？？？

やっているはなしが、一体何になるのか？どうすればよろしいのか？なにがうれしいのか？ PAの拡張？ -

イベント依存グラフ(EDG)について、FSMより導くのは何だかなーとおもっていたら Alureの論文Inference of Message Sequence Chart を読んで合点がいった。 EDGはAlure風に定式化すればよい MSCはFSMとEDGを両方規定している、ことにすれば当面解決 つまりEDG…

何回か見直して微調整して、ぴったり６ページの原稿を先生に送った。 骨子作成までの残りの研究項目を洗い出した。 部分プロトコル部品のOperator化 FSM→EPG対応の曖昧さに対処 EDGの中の制約（入力、出力、連携、阻害）を整理明確化 合成ルールの追加（阻害…

削りに削って、６ページには入ったが、内容が不明になった。

研究会の事務局より、投稿のお願いがきた（採択ということ）。しかし 会社の同僚と同じセッションにされてしまったわい。研究会投稿原稿を作成中、ドラフト０を色々と修正してどうにか８ページに は収まりましたが、目標６ページ。修正しながら展開の怪しい…