ICHIKAWA Y について
Waseda Univ., Tokyo, JPN について
KONISHI Z について
Waseda Univ., Tokyo, JPN について
FUTAMURA Y について
Waseda Univ., Tokyo, JPN について
IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers) について
プログラム理論 について
計算の複雑さ について
計算理論 について
下降 について
関数 について
再帰性 について