情報・システム-コンピュテーション(開催日:1998/11/20)

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

,  

[発表日]1998/11/20
[資料番号]
目次

,  

[発表日]1998/11/20
[資料番号]
古典的証明に基づく関数型言語の構築

野島 歓之,  平田 耕一,  藤田 憲悦,  

[発表日]1998/11/20
[資料番号]COMP98-51
K語近接相関パタンの高速発見アルゴリズム

下薗 真一,  有村 博紀,  有川 節夫,  

[発表日]1998/11/20
[資料番号]COMP98-52
3種のオブジェクト演算子とインスタンスを取り扱えるフレーム構造論理

小松 香爾,  西原 典孝,  横山 晶一,  

[発表日]1998/11/20
[資料番号]COMP98-53
3充足可能性判定問題3SATの単一解を持つ正例題生成手法

元木 光雄,  上原 隆平,  

[発表日]1998/11/20
[資料番号]COMP98-54
条件を緩和した安定結婚問題のNP完全性について

宮崎 修一,  岩間 一雄,  

[発表日]1998/11/20
[資料番号]COMP98-55
スキーママッチングの計算の複雑さ

山田 敬三,  平田 耕一,  原尾 政輝,  

[発表日]1998/11/20
[資料番号]COMP98-56
切り落とし法に基づく項書換え系の停止性判定

草刈 圭一朗,  外山 芳人,  

[発表日]1998/11/20
[資料番号]COMP98-57
消去法による項書換え系の停止性判定について

中村 正樹,  外山 芳人,  

[発表日]1998/11/20
[資料番号]COMP98-58
潜在帰納法と書換え帰納法の比較

小池 広高,  外山 芳人,  

[発表日]1998/11/20
[資料番号]COMP98-59
空間限定2次元確率チューリング機械によって認識される集合族の閉包性

岡崎 世雄,  井上 克司,  伊藤 暁,  王 躍,  

[発表日]1998/11/20
[資料番号]COMP98-60
交代リバウンドチューリング機械のリーフサイズ階層性

張 嵐,  井上 克司,  伊藤 暁,  王 躍,  

[発表日]1998/11/20
[資料番号]COMP98-61
最適な最小値独立置換族の構成

武井 由智,  伊東 利哉,  篠崎 隆宏,  

[発表日]1998/11/20
[資料番号]COMP98-62
[OTHERS]

,  

[発表日]1998/11/20
[資料番号]