2004-11-17 このパラグラフは一度書き直されています. 大学 大学院の講義(プログラム理論特論:亀山先生)のスライドを,制御構造を推論するときのことを考えて,ざっと目を通す.でも,強く型付けされた言語が対象だから,参考にしにくい.