検索結果を絞り込む
宮前, 海里, 青戸, 等人 情報処理学会論文誌プログラミング(PRO) 14 (2), 1-14, 2021-05-12
...等式集合である再帰式表現を用いて記述することができる.正則項の単一化について岩見と青戸(2012)によって以下が示されている.(1)再帰式表現の解が再帰式表現の最汎単一化子である.(2)正則項の単一化子が再帰式表現から構成できる等式の単一化子と対応する.本論文ではこれらの結果を圏論を用いて一般化する.正則項の圏論を用いた定式化について,Aczelら(2003)は,反復可能な関手によって特徴付けられる終余代数...
情報処理学会
潮 俊光, 神志那 純 システム/制御/情報 57 (1), 43-50, 2013
DOI Web Site 参考文献15件