検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
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 | |
完全データからのSimple Regular言語族の多項式時間反駁推論について(アルゴリズムと計算量理論) 渡辺, 紀仁; 佐藤, 優子 (1995-04) 数理解析研究所講究録, 906: 228-235 |