情報・システム-ソフトウェアサイエンス(開催日：1998/07/30)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1998/7/30
[資料番号]
目次

,  

[発表日]1998/7/30
[資料番号]
プロローグを用いたプログラム合成システム

恐神 正博,  

[発表日]1998/7/30
[資料番号]SS98-11
実時間制約を考慮した開放型分散システムの形式化と階層的な設計手法

山根 智,  舘 宣伸,  

[発表日]1998/7/30
[資料番号]SS98-12
自律分散型鉄道制御シミュレータの設計

打田 大介,  有澤 誠,  

[発表日]1998/7/30
[資料番号]SS98-13
論理的問題を等価変換によって解くための理論的基礎

赤間 清,  繁田 良則,  宮本 衛市,  

[発表日]1998/7/30
[資料番号]SS98-14
項書き換えシステム入門

外山 芳人,  

[発表日]1998/7/30
[資料番号]SS98-15
奥付

,  

[発表日]1998/7/30
[資料番号]