情報・システム-コンピュテーション(開催日：1996/05/17)

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

,  

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

,  

[発表日]1996/5/17
[資料番号]
全節点・領域間がk-枝連結となる様に領域を決定する問題

伊藤 大雄,  

[発表日]1996/5/17
[資料番号]COMP96-9
分散型のAGV(Automated Guided Vehicle)システムにおける情報受信範囲の理論的解析

佐々木 淳,  増山 繁,  山川 栄樹,  

[発表日]1996/5/17
[資料番号]COMP96-10
移動ネットワークを含む分散システムとその上のスナップシヨット・アルゴリズム

大堀 力,  桝田 秀夫,  辻野 嘉宏,  都倉 信樹,  

[発表日]1996/5/17
[資料番号]COMP96-11
分散システムにおける大域条件式成立の可能性検出

千星 裕,  桝田 秀夫,  辻野 嘉宏,  都倉 信樹,  

[発表日]1996/5/17
[資料番号]COMP96-12
無矛盾最小OBDD問題の近似困難性について

平田 耕一,  下園 真一,  篠原 歩,  

[発表日]1996/5/17
[資料番号]COMP96-13
命令を並列に実行するCPUに対するSCCSによるコンパイラの仕様記述

鈴木 晃,  結縁 祥治,  坂部 俊樹,  稲垣 康善,  

[発表日]1996/5/17
[資料番号]COMP96-14
Polyadicπ計算の型計算システムについて

富樫 敦,  

[発表日]1996/5/17
[資料番号]COMP96-15
[OTHERS]

,  

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