検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
連を多く含む文字列発見のための探索的手法 (理論計算機科学の深化と応用) 松原, 渉; 草野, 一彦; 坂内, 英夫; 石野, 明; 篠原, 歩 (2009-05) 数理解析研究所講究録, 1649: 81-88 | |
配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用) 濱田, 浩気; 宮崎, 修一; 岩間, 一雄 (2009-05) 数理解析研究所講究録, 1649: 73-80 | |
Complexity of pleat folding (Theoretical Computer Science and Its Applications) Ito, Tsuyoshi; Kiyomi, Masashi; Imahori, Shinji; Uehara, Ryuhei (2009-05) 数理解析研究所講究録, 1649: 66-72 | |
トランスポゾンから導かれる演算により定義される整合括弧列のDNAモデルとチューリング・マシンの構成 (理論計算機科学の深化と応用) 鈴木, 理 (2009-05) 数理解析研究所講究録, 1649: 89-96 | |
絵画的迷路の作り方 (理論計算機科学の深化と応用) 岡本, 吉央; 上原, 隆平 (2009-05) 数理解析研究所講究録, 1649: 58-65 | |
確率時間CEGAR (理論計算機科学の深化と応用) 森下, 篤; 駒形, 龍太; 山根, 智 (2009-05) 数理解析研究所講究録, 1649: 47-54 | |
Enumerating Polyominoes of p4 Tiling by the Reverse Search (Theoretical Computer Science and Its Applications) HORIYAMA, Takashi; SAMEJIMA, Masato (2009-05) 数理解析研究所講究録, 1649: 55-57 | |
確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用) 林, 将志; 山根, 智 (2009-05) 数理解析研究所講究録, 1649: 39-46 | |
文字列の繰り返し構造の平均解析 (理論計算機科学の深化と応用) 草野, 一彦; 松原, 渉; 石野, 明; 篠原, 歩 (2009-05) 数理解析研究所講究録, 1649: 181-188 | |
形式言語による結び目の実現問題に関する幾つかの予想 (理論計算機科学の深化と応用) 上谷, 雄一; 岡田, 蓉子; 堀口, 俊; 前川, 達也; 鈴木, 理 (2009-05) 数理解析研究所講究録, 1649: 97-104 |