情報・システム-コンピュテーション(開催日：1995/11/17)

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

,  

[発表日]1995/11/17
[資料番号]
目次

,  

[発表日]1995/11/17
[資料番号]
対数以下の空間量を持つ2方向(1-インクドット)オルタネーティングプッシュダウンオートマタの交代性

徐 建良,  義永 常広,  井上 克司,  王 躍,  伊藤 暁,  

[発表日]1995/11/17
[資料番号]COMP95-57
型付ラムダ計算における証明文法

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

[発表日]1995/11/17
[資料番号]COMP95-58
乗除べき乗算のための段数 O((1-α)/α n)) 素子数 O((n^<3+2α>)/(αlogn))回路

濱野 貴文,  高木 直史,  矢島 脩三,  プレパラータ フランコ P.,  

[発表日]1995/11/17
[資料番号]COMP95-60
無向多重グラフにおける決定性 O(mn) 時間辺分離アルゴリズム

永持 仁,  茨木 俊秀,  

[発表日]1995/11/17
[資料番号]COMP95-61
順序付き二分法定グラフの学習可能性

平田 耕一,  篠原 歩,  松本 哲志,  

[発表日]1995/11/17
[資料番号]COMP95-61
有限オートマトンの可到達性, 可観測性および最小実現

猪飼 武夫,  益本 昌幸,  福永 邦雄,  

[発表日]1995/11/17
[資料番号]COMP95-62
順序機械の学習 : Angluin のFA学習と最小部分実現

猪飼 武夫,  新谷 敬之,  福永 邦雄,  

[発表日]1995/11/17
[資料番号]COMP95-63
非単調論理回路に対する Razborov の近似モデルの構造

天野 一幸,  丸岡 章,  

[発表日]1995/11/17
[資料番号]COMP95-64
ファンイン制限つき組合せ論理回路に対する完全な等価変換規則集合

黒川 裕之,  澤田 直,  岩間 一雄,  

[発表日]1995/11/17
[資料番号]COMP95-65
[OTHERS]

,  

[発表日]1995/11/17
[資料番号]