市川祐輔 (Yusuke Ichikawa) - マイポータル

基本情報

先使用権の立証のための証拠保全手法に関するフレームワーク

市川祐輔

情報処理学会研究報告、ＥＩＰ 38 9-15 2007年
Recursion Removal from Recursive Programs with Only One Descent Function

Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura

IEICE Trans. Inf.＆Syst E88-D(2) 187-196 2005年
Recursion Removal from Recursive Programs with Only One Descent Function

Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura

IEICE Trans. Inf.＆Syst E88-D(2) 187-196 2005年
Unified approach to Recursion Removal, Logarithmic Iteration, and Loop Elimination for a class of Non-Linear Recursive Programs.

Yuusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura

International Workshop on Program Understanding 18-28 2003年
Unified approach to Recursion Removal, Logarithmic Iteration, and Loop Elimination for a class of Non-Linear Recursive Programs.

Yuusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura

International Workshop on Program Understanding 18-28 2003年
単一後継関数を持つ再帰プログラムからの再帰除去及び閉式化

市川祐輔, 小西善二郎, 二村良彦

FIT2002情報科学技術レターズ 1(1) 27-28 2002年
後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法

市川祐輔, 上田和紀

FIT2006情報科学技術レターズ