@article{oai:ipsj.ixsq.nii.ac.jp:00016542,
 author = {海老原, 一郎 and Ichirou, Ebihara},
 issue = {SIG16(PRO31)},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Oct},
 note = {本発表では，任意の関数についてそれぞれ，その関数と等価な関数を計算可能な最大の範囲で半決定する手続きが存在することを示す．そういう手続きには，等価な関数を認識する範囲に原理的な限界が存在することも示す．また，関数の同値類への帰属問題が，上への1対1写像により，任意の別の関数の別の同値類への帰属問題と同型になることも示す．, In this presentation it is shown that there are respective procedures which semidecide equality between a fixed function and other functions to the limit of computability, and that there is a theoretical limit for such kind of procedures.  It is also shown that a problem to determine whether a function belongs to an equivalence class of functions is isomorphic to a problem to determine whether another function belongs to another equivalence class of functions.},
 pages = {90--90},
 title = {プログラムの等価性を半決定する関数についての考察},
 volume = {47},
 year = {2006}
}