順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
基于有序线性类型实现安全快速的大规模数据处理
基本信息
- 批准号:19024003
- 负责人:
- 金额:$ 3.9万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research on Priority Areas
- 财政年份:2007
- 资助国家:日本
- 起止时间:2007 至 2008
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
XMLのような木構造を論理構造として持つテキストデータの処理の記述方式としては, その論理的構造に基づいて木構造処理として記述する方式と, 1次元のテキストデータとしての物理構造に即したストリーム処理として記述する方式がある. 本研究では,両者の長所をあわせもつ方式として、ユーザには木構造処理のプログラムを記述させ, それをストリーム処理プログラムに自動変換する方式について研究を進めている.本年度の成果は以下のとおり。1. XML用のストリーム処理プログラム生成器X-Pの有効性の評価昨年度までに順序付線形型に基づくXML用のストリーム処理プログラム生成器X-Pの有効性の評価を行った. その結果, 不要なバッファリングが挿入されるケースがいくつか見つかった.2. 順序付き非線型型を用いた一時的バッファリング従来の変換の枠組みは, (1)木構造処理プログラムPにバッファリングを挿入することにより, 入力木に左から順に一度だけアクセスする中間プログラムIに変換し, (2)I中の木構造処理のための各命令をストリーム処理命令に置換えてストリーム処理プログラムTを得る, という2つの変換から構成されていた. (1)の変換では, Iが順序付線形型システムで型付けされるようにソースプログラムPにバッファリングを挿入することによって実現されていた.上記1の評価で浮上した不要なバッファリングの問題は, バッファリング命令がストリームから無制限にアクセスできるメモリへのコピー命令の一種類のみであったことが主要な原因の一つであった. この問題を解決するため, 順序付き非線形型を導入することによって一時的バッファリングを実現し, 既存の木構造処理プログラムからストリーム処理プログラムへの変換の枠組みを改良した. これにより, 不要なバッファリングの問題を改善できることを実験により確認した.
XML の よ う な wooden structure を logical と し て hold つ テ キ ス ト デ ー タ の 処 account manage の way と し て は, そ の logical structure に base づ い て wooden structure 処 Richard と し て account す と る way, 1 yuan の テ キ ス ト デ ー タ と し て の に physical structure namely し た ス ト リ ー ム 処 Richard と し て account す る way が あ る. This study で は, who struck の long を あ わ せ も つ way と し て, ユ ー ザ に は wooden structure 処 Richard の プ ロ グ ラ ム を account さ せ, そ れ を ス ト リ ー ム 処 Richard プ ロ グ ラ ム に automatic variations in す る way に つ い を て research into め て い る. The とお achievements of this year are as follows: とお とお. 1. The XML with の ス ト リ ー ム 処 Richard プ ロ グ ラ ム generator X - P の have sharper sex の annual review 価 yesterday ま で に order to pay the linear type に base づ く XML with の ス ト リ ー ム 処 Richard プ ロ グ ラ ム generator X - P の have sharper sex の review 価 を line っ た. そ の results, Do not なバッファリ グが グが insert されるケ なバッファリ スが く く く く った った see った った った.2. Order type き of linear を pay い た transient バ ッ フ ァ リ ン グ 従 to の variations in の 枠 group み は, (1) the wood structure 処 Richard プ ロ グ ラ ム P に バ ッ フ ァ リ ン グ を scions into す る こ と に よ り, wood into force に left か ら shun に once だ け ア ク セ ス す る middle プ ロ グ ラ ム I に variations in し, の wooden structure in (2) I 処 Richard の た め の each command を ス ト リ ー ム 処 Richard command に replacement え て ス ト リ ー ム 処 Richard プ ロ グ ラ ム T を る, と い う 2 つ の variations in か ら constitute さ れ て い た. (1) の variations in で は, I pay type linear シ が order ス テ ム で type pay け さ れ る よ う に ソ ー ス プ ロ グ ラ ム P に バ ッ フ ァ リ ン グ を scions into す る こ と に よ っ て be presently さ れ て い た. Remember 1 の evaluation on 価 で float on し た don't な バ ッ フ ァ リ ン グ は の problem, バ ッ フ ァ リ ン グ command が ス ト リ ー ム か ら limitations without に ア ク セ ス で き る メ モ リ へ の コ ピ ー command の kind の み で あ っ た こ と が な main reason の a つ で あ っ た. こ の を solve す る た め, Order pay き type nonlinear を import す る こ と に よ っ て transient バ ッ フ ァ リ ン グ を be し, existing の wooden structure 処 Richard プ ロ グ ラ ム か ら ス ト リ ー ム 処 Richard プ ロ グ ラ ム へ の variations in の 枠 group み を improved し た. こ れ に よ り, don't な バ ッ フ ァ リ ン グ の problem を improve で き る こ と を be 験 に よ り confirm し た.
项目成果
期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Ordered Types for Stream Processing of Tree-Structured Data
用于树结构数据流处理的有序类型
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:Ryosuke Sato;Kohei Suenaga;Naoki Kobayashi
- 通讯作者:Naoki Kobayashi
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
基于有序线性类型的树处理程序转化为流处理程序
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Koichi Kodama;Kohei Suenaga and Naoki Kobayashi
- 通讯作者:Kohei Suenaga and Naoki Kobayashi
木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入
插入部分缓冲以从树处理程序转换为流处理程序
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子: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 }}
小林 直樹其他文献
理論計算機科学事典(8.3節「型に基づくプログラム検証」)
理论计算机科学百科全书(第8.3节“基于类型的程序验证”)
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
徳山 豪;小林 直樹 - 通讯作者:
小林 直樹
「大東亜」という倒錯-大城立裕『朝、上海に立ちつくす小説東亜同文書院』におけるジェンダー・トラブル
“大东亚”的曲解——大城达宏小说《东亚同文书院:清晨的上海》中的性别困境
- DOI:
- 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
小林 直樹;山崎淳;新城郁夫 - 通讯作者:
新城郁夫
小林 直樹的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('小林 直樹', 18)}}的其他基金
無住道暁と南宋代成立典籍に関する総合的研究
南宋武术道啸及正典综合研究
- 批准号:
23K00298 - 财政年份:2023
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
潜在的カビ毒産生菌種を利用したカビ毒生合成抑制メカニズムの解明
利用潜在的产霉菌毒素细菌物种阐明霉菌毒素生物合成抑制机制
- 批准号:
23K05081 - 财政年份:2023
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
偏光分光型マルチスペクトルカメラを用いた目視診断用画像システムの研究開発
偏振光谱多光谱相机视觉诊断成像系统的研究与开发
- 批准号:
23K11878 - 财政年份:2023
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Program Verification Based on Higher-Order Fixpoint Logic
基于高阶不动点逻辑的程序验证
- 批准号:
20H00577 - 财政年份:2020
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Program Verification Techniques for the AI Era
AI时代的程序验证技术
- 批准号:
20H05703 - 财政年份:2020
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (S)
遁世僧の宋刊仏書受容をめぐる説話伝承学的研究
宋代佛经接受传说的民间传说研究
- 批准号:
19K00299 - 财政年份:2019
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
表面ナノ構造を有する可視応答TiO2/p-InGaNヘテロ接合光電極の還元力評価
表面纳米结构可见光响应TiO2/p-InGaN异质结光电极还原能力评价
- 批准号:
20510101 - 财政年份:2008
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
ヒト免疫構築マウスをもちいた感染症モデルマウスの樹立および末梢T細胞分化の解析
人免疫构建小鼠传染病模型小鼠的建立及外周T细胞分化分析
- 批准号:
19700369 - 财政年份:2007
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
基于有序线性类型实现安全快速的大规模数据处理
- 批准号:
18049002 - 财政年份:2006
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
型システムとモデル検査の融合によるソフトウェア検証
类型系统和模型检查相结合的软件验证
- 批准号:
16650004 - 财政年份:2004
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Exploratory Research
相似海外基金
プログラム変換技術を活用する高性能科学技術計算向け高生産プログラミング環境
利用程序转换技术的高性能科学技术计算的高生产力编程环境
- 批准号:
20K11763 - 财政年份:2020
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
プログラム変換を用いたソフトウェアセキュリティの改善手法についての研究
基于程序转换的软件安全改进方法研究
- 批准号:
16K00019 - 财政年份:2016
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
最適化問題に対するアルゴリズムのプログラム変換による系統的な構成に関する研究
优化问题算法的程序转换系统配置研究
- 批准号:
08J02411 - 财政年份:2008
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for JSPS Fellows
計算再利用と投機実行のためのプログラム変換方式の研究
计算重用和推测执行的程序转换方法研究
- 批准号:
18650005 - 财政年份:2006
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Exploratory Research
プログラム変換による高性能・高信頼性ソフトウエアの自動生産の研究
通过程序转换自动生成高性能、高可靠性软件的研究
- 批准号:
04J01729 - 财政年份:2004
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for JSPS Fellows
広範囲なデータ型を対象とした機械的プログラム変換手法の確立
建立多种数据类型的机械程序转换方法
- 批准号:
16700029 - 财政年份:2004
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
プログラム変換技術による適応型ミドルウェアの研究
利用程序转换技术的自适应中间件研究
- 批准号:
04F04819 - 财政年份:2004
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for JSPS Fellows
操作的意味を保存するプログラム変換の研究
保留运行意义的程序转换研究
- 批准号:
14780251 - 财政年份:2002
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
定理証明システムによる型システムとプログラム変換の検証
使用定理证明系统验证类型系统和程序转换
- 批准号:
13780193 - 财政年份:2001
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
プログラム変換を中心とする、ごみ集め時間短縮(ごみ回避)システムの実装
实现以程序转换为中心的垃圾收集时间减少(垃圾避免)系统
- 批准号:
99J06282 - 财政年份:1999
- 资助金额:
$ 3.9万 - 项目类别:
Grant-in-Aid for JSPS Fellows