About MATSUMOTO KAZUO
About 大阪大 産科研
About KAKIZAKI KEN'ICHI
About 大阪大 産科研
About UEHARA KUNIAKI
About 大阪大 産科研
About TOYODA JUN'ICHI
About 大阪大 産科研
About 情報処理学会研究報告
About Prolog
About Language processors
About Prolog
About コンパイラ
About 非決定性
About 最適化