Home >

news 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: 
DOI https://doi.org/10.11309/jssst.41.3_34
Abstract プログラムの出力から入力を求めることを逆計算という.本論文では同期的データフロープログラミングにおける逆計算を扱い，特に，順計算と逆計算の両方を逐次的に行えるという性質を保証しながらプログラムを構成する手法について議論する.同期的データフロープログラムは，全ての入力を読み込んで出力を返して停止するのではなく，時間的な列として順に与えられる入力に対して出力を返し続けなければならない.したがってその逆計算の手法は一般的なパラダイムのものと異なる.本論文では同期的データフロープログラミングのパラダイムを列の変換としてモデル化し，それに対する逐次的な逆計算の概念を定義する.さらに，逐次的な逆計算が可能なシステムを単射部分関数を用いて構成する方法を定義することで，逐次的な逆計算のための制約を部分関数の単射性に帰着する.この議論は逐次的な逆計算を保証する同期的データフロー言語の設計の指針になりうる.

©2007 Institute of Science Tokyo All rights reserved.