@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{total,
	author =	"伊藤 和人",
	yomi =		"Kazuto Itoh",
	title =		"{\LaTeX} トータルガイド",
	publisher =	"秀和システムトレーディング",
	year =		1991}
@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}
@article{article7,
	author =	"T. Yamakami",
	title =		"Exploratory Session Analysis in the Mobile
			 Clickstream",
	journal =	"IPSJ Digital Courier",
	volume =	3,
	pages =		"14-20",
	doi =		"10.2197/ipsjdc.3.14",
	year =		2007}
@article{article8,
	author =	"波多野 賢治 and 絹谷 弘子 and 吉川 正俊 and
			 植村 俊亮",
	title =		"XML文書検索システムにおける文書内容の統計量を" #
			"利用した検索対象部分文書の決定",
	journal =	"電子情報通信学会論文誌D",
	volume =	"J89-D",
	number =	3,
	pages =		"422-431",
	url =		"http://search.ieice.org/",
	year =		2006}

@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}

@inproceedings{inproceedings2,
	author =	"Hiroshi Nakashima and others",
	title =		"OhHelp: A Scalable Domain-Decomposing Dynamic
			 Load Balancing for Particle-in-Cell Simulations",
	booktitle =	"Proc.\ Intl.\ Conf. Supercomputing",
	year =		2009,
	pages =		"90-99",
	doi =		"http://doi.acm.org/10.1145/1542275.1542293"}

@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}

@webpage{webpage1,
	author =	"情報処理学会",
	title =		"コンピュータ博物館設立の提言",
	organization =	"情報処理学会",
	url =	"http://www.ipsj.or.jp/03somu/teigen/museum200702.html",
	refdate =	"2007-02-05"}

@webpage{webpage2,
	author =	"情報処理学会論文誌編集委員会",
	title =		"「情報処理学会論文誌（IPSJ Journal）」原稿執筆案内",
	organization =	"情報処理学会",
	url="http://www.ipsj.or.jp/08editt/journal/shippitsu/ronbunJ-prms.pdf",
	refdate =	"2010-10-28"}

@webpage{webpage3,
	author =	"Alan Kay",
	title =		"Welcome to Squeakland",
	organization =	"Squeakland",
	url =	"http://www.squeakland.org/community/biography/alanbio.html",
	refdate =	"2007-04-05"}

@webpage{webpage4,
	author =	"Hiroshi Nakashima",
	title =		"A {WEB} Page",
	organization =	"Kyoto University",
	url =	"http://www.para.media.kyoto-u.ac.jp/~nakashima/a.web.page.of.long.url/",
	refdate =	"2010-10-30"}

@webpage{webpage5,
	author =	"Hiroshi Nakashima",
	title =		"Another {WEB} Page",
	organization =	"Kyoto University",
	url =	"http://www.para.media.kyoto-u.ac.jp/~nakashima/a.web.page.of.much.longer.url/",
	refdate =	"2010-10-30"}