2005年6月

全文

(1)ISSN1880‑2818. 数理解析研究所講究録1437. 日､並′▲てヂ亡. 1ナノ̲̲ヒ▲ニ=ゝ三五1▲. 三J▲於三ムー. 1て双糸､形九百百百こ引昇軸. 京都大学数理解析研究所 2005年6月.

(2) 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卸α乃.

(3) ま. ナ/〔j辺上ヒ.藍巨JJ̲ ｣..Vノ千匹口:帯‑d､ヽ. n n ム. ハ. え. が. にノ白=r)Rlつ1口.､J̀つ. U U tノ｢｢∠■′1∠J. ⊥. H. き. つ. 口とナ古都一一卜戦数1:田儀有史斥力手容石打. ∠J U H t､ノリヽ一HIJノヽ丁クシヽ′=EJ1TVI YI/uJノt. で行われた研究集会r代数系､形式言語と計算論｣における研究発表に基づくま､爪･市丸え LJ. ヽ′ノ. ヽ.LJノ'Qノ○. ーの宗#容健全けj賀只厄ドノ1/ポジウム｢代数.言語･計笠1肴■兼ね. ヽ･･一･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).

(4) ′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"‑一. 会津大. 神谷. ZaragozaUniv･ RQCh8SterUniY.. Alberto Elduque 大久保進(SusumuOknbo). 2.SYmACTICMONOIDSANDLANGUAGES. 徳昭桝OdabK釘niya). ‑一一一一一一‑"一一一一一一一‑"‑‑…一一‑‑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ネットワーク情報学研究所 JJ. Jian‑Qin Liu 下原勝意(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. 茨城工業高専. 松久. ̲1‑. 隆仲南血M如S血isわ.

(5) 11.Represemitionofsuccessor一身peproo鼻血eoreticdlyregularordinalSvialimits. 京産大･理 12.Alg6b通cgenαdiz血onofro喝hs￠tS. 高木. ‑‑…‑M‑72. 理(OsamuT止水i). 一一…一一一1‑‑‑…一一一"=一一一一一一一一一一一一一･一一一一一一一一丁一一一一一一…一一"‑7$. 東京電機大･情報環境. 近藤. 通朗(Micl血oKondo). 13.Comm甘t感veCloSWeOfLangn喝eS【一一･･一一一一一……一一一一一1‑‑‑‑‑‑‑‑‑‑‑‑一一1‑t一一一一一一一一一一一…一一一一一一一一一S5. 京産大･理. 伊藤正美(Mas皿iIto). 14.CombinatorialstructureofgroupdivisibledesignsandtheirconstruCtionsM‑‑‑‑‑‑‑‑"‑"‑‑87. 東邦大･理. 足立. 15.Homomorphicencryption免mCdonsandcryptographicprotocoIs. 智子汀omokoAdachi) ‑‑‑一･一一一仙一叫叫7‑‑‑""97. 情報通信研究機構. 山村. ComeniusUniv.. Ta銘anaJ毎C野0Va. 明宏(AkhimYむm狐nurわ. 情報通信研究機構. 黒川. 貴司汀故那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. 島根大･総合理工. 今岡. JJ. 磯辺. 輝男汀肌0Imaoka) 剛司汀SWOSbIsobe). 18.0NSOMEINTEGRALMONOIDRJNGS一一一一一‑"‑Z̲E.̲̲̲̲="‑‑‑"‑‑‑"‑…‑‑叩一一･･‑‑一一一一‑‑‑‑‑119. 岡山大･理. 平野. 19.TORICIDEALSANDCONTINGENCYTABLES. 康之げ机y止iHir弧0). ""一"̲‑̲̲""̲̲̲̲̲.一一一一一"‑̲‑"一一̲̲̲̲122. 立教大･理阪大･理学. 大杉英史(Hid血miOhs喝i) 日比孝之汀並a叩kimbi). 20,ArithneticalrankofStanley‑Reisneridealsofsmal1a止血meticdegree. 佐賀大･文化教育. ‑‑""‑‑一一"･一一一一‑128. 寺井直樹即aokiTerai). 21､0mWeierstrass7‑Semigroups"‑""一一一一一一一一一"‑‑‑…"‑一･一一一一‑･･‑‑一一･一一一‑･‑…･･一一"""""""136. 神奈川工大 22.Ti血gsandFractals丘omPisotsnbsdhdo耶. 米田. 二良(J卸oKom8da). 一一叫一一一一一一一一叫一叩一一一一一一一叩‑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).

(6) n E ∠一. U･. 人 √1人勇二〈〈■､.仙人fp∧〈〈蠣【‑‥吊÷nn｣rr｢ロわーd pq十九､,,tt J̀.hm､rレ∈ ノ1ヽJU▲り9)Ll▲▲9U⊥摘)U]Duu)し▲▲■さヽJ▲▲■■dヽノ▲‑u■▼'■リ ⊥1'ル''〉▲瓜け. ATRネットワーク情報学研究所〃 26.M血Xtb朗y血om血evleWpOmtOfcelld訂弧tOmata. Jian‑Qin 下原. "̲"̲̲…̲HHH̲̲̲̲̲̲叫̲̲̲̲̲̲̲̲174. Liu. 勝憲鱒如S皿OdSh血oh訂a). 一一一一義一……一一一･t一一一一一一･…･･一･･…一一175. 東洋大･工. 佐藤. 一3‑. 忠一汀血止amS如0).

(7)