情報・システム-コンピュテーション(開催日:2002/01/23)

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

,  

[発表日]2002/1/23
[資料番号]
目次

,  

[発表日]2002/1/23
[資料番号]
量子アルゴリズムに対する共通鍵暗号の安全性

太田 和夫,  西野 哲朗,  青木 和麻呂,  

[発表日]2002/1/23
[資料番号]COMP2001-74
通信プロトコルの試験系列生成問題へのSATアルゴリズム適用法の提案

大塚 裕孝,  中田 明夫,  舩曵 信生,  東野 輝夫,  

[発表日]2002/1/23
[資料番号]COMP2001-75
一定数の充足解を持つCNF式に対する準指数時間アルゴリズム

松浦 昭洋,  

[発表日]2002/1/23
[資料番号]COMP2001-76
双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案

米津 政隆,  舩曵 信生,  横平 徳美,  中西 透,  田島 滋人,  中田 明夫,  東野 輝夫,  

[発表日]2002/1/23
[資料番号]COMP2001-77
異種クラスタシステムにおける収集操作スケジューリング

大下 福仁,  松前 進,  増澤 利光,  

[発表日]2002/1/23
[資料番号]COMP2001-78
潜在帰納法による弱完全振舞仕様に対する振舞等価性の自動証明

加納 康資,  酒井 正彦,  坂部 俊樹,  

[発表日]2002/1/23
[資料番号]COMP2001-79
優先順序付き項書換え系の頭必須戦略の決定可能性

鈴木 剛,  酒井 正彦,  坂部 俊樹,  

[発表日]2002/1/23
[資料番号]COMP2001-80
帰納的定理の決定可能なクラスについて

福井 信一,  外山 芳人,  

[発表日]2002/1/23
[資料番号]COMP2001-81
高階書換え系におけるディセンダントと頭必須書換えの頭正規化性

粕谷 英人,  酒井 正彦,  阿草 清滋,  

[発表日]2002/1/23
[資料番号]COMP2001-82
[OTHERS]

,  

[発表日]2002/1/23
[資料番号]