R.Weyhrauch
プログラムの基礎理論と人工知能
1973年02月号