Rodhos Soft
id:KatagiriSo
よさげなリンク
情報理論 プログラム理論特論(2004) スライド Theory of Programs