@inproceedings{weko_147952_1, author = "市川,祐輔 and 上田,和紀", title = "LA_003 後継関数を持つリスト型非線形再帰プログラムに対する再帰除去法(A分野:モデル・アルゴリズム・プログラミング)", booktitle = "情報科学技術レターズ", year = "2006", volume = "5", number = "", pages = "9--12", month = "aug" }