About GAO T
About Univ. Tsukuba, Ibaraki, JPN
About HOSONO C
About Univ. Tsukuba, Ibaraki, JPN
About YAMANAKA K
About NTT Software Lab., Tokyo, JPN
About Fundamenta Informaticae
About program transformation
About Theory of computation
About CSP
About 解析
About 意味論