検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
2次元オルタネイティングo(loglog m)領域計算量クラスの補集合に関する非閉包性(アルゴリズムと計算量理論) 伊藤, 暁; 井上, 克司; 王, 躍 (1995-04) 数理解析研究所講究録, 906: 104-111 | |
1次元可逆セル・オートマトンにおける一斉射撃問題の高速解(アルゴリズムと計算量理論) 今井, 克暢; 森田, 憲一 (1995-04) 数理解析研究所講究録, 906: 119-125 | |
対称関数の否定数限定回路計算量について(アルゴリズムと計算量理論) 田中, 圭介; 西野, 哲朗 (1995-04) 数理解析研究所講究録, 906: 89-95 | |
RIGHT CONGRUENCES FOR $\omega$-REGULAR LANGUAGES YAMASAKI, Hideki (1995-04) 数理解析研究所講究録, 906: 112-118 | |
Demonstrating Programs against Adversaries SAKURAI, Kouichi; IWAMA, Kazuo (1995-04) 数理解析研究所講究録, 906: 170-177 | |
Expressive Power of Binary Decision Diagrams Representing Sum-of-product Form NITTA, Koyo; TAKENAGA, Yasuhiko; YAJIMA, Shuzo (1995-04) 数理解析研究所講究録, 906: 196-203 | |
リングの方向付け問題を有限状態数で解く自己安定アルゴリズム(アルゴリズムと計算量理論) 梅本, 成俊; 角川, 裕次; 山下, 雅史 (1995-04) 数理解析研究所講究録, 906: 257-263 | |
生態ピラミッドの概念を取り入れた遺伝的アルゴリズムの提案(アルゴリズムと計算量理論) 上土井, 陽子; 岸本, 善久; 若林, 真一 (1995-04) 数理解析研究所講究録, 906: 162-169 | |
自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論) 高橋, 英之; 山下, 正人 (1995-04) 数理解析研究所講究録, 906: 138-145 | |
周期1と2のリミットサイクルをもつセルオートマトンについて(アルゴリズムと計算量理論) 井口, 修一; 河原, 康雄 (1995-04) 数理解析研究所講究録, 906: 126-131 |