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

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

,  

[発表日]2003/12/15
[資料番号]
目次

,  

[発表日]2003/12/15
[資料番号]
有向グラフの強連結成分を求める並列アルゴリズム

多田 昭雄,  右田 雅裕,  中村 良三,  

[発表日]2003/12/15
[資料番号]COMP2003-62
DAGの最長路を求める並列アルゴリズム

右田 雅裕,  多田 昭雄,  中村 良三,  

[発表日]2003/12/15
[資料番号]COMP2003-63
2次元アレイ上での最適時間一斉射撃アルゴリズムの設計

梅尾 博司,  久岡 雅也,  前田 雅史,  秋口 俊輔,  

[発表日]2003/12/15
[資料番号]COMP2003-64
MAX 2SATに対するシンプルな正解付テスト例題生成について

元木 光雄,  

[発表日]2003/12/15
[資料番号]COMP2003-65
非完全な仕様における振舞等価性の自動証明法

山本 友和,  草刈 圭一郎,  酒井 正彦,  坂部 俊樹,  

[発表日]2003/12/15
[資料番号]COMP2003-66
部分木の移動を考慮した文書併合アルゴリズム

鈴木 伸崇,  

[発表日]2003/12/15
[資料番号]COMP2003-67
線形セルラーオートマトンの数学への応用

佐藤 忠一,  

[発表日]2003/12/15
[資料番号]COMP2003-68
奥付

,  

[発表日]2003/12/15
[資料番号]
複写される方へ

,  

[発表日]2003/12/15
[資料番号]