順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
基于有序线性类型实现安全快速的大规模数据处理
基本信息
- 批准号:18049002
- 负责人:
- 金额:$ 1.86万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research on Priority Areas
- 财政年份:2006
- 资助国家:日本
- 起止时间:2006 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究では,順序付き線形型理論に基づき,XML文書の木構造処理プログラムを効率のよいストリーム処理プログラムに自動変換するための枠組みの確立を目指している.本年度の成果は以下のとおり.1.XML文書の木構造処理プログラムからストリーム処理プログラムへの自動変換の枠組みの確立前年度までに確立していた2分木データを対象とした木構造処理プログラムからストリーム処理プログラムへの枠組みを拡張し,XML文書を対象として扱えるようにした.2.XML用ストリーム処理プログラム生成器X-Pの試作と評価上記1の枠組みに基づき,XML文書のための木構造処理プログラムからストリーム処理プログラムへの自動変換器X-Pを試作し,評価を行った.その結果,多くの例について1の枠組みが有効であることが確認できた.一方で,いくつかの例について,(1)無駄なバッファリング命令が挿入される,(2)文書型の情報を有効利用できていない,などの問題点が見つかった.3.バッファリングの自動挿入の改良ストリーム処理では,入力文書を一定の順序でしかアクセスできないため,上記1の枠組みでは,必要に応じて入力文書をバッファリングするようなストリーム処理プログラムが生成される.上記2の評価実験において,本来必要のないデータまでバッファリングされてしまう例が見つかったため,改良策として,入力木を部分的にバッファリングするための命令を追加し,自動変換の枠組みの再構築を始めた.
Based on the theory of sequential linear form, this study aims at establishing the structure of XML documents. The results of this year are as follows: 1. The structure processing of XML documents is divided into two parts: the first part is the establishment of the automatic transformation group of XML documents, the second part is the establishment of the automatic transformation group of XML documents, the third part is the establishment of the automatic transformation group of XML documents, the fourth part is the establishment of the automatic transformation group of XML documents. 2. XML document processing platform generator X-P for XML document processing platform generator As a result, there are many cases in which the group of 1 is confirmed. (1) No maximum number of entries in the command,(2) Document type of information is available, the problem point is seen.(3) Automatic entry of the improved processing, entry of the document in a certain order, the above 1 group of entries, The necessary input power is generated by the process of processing the data. In the comments of the above note 2, it was originally necessary to add the command to the part of the force tree, and to automatically change the structure of the group.
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
小林 直樹其他文献
Flavor Tagging
风味标签
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
松本 雄磨;小林 直樹;海野 広志;Y. Ohki;Chihiro Sasakawa;Masakazu Kurata - 通讯作者:
Masakazu Kurata
「大東亜」という倒錯-大城立裕『朝、上海に立ちつくす小説東亜同文書院』におけるジェンダー・トラブル
“大东亚”的曲解——大城达宏小说《东亚同文书院:清晨的上海》中的性别困境
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
小林 直樹;山崎淳;新城郁夫 - 通讯作者:
新城郁夫
理論計算機科学事典(8.3節「型に基づくプログラム検証」)
理论计算机科学百科全书(第8.3节“基于类型的程序验证”)
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
徳山 豪;小林 直樹 - 通讯作者:
小林 直樹
小林 直樹的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('小林 直樹', 18)}}的其他基金
無住道暁と南宋代成立典籍に関する総合的研究
南宋武术道啸及正典综合研究
- 批准号:
23K00298 - 财政年份:2023
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
潜在的カビ毒産生菌種を利用したカビ毒生合成抑制メカニズムの解明
利用潜在的产霉菌毒素细菌物种阐明霉菌毒素生物合成抑制机制
- 批准号:
23K05081 - 财政年份:2023
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
偏光分光型マルチスペクトルカメラを用いた目視診断用画像システムの研究開発
偏振光谱多光谱相机视觉诊断成像系统的研究与开发
- 批准号:
23K11878 - 财政年份:2023
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Program Verification Techniques for the AI Era
AI时代的程序验证技术
- 批准号:
20H05703 - 财政年份:2020
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (S)
Program Verification Based on Higher-Order Fixpoint Logic
基于高阶不动点逻辑的程序验证
- 批准号:
20H00577 - 财政年份:2020
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
遁世僧の宋刊仏書受容をめぐる説話伝承学的研究
宋代佛经接受传说的民间传说研究
- 批准号:
19K00299 - 财政年份:2019
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
表面ナノ構造を有する可視応答TiO2/p-InGaNヘテロ接合光電極の還元力評価
表面纳米结构可见光响应TiO2/p-InGaN异质结光电极还原能力评价
- 批准号:
20510101 - 财政年份:2008
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
基于有序线性类型实现安全快速的大规模数据处理
- 批准号:
19024003 - 财政年份:2007
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
ヒト免疫構築マウスをもちいた感染症モデルマウスの樹立および末梢T細胞分化の解析
人免疫构建小鼠传染病模型小鼠的建立及外周T细胞分化分析
- 批准号:
19700369 - 财政年份:2007
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
型システムとモデル検査の融合によるソフトウェア検証
类型系统和模型检查相结合的软件验证
- 批准号:
16650004 - 财政年份:2004
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Exploratory Research