@book{total,
	author =	"$B0KF#(B $BOB?M(B",
	yomi =		"Kazuto Itoh",
	title =		"{\LaTeX} $B%H!<%?%k%,%$%I(B",
	publisher =	"$B=(OB%7%9%F%`%H%l!<%G%#%s%0(B",
	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.$BLu!'J8=q=hM}%7%9%F%`(B {\LaTeX}$B!$(B" #
			"$B%"%9%-!<=PHG6I(B (1990))"}
@book{nodera,
	author =	"$BLn;{(B $BN4;V(B",
	yomi =		"Takashi Nodera",
	title = 	"$B3Z!9(B {\LaTeX}", 
	publisher =	"$B6&N)=PHG(B",
	year =		1990}
@book{okumura,
	author =	"$B1|B<(B $B@2I'(B",
	yomi =		"Haruhiko Okudera",
	title =		"{\LaTeX} $BH~J8=q:n@.F~Lg(B",
	publisher =	"$B5;=QI>O@<R(B",
	year =		1991}
@article{article1,
	author =	"$B:y0f(B $B5.J8(B",
	yomi =		"Sakurai, Takafumi",
	title =		"$BD>4Q<g5AO@M}$H7?M}O@(B",
	journal =	"$B>pJs=hM}(B",
	volume =	30,
	number =	6,
	pages =		"626--634",
	year =		1989}
@article{article2,
	author =	"$BLn8}(B $B7r0lO:(B and $BBgC+(B $B??(B",
	yomi =		"Noguchi, K and Ohtani, M",
	title =		"OSI$B$N<B8=$H$=$N2]Bj(B",
	journal =	"$B>pJs=hM}(B",
	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 =	"$BEDCf(B {$B@5<!(B} and $BB<>>(B $BLP(B and $B;32<(B $BLP(B",
	yomi =		"Tanaka, S and Muramatsu, S and Yamashita, S",
	title =		"9$BCJ?t(B7$B<!M[E*(BRunge-Kutta$BK!$N:GE,2=$K$D$$$F(B",
	journal =	"$B>pJs=hM}3X2qO@J8;o(B",
	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 =	"$BEDCf(B {$B@5<!(B} and others",
	title =		"9$BCJ?t(B7$B<!M[E*(BRunge-Kutta$BK!$N<!?t>r7o<0$N2r$K$D$$$F(B",
	journal =	"$B>pJs=hM}3X2qO@J8;o(B",
	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 =	"$B@iMU(B $BB'LP(B and $BB<2,(B $B0l?.(B",
	yomi =		"Chiba, N. and Muraoka, K.",
	title =		"$B%l%$%H%l!<%7%s%0(BCG$BF~Lg(B",
	series =	"Information {\&} Computing",
	volume =	46,
	publisher =	"$B%5%$%(%s%9<R(B",
	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 =		"($BD9Hx??!$DT0f=a0lLu(B: " #
			"$B7W;;5!$K$h$kDjM}$N<+F0>ZL@(B, " #
			"$BF|K\%3%s%T%e!<%?6(2q(B (1983))"}
@booklet{booklet1,
	author =	"$B?7@$Be%3%s%T%e!<%?5;=Q3+H/5!9=(B",
	title =		"$BBh8^@$Be%3%s%T%e!<%?%W%m%8%'%/%H$N35MW(B",
	howpublished =	"{FGCS'92}$B$K$FG[I[(B",
	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 =	"$B;32<(B $B5A9T(B",
	yomi =		"Yamashita, Y",
	title =		"$BJ8L.<+M3J8K!$X$NH]Dj$NF3F~(B",
	school =	"$BC^GHBg3XBg3X1!9)3X8&5f2J(B",
	year =		1989}


@misc{misc1,
	author =	"$B@FF#(B $B9/8J(B and $BCfEg(B $B9@(B",
	title =		"{{\tt ipsjpapers.sty}}",
	note =		"($B>pJs=hM}3X2qO@J8;oMQ%9%?%$%k%U%!%$%k!$(B" #
			"$BO@J8Cx<T$KG[I[(B)",
	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} $BFH7N8E(B",
	type =		"Seminar on Mathematical Sciences",
	number =	13,
	institution =	"Department of Mathematics, Keio University",
	address =	"Yokohama",
	year =		1989}

@unpublished{unpublished,
	author =	"$B>pJs=hM}3X2qO@J8;oJT=80Q0w2q(B",
	title =		"{\LaTeX}$B$K$h$kO@J8:n@.$N%,%$%I(B($BBh(B1$BHG(B)",
	note =		"($BO@J8Cx<T$KG[I[(B)",
	year =		1995}