数式処理と数学研究への応用

(1)

数理解析研究所講究録 406

数式処理と数学研究への応用

京都大学数理解析研究所

1980 年 12 月

ズ /

5

7

(2)

RIMS Ko fe yu7Le ku 406

Formula Manipulation And Its Applications

for Mathematical Studies

kg as Kij 27O425O

et tg

jXJeqaufrthftrsM

December, l980

Research Institute for Mathematical Sciences

Kyoto University, Kyoto, Japan

(3)

1O

2●

3●

4 O

5O

/○

●

数氏処埋と数馳 % へ砿用

后碗隼/辣三門

・g80 年 9A4S-9 自 6a 研究つや表老一撚佑

目力ど

×{

へら

i 31 し」〆)1く...。...。..。。...。.ユ6ξ

ヘ

マズ貌蜘一強信数裾にどフ 7 の数武門望・…・………・…・・…

鋤 6 ノ貌栃行伽内達ρ召薮式処鵡立脚・ら見π線型磁実

ゑ

一一行下町逆行列一……・…………・…・…・……・3

索夫裡村尾篇一虚トゴ使励移野羊処理シズテあ . 25

ヒ

ろ《プラズマ祷劣ゆ康正数式三二護例

.... .. . .. 47

草穴物騎一才公惰緬咽の作図どそ緬煮化 .. . ...52

牽エ《裡鯛罷晦

ゑ戸

1

ラ含

骸太躍瘍含望看

一i一

(4)

7e

8e

9.

10,

u.

Seidenberg の循題ど麓ぜ解ぞ.・・…………・・…・…7・

伽塾夫フ胞隼婬

叙元多擁俸上の畜契湯耀論旙実氏処理・・……… 78 廓怯工人 1 奪茂物励灘望な , 蠣豫に霧療せ 3 試み

一呉又俊教才愛の疹裸一 .. …・………・・……93 9. 」K 教狸疏一萩席 MACSYMAのう勧碧例

一5段Runge-Kutta型to 5.X a le?7ft公勧分類辱一一。…

電甑研ア田平禮考膨望髪高夜ノ 1・野分菱

2 瞬謙を使う Runge-Kutta 墾公式の探稼 . ・・ 6

草人教裡綬 1 多脅嫉友

の

一 ■ユー

(5)

はし・y) に

(一一ネを、イき)

数取哩とその数二二、のπ用嘱π諜会はノ参和徐そ牛 0 名たらすだっ左が . 熱烈参討論か行われた

靴ユ年はとてノ数掌理は 2 激二等しノ撫 Z 碗磁力参ユ直具ヒ「 } N つてをち 7 の雁因は . 参こ・庭参量の署友やノイ吏

・、易竃端末装豊の告麟と . 計鞘瀞 1 の進震峻フ卿 r 多璽・

よつ1二♪8わ珪し5、

い一し■ t ・ at 多《の F 轄かあ 5 こと擁実で・ es る本舞覧鎌芝御覧下 t _坑ば .r[ _σ ) _珪 1 由毛自かも判月肘δジが / _叙 4 _{り二整}

理す(多と功のよフにぞわ曜しる

0 ノ

儀

.

彦死存φ奉系η不二見切イ皇

a

凹

a

筑帆」額の石

:

葡

』含こ ! 億房量あ仏耽をとの該り表禾の不・師

c碇來σ)使用7ab 識尊.榜の忌門家に限{}˜ ^耽て、^・た左あ. 手がま》hりをれ否ヵ・つたSG,5、

20 ん竣η己斐御購 1 よき†轄 1 二とつマ毛穴変てあ

ノ

縞の捨訴足ノ或 , 餅算欄芝力の猷ぎ緬

3 ρよ・、 s ・チ七一欄癸叉鋤・表脅縛し / 守伯由に

イ吏w憂匿い悶題

」こσ》うち 30 は . ラ裟ぎ処理、二限も『かし S δ ftmo タ』破に関す網題莇る啓飼 57 ・・グラ∠ } i 二 1 ち洪絃地

一一・1一一

(6)

( _融 3 _{♪乱だ佛訴} e ￥・臓勢子鞭聴毛のエたと

＼、つち災1}鋤タのカロリー茸/磁ミとともにノ噛ビ考疹けれ 5

添も参＼、課毯ビあ 3 フ

2.1 ニフ、てばノ計鞠疎取て . 有縫餅 != ( tc (

へ

勾†よう,と＼ゆ嬉馴、μ蓼で＼あ6 浮糖椥二言〃て銘、、

侵ξ

(L/1

トン

i

… 多窒・超邊ヒ

705)ld7

ノ鍾を

r,

入力て圭

5

ように繭易化し

て＼＼るフ S7 二 , 樗震檬がス駈℃で iz しわだ C) ヒいうイ多牲邸不餅飴の二三肉詰 } ^{二位蘇移とぎ} / 及

殴う断て,却二元/し右と周じ護り劫C しπ例旙 5 こ

》据ノ識易ノニ計導微

,=

πよ

5

ことの

/

き陰陛前ものて

10i 3

¿

/o

} ^撮も宗

9

蔭颯無あ

3tt

{ ^{と大、ギ欄発‡れ左}

体系, こ使、暢勾翻葎で鉱、＼い、う悲親論も勧であδ

ノリ

ドルういうヌ句ふう麺勧碧硫激ネ嶺 . 旗油鼠

ようと疑 { 謹解てぎ巨帆か_ノ 5、⊃と、、遜のノニ〈ま

如畝てゆ頗、、多 , 霜除〃伽化づ唾へπ湿り . 福ξ

1焔 1、b skいドくい 1軽 vs 旋h 易いか榔∈添い俸て,

い・つが不モの

a

・

e.oy.v

一」お亥いも恥

3

場今力、多い当今は

.

L151) の孝ノ 1家の協力9、qp、＼て使うしか挙い嚢弐ヌ5裡と

いつ勧写り為支q体蕊を「バカて＼モナヨ/て{(つ)」使え

うおに弱ノ吻 } よ∫＼・侃し将＼、づゾ功 6 ヲ」報輪

一2一

(7)

;か■して実ぎ労菱く才 }用でま多匪うずイ拳その閣・発さ三期蕎し彦1)

そ和二 1 ちイ 2 用勧、励・移ことかμ尋ノニ勢

しみ eeつ図σ図ハ川と1の左四侮」砕勧てき Z、疹

薪±ん齢規れは渉 e ケソ霞学磁鵡博のて超毛の

も遂、ゲ『〉ず出ε見9:3と号言tk-ZUる、本又のイ多IU二も見, ˜{}れ,

旬動 2

_ノ

爾処謹二超夫郵僻祇と、、う嚇ミリ謙ド劾一

_ノ

/) ・夢樽格て . 大・躰刀舞億ての劫黒円、 , 人ノ勝平坪

〈て芝5癖代,が毛っ来ている一こ沢は:/覆岸教毒1二も/駕禦

を民ぼ辻ギ5ぎえ参、、一。 E5 3 .〉

夷売カ・ζ 、こ才しまこ巌式タぐしε望ぽPgくの先巧区6ヲ妻帯かあ

・掬詫拘舛 . 四二博辮嫁巧ろ % 一つ四つた教岸祈昆への三一用は . ヨ本だけてなく . ∠含下界砂に毛 , ・表瞬

杉の次辱グ,2Z 靴もうがつ)♪手のつ 1 民縫、、聖域惨と

＼曲れワット・翫芦バーんそれ.ぱ,こ勅＼5の教岸看の態展,二よ

ゲZ どち{}˜ ^にて毛参5のゼあ 3フ.

ノ

本祈訟のエイ論としてはノて酪た麻勢の薮醤に関

/ 2b z #だき/理勧二 lspge ど凹いとしzt. か雀励

進タかあっだこと訴に . でモ勅ざ協カロリー講門中しだい

と考几る一欠第乙ある.

田本講諜

_ノ

1 鱗研鯵

_/

1 二耕評まこの…赫酬艦 4

起をがつだ

一3一

(8)

x4

役所 :s. 一一 ( 棄穴謹午身哩 ) 数弍ヌ尊直里の髪例と嗅欺

座周旦尺 (立扱尺一般著焔)扱式尺哩レ媚の陣鶴と

いう1酌;う {}˜ 勾∂5の周ノ題の巨

i 5¿ ˜{}rbと、P対語ゐ・い、か噛,舘訂論の貯凧♪二ξ伽孔

彦一: きこの講演Σ隼喪えした.:

金):ヨノ弄…工(名ブ〈7。・ラ,ス = ˜{}^■fi)日ノ奉てイ2¿Mでr乏δ薇Aご

ヌ匹浬ルステ∠ヘ

一一麗ぐ,橘(京穴嶽裡多斤) 薇ゴ(ヌさε望の更イ門

授看 } ^二 iS,(i )R 3 ぐ al 二忍所、幹濯「 3ff 詫戸でぎ来き万工れ左ノ

Q 青磁 ) 幽界穴・ページ ( イ ? リス ) の 1¿ ・γ瓢飢冷感の講演 K

塾1}^二iPプ〈・会て σ)}^→ea・しγし(J?・QCしし・(kのイ斧域右夕2更イ三

R 制 pc ・ o r ) 薇篠の示しだ翅 ll( 演習周題 )e イ wo cA

そ磁吠で、蔀猷働、 , 婚姻ノ撫物旗酵＼の

ノうこ用)二関八一.bE{ )方々ヘハチζノ芝霧として,投)二立っこと芝期汗才3もS¿ z N ISilる

何豹＼畷 , 寡助疏穀嚇 1 二 . 「 2S6 の e 財こん裾

勝古したもの補い・滅し5ように菱るこヒεひ勃巨無争くてゼ…話しい謡言芝矛出ろ、_ノ

(!(〒80i年11}『一.t2・つぎ)

一一一与一

数式処理と数学研究への応用

数理解析研究所講究録 406