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