About FUTAMURA Y
About Waseda Univ.
About KONISHI Z
About Waseda Univ.
About MAEHO K
About Waseda Univ.
About KAWABE M
About Waseda Univ.
About 日本ソフトウエア科学会大会論文集
About partial computation
About computational complexity
About Theory of computation
About Symbol manipulation
About 部分計算法
About 自動生成