Mercurial > hg > Papers > 2012 > sugi-prosym

comparison Paper/bibsample.bib @ 0:58c6244a184d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
programming symposium
author e095732 <e095732@ie.u-ryukyu.ac.jp>
date Thu, 15 Nov 2012 19:20:01 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:58c6244a184d
1 @book{total,
2 author = "伊藤 和人",
3 yomi = "Kazuto Itoh",
4 title = "{\LaTeX} トータルガイド",
5 publisher = "秀和システムトレーディング",
6 year = 1991}
7 @book{latex,
8 author = "Leslie Lamport",
9 title = "A Document Preparation System {\LaTeX} User's Guide
10 \& Reference Manual",
11 publisher = "Addison Wesley",
12 address = "Reading, Massachusetts",
13 year = 1986,
14 note = "(Cooke, E., et al.訳：文書処理システム {\LaTeX}，" #
15 "アスキー出版局 (1990))"}
16 @book{nodera,
17 author = "野寺 隆志",
18 yomi = "Takashi Nodera",
19 title = "楽々 {\LaTeX}",
20 publisher = "共立出版",
21 year = 1990}
22 @book{okumura,
23 author = "奥村 晴彦",
24 yomi = "Haruhiko Okudera",
25 title = "{\LaTeX} 美文書作成入門",
26 publisher = "技術評論社",
27 year = 1991}
28 @article{article1,
29 author = "桜井 貴文",
30 yomi = "Sakurai, Takafumi",
31 title = "直観主義論理と型理論",
32 journal = "情報処理",
33 volume = 30,
34 number = 6,
35 pages = "626--634",
36 year = 1989}
37 @article{article2,
38 author = "野口 健一郎 and 大谷 真",
39 yomi = "Noguchi, K and Ohtani, M",
40 title = "OSIの実現とその課題",
41 journal = "情報処理",
42 volume = 31,
43 number = 9,
44 pages = "1235-1244",
45 year = 1990}
46 @article{article3,
47 author = "Ssss Itoh and Nnnn Goto",
48 title = "An Adaptive Noiseless Coding for Sources with Big
49 Alphabet Size",
50 journal = "Trans. IEICE",
51 volume = "E74",
52 number = 9,
53 pages = "2495--2503",
54 year = 1991,
55 month = sep}
56 @article{article4,
57 author = "田中 {正次} and 村松 茂 and 山下 茂",
58 yomi = "Tanaka, S and Muramatsu, S and Yamashita, S",
59 title = "9段数7次陽的Runge-Kutta法の最適化について",
60 journal = "情報処理学会論文誌",
61 volume = 33,
62 number = 12,
63 pages = "1512--1526",
64 year = 1992}
65 @article{article5,
66 author = "K. Abrahamson and N. Dadoun and " #
67 "D. G. Kirkpatrick and T. Przytycka",
68 title = "A Simple Parallel Tree Contraction Algorithm",
69 journal = "J. Algorithms",
70 volume = 10,
71 number = 2,
72 pages = "287--302",
73 year = 1989}
74 @article{article6,
75 author = "田中 {正次} and others",
76 title = "9段数7次陽的Runge-Kutta法の次数条件式の解について",
77 journal = "情報処理学会論文誌",
78 volume = 33,
79 number = 12,
80 pages = "1506--1511",
81 year = 1992}
82
83 @book{book1,
84 author = "J. D. Foley and others",
85 title = "Computer Graphics --- Principles and Practice",
86 series = "System Programming Series",
87 publisher = "Addison-Wesley",
88 address = "Reading, Massachusetts",
89 edition = "2nd",
90 year = 1990}
91 @book{book2,
92 author = "千葉 則茂 and 村岡 一信",
93 yomi = "Chiba, N. and Muraoka, K.",
94 title = "レイトレーシングCG入門",
95 series = "Information {\&} Computing",
96 volume = 46,
97 publisher = "サイエンス社",
98 year = 1990}
99 @book{book3,
100 author = "Chang, C. L. and Lee, R. C. T.",
101 title = "Symbolic Logic and Mechanical Theorem Proving",
102 publisher = "Academic Press",
103 address = "New York",
104 year = 1973,
105 note = "(長尾真，辻井潤一訳: " #
106 "計算機による定理の自動証明, " #
107 "日本コンピュータ協会 (1983))"}
108 @booklet{booklet1,
109 author = "新世代コンピュータ技術開発機構",
110 title = "第五世代コンピュータプロジェクトの概要",
111 howpublished = "{FGCS'92}にて配布",
112 year = 1992}
113
114 @inbook{inbook1,
115 author = "Knuth, D. E.",
116 title = "Fundamental Algorithms",
117 series = "Art of Computer Programming",
118 volume = 1,
119 chapter = 2,
120 pages = "371--381",
121 publisher = "Addison-Wesley",
122 address = "Reading, Massachusetts",
123 edition = "2nd",
124 year = 1973}
125
126 @incollection{incollection1,
127 author = "Schwartz, Aaaa Jjjj",
128 title = "Subdividing B{\'e}zier Curves and Surfaces",
129 booktitle = "Geometric Modeling: Algorithms and New Trends",
130 editor = "Farin, G. E.",
131 publisher = "SIAM",
132 address = "Philadelphia",
133 pages = "55--66",
134 year = 1987}
135
136 @inproceedings{inproceedings1,
137 author = "Baraff, D",
138 title = "Curved Surfaces and Coherence for Non-penetrating
139 Rigid Body Simulation",
140 booktitle = "SIGGRAPH '90 Proceedings",
141 pages = "19--28",
142 editor = "Beach, R. J.",
143 address = "Dallas, Texas",
144 organization = "ACM",
145 publisher = "Addison-Wesley",
146 year = 1990}
147
148 @manual{manual1,
149 organization = "Adobe Systems Inc.",
150 title = "PostScript Language Reference Manual",
151 publisher = "Addison-Wesley",
152 address = "Reading, Massachusetts",
153 year = 1985}
154
155 @mastersthesis{mastersthesis1,
156 author = "山下 義行",
157 yomi = "Yamashita, Y",
158 title = "文脈自由文法への否定の導入",
159 school = "筑波大学大学院工学研究科",
160 year = 1989}
161
162
163 @misc{misc1,
164 author = "斉藤 康己 and 中島 浩",
165 title = "{{\tt ipsjpapers.sty}}",
166 note = "(情報処理学会論文誌用スタイルファイル，" #
167 "論文著者に配布)",
168 year = 1995}
169
170 @phdthesis{phdthesis1,
171 author = "Weihl, W.",
172 title = "Specification and Implementation of
173 Atomic Data Types",
174 school = "MIT",
175 address = "Boston",
176 year = 1984}
177
178 @proceedings{proceedings1,
179 title = "Proc. Intl. Conf. on Fifth Generation Computer
180 Systems",
181 organization = "Institute for New Generation Computer Technology",
182 volume = 1,
183 year = 1992}
184
185 @techreport{techreport1,
186 author = "Ihsakat Aredon",
187 title = "{\TeX} 独稽古",
188 type = "Seminar on Mathematical Sciences",
189 number = 13,
190 institution = "Department of Mathematics, Keio University",
191 address = "Yokohama",
192 year = 1989}
193
194 @unpublished{unpublished,
195 author = "情報処理学会論文誌編集委員会",
196 title = "{\LaTeX}による論文作成のガイド(第1版)",
197 note = "(論文著者に配布)",
198 year = 1995}