课题基金 / 基金详情

順序付き線形型に基づく安全かつ高速な大規模データ処理の実現

順序付き線形型に基づく安全かつ高速な大規模データ処理の実現
基于有序线性类型实现安全快速的大规模数据处理
批准号：
18049002
负责人：
小林 直樹
金额：
$1.86万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18049002/
关键词：
順序付き線形型木構造処理ストリーム処理プログラム変換バッファリングXML文書型

项目摘要

项目成果

小林 直樹的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本研究では,順序付き線形型理論に基づき,XML文書の木構造処理プログラムを効率のよいストリーム処理プログラムに自動変換するための枠組みの確立を目指している.本年度の成果は以下のとおり.1.XML文書の木構造処理プログラムからストリーム処理プログラムへの自動変換の枠組みの確立前年度までに確立していた2分木データを対象とした木構造処理プログラムからストリーム処理プログラムへの枠組みを拡張し,XML文書を対象として扱えるようにした.2.XML用ストリーム処理プログラム生成器X-Pの試作と評価上記1の枠組みに基づき,XML文書のための木構造処理プログラムからストリーム処理プログラムへの自動変換器X-Pを試作し,評価を行った.その結果,多くの例について1の枠組みが有効であることが確認できた.一方で,いくつかの例について,(1)無駄なバッファリング命令が挿入される,(2)文書型の情報を有効利用できていない,などの問題点が見つかった.3.バッファリングの自動挿入の改良ストリーム処理では,入力文書を一定の順序でしかアクセスできないため,上記1の枠組みでは,必要に応じて入力文書をバッファリングするようなストリーム処理プログラムが生成される.上記2の評価実験において,本来必要のないデータまでバッファリングされてしまう例が見つかったため,改良策として,入力木を部分的にバッファリングするための命令を追加し,自動変換の枠組みの再構築を始めた.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
XMLのためのストリーム処理プログラム生成器X-P
XML X-P 的流处理程序生成器
DOI： --
发表时间： 2007
期刊： PPL2007 論文集
影响因子： --
作者： [佐藤修二, 末永幸平, 小林直樹]
通讯作者： 小林直樹
無住道暁と南宋代成立典籍に関する総合的研究
  • 批准号：
    23K00298
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $1.41万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Osaka Metropolitan University
潜在的カビ毒産生菌種を利用したカビ毒生合成抑制メカニズムの解明
  • 批准号：
    23K05081
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.91万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Azabu University
偏光分光型マルチスペクトルカメラを用いた目視診断用画像システムの研究開発
  • 批准号：
    23K11878
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.08万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Saitama Medical University
Program Verification Techniques for the AI Era
  • 批准号：
    20H05703
  • 项目类别：
    Grant-in-Aid for Scientific Research (S)
  • 资助金额：
    $121.8万
  • 财政年份：
    2020
  • 负责人：
    小林 直樹
  • 依托单位：
    The University of Tokyo