@book{total,
	author =	"伊藤 和人",
	yomi =		"Kazuto Itoh",
	title =		"{\LaTeX} トータルガイド",
	publisher =	"秀和システムトレーディング",
	year =		1991}
@book{latex,
	author =	"Leslie Lamport",
	title =		"A Document Preparation System {\LaTeX} User's Guide
			 \& Reference Manual",
	publisher = 	"Addison Wesley",
	address = 	"Reading, Massachusetts",
	year =		1986,
	note =		"（Cooke, E., et al.訳：文書処理システム {\LaTeX}，" #
			"アスキー出版局 (1990)）"}
@book{nodera,
	author =	"野寺 隆志",
	yomi =		"Takashi Nodera",
	title = 	"楽々 {\LaTeX}", 
	publisher =	"共立出版",
	year =		1990}
@book{okumura,
	author =	"奥村 晴彦",
	yomi =		"Haruhiko Okudera",
	title =		"{\LaTeX} 美文書作成入門",
	publisher =	"技術評論社",
	year =		1991}
@article{article1,
	author =	"桜井 貴文",
	yomi =		"Sakurai, Takafumi",
	title =		"直観主義論理と型理論",
	journal =	"情報処理",
	volume =	30,
	number =	6,
	pages =		"626--634",
	year =		1989}
@article{article2,
	author =	"野口 健一郎 and 大谷 真",
	yomi =		"Noguchi, K and Ohtani, M",
	title =		"OSIの実現とその課題",
	journal =	"情報処理",
	volume =	31,
	number =	9,
	pages =		"1235-1244",
	year =		1990}
@article{article3,
	author =	"Ssss Itoh and Nnnn Goto",
	title =		"An Adaptive Noiseless Coding for Sources with Big
			 Alphabet Size",
	journal =	"Trans. IEICE",
	volume =	"E74",
	number =	9,
	pages =		"2495--2503",
	year =		1991,
	month =		sep}
@article{article4,
	author =	"田中 {正次} and 村松 茂 and 山下 茂",
	yomi =		"Tanaka, S and Muramatsu, S and Yamashita, S",
	title =		"9段数7次陽的Runge-Kutta法の最適化について",
	journal =	"情報処理学会論文誌",
	volume =	33,
	number =	12,
	pages =		"1512--1526",
	year =		1992}
@article{article5,
	author =	"K. Abrahamson and N. Dadoun and " #
			"D. G. Kirkpatrick and T. Przytycka",
	title =		"A Simple Parallel Tree Contraction Algorithm",
	journal =	"J. Algorithms",
	volume =	10,
	number =	2,
	pages =		"287--302",
	year =		1989}
@article{article6,
	author =	"田中 {正次} and others",
	title =		"9段数7次陽的Runge-Kutta法の次数条件式の解について",
	journal =	"情報処理学会論文誌",
	volume =	33,
	number =	12,
	pages =		"1506--1511",
	year =		1992}

@book{book1,
	author =	"J. D. Foley and others",
	title =		"Computer Graphics --- Principles and Practice",
	series =	"System Programming Series",
	publisher =	"Addison-Wesley",
	address =	"Reading, Massachusetts",
	edition =	"2nd",
	year =		1990}
@book{book2,
	author =	"千葉 則茂 and 村岡 一信",
	yomi =		"Chiba, N. and Muraoka, K.",
	title =		"レイトレーシングCG入門",
	series =	"Information {\&} Computing",
	volume =	46,
	publisher =	"サイエンス社",
	year =		1990}
@book{book3,
	author =	"Chang, C. L. and Lee, R. C. T.",
	title =		"Symbolic Logic and Mechanical Theorem Proving",
	publisher =	"Academic Press",
	address =	"New York",
	year =		1973,
	note =		"（長尾真，辻井潤一訳: " #
			"計算機による定理の自動証明, " #
			"日本コンピュータ協会 (1983)）"}
@booklet{booklet1,
	author =	"新世代コンピュータ技術開発機構",
	title =		"第五世代コンピュータプロジェクトの概要",
	howpublished =	"{FGCS'92}にて配布",
	year =		1992}

@inbook{inbook1,
	author =	"Knuth, D. E.",
	title =		"Fundamental Algorithms",
	series =	"Art of Computer Programming",
	volume =	1,
	chapter =	2,
	pages =		"371--381",
	publisher =	"Addison-Wesley",
	address =	"Reading, Massachusetts",
	edition =	"2nd",
	year =		1973}

@incollection{incollection1,
	author =	"Schwartz, Aaaa Jjjj",
	title =		"Subdividing B{\'e}zier Curves and Surfaces",
	booktitle =	"Geometric Modeling: Algorithms and New Trends",
	editor =	"Farin, G. E.",
	publisher =	"SIAM",
	address =	"Philadelphia",
	pages =		"55--66",
	year =		1987}

@inproceedings{inproceedings1,
	author =	"Baraff, D",
	title =		"Curved Surfaces and Coherence for Non-penetrating
			 Rigid Body Simulation",
	booktitle =	"SIGGRAPH '90 Proceedings",
	pages =		"19--28",
	editor =	"Beach, R. J.",
	address =	"Dallas, Texas",
	organization =	"ACM",
	publisher =	"Addison-Wesley",
	year =		1990}

@manual{manual1,
	organization =	"Adobe Systems Inc.",
	title =		"PostScript Language Reference Manual",
	publisher =	"Addison-Wesley",
	address =	"Reading, Massachusetts",
	year =		1985}

@mastersthesis{mastersthesis1,
	author =	"山下 義行",
	yomi =		"Yamashita, Y",
	title =		"文脈自由文法への否定の導入",
	school =	"筑波大学大学院工学研究科",
	year =		1989}


@misc{misc1,
	author =	"斉藤 康己 and 中島 浩",
	title =		"{{\tt ipsjpapers.sty}}",
	note =		"（情報処理学会論文誌用スタイルファイル，" #
			"論文著者に配布）",
	year =		1995}

@phdthesis{phdthesis1,
	author =	"Weihl, W.",
	title =		"Specification and Implementation of
			 Atomic Data Types",
	school =	"MIT",
	address =	"Boston",
	year =		1984}

@proceedings{proceedings1,
	title =		"Proc. Intl. Conf. on Fifth Generation Computer
			 Systems",
	organization =	"Institute for New Generation Computer Technology",
	volume =	1,
	year =		1992}

@techreport{techreport1,
	author =	"Ihsakat Aredon",
	title =		"{\TeX} 独稽古",
	type =		"Seminar on Mathematical Sciences",
	number =	13,
	institution =	"Department of Mathematics, Keio University",
	address =	"Yokohama",
	year =		1989}

@unpublished{unpublished,
	author =	"情報処理学会論文誌編集委員会",
	title =		"{\LaTeX}による論文作成のガイド（第1版）",
	note =		"（論文著者に配布）",
	year =		1995}
