Home >

news ヘルプ

論文・著書情報


タイトル
和文:同期的データフロープログラミングにおける逆計算の構成方式 
英文:Construction of Inverse Computation in Synchronous Dataflow Programming 
著者
和文: 白井瑞貴, 森口草介, 渡部卓雄.  
英文: Mizuki Shirai, Sosuke Moriguchi, Takuo Watanabe.  
言語 Japanese 
掲載誌/書名
和文:コンピュータソフトウェア 
英文:Computer Software 
巻, 号, ページ Vol. 41       
出版年月 2024年4月1日 
出版者
和文:日本ソフトウェア科学会 
英文:JSSST 
会議名称
和文: 
英文: 
開催地
和文: 
英文: 
アブストラクト プログラムの出力から入力を求めることを逆計算という.本論文では同期的データフロープログラミングにおける逆計算を扱い，特に，順計算と逆計算の両方を逐次的に行えるという性質を保証しながらプログラムを構成する手法について議論する.同期的データフロープログラムは，全ての入力を読み込んで出力を返して停止するのではなく，時間的な列として順に与えられる入力に対して出力を返し続けなければならない.したがってその逆計算の手法は一般的なパラダイムのものと異なる.本論文では同期的データフロープログラミングのパラダイムを列の変換としてモデル化し，それに対する逐次的な逆計算の概念を定義する.さらに，逐次的な逆計算が可能なシステムを単射部分関数を用いて構成する方法を定義することで，逐次的な逆計算のための制約を部分関数の単射性に帰着する.この議論は逐次的な逆計算を保証する同期的データフロー言語の設計の指針になりうる.

©2007 Tokyo Institute of Technology All rights reserved.