凝
ジ n ぐ ・数理徽研究所 r 囑 59 ・鯛・ 1 ワ
{} ˜ 処理済
数理解析研究所講究録二 486
数式処理と数学研究への応用
う も
禁帯颪 1 薪爾
58 。 6 ユ 3 一一 6.20
望郷図書室 胎
(
ク 「
ゴゆか
京都大学数理解析研究所 1983 年 4 月
o 〃
1●
2●
3●
4.
5.
京都大学
84056699
数式処理と数塩艦への応用 図書
研免集会報知集 数理解析研究所
lg83賃1月20日一1】目22日
遅 研究代表着 一紘桔 (sin Hi 七・七 umatu)
目 次
「数 A 処理と数凱磯への応用」石酸集会 しさしがき ・
勲章敷理覇 一三信 (Sin Hit・tumatu) 数式処理に,,S るソりトン方程式の転落 .. ..4
広戸エ 広田裏老(Ry・g・Hir・七 a)
へ
不定方程式の P 一進解宏とその応用.. . ...11
東; に理 村尾=裕一 (Hir・kazu Mura・)
都畝理 古))i 昭夫 (Akio Furukawa)
BY-PRS AND AN EXTENS工ON OF SUBRESUI,TANT THEORY ... 27
理研 イ散木三略(Ta七 eaki Sasaki) ES iK 理 声)i l 昭丸(Aki・Furukawa)
塵立臣舘微賄程式の形回覧級数解の
」立く)K}†算払 ...。...。. 49 電豊穴 藤:.lla 魯朗 (Tetur・Huzise)
一i
6.
7・
8.
9・
IOe
ll.
司F 縁形方程式の解…法。...。...67 日夫生産工 平野苞保(Sugayasu Hiran・)
亀A光雄(Mit su・Kamei) 布広永示(Ei」i Nun・hir・)
Weierstrass Points on Curves of Fermat Type ... 85
日 (理工 i)・ 三災恒 (Hidetsune K。bayashi:
ノ N・ンルベエ型方程式有理関数解を是工商る移項武の
既 a 勺性についての計箪檎じよる予旭 ...94 愛媛穴エ 亀高堅塁 (Y ・ shin ・ ri Kame 七 aka 〕
Notes on a Method :fo:P Describing Defini七iOns TheOrems, Proofs in Mathema七ics ...。...。..。.。..。..。...。 gg
慶応夫理工 石}li 史郎(Shir・エshikawa) 一永田守男(M・ri・Naga 七a) 数式,のク ラフ6・ソクテ 4スフ。しづ1二よる出力1...の。.120
電総扁 泥吉文男(Fumi・M・t・y・shユ)
COSMOS: A Conversational Algebraic System ...・.・e・ 124
慶応匁理工 永田守男 (M・ri・Naga七a) 柴山誠(Mak・t・Shibayama)
の
一 ■=L一・
l2.
l3
.
l4.
l5·
DESIGN OF A GENERAL COMPUTER ALGEBRA SYSTEM ... I54
;ES}Eii 5EQJF- S fig (Tateaki Sasaki)
;IPmSl9X Xii& g skS (shunro watanabe) ESik !Eljl S )” Ba k(Akio Furukawa)
i¿9N’AZCP¿kdi iMstnrg t= blsn6 XE’S)SiS51t ··e···e· i66 gftXK Z *2E. IZ va (Shigetoshi Katsura)
i￥i2 1¡- ;igi 2iN (sumiyoshi Fujiki) IZ. 5)¡. IE?ftk’{l (Toshiyuki suenaga) A)2 ljl} un (Akira Matsuno)
Phase diagram of a spin glass of EupSrl-pS . · .. · . ·· . · . 176
gEt tt3 )¡ 1 Bi. Sl. SCIIv (Shigetoshi Katsura) Aza ljl? an (Akira Matsuno)
ti :ISEue 2g¡A ZSS Ig =.1 ’J’ ASto ¡’.Z ... · .... i95 jkK )¡ { S!?vi ￥ 5Jr;Xte¿g- ¡62 Ea JeRkilE- (yasumasa Kanada)
k
- Ul -
