数理解析研究所講究録1426

二ゝl▲劇トJ舶づゝI　凶L,一七トナ址1-bl羊′し　↑-　ウ　ノ1､トキー　rT↑

旨丁昇憐冊字典傑埋蘭こてVノカか用

京都大学数理解析研究所

2005年4月

乱儲･撼挽壬ミlJ彗■甘か昧:【日義生しjL′7ヽ｢{一RIPl昇1双1T　†　き2妄1塀EJ:ゴ封肝付く｣~L Vノ〝しヽ′1コ

ThcoredcalComputerScienceanditsApplicadons

研究集会報告集

2005年1月31日～2月2日

研究代表者　谷口　健一鱒enichiTmiguchi)

目　次

1　　　T___一一___▲J Tヽ_▲____L二一｣_J_　▲_._____二一._▲J▲一　人1.-__ユJL.._._　∫｣_tJ⊥叫.11rD

⊥･皿pl-UYCuU粥川lul▲SuUq甲U肌蹴U山八嶋ulU⊥=ユさ■UJl⊥Y▲肌▲肌一一一一1…一一一一…一一一一一一一一一…iil

東京電機大･理工　　　　　　　陳　致中(Zhi老ho喝　Che可

〝　　　　　　　　　岡本　裕介げ肌S止eOkamoto)

香港城市大　　　　　　　　　　王　魯生(Lu.sbenさ　W狐g)

2.AnImprovedRandomizdApproximationAlgori血mfbrMaxTSP　-----･"-一一----m---一一一7

東京電機大･理工　　　　　　　陳　致中仔hi-Zbo喝　Ck可

香港城市大　　　　　　　　　　王　魯生(Lush孤g Wmg)

3.H毎由CalculusOmP血訂αゆS　叩…一一一･一血一一一･…一･一…･…一一……一一エーー…一･…………･･･暮一一一113

京大･情報学　　　　　　　　　　花谷　陽一(YoiGhiH孤独mi)1億rll　魯Eb/T..Lへ一㌦;tJ〈Jt,凸,"Qヽク西-　.芦1ノヽ-＼▲■u九一d▲u　▲▲V▲17■■▲▲▲"ノ

JJ　　　　　　　　　　　　岩間　一雄(Kam0Iw弧わ

A A TJiEmrChvnfTreeEditI〕ist即ICeMeaSureS叩"-一暮一一一一M--T--"-…一日-■･."---一一---･仙････-"･~　●　　　~■　~■~■~▼■~▼■▼~▼~~●′　　~▼　~▼▼　▼　~■~~'~`▼~▼~

東大･国際･産学共同研究センター久保山　哲二(T細面iK血oyむnわ

東大･先端科学技術センター

広島市立大｡情報科学

5.構文解析木の類似度の判定アルゴリズム

岡山理大･総合情報〃

20

申　音階(Kimo Shh)

宮原　管浩甘地止koM料血arわ

･…･･州一･･1･一･■･･･■一一一一一一一日一一一一一一一一･…一…一一一丁一一一一一26

椎名　広光但immitsu論iina)

秋友　克俊(K戚SntO血iAkitomo)ハ　　　′､′1､叫djTH途bJrJバ･21一口隠占Jl｣_･三吉窺′rヽJトーデノ丁こ与　717･一一ヽ1一ヽ1′　　　___一________日.･..___________1つ

0.　Ulダリし静声明e4しち　ノノ　馴即　日ロコ/lヽ戸口RVノン////'IL　ノV■ヽ　~~~-~~~~【■~▼~~~~~▼~~▼W▼▼~~~~　一~

電通大｡電気通信学　　　　　　粧原田　郁雄(眩uoK釘Ⅳ血訂細め

露地太｡工　　　　　　　　　　藤芳　明生(AkioF画料0血i)

7.配列を扱う非線形先頭再帰プログラムからの再帰除去　叩一一一州=…一一一一エー一一…一一一･一一一39

名大｡工学

名大■情報科学Jメ

ガ

JJ

(　　一丁一ムR【‥O j▼　　､′与書斎/rヽ白rlJ　+ト二遍虚け∠ゝ′丁ヽ▲1ま虫も格調古.　⊥こブ夢己/ヽグ-}′戸ヨFFUノ↑Hこ六･uEFIJソJ VノブTP押rコ丁目

阪府大･総合科学

9.ランキング関数のオンライン学習について

北大･情報科学

一1･

高須　洋平げoh6iT嶽aSu)

酒井　正彦(MaS血奴oSakai)

西田　直樹印加揖Ni血i血)

草刈　童一朗tK811C血1mm弘S癒衰)

坂部　俊樹汀oshkiS止血e)HM一日__iiiiii蒜三三三三=±三≡モ!!±!≠せ,,_"_________Aく

植村　仁(血UemWわ日日_._......_Hl.….…‖_.__叩叩.…___…_川..51

中村　薦祥仏鹿町0血iN癒Ⅷ皿m)

10.中程度の難しさをもつ関数のモデルと方式

AModelandMedlOdsfbrModerateb･HardFunctionsβⅩtendedAbstract)-"L--一

東工大･情報理工学　　　　　　小野尊　貴男(Tak狛Onod¢叫

JJ　　　　　　　　　　　田中　圭介匹由止eTan止め

57

11.Smp血gTwiceテクニックと匿名性をもつRSA暗号方式

TheSamplingTwiceTeclmique触･theRSA-bascdCryptosystemswi血AnonymiW

(E畑ndedAbs廿狐Ot-…一一一一一一t…一一一一一一一一一一一一一一一一一･･"…一一…一一･…叩一一一一一一一一∵…一一一一…一一一仙一一一一64

東工大･情報理工学　　　　　　林　良太郎恥0鹿OH野血i)

JJ　　　　　　　　　　　田中　圭介匹eis慮6T&n永め

12.OnNK-Comm皿i呼Pmblem･･･一一一一一一…････=-…･･…一丁一一･一一u･……･･一一一一一一一一一州-…･･岬…一岬71

北大･情報科学　　　　　　　　中村　鳶祥仏tsuyO血iNaknwわ

東工大･情報理工学　　　　　　繁住　健哉汀奴8yaShig¢Zumi)

〃　　　　　　　　　　　　山本　真基(MasakiYanamoto)

13.モバイルエージェント実行計画問題について･･…･一･一･t…･･････一一一…一一一一一一…･……-…-78

mコミュニケーション科学基礎研　佐々木　淳仏血血iSa5並i)

豊橋技術科学大･知識情報工学系　　宮田　敬三(KeizoMiyぬ)

mコミュニケーション科学基礎研　礫　粛之(TadasbiA叩gi)

豊橋技術科学大･知識情報工学系　　増山　繁(Sbig訂uMasWama)

14.進化的ネットワークにおける探索アルゴリズムの提案

九大･システム情報科学JJ

JJ

′/

緒方　司(Ts正弘aOgぬ)

小野　廣陸田imt奴aOno)

定兼　邦彦伽n血koS　奴ane)

山下　雅史(MasぬmiYamaShita)

84

15.部分IDの一意性を考慮したID集合生成に関する問題　…一一…一…･･…･･-…一…･-1･一一91

九大･システム情報科学　　　　牧山　幸史匹頑iM故知ama)

九大｡システムLSI研究センター納富　貞嘉(Sad野0血iNoubmi)

九大･システムLSI研究センター/システム情報科学安浦　寛人田正otoYaS∬わ

16.AnEnergyComplexibTMeasⅦ椅ぬrThresholdCircuitsthatisMotivatedby

BiologiCalDぬOnCo止血Comp血鵬ons　……一-…一一一…一一一一一…一一一…一一……･一･･一･叩…岬96

東北大｡情報科学　　　　　　　内沢　啓(KeiU血izawa)

17.TheReachabilibTandRelatedDcciSionProblemsfbrSemi-ConstructorTRSs･･"･一一…-101

三重大･工　　　　　　　　　　三橋　一郎qchkoMits血がh)

〝　　　　　　　　　　　大山口　通夫(Mi血00yam喝uChi)

〝　　　　　　　　　　　山田　俊行汀0血豆止iYamada)

18.項到達可能性の判定における成長TRSに対する手法と正規化規則による

手法の関係･･……･…叫叫一一一一……一一一一……-…-……一一一…一･一一t一一一一一…叩-1------{…一…一一一…106

名大･情報科学　　　　　　　　村田　龍彦汀如5血koM皿呵

2

酒井　正彦(Ma血血)S止ai)

西田　直樹即aoki硝血ida)

草刈　圭一朗(K8iicbirou馳S止血)

坂部　俊樹汀osb址iS止血)

10　　藤娘レ童KAゝ室ぷ応rjE}′ヾ′i巨セミTlTF士官ナネJ.を工百/7ヽ鹿tトJ生き汀日旧　一一_____一一】_______】_______11つ⊥　-l.　　クく.℃ブぐ　｣　トIHノJ■　Flll⊥Ht､一七ださ･ノ　ヽ　ツ｢･u一■⊂ヱ｣｣一′リt`d､/▼　/　▼.声～~一`lT-LJl一⊥一口⊥1▲■ノ｣　~~~~~~~~~~~~~~~▼-▼■-▼~▼▼~~　▲▲J

名大･情報科学〃

メタ

〃

〃

蛸島　洋明但正0並iT並毎血a)

酒井　正彦(Mas血koS嶽扇)

坂部　俊樹汀oshkiS止血e)

西田　直樹即aokiNi血ida)

草刈　圭一朗(K¢ii血血uKns止血)

20.弱最内戦略を完全にする項書換え系の等価変換･･･‖･川･一一一一一一一日一一一…一一一…-…一一一一一一1-----119

名大○情報科字JJ

〃

JJ

J/

間不　光7剛KqlUkむnOtO)

酒井　正彦(Mas血血)S奴ai)甫[刀　　子畠■　計ハJo(L IJ dtJq＼H叫　　蝉▲'けり＼▲1t●ヽ′瓜1▲1▲○▲1▲ヽ■サ/

草刈　圭一朗(Keiicb血uKuS盛衰)

坂部　俊樹汀0血血Sakab8)

21.AnInprovedRecursiveDecompositionOrderingforTemRcwritmg

SystemSR即ii血d　一一一一一一叫一叩州･叩一一一……一一一一一一一一川一一一一一一一一一一一･一一一一･一一一t･･･一一一…一仙-…一一…一126

島根大･総合理工　　　　　　　岩見　宗弘(M山並血0Iw廻ni)

22.確率時間オートマトンの確率時間強模倣検証アルゴリズム叫一山-…一一1--叫･一…-…133

金沢大･自然科学小寺広志田imsiliKodera)

〝山根智(SatoShY即nme)

qっtJ.…_J∧J¥一丁ヽ."△仇_∧"【れ｣+L△く十八ハムOが■(Tl竹1ral;mmq`l`tlt¶t-pr′ヽhl《111+:____________山_.∠′ヽJ.▲▲(luさuU▲▲▲▲ノ▲1⊥1)▲18▲ヽ′▲1{■▲▲ヽ▲L▲▲ヽノLJLヽノヽ′▲1■■dL▲ヽ′▲▲■■▼)11▲▲BU■●▲ヽ′J▲▲▲■■"▲▲ヽ′■′▲ヽ′▲▲▲東工大･情報理工学高橋勇人岬町如OTak血血i)

140

24.一毅化ぶよぶよのNP完全性一･･叩一一一一一･一一一川一一･･･………一一一…一一叫山一一一一一…-……一一一一一一147

電通大･電気通信学

電通大･電気通信

25.比較可能+k¢グラフの彩色問題

電通大｡電気通信学

電通大･電気通信

松金　輝久げ6m血isaMat蝕km¢)

武永　康彦げ鮎血koT血n喝a)

東出　賢一(Keni血iHiga血de)

武氷　贋膠tYas血放oT血maga)

26.PeI触tncsSandM血colo血gofUnitDiskGraphsonTriangularLatticePoints--一一一一一159

L如｣r　血　湖T⊥′fヨノ＼　~　■=ヒ⊥

東大･情報理工学系

27,An甲pmX血如ion毎ori血mfbrm血Oidcov威喝群馬大｡工

〃

JJ

28.GenerぬきMonotoneTrees畔地ndedAbs act)

秋田県立大･シスナム科軍ヨ支冊JJ

II

J/

せ一大･　訟-▲自R/ヽへ,(hjr′､九J tra¶nr､十r､＼;=コ′11　　l′H　　`ヽIJヽ▲ヽ■▲ヽ′▲▲■▲ヽ′　▲▼▲▲J　■-■`▲ヽ′■ヽ′′

松井　知己汀omomiMatsd)….-.__________…__________________..…____166

川野　晋一郎(S血iCb血Kawmo)

大館　陽太げotaOtacbi)

山崎　浩一(Koi血iY出naZ並i)

.Hl.…_●■__.山.._..._______山...….__H.172

...■･.l__JL.-　　　　.⊥ヽ　-【一　′･■　▼　　　■　･

草刈　艮∃三tYOSn叩1人nSaKanJ

新里　善美げ0血血iNiis戚0)台担幾公　地-/九一m(hiNnnV免＼口【コ一弘'トJ tT　　＼}ヽ●1▲▲~▲■~　▲tV▼VJ､▼′

笠井　雅夫(Mas oK舶由)

29;2-リンクパズルの多項式時間解法一一一一一一…一一…･一一一一一一一一一一一一一一一日1----川一一……一一一一一一一一一一17§

東工大･理　　　　　　　　　　牧野　格三匹ozoMakho)

-3-

30.最大マッチングを利用したタスクスケジューリングアルゴリズムの

近似度の改善について…1--一一一･…一････一一一一日一･一一一一･･一一一一一…一一一叩一一一一一一一一一一一一一一一一一…一一一…-…1糾

三重大･工JJ

JJ

JJ

新美　信之助(Shimos止eNi血i)

大山口　通夫(MichioOyamaguchi)

太田　義勝げ05hka短nO加わ

山本　浩平(耳oheiY皿lamOtO)

31.文字列のシフトにより得られるダイグラフについて････=-t･1.･･一一一一一エー一一一一曽一一一川一一一一一一一lS9

群馬大･工　　　　　　　　　　田中　勇樹(Y山嵐で狐止め

〃　　　　　　　　　　　柴田　幸夫(Y漉io馳姑ぬ)

32.3近傍可逆セルオートマトンについて一叫一一一･･一一…一一一一一一一一t一一一……叩一一一一一一一一一一一一一一一一一一一一一194

九大･システム情報科学　　　　川原　敏弘汀止血koK釘Ⅳ血訂a)

7才　　　　　　　　　　　　　本多　和正(KazumasaHonda)

九大■数理学　　　　　　　　　井口　修一(Sh山血血ok吐血i)

大分工業高専　　　　　　　　　佐藤　達郎甘地WOSato)

九大｡システム情報科学　　　　河原　康雄ド凱OKaw血訂わ

33.万能可逆チューリング機械の一構成法…一一一一一一･一一…一一一一一一一…一一一一･･･………一一一一一…一一一200

広島大･工学　　　　　　　　　安部　崇嗣汀正郎bAbe)

/J　　　　　　　　　　　　森田　憲一(KenicbMorita)

34.ファクターオラクルの誤受理構造の解析.･･-………･-…-…･一･一…一一一一…一一一一一一一･叫一一一一一206

東工大･理　　　　　　　　　　岩崎　久史(H由血iIwa5嶽i)

35.Chaitin,shaltingprobabilibTf2alldquantu皿meaSurementSinmin鮎ite

d血ensio血叩mtumSyStem　…川･･･t一日一一日一一一一-一一一一一一一…叩一一一一一一一叫一一一一……-…一一…一一一一一一212

中央大･21世紀COEプログラム　只木　孝太郎(KObtaroTad故i)

36.R8bnStqummmAlgo出血ms鈷rαaGle王dent血don一両一一一一一一日…一一…･一一…･･･一･･叩一叩-219

今井量子計算機構プロジェクト(ERATO)/京大岩間　一雄匹孔餌0Iwむnわ

東工大｡情報理工学　　　　　　河内　亮周(娘血odKawach)

今井量子計算機構プロジェクト(ERATO)/京大R丑卸　R町mOnd

奈良先端科学技術大学院大　　　　山下　茂(ShigeruY皿1aShita)

37.量子アルゴリズムによる近似文字列出現頻度問い合わせ･………･鵬…･…･…一仙一一一225

九大･シ不テム情報科学　　　　小林　健了汀癒enOriKob野が叫

〝　　　　　　　　　　　　小野　康隆甲imt血aOno)

〃　　　　　　　　　　　　定兼　邦彦御m払koSadakme)

〃　　　　　　　　　　　　山下　雅史(Mas血miYama血血)

38.分子構造変化のモデル化と反応速度の理論的解析一一一1--…一一一叫一一一一一…一一一一･･叩一一叩-232

九大･システム情報科学　　　　塩崎　真史(Mas粥hShioz嶽i)

JJ　　　　　　　　　　　　小野　康隆鮮血takaOno)

〝　　　　　　　　　　　　定兼　邦彦鱒IlnihkoSad癒an£)

〝　　　　　　　　　　　　山下　雅史(Ma5ぬ皿iYama5bi叫

-4-

39.DNA形態変化におけるエネ/レギー障壁値の高速近似計算　_-…________…____……__23§ヽ　　　　】｢r　｢nl-　▼~l　【JJヽ■ヱ一一lこ■■11}l　ノrl

九大･システム情報科学が

′J

JJ

武田　勉(TsutomuTak¢da)

小野　康隆但血t嶽aOno)

定兼　邦彦(KuI血血oSadak射通)

山下　雅史(Mぉ血iYama血i叫

40.非同期セル空間における順序機械構成　一･…････一一･一…一一一･一………叩…･･…一･…-…245

広島大･工学　　　　　　　　　斉　金山(Jin-Sh狐　Qi)

〃　　　　　　　　　　　森田　憲一鰐ml仇1Ⅳ10ntaJ

41.計算万能な双曲セル･オートマトンについて･……一･…･-……一･一一……叫仙･一一…250

rr息-★一.T坐　　　　　　　　　　　　　　仝土　台換/Y如mnnh-1T一m虞il′ノーヽHノ/ヽ　　　lL-　J l　/t　　　　ノヽJl糾ヽ▲-ヽ●-■′tl■一Y■′t●　■■一■一■●■しノ

〝　　　　　　　　　　　岩本　宙造(ClluZOIwむnOtO)

〝　　　　　　　　　　　森田　意一匹孤i血iModta)

42.セルオートマトンの近傍系の代数的構造

OnAlgbraicStruCtureOfNcighbo血00dsofCellularAutomぬ

-D¢Cidabil卸ReSnlts-…･…･一一一斗叫…一一…-……一一一･･……･………･････……………･一一･一一256

元･京大　　　　　　　　　　　　西尾　英之助(md孤OS止eNi血io)

UnlV.0IAAetZ Ma血C¢　M往噂$mS短m

KULeuven Friedrictl VOn Haeseler

43　パラメタ付き時間インター′〈′レオートマトンに対するバラメトリック検証の｢rtノ.　′'′/　′IJし'●11Jlト▼Jl　▼　/

高速化手法一一一t一一一一一…一･･･…･山一一一･･…一一一一一一……土-…一一一･一一一一一一一一一一一一…州一一一1------…一･一一一…263

阪大･情報科学　　　　　　　　橋本　英明但ido並iHa血血oto)

谷本　匡亮押通慮iT弧血oto)

中田　明夫(AkioN並叙わ

東野　輝夫汀肌OHiga血血0)