この分野で理論だけじゃなく実際のプログラミング言語で実装している入門書か専門書知らないですか？