このパラグラフは一度書き直されています.

大学院の講義(プログラム理論特論:亀山先生)のスライドを,制御構造を推論するときのことを考えて,ざっと目を通す.

でも,強く型付けされた言語が対象だから,参考にしにくい.