情報・システム-コンピュテーション(開催日：1994/03/09)

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

,  

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

,  

[発表日]1994/3/9
[資料番号]
高階論理を使ったオブジェクト指向データベースのモデル化

海老原 一郎,  大蒔 和仁,  

[発表日]1994/3/9
[資料番号]COMP93-77,SS93-45
SIMD型超並列計算機用HPFの実装とその性能評価

小前 晋,  杉森 英夫,  大谷 浩司,  渦原 茂,  安村 通晃,  

[発表日]1994/3/9
[資料番号]COMP93-78,SS93-46
並行言語Harmony/2とその一級継続機構

脇田 建,  

[発表日]1994/3/9
[資料番号]COMP93-79,SS93-47
ν計算・並行結合子・プログラミング言語

本田 耕平,  久保 誠,  指野 篤司,  竹内 格,  バスコンセロス バスク,  吉田 展子,  

[発表日]1994/3/9
[資料番号]COMP93-80,SS93-48
並行論理型プログラミング言語における段階的プログラム記述の検証

小田 幸弘,  村上 昌己,  

[発表日]1994/3/9
[資料番号]COMP93-81,SS93-49
分散システム仕様の動的進化に対する枠組

Hamid Issam,  

[発表日]1994/3/9
[資料番号]COMP93-82,SS93-50
Catamorphismに基づく関数プログラムの変換

胡 振江,  岩崎 英哉,  武市 正人,  

[発表日]1994/3/9
[資料番号]COMP93-83,SS93-51
プロセス合成のための支援環境に関する研究

臼井 伸幸,  吉田 仙,  木村 成伴,  富樫 敦,  白鳥 則郎,  

[発表日]1994/3/9
[資料番号]COMP93-84,SS93-52
並行プロセス計算の開発・利用支援環境

吉田 仙,  富樫 敦,  白鳥 則郎,  

[発表日]1994/3/9
[資料番号]COMP93-85,SS93-53
μ-calculusによる再帰プロセスの合成

木村 成伴,  富樫 敦,  白鳥 則郎,  

[発表日]1994/3/9
[資料番号]COMP93-86,SS93-54
[OTHERS]

,  

[発表日]1994/3/9
[資料番号]