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

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

,  

[発表日]1994/1/26
[資料番号]
目次

,  

[発表日]1994/1/26
[資料番号]
語彙機能文法のいくつかの部分クラスに対する一般認識問題の計算量について

安藤 佐知子,  中西 隆一,  関 浩之,  嵩 忠雄,  

[発表日]1994/1/26
[資料番号]COMP93-67
VAR-CCGの生成能力について

大西 浩之,  中西 隆一,  関 浩之,  嵩 忠雄,  

[発表日]1994/1/26
[資料番号]COMP93-68
一意解析可能文法

森田 憲一,  山本 泰則,  西原 典孝,  張 治国,  

[発表日]1994/1/26
[資料番号]COMP93-69
代入に制限がある場合の項書き換え系の単一化可能性問題について

楫 勇一,  藤原 融,  嵩 忠雄,  

[発表日]1994/1/26
[資料番号]COMP93-70
無限実行プロセスを生成するGHCプログラムに対するOR-Compositionalな意味論

加藤 暢,  村上 昌已,  

[発表日]1994/1/26
[資料番号]COMP93-71
節点集合の移動に基づく最小コストグラフ分割

三政 義康,  礒本 和典,  若林 真一,  小出 哲士,  吉田 典可,  

[発表日]1994/1/26
[資料番号]COMP93-72
グラフの多重辺付加を許さない辺連結化問題

田岡 智志,  高藤 大介,  渡辺 敏正,  

[発表日]1994/1/26
[資料番号]COMP93-73
グラフの最小コスト3-点連結化問題に対する近似アルゴリズム

川合 宏之,  間島 利也,  田岡 智志,  渡辺 敏正,  

[発表日]1994/1/26
[資料番号]COMP93-74
木上二重コンベックスグラフと二部サークルグラフの等価性

春田 泰睦,  木津 隆史,  荒木 俊郎,  柏原 敏伸,  

[発表日]1994/1/26
[資料番号]COMP93-75
マークグラフにおけるトランジションの潜在的同時発火可能性判定アルゴリズム

高橋 正毅,  荒木 俊郎,  柏原 敏伸,  

[発表日]1994/1/26
[資料番号]COMP93-76
[OTHERS]

,  

[発表日]1994/1/26
[資料番号]