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

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

,  

[発表日]2003/1/17
[資料番号]
目次

,  

[発表日]2003/1/17
[資料番号]
耐故障線形配列の最適構成

山田 敏規,  上野 修一,  

[発表日]2003/1/17
[資料番号]COMP2002-62
連結頂点被覆問題およびtree cover問題に対する2倍近似並列アルゴリズム

土井 孝,  藤戸 敏弘,  

[発表日]2003/1/17
[資料番号]COMP2002-63
A 2-Approximation Algorithm for Capacitated Partial Vertex Cover with Demands

藪田 隆俊,  藤戸 敏弘,  

[発表日]2003/1/17
[資料番号]COMP2002-64
タイミング故障および停止故障に対する故障耐性を有するアトミックブロードキャスト

泉 泰介,  齊藤 明紀,  増澤 利光,  

[発表日]2003/1/17
[資料番号]COMP2002-65
内部変数付き木パターン言語の有限和の質問学習

松本 哲志,  正代 隆義,  宮原 哲浩,  内田 智之,  

[発表日]2003/1/17
[資料番号]COMP2002-66
拡張正規表現照合のためのビット並列アルゴリズム

山本 博章,  宮崎 敬,  

[発表日]2003/1/17
[資料番号]COMP2002-67
右辺のみに現れる変数を持つ項書換え系のナローイングに基づく実効的書換えとその停止性

西田 直樹,  酒井 正彦,  坂部 俊樹,  

[発表日]2003/1/17
[資料番号]COMP2002-68
セルラーオートマトンの行列への応用

佐藤 忠一,  

[発表日]2003/1/17
[資料番号]COMP2002-69
探索問題における一般的な量子オラクルの質問回数について

増田 裕之,  / 河内 亮周,  山下 茂,  岩間 一雄,  

[発表日]2003/1/17
[資料番号]COMP2002-70
結び目の非自明性判定問題に対する対話型証明系について

原 正雄,  谷 聖一,  山本 慎,  

[発表日]2003/1/17
[資料番号]COMP2002-71
均質な情報付き立方体の集合による3次元空間充填問題

石原 真紀夫,  田中 稔,  栗山 憲,  

[発表日]2003/1/17
[資料番号]COMP2002-72
正方プロセッサの接続による代数系(体)における計算

木田 裕則,  石原 真紀夫,  田中 稔,  

[発表日]2003/1/17
[資料番号]COMP2002-73
複写される方へ

,  

[発表日]2003/1/17
[資料番号]
奥付

,  

[発表日]2003/1/17
[資料番号]