{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BA30730607.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BA30730607#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BA30730607.json"},"dc:title":[{"@value":"計算理論とその応用"},{"@value":"ケイサン リロン ト ソノ オウヨウ","@language":"ja-hrkt"}],"dc:publisher":[{"@value":"京都大学数理解析研究所"}],"dcterms:extent":"243 p.","cinii:size":"26 cm","dc:language":"jpneng","dc:date":"1997","cinii:ncid":"BA30730607","cinii:ownerCount":"3","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA00277933#entity","@type":"foaf:Person","foaf:name":[{"@value":"京都大学数理解析研究所"},{"@value":"キョウト ダイガク スウリ カイセキ ケンキュウショ","@language":"ja-hrkt"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA013990","@type":"foaf:Organization","foaf:name":"東京大学 数理科学研究科","rdfs:seeAlso":{"@id":"https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_openurl/?ncid=BA30730607"}},{"@id":"https://ci.nii.ac.jp/library/FA003760","@type":"foaf:Organization","foaf:name":"東京都立大学 図書館","rdfs:seeAlso":{"@id":"https://opactmu.lib.tmu.ac.jp/iwjs0013opc/ufirdi.do?ufi_target=ctlsrh&ncid=BA30730607"}},{"@id":"https://ci.nii.ac.jp/library/FA006758","@type":"foaf:Organization","foaf:name":"立教大学 図書館","rdfs:seeAlso":{"@id":"https://opac.rikkyo.ac.jp/opac/opac_openurl/?ncid=BA30730607"}}],"prism:publicationDate":["1997.5"],"cinii:note":["研究集会報告集 / 研究代表者, 谷口健一"],"cinii:contentOfWorks":["A map from the lower-half of the n-cube onto the (n-1)cube which preserves intersecting antichains / Masahiro Miyakawa, Akihiro Nozaki, Grant Pogosyan, Ivo G. Rosenberg","系統樹最節約復元問題の大域的最適解について / 成嶋弘","最大共通誘導部分グラフ問題のMAX SNP-hardness について / 杉野孔一, 正代隆義","A divide and conquer approach to the minimum k-way cut problem / Yoko Kamidoi, Shin'ichi Wakabayashi","Learning conformation rules / Osamu Maruyama, Emiko Furuichi, Satoru Kuhara, Satoru Miyano","決定性有限メモリーオートマトンの学習可能性 / 坂本比呂志, Thomas Zeugmann","ニューロイダルネット上の学習について / 西野哲朗","Learning one-variable pattern languages very efficiently / Thomas Erlebac h, Peter Rossmanith, Hans Stadtherr, Angelika Steger, Thomas Zeugmann","Learning pattern languages using queries / Satoshi Matsumoto, Ayumi Shinohara","項グラフ言語の正データからの多項式時間帰納推論可能性について / 林夕起子, 松本哲志, 正代隆義","λ-幾何における3点の最小スタイナ木について / 早瀬道芳","Independent spanning trees of chordal rings / Yukihiro Iwasaki, Yuka Kajiwara, Koji Obokata, Yoshihide Igarashi","Augmenting edge-connectivity and vertex-connectivity simultaneously / Toshimasa Ishii, Hiroshi Nagamochi, Toshihide Ibaraki","Enumerating triangulations for arbitrary configurations of points and for products of two simplices / Fumihiko Takeuchi, Hiroshi Imai, Keiko Imai","統計パラメタ空間におけるVoronoi diagramの離散構造 / Kensuke Onishi","An 0(log n) parallel algorithm for constructing a spanning forest on Trapezoid graphs / Hirotoshi Honma, Shigeru Masuyama","CCSに基づく並列処理言語の実装 / 原淳, 森雅生","モービルプロセス計算の型システムについて / 富樫敦","On product formula of tree expressions / Shuichi Inokuchi, Yasuo Kawahara","チューリング機械の領域計算量の厳密な階層について / 岩本宙造, 岩間一雄","指数個の決定性状態を必要とする非決定性有限オートマトンについて / Kazuya Takaki, 岩間一雄","計算万能な2次元8状態3角形状可逆セル・オートマン / 今井克暢, 森田憲一","推論エンジン, 「論語」論理の場合 / 〓橋英之","λc計算とλp計算との対応 / 広川佐千男, 亀山幸義, 馬場謙介","Lower bounds of the negation-limited circuit complexity / Shao-Chin Sung, Keisuke Tanaka","Minimum self-dual decompositions of positive dual-minor Boolean functions / Jan C. Bioch, Toshihide Ibaraki, Kazuhisa Makino","On the depth of randomy generated circuits / Tatsuie Tsukiji, Fatos Xhafa","論理関数の複雑さと近似演算 / 天野一幸, 丸岡章","The computational complexity of hereditary elementary formal systems / Daisuke Ikeda, Hiroki Arimura","ネットワーク上のバックトラックアルゴリズム / 仙波一郎","複数の予測戦略を統合する実時間予測アルゴリズム / 田近一郎, 瀧本英二, 丸岡章","オンライン先読みページングゲームにおける最適戦略の設計と解析 / 山家明男, 櫻井幸一","分散相互排除システムの可能度を改善するコーラム再割当アルゴリズム / 原田隆, 山下雅史"],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BN06637050#entity","dc:title":"数理解析研究所講究録, 992","@type":"bibo:Book"}]}]}