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

白井 瑞貴; Shirai Mizuki; 森口 草介; Moriguchi Sosuke; 渡部 卓雄; Watanabe Takuo

タイトル	同期的データフロープログラミングにおける逆計算の構成方式
その他のタイトル	Construction of Inverse Computation in Synchronous Dataflow Programming
作成者	白井, 瑞貴 Shirai, Mizuki 森口, 草介 Moriguchi, Sosuke 渡部, 卓雄 Watanabe, Takuo
アクセス権	metadata only access
内容注記	Other プログラムの出力から入力を求めることを逆計算という.本論文では同期的データフロープログラミングにおける逆計算を扱い，特に，順計算と逆計算の両方を逐次的に行えるという性質を保証しながらプログラムを構成する手法について議論する.同期的データフロープログラムは，全ての入力を読み込んで出力を返して停止するのではなく，時間的な列として順に与えられる入力に対して出力を返し続けなければならない.したがってその逆計算の手法は一般的なパラダイムのものと異なる.本論文では同期的データフロープログラミングのパラダイムを列の変換としてモデル化し，それに対する逐次的な逆計算の概念を定義する.さらに，逐次的な逆計算が可能なシステムを単射部分関数を用いて構成する方法を定義することで，逐次的な逆計算のための制約を部分関数の単射性に帰着する.この議論は逐次的な逆計算を保証する同期的データフロー言語の設計の指針になりうる. Other identifier:oai:t2r2.star.titech.ac.jp:50684990
出版者	日本ソフトウェア科学会 JSSST
日付	Created2024-01-10 , Issued2024-07
言語	jpn
資源タイプ	journal article
出版タイプ	NA
資源識別子	URI http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100907995
関連	isIdenticalTo DOI https://doi.org/10.11309/jssst.41.3_34
収録誌情報	コンピュータソフトウェア巻41 号No. 3 開始ページ34 終了ページ40
コンテンツ更新日時	2024-09-29