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

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

,  

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

,  

[発表日]1994/7/7
[資料番号]
書換えにもとづく自己反映計算の定式化

渡部 卓雄,  

[発表日]1994/7/7
[資料番号]SS94-12
並行項書き換え計算による並行オブジェクト指向言語の実現

菅原 太郎,  渡部 卓雄,  二木 厚吉,  

[発表日]1994/7/7
[資料番号]SS94-13
項集合書換え系の合流性について

粕谷 英人,  酒井 正彦,  山本 晋一郎,  阿草 清滋,  

[発表日]1994/7/7
[資料番号]SS94-14
ソフトウェア構造解析情報に基づくツールプラットホームシステム

有賀 寛朗,  山本 晋一郎,  阿草 清滋,  

[発表日]1994/7/7
[資料番号]SS94-15
宣言的プログラムの理論に基づく型付き論理型言語

川口 雄一,  赤間 清,  宮本 衛市,  

[発表日]1994/7/7
[資料番号]SS94-16
類推における証明項の変換について

藤田 憲悦,  

[発表日]1994/7/7
[資料番号]SS94-17
[OTHERS]

,  

[発表日]1994/7/7
[資料番号]