同期的データフロープログラミングにおける逆計算の構成方式

白井瑞貴; 森口草介; 渡部卓雄

論文・著書情報

タイトル

和文:	同期的データフロープログラミングにおける逆計算の構成方式
英文:

著者

和文:	白井瑞貴, 森口草介, 渡部卓雄.
英文:	Mizuki Shirai, Sosuke Moriguchi, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2023年9月12日

出版者

和文:
英文:

会議名称

和文:	日本ソフトウェア科学会第40回大会
英文:	JSSST 40th Annual Conference

開催地

和文:	東京
英文:

アブストラクト

プログラムの出力から入力を求めることを逆計算という．本論文では同期的データフロープログラミングにおける逆計算を扱う．特に，順計算と逆計算の両方を逐次的に行えるという性質を保証しながらプログラムを構成する手法について議論する．同期的データフロープログラムは，入力をすべて読んで出力を返して停止するのではなく，列として順に与えられる入力に対して出力を返し続ける必要がある．したがってその逆計算の手法は一般的なパラダイムのものと異なる．本論文では同期的データフロープログラミングのパラダイムを列の変換としてモデル化し，それに対する逐次的な逆計算の概念を定義する．さらに，逐次的な逆計算が可能なシステムを可逆関数を用いて構成する方法を定義することで，逐次的な逆計算のための制約を関数の可逆性に帰着する．この議論は逐次的な逆計算を保証する同期的データフロー言語の設計の指針になりうる．

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報