情報・システム-ソフトウェアサイエンス(開催日:1999/03/19)

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

,  

[発表日]1999/3/19
[資料番号]
目次

,  

[発表日]1999/3/19
[資料番号]
代数的仕様の実現検証のための線形文脈帰納法について

二井 靖彦,  坂部 俊樹,  

[発表日]1999/3/19
[資料番号]SS98-60
動的弁別ネットを用いたメタ項書換え計算インタプリタの設計

大島 淳史,  坂部 俊樹,  

[発表日]1999/3/19
[資料番号]SS98-61
ラムダ計算の図式表現とグラフ変換

杉藤 芳雄,  

[発表日]1999/3/19
[資料番号]SS98-62
型付きλ計算の古典線形論理の計算的解釈への埋め込み

佐藤 伸也,  杉本 徹,  

[発表日]1999/3/19
[資料番号]SS98-63
無限計算と無限項のための基礎的枠組

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

[発表日]1999/3/19
[資料番号]SS98-64
分散共有メモリの形式的仕様記述について

高田 司郎,  田口 研治,  城 和貴,  福田 晃,  

[発表日]1999/3/19
[資料番号]SS98-65
時間模倣関係に基づく実時間システムの仕様間の詳細化の形式的検証

小倉 昌也,  山根 智,  

[発表日]1999/3/19
[資料番号]SS98-66
対称性に基づく並行システムの記号モデル検査

深江 智博,  山根 智,  

[発表日]1999/3/19
[資料番号]SS98-67
ハードリアルタイムシステムの実時間記号モデル検査

館 宜伸,  山根 智,  

[発表日]1999/3/19
[資料番号]SS98-68
[OTHERS]

,  

[発表日]1999/3/19
[資料番号]