情報・システム-コンピュテーション(開催日:1997/05/30)

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

,  

[発表日]1997/5/30
[資料番号]
目次

,  

[発表日]1997/5/30
[資料番号]
システム要求と仕様記述の検証

陸 暁松,  金指 文明,  富樫 敦,  

[発表日]1997/5/30
[資料番号]COMP97-9
π計算に対する証明システム

金指 文明,  富樫 敦,  

[発表日]1997/5/30
[資料番号]COMP97-10
形式仕様に基づく通信プログラム開発システムONL

大久保 信康,  結縁 祥治,  坂部 俊樹,  稲垣 康善,  

[発表日]1997/5/30
[資料番号]COMP97-11
診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ

平手 孝,  結縁 祥治,  坂部 俊樹,  稲垣 康善,  

[発表日]1997/5/30
[資料番号]COMP97-12
距離幅がバウンドされているグラフに対するグラフ同型性判定問題

Yamazaki K.,  Bodlaender H. L.,  Fluiter B.,  Thilikos D. M.,  

[発表日]1997/5/30
[資料番号]COMP97-13
各節点の需要が異なる最小流入点集合配置問題

伊藤 大雄,  横山 光雄,  

[発表日]1997/5/30
[資料番号]COMP97-14
3次元メッシュ計算機上での無情報ラウティング

宮野 英次,  岩間 一雄,  

[発表日]1997/5/30
[資料番号]COMP97-15
2連結グラフに対するATM網に適した最適な耐故障性ルーティング

和田 幸一,  陳 慰,  羅 予頻,  川口 喜三男,  

[発表日]1997/5/30
[資料番号]COMP97-16
星状多角形内の同期式自律分散ロボットの一点集合問題

各務 一彦,  陳 慰,  和田 幸一,  川口 喜三男,  

[発表日]1997/5/30
[資料番号]COMP97-17
ユニバーサルな予測とユニバーサルな符号化

鈴木 譲,  

[発表日]1997/5/30
[資料番号]COMP97-18
オブジェクト指向データベースにおける型検査問題の計算量

清水 將吾,  石原 靖哲,  関 浩之,  伊藤 実,  

[発表日]1997/5/30
[資料番号]COMP97-19
正則言語による論理関数の計算量解析 : 群の上で動作するモノイドプログラムについて

戸田 誠之助,  

[発表日]1997/5/30
[資料番号]COMP97-20
上位からの時差入力下での最適並列加算器

高木 直史,  堀山 貴史,  

[発表日]1997/5/30
[資料番号]COMP97-21
[OTHERS]

,  

[発表日]1997/5/30
[資料番号]