report.bib

% This file was created with JabRef 2.6.
% Encoding: UTF8

@BOOK{John_Jeffrey_Rajeev_野崎_町田_高橋_山崎200304,
  title = {オートマトン言語理論 計算論〈1〉 (Information \& Computing)},
  publisher = {サイエンス社},
  year = {2003},
  author = {J. ホップクロフト and J. ウルマン and R. モトワニ},
  edition = {第2版},
  month = {4},
  isbn = {9784781910260},
  price = {￥ 2,940},
  timestamp = {2010.11.02},
  totalpages = {337},
  url = {http://amazon.co.jp/o/ASIN/4781910262/}
}

@BOOK{Gerald_Julie_Harold_和田200002,
  title = {計算機プログラムの構造と解釈},
  publisher = {ピアソンエデュケーション},
  year = {2000},
  author = {ジェラルド・ジェイ サスマン and ジュリー サスマン and ハロルド エイブルソン},
  edition = {第2版},
  month = {2},
  isbn = {9784894711631},
  owner = {sho},
  price = {￥ 4,830},
  timestamp = {2010.12.01},
  totalpages = {409},
  url = {http://amazon.co.jp/o/ASIN/489471163X/}
}

@BOOK{波雄1972,
  title = {オートマトン・言語理論 (1972年) (情報工学講座〈6〉)},
  publisher = {コロナ社},
  year = {1972},
  author = {本多 波雄},
  asin = {B000JA28BK},
  price = {￥ 1},
  timestamp = {2010.11.03},
  totalpages = {258},
  url = {http://amazon.co.jp/o/ASIN/B000JA28BK/}
}

@MISC{桔梗宏孝2005,
  author = {桔梗宏孝},
  title = {オートマトンと形式言語},
  howpublished = {\url{http://kurt.scitec.kobe-u.ac.jp/~kikyo/lec/05/automaton/autom1.pdf}},
  month = {10},
  year = {2005},
  timestamp = {2010.11.03}
}

@BOOK{一松_浦198301,
  title = {電子計算機基礎講座 (11)},
  publisher = {共立出版},
  year = {1983},
  editor = {一松 信 and 浦 昭二},
  month = {1},
  isbn = {9784320020511},
  price = {￥ 4,200},
  timestamp = {2010.11.03},
  totalpages = {258},
  url = {http://amazon.co.jp/o/ASIN/4320020510/}
}

@MISC{b,
  title = {5．チューリングマシンと計算},
  howpublished = {\url{http://www.akita-pu.ac.jp/system/elect/comp1/kusakari/japanese/teaching/InfoMath/2005/note/5/5.ppt}},
  timestamp = {2010.11.08}
}

@MISC{power_set,
  title = {集合系(集合族)・ベキ集合},
  howpublished = {\url{http://www.ne.jp/asahi/search-center/internationalrelation/mathWeb/Sets/PowerSetSyugoKei.htm}},
  timestamp = {2010.11.02}
}

@MISC{wikipedia,
  title = {Wikipedia},
  howpublished = {\url{http://ja.wikipedia.org/wiki/}},
  timestamp = {2010.10.31}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}