Title 表紙・目次

Author(s)

Citation 数理解析研究所講究録 (2005), 1437

Issue Date 2005-06

URL http://hdl.handle.net/2433/47469

Right

Type Others

Textversion publisher

Kyoto University

ISSN1880-2818

数理解析研究所講究録1437

日､並′▲てヂ亡　　　1ナノ__ヒ▲ニ=ゝ三五1▲　三J▲於三ムー

1て双糸､形九百百百こ引昇軸

京都大学数理解析研究所

2005年6月

TlTl.′rl l′._し.一.._...J′‥　7　ノJつり7

月Jル狐)′ヽU<yUJUnUJサJ′

J7人〈L"川　r一..1._′_一.〃一､ハ∩　ハ†一Jr　′｢ハル∽･nH∫f′Yff′､一一

月JgCUrul｣Lu′唱`イugCJ L〃1LI LUJ′リノ山HHJ-LHノ′I

血乃e,2005

月egeαrCゐ血銅盤捏ねカr肋娩emα庇αJ滋ね乃Ceぷ

砂0わ【加わg作勧郎0わ,J卸α乃

ま　え　が　き

ナ/〔j辺上ヒ.藍巨JJ_　　n n　ハ　にノ白=r)Rlつ1口.､J`つ　つ　口とナ古都一一卜戦数1:田儀有史斥力手容石打｣..Vノ千匹口:帯-d､ヽ　ム　U U tノ｢｢∠■′1∠J　⊥　H　~　∠J U H t､~ノリヽ一HIJノヽ丁クシヽ′=EJ1TVI YI/uJノt

で行われた研究集会r代数系､形式言語と計算論｣における研究発表に基づくま､爪･市丸え　ーの宗#容健全けj賀只厄ドノ1/ポジウム｢代数.言語･計笠1肴■兼ねLJ　ヽ′ノ　ヽ.LJノ'Qノ○　　ヽ･･一･Y′l■ylノUフTi■-1～′~ノ1ィ､ノ　ト→　▼　▼　'▼　　▼　　′　-'

て開催され､代数系､言語理論､計算理論にかかわる様々な研究発表と討論が

行われた｡ここには､発表された30件の講演から26件の報告を収録して

いる｡

代数と計算科学が交錯する分野の研究の進展の一助となれば幸いである｡

TTlkv｡11-me.the鋸hDrOCeedingsofAlg:ebra.LanguagesandComputation,

contains26articleswhichwerepresentedinthemeetingheldffomFbbruary

21t｡23､2005inKyoto.They disc11SSSubjectswidelyrelatedto algebra,

coHibinatorics,formallangua,geS,autOmata,loglCandcomputation竃

2005年5月(May,2005)

小林　ゆう治(Y頑Ⅹobayashi)

東邦大学理学部Tb oUniversity)

′lゝ壌土▲てTF Tnく一一一撃･_妄言qr L壬｣▲憶忍ゝ

1ヽ猟プR､71ク孔≡ヨFFこ引界面田

山gebra,Language andConputa扇on

右打容儀仝劫峯塵ロ′I　/Llノ1､　▼q Tl入　りノTヽ■

2005年2月21日～2月23日

研究代表者　小林　ゆう治(Y房i Koも野aSh)

目　次

1.0nreciprocibTrelationbetweendplesystemsandbinaryalgebraい-…-…--M"-一

会津大　　　　　　　　　　　神谷　徳昭桝OdabK釘niya)

ZaragozaUniv･　　　　　　　Alberto Elduque

RQCh8SterUniY.　　　　　　　　大久保　進(SusumuOknbo)

2.SYmACTICMONOIDSANDLANGUAGES　-一一一一一一-"一一一一一一一-"--…一一--M暮一･--"----一一一一il

島根大･総合理工　　　　　　　三苫　晃勧汀甜町政iMitoma)

アブ　　　　　　　　　　　庄司　邦孝(K芯it蕊a馳毎i)

3,Endom叩hsmsofaModuleoveraV血如onDom血一一一一一一一一一…一一山一一一一一一一………一一一一…一一17

†虎甫-ト.=絹】　　　　　　　　　　　　　　右格　安行rHimⅥlkiIshibashi1ワ～ト司/ヽ　q

4.Fom血iz血onof血ev血血on血emy-…一一州-1-----…一一一一一一一････一一一一一一一一一一一一一一…一一一叩一一一一･･■･.一一一21

日大･理工　　　　　　　　　小林　英恒田idets皿eXobayaSbi)

職業能力開発総合大学校　　　　鈴木　秀男但ideOSu別最)

島根県立大　　　　　　　　　小野　陽子げOkoOno)

日大･理工　　　　　　　　　粟野　俊一(ShnichiK血0)

5.0nPossibleAxiomaticTheory伽rKinaseComputmg:

St封厄喝蝕mA衰ons一一一……一一州一一一一一一…一一一一一一一…一一一一…一一…一一一一一…一一…一一一一･一…一一…一一一一一一一一29

ATRネットワーク情報学研究所　Jian-Qin Liu

JJ　　　　　　　　　下原　勝意(K如SⅧ血Sh血0血a)

6.GendcBin血g鞄na加托い-…一一一t･･.一一一一一一一一一…t…一一一一一一一一一一…一一一一…一一…一一一一…一一･･･■一一一…一一一一一一37

情報通信併発機構　　　　　　田中　三貴即滋Tan読め

7.血叩6血孤thCOmp山訂Of血eBm血て訂Skip訂由0XOn血61ぬ叩OmtS

of血eplanい一一…･……一一一一一一一…-…一一一一一一岬一一一･一一一一一一一一一一i-i芦芦等三二==芋ヒ!!一日一一一一一一一一一一一…一一一川一一一一一一一45

玉川大･工　　　　　　　　　佐藤　健治匹endSata)0　｡,LACニ…嶋1〈′1がんAMnハi血J､1,品pjmモ邪d翼mi卯nllt)S__…__…-…___一一一一一一一…一一一一一一一53

くつ.　⊥11て71⊃11⊥ly▲りヽJ▲tly▲▲8▲LdDヽハ′▲~t､′､●''1-■~､】~tr　●~~~　~■-~Gr▼｢r~

愛知教育大　　　　　　　　金光　三男即血oK･弧e血sn)

q　黒血一十肝nherすer匹ra血S弧dembedd血血印remS･一一･…･一一･一一一一一一･一一…一･州一一…一･一…一日一一一t一一59ヽ′　■　　　{′■■■■~~~■▼~~▼~■~▼~~ロ~▼　くフ~11r~　~

情報通信研究機樟　　　　　　山村　明宏(A五地元oY狐弧びわ

10.We伽e知Econony00d6rAw∽眠SS一一一一一一一一一一一山義嘉一一一一一…山･一･一一一一一一･････……･･･一一････一一一一66

茨城工業高専　　　　　　　　松久　隆仲南血M如S血isわ

_1-

11.Represemitionofsuccessor一身peproo鼻血eoreticdlyregularordinalSvialimits　--…-M-72

京産大･理　　　　　　　　　　高木　理(OsamuT止水i)

12.Alg6b通cgenαdiz血onofro喝hs¢tS　一一…一一一1---…一一一"=一一一一一一一一一一一一一･一一一一一一一一丁一一一一一一…一一"-7$

東京電機大･情報環境　　　　　近藤　通朗(Micl血oKondo)

13.Comm甘t感veCloSWeOfLangn喝eS【一一･･一一一一一……一一一一一1------------一一1-t一一一一一一一一一一一…一一一一一一一一一S5

京産大･理　　　　　　　　　　伊藤　正美(Mas皿iIto)

14.CombinatorialstructureofgroupdivisibledesignsandtheirconstruCtionsM--------"-"--87

東邦大･理　　　　　　　　　　足立　智子汀omokoAdachi)

15.Homomorphicencryption免mCdonsandcryptographicprotocoIs　---一･一一一仙一叫叫7---""97

情報通信研究機構　　　　　　　山村　明宏(AkhimYむm狐nurわ

ComeniusUniv.　　　　　　　　　Ta銘anaJ毎C野0Va

情報通信研究機構　　　　　　　黒川　貴司汀故那hEhrokawa)

16.TheNP-COmpleteness ofEULEmANRECURRENTLENGTH"M-M-MM--M-"--107

岡山大･工　　　　　　　　　　神保　秀司(S輌iJ血bo)

〝　　　　　　　　　　　押柄　康明Ⅳ肌血iOsbie)

J/　　　　　　　　　　　橋口　攻三郎(Kos血woHa血i糾Ch)

17.Someremarksonordered*一grOuPOidsM--一一一-M---T-…一一一･･･---M--一一一-一一一M----一一M---"-116

島根大･総合理工　　　　　　　今岡　輝男汀肌0Imaoka)

JJ　　　　　　　　　　　磯辺　剛司汀SWOSbIsobe)

18.0NSOMEINTEGRALMONOIDRJNGS一一一一一-"-Z_E.____="---"---"-…--叩一一･･--一一一一-----119

岡山大･理　　　　　　　　　　平野　康之げ机y止iHir弧0)

19.TORICIDEALSANDCONTINGENCYTABLES　""一"_-__""_____.一一一一一"-_-"一一____122

立教大･理　　　　　　　　　　大杉　英史(Hid血miOhs喝i)

阪大･理学　　　　　　　　　　日比　孝之汀並a叩kimbi)

20,ArithneticalrankofStanley-Reisneridealsofsmal1a止血meticdegree　--""--一一"･一一一一-128

佐賀大･文化教育　　　　　　　寺井　直樹即aokiTerai)

21､0mWeierstrass7-Semigroups"-""一一一一一一一一一"---…"-一･一一一一-･･--一一･一一一-･-…･･一一"""""""136

神奈川工大　　　　　　　　　米田　二良(J卸oKom8da)

22.Ti血gsandFractals丘omPisotsnbsdhdo耶　一一叫一一一一一一一一叫一叩一一一一一一一叩-t一叩一一…暮一一一■･■･一一一145

金沢大･自然科学　　　　　　　伊藤　俊次(Sllu頭iIb)

23･Comm叫OnRitzvonHaeSeler'sp叩訂:"OnaproblemhI血madon

Dyn弧icsofC611ularA血Omaぱ`仙一一一一一一一一一山川…一一一叩一一一･･…一叩…一･一山一一一一一t-…一一一一一一一一一一一一155

元京大　　　　　　　　　　　西尾　英之助(hdenos血eNisuo)

24.AsoundandcompleteCPS-tranSl慮onfbr久世Calcuhs

-Extendedab5traCt-　-"-""JLM----…""_-M__..一一一･日･･｡.M__M_._______....,"___163

群馬大･工　　　　　　　　　藤田　憲悦匹孤･細山叫ita)

一之_

n E　　人　√1人勇二〈〈■､.仙人fp∧〈〈蠣【-‥吊÷nn｣rr｢ロわーd pq十九､,,tt J`.hm､rレ∈　"_"__…_HHH______叫________174

∠一　U･　ノ1ヽJU▲り9)Ll▲▲9U⊥摘)U]Duu)し▲▲■さヽJ▲▲■■dヽノ▲-u■▼'■リ　⊥1'ル''〉▲瓜け

ATRネットワーク情報学研究所　Jian-Qin　Liu

〃　　　　　　　　　下原　勝憲鱒如S皿OdSh血oh訂a)

26.M血Xtb朗y血om血evleWpOmtOfcelld訂弧tOmata　一一一一義一……一一一･t一一一一一一･…･･一･･…一一175

東洋大･工　　　　　　　　　　佐藤　忠一汀血止amS如0)

一3-