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

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

,  

[発表日]1996/5/28
[資料番号]
目次

,  

[発表日]1996/5/28
[資料番号]
知識処理の効率化のための等価変換ルールの生成法

畑山 満美子,  赤間 清,  宮本 衛市,  

[発表日]1996/5/28
[資料番号]SS96-1
宣言的プログラムの宣言的意味による仮説推論問題の定式化

岡田 浩一,  赤間 清,  宮本 衛市,  

[発表日]1996/5/28
[資料番号]SS96-2
プログラム実行中にメモリをデータから暗黙的かつ効率的に解放する一方式

高田 義広,  鳥居 宏次,  

[発表日]1996/5/28
[資料番号]SS96-3
再利用可能な部品から構成された言語処理系

田中 哲,  渡部 卓雄,  

[発表日]1996/5/28
[資料番号]SS96-4
[OTHERS]

,  

[発表日]1996/5/28
[資料番号]