情報・システム-コンピュテーション(開催日：1997/10/31)

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

,  

[発表日]1997/10/31
[資料番号]
目次

,  

[発表日]1997/10/31
[資料番号]
4連結平面グラフの格子凸描画

三浦 一之,  中野 眞一,  西関 隆夫,  

[発表日]1997/10/31
[資料番号]COMP97-45
チャンネルネットワークにおける安全なメッセージ分配

鮑 豊,  船生 豊,  濱田 幸弘,  五十嵐 善英,  島谷 崇,  

[発表日]1997/10/31
[資料番号]COMP97-46
Tarski算術における冠頭標準形の閉論理式の真偽判定アルゴリズムの提案

柴田 直樹,  岡野 浩三,  東野 輝夫,  谷口 健一,  

[発表日]1997/10/31
[資料番号]COMP97-47
摂動法によるMAX SAT近似アルゴリズムの改良

小野 孝男,  平田 富夫,  浅野 孝夫,  

[発表日]1997/10/31
[資料番号]COMP97-48
平面セグメントの上エンベロプを求める並列アルゴリズム

陳 慰,  和田 幸一,  

[発表日]1997/10/31
[資料番号]COMP97-49
上昇型プッシュダウン木オートマトンの一構成法

山崎 克典,  東 勝之,  

[発表日]1997/10/31
[資料番号]COMP97-50
決定性有限オートマトンの正準分解とそのアルゴリズム

古澤 和久,  猪飼 武夫,  福永 邦雄,  

[発表日]1997/10/31
[資料番号]COMP97-51
Ho-Kalmanアルゴリズムによる決定性有限オートマトンの最小実現

渡辺 浩司,  猪飼 武夫,  福永 邦雄,  

[発表日]1997/10/31
[資料番号]COMP97-52
二分モーメントグラフによる除算表現の大きさの指数下界

中西 正樹,  浜口 清治,  柏原 敏伸,  

[発表日]1997/10/31
[資料番号]COMP97-53
Tree-Shellable論理関数について

武永 康彦,  中嶋 廣二,  矢島 脩三,  

[発表日]1997/10/31
[資料番号]COMP97-54
否定素子数限定論理回路における単調論理関数の複雑さ

天野 一幸,  丸岡 章,  

[発表日]1997/10/31
[資料番号]COMP97-55
ブールドメイン上の関数に対するサンプリングの定理

瀧本 英二,  丸岡 章,  

[発表日]1997/10/31
[資料番号]COMP97-56
文字列相関パタンの分類精度最大化問題について

有村 博紀,  渡木 厚,  下薗 真一,  

[発表日]1997/10/31
[資料番号]COMP97-57
ニューロイダルネット上における学習アルゴリズムの設計

西野 哲朗,  

[発表日]1997/10/31
[資料番号]COMP97-58
構造反例付き等価性質問を用いた単純決定性言語の多項式時間MAT学習

但馬 康宏,  富田 悦次,  若月 光夫,  

[発表日]1997/10/31
[資料番号]COMP97-59
[OTHERS]

,  

[発表日]1997/10/31
[資料番号]