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

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

,  

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

,  

[発表日]1994/12/9
[資料番号]
根付き有向木次数列問題

高橋 昌也,  

[発表日]1994/12/9
[資料番号]COMP94-67
マルチアクセスチャネルを考慮した自己安定リーダー選択アルゴリズム

桝田 秀夫,  増澤 利光,  辻野 嘉宏,  都倉 信樹,  

[発表日]1994/12/9
[資料番号]COMP94-68
WAN向きファイルキャッシュプロトコルSCAUPの提案とその正当性の検証

曽我 秀樹,  山下 雅史,  

[発表日]1994/12/9
[資料番号]COMP94-69
A polynomial time algorithm to enumerate winning strategies on two-person games

遠山 宏明,  足立 暁生,  

[発表日]1994/12/9
[資料番号]COMP94-70
密な部分グラフ問題のNP完全性とそのSAT例題生成への応用

朝廣 雄一,  宮野 英次,  岩間 一雄,  

[発表日]1994/12/9
[資料番号]COMP94-71
充足可能性問題に対する計数法の項の選択による高速化

神本 長武,  岩間 一雄,  

[発表日]1994/12/9
[資料番号]COMP94-72
剰余BDDおよびそれを用いた算術演算回路の検証

木村 晋二,  

[発表日]1994/12/9
[資料番号]COMP94-73
木記憶を持つ木オートマトン

早川 泉,  中西 隆一,  関 浩之,  

[発表日]1994/12/9
[資料番号]COMP94-74
可逆カウンタ機械

森田 憲一,  

[発表日]1994/12/9
[資料番号]COMP94-75
[OTHERS]

,  

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