Japanese
Home
Search
Horizontal Search
Publication Search
( Advanced Search )
Patent Search
( Advanced Search )
Research Highlight Search
( Advanced Search )
Researcher Search
Search by Organization
Support
FAQ
T2R2 User Registration
Doctoral thesis registration
Support/Contact
About T2R2
What's T2R2?
Operation Guidance
Leaflets
About file disclosure
Related Links
Tokyo Tech
STAR Search
NII IR Program
Home
>
Help
Publication Information
Title
Japanese:
同期的データフロープログラミングにおける逆計算の構成方式
English:
Construction of Inverse Computation in Synchronous Dataflow Programming
Author
Japanese:
白井瑞貴
,
森口草介
,
渡部卓雄
.
English:
Mizuki Shirai
,
Sosuke Moriguchi
,
Takuo Watanabe
.
Language
Japanese
Journal/Book name
Japanese:
コンピュータソフトウェア
English:
Computer Software
Volume, Number, Page
Vol. 41 No. 3 pp. 34-40
Published date
July 25, 2024
Publisher
Japanese:
日本ソフトウェア科学会
English:
JSSST
Conference name
Japanese:
English:
Conference site
Japanese:
English:
Abstract
プログラムの出力から入力を求めることを逆計算という.本論文では同期的データフロープログラミングにおける逆計算を扱い,特に,順計算と逆計算の両方を逐次的に行えるという性質を保証しながらプログラムを構成する手法について議論する.同期的データフロープログラムは,全ての入力を読み込んで出力を返して停止するのではなく,時間的な列として順に与えられる入力に対して出力を返し続けなければならない.したがってその逆計算の手法は一般的なパラダイムのものと異なる.本論文では同期的データフロープログラミングのパラダイムを列の変換としてモデル化し,それに対する逐次的な逆計算の概念を定義する.さらに,逐次的な逆計算が可能なシステムを単射部分関数を用いて構成する方法を定義することで,逐次的な逆計算のための制約を部分関数の単射性に帰着する.この議論は逐次的な逆計算を保証する同期的データフロー言語の設計の指針になりうる.
©2007
Tokyo Institute of Technology All rights reserved.