プログラムの意味を深く分析し,専門家の転写でその意味を明らかにします.