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:
Author
Japanese:
白井瑞貴
,
森口草介
,
渡部卓雄
.
English:
Mizuki Shirai
,
Sosuke Moriguchi
,
Takuo Watanabe
.
Language
Japanese
Journal/Book name
Japanese:
English:
Volume, Number, Page
Published date
Sept. 12, 2023
Publisher
Japanese:
English:
Conference name
Japanese:
日本ソフトウェア科学会第40回大会
English:
JSSST 40th Annual Conference
Conference site
Japanese:
東京
English:
Abstract
プログラムの出力から入力を求めることを逆計算という.本論文では同期的データフロープログラミングにおける逆計算を扱う.特に,順計算と逆計算の両方を逐次的に行えるという性質を保証しながらプログラムを構成する手法について議論する.同期的データフロープログラムは,入力をすべて読んで出力を返して停止するのではなく,列として順に与えられる入力に対して出力を返し続ける必要がある.したがってその逆計算の手法は一般的なパラダイムのものと異なる.本論文では同期的データフロープログラミングのパラダイムを列の変換としてモデル化し,それに対する逐次的な逆計算の概念を定義する.さらに,逐次的な逆計算が可能なシステムを可逆関数を用いて構成する方法を定義することで,逐次的な逆計算のための制約を関数の可逆性に帰着する.この議論は逐次的な逆計算を保証する同期的データフロー言語の設計の指針になりうる.
©2007
Tokyo Institute of Technology All rights reserved.