2005年4月

全文

(1)数理解析研究所講究録1426. 二ゝl▲劇トJ舶づゝI. 凶L,一七トナ址1‑bl羊′し. ↑‑. ウ. ノ1､トキー. rT↑. 旨丁昇憐冊字典傑埋蘭こてVノカか用. 京都大学数理解析研究所 2005年4月.

(2) 乱儲･撼挽壬ミlJ彗■甘か昧:【日義生しjL′7ヽ｢{一RI Pl昇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さ. 2.AnImprovedRandomizdApproximationAlgori血mfbrMaxTSP. 東京電機大･理工. 陳. 香港城市大 3.H毎由CalculusOmP血訂αゆS. ‑‑‑‑‑･"‑一一‑‑‑‑m‑‑‑一一一7. 致中仔hi‑Zbo喝. 王. 魯生(Lush孤g Wmg). 花谷. 陽一(YoiGhiH孤独mi). 1億rll ク西‑. JJ A ●. Ck可. 叩…一一一･一血一一一･…一･一…･…一一……一一エーー…一･…………･･･暮一一一113. 京大･情報学. A. W狐g). 魯Eb/T..Lへ一㌦;tJ〈Jt,凸,"Qヽ. .芦1ノヽ‑＼▲■u九一d▲u. 岩間. ▲▲V▲17■■▲▲▲"ノ. 一雄(Kam0Iw弧わ. TJiEmrChvnfTreeEditI〕ist即ICeMeaSureS叩"‑一暮一一一一M‑‑T‑‑"‑…一日‑■･."‑‑‑一一‑‑‑･仙････‑"･ ■. ■ ■ ▼■ ▼■▼ ▼. ●′. ▼. ▼▼. ▼. ■. 20. ' ̀▼ ▼. 東大･国際･産学共同研究センター久保山哲二(T細面iK血oyむnわ. 東大･先端科学技術センター広島市立大｡情報科学 5.構文解析木の類似度の判定アルゴリズム岡山理大･総合情報. 申宮原. 管浩甘地止koM料血arわ. ･…･･州一･･1･一･■･･･■一一一一一一一日一一一一一一一一･…一…一一一丁一一一一一26. 椎名広光但immitsu論iina) 秋友克俊(K戚SntO血iAkitomo). 〃. ハ 0.. 音階(Kimo Shh). ′､′1､叫djTH途bJrJバ･21一口隠占Jl｣̲･三吉窺′rヽJトーデノ丁こ与 717･一一ヽ1一ヽ1′ Ulダリし静声明e4しちノノ馴即日ロコ/lヽ戸口RVノン////'IL ノV■ヽ ‑. 電通大｡電気通信学露地太｡工. ̲̲̲一̲̲̲̲̲̲̲̲日.･..̲̲̲̲̲̲̲̲̲̲̲1つ【■ ▼ ▼ ▼W▼▼ 一. 粧原田郁雄(眩uoK釘Ⅳ血訂細め藤芳明生(AkioF画料0血i). 7.配列を扱う非線形先頭再帰プログラムからの再帰除去叩一一一州=…一一一一エー一一…一一一･一一一39. 名大｡工学名大■情報科学. 高須. 洋平げoh6iT嶽aSu). Jメ. 酒井西田. 正彦(MaS血奴oSakai) 直樹印加揖Ni血i血). ガ. 草刈童一朗tK811C血1mm弘S癒衰) 坂部. JJ ( 一丁一ムR【‥O j▼ ､′与書斎/rヽ白rlJ +ト二遍虚け∠ゝ′丁ヽ▲1ま虫も格調古. ⊥こブ夢己/ヽグ‑}′戸ヨFFUノ↑Hこ六･uEFIJソJ VノブTP押rコ丁目. 阪府大･総合科学 9.ランキング関数のオンライン学習について北大･情報科学. 一1･. 俊樹汀oshkiS止血e). HM一日̲̲iiiiii蒜三三三三=±三≡モ!!±!≠せ,,̲"̲̲̲̲̲̲̲̲̲Aく. 植村. 仁(血UemWわ. 日日̲.̲......̲Hl.….…‖̲.̲̲叩叩.…̲̲̲…̲川..51. 中村. 薦祥仏鹿町0血iN癒Ⅷ皿m).

(3) 10.中程度の難しさをもつ関数のモデルと方式 AModelandMedlOdsfbrModerateb･HardFunctionsβⅩtendedAbstract)‑"L‑‑一. 東工大･情報理工学 JJ. 57. 小野尊貴男(Tak狛Onod￠叫田中圭介匹由止eTan止め. 11.Smp血gTwiceテクニックと匿名性をもつRSA暗号方式 TheSamplingTwiceTeclmique触･theRSA‑bascdCryptosystemswi血AnonymiW (E畑ndedAbs廿狐Ot‑…一一一一一一t…一一一一一一一一一一一一一一一一一･･"…一一…一一･…叩一一一一一一一一∵…一一一一…一一一仙一一一一64. 東工大･情報理工学 JJ. 林良太郎恥0鹿OH野血i) 田中圭介匹eis慮6T&n永め. 12.OnNK‑Comm皿i呼Pmblem･･･一一一一一一…････=‑…･･…一丁一一･一一u･……･･一一一一一一一一一州‑…･･岬…一岬71. 北大･情報科学東工大･情報理工学. 中村鳶祥仏tsuyO血iNaknwわ繁住健哉汀奴8yaShig￠Zumi). 〃. 山本真基(MasakiYanamoto). 13.モバイルエージェント実行計画問題について･･…･一･一･t…･･････一一一…一一一一一一…･……‑…‑78. mコミュニケーション科学基礎研. 佐々木. 豊橋技術科学大･知識情報工学系. 宮田. mコミュニケーション科学基礎研. 礫. 淳仏血血iSa5並i) 敬三(KeizoMiyぬ). 粛之(TadasbiA叩gi). 豊橋技術科学大･知識情報工学系増山繁(Sbig訂uMasWama) 14.進化的ネットワークにおける探索アルゴリズムの提案. 九大･システム情報科学. 84. 緒方司(Ts正弘aOgぬ) 小野廣陸田imt奴aOno). JJ. 定兼. JJ. 邦彦伽n血koS. 奴ane). 山下雅史(MasぬmiYamaShita) 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皿呵正彦(Ma血血)S止ai). 西田直樹即aoki硝血ida) 草刈圭一朗(K8iicbirou馳S止血) 坂部俊樹汀osb址iS止血) 2.

(4) 10 ⊥. 藤娘レ童KAゝ室ぷ応rjE}′ヾ′i巨セミTlTF士官ナネJ.を工百/7ヽ鹿tトJ生き汀日旧 ‑l.. クく.℃ブぐ. ｣. トIHノJ■. Flll⊥Ht､一七ださ･ノ. ヽ. ツ｢･u一■⊂ヱ｣｣一′リt̀d､/▼. /. 一一̲̲̲̲̲一一】̲̲̲̲̲̲̲】̲̲̲̲̲̲̲11つ. ▼.声〜一̀lT‑LJl一⊥一口⊥1▲■ノ｣. 名大･情報科学. ▼‑▼■‑▼ ▼▼. ▲▲J. 蛸島洋明但正0並iT並毎血a). 〃. 酒井. メタ. 坂部俊樹汀oshkiS止血e) 西田直樹即aokiNi血ida). 〃. 正彦(Mas血koS嶽扇). 草刈圭一朗(K￠ii血血uKns止血). 〃. 20.弱最内戦略を完全にする項書換え系の等価変換･･･‖･川･一一一一一一一日一一一…一一一…‑…一一一一一一1‑‑‑‑‑119. 名大○情報科字. 間不. 光7剛KqlUkむnOtO). JJ. 酒井. 正彦(Mas血血)S奴ai). 〃. 甫[刀. 子畠■. H叫. 計ハJo(L IJ dtJq＼. 蝉▲'けり＼▲1t●ヽ′瓜1▲1▲○▲1▲ヽ■サ/. JJ. 草刈. 圭一朗(Keiicb血uKuS盛衰). J/. 坂部. 俊樹汀0血血Sakab8). 21.AnInprovedRecursiveDecompositionOrderingforTemRcwritmg SystemSR即ii血d. 一一一一一一叫一叩州･叩一一一……一一一一一一一一川一一一一一一一一一一一･一一一一･一一一t･･･一一一…一仙‑…一一…一126. 島根大･総合理工岩見宗弘(M山並血0Iw廻ni) 22.確率時間オートマトンの確率時間強模倣検証アルゴリズム叫一山‑…一一1‑‑叫･一…‑…133 金沢大･自然科学小寺広志田imsiliKodera) 〝山根智(SatoShY即nme). 140 qっtJ.…̲J∧J¥一丁ヽ."△仇̲∧"【れ｣+L△く十八ハムOが■(Tl竹1ral;mmq̀ l̀tl t¶t‑pr′ヽhl《111+:̲̲̲̲̲̲̲̲̲̲̲̲山̲. ∠′ヽJ.▲▲(luさuU▲▲▲▲ノ▲1⊥1)▲18▲ヽ′▲1{■▲▲ヽ▲L▲▲ヽノLJLヽノヽ′▲1■■dL▲ヽ′▲▲■■▼)11▲▲ 東工大･情報理工学高橋勇人岬町如OTak血血i) 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. ⊥′fヨノ＼. 血. 湖T. せ一大･. ■=ヒ⊥. ;=コ′11. 東大･情報理工学系. 松井. 訟‑▲自R/ヽへ,(hjr′､九J tra¶nr､十r､＼ l′H. ̀ヽIJヽ▲ヽ■▲ヽ′▲▲■▲ヽ′. ▲▼▲▲J. ■‑■̀▲ヽ′■ヽ′′. 知己汀omomiMatsd). 27,An甲pmX血如ion毎ori血mfbrm血Oidcov威喝群馬大｡工川野晋一郎(S血iCb血Kawmo). ….‑.̲̲̲̲̲̲̲̲̲̲…̲̲̲̲̲̲̲̲̲̲̲̲̲̲̲̲̲̲..…̲̲̲̲166. 〃. 大館. JJ. 山崎浩一(Koi血iY出naZ並i). 28.GenerぬきMonotoneTrees畔地ndedAbs act) 秋田県立大･シスナム科軍ヨ支冊 JJ. 陽太げotaOtacbi). .Hl.…̲●■̲̲.山..̲...̲̲̲̲̲̲̲山...….̲̲H.172 ...■･.l̲̲JL.‑. .⊥ヽ. ‑【一. ■. ･. 新里. 善美げ0血血iNiis戚0). 口【コ一弘'トJ tT. 笠井. J/. ▼. 艮∃三tYOSn叩1人nSaKanJ. 台担幾公. II. ′･■. 草刈. 地‑/九一m(hiNnnV免＼＼}ヽ●1▲▲ ▲■. ▲tV▼VJ､▼′. 雅夫(Mas oK舶由). 29;2‑リンクパズルの多項式時間解法一一一一一一…一一…･一一一一一一一一一一一一一一一日1‑‑‑‑川一一……一一一一一一一一一一17§. 東工大･理. 牧野. ‑3‑. 格三匹ozoMakho).

(5) 30.最大マッチングを利用したタスクスケジューリングアルゴリズムの近似度の改善について…1‑‑一一一･…一････一一一一日一･一一一一･･一一一一一…一一一叩一一一一一一一一一一一一一一一一一…一一一…‑…1糾. 三重大･工. 新美信之助(Shimos止eNi血i) 大山口通夫(MichioOyamaguchi). JJ. JJ. 太田. JJ. 山本浩平(耳oheiY皿lamOtO). 義勝げ05hka短nO加わ. 31.文字列のシフトにより得られるダイグラフについて････=‑t･1.･･一一一一一エー一一一一曽一一一川一一一一一一一lS9. 群馬大･工〃. 田中勇樹(Y山嵐で狐止め柴田幸夫(Y漉io馳姑ぬ). 32.3近傍可逆セルオートマトンについて一叫一一一･･一一…一一一一一一一一t一一一……叩一一一一一一一一一一一一一一一一一一一一一194. 九大･システム情報科学 7才. 川原敏弘汀止血koK釘Ⅳ血訂a) 本多和正(KazumasaHonda). 九大■数理学. 井口. 大分工業高専九大｡システム情報科学. 修一(Sh山血血ok吐血i). 佐藤達郎甘地WOSato) 河原康雄ド凱OKaw血訂わ. 33.万能可逆チューリング機械の一構成法…一一一一一一･一一…一一一一一一一…一一一一･･･………一一一一一…一一一200. 広島大･工学. 安部. /J. 崇嗣汀正郎bAbe). 森田. 憲一(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. 九大･システム情報科学. 塩崎. JJ 〝. 真史(Mas粥hShioz嶽i). 小野康隆鮮血takaOno) 定兼邦彦鱒IlnihkoSad癒an￡). 〝. 山下. ‑4‑. 雅史(Ma5ぬ皿iYama5bi叫.

(6) 39.DNA形態変化におけるエネ/レギー障壁値の高速近似計算ヽ. 】｢r. ｢nl‑. ▼ l. ̲‑…̲̲̲̲̲̲̲̲…̲̲̲̲……̲̲23§. 【JJヽ■ヱ一一lこ■■11}l. 九大･システム情報科学. ノrl. 武田勉(TsutomuTak￠da) 小野康隆但血t嶽aOno). が. 定兼邦彦(KuI血血oSadak射通). ′J. 山下. JJ. 40.非同期セル空間における順序機械構成. 雅史(Mぉ血iYama血i叫. 一･…････一一･一…一一一･一………叩…･･…一･…‑…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. 元･京大. 西尾. UnlV.0IAAetZ Ma血C￠ KULeuven 43. ｢rtノ.. Friedrictl. 英之助(md孤OS止eNi血io). M往噂$mS短m VOn. Haeseler. パラメタ付き時間インター′〈′レオートマトンに対するバラメトリック検証の ′'′/ ′IJし'●11Jlト▼Jl ▼ / 高速化手法一一一t一一一一一…一･･･…･山一一一･･…一一一一一一……土‑…一一一･一一一一一一一一一一一一…州一一一1‑‑‑‑‑‑…一･一一一…263. 阪大･情報科学. 橋本英明但ido並iHa血血oto) 谷本. 匡亮押通慮iT弧血oto). 中田明夫(AkioN並叙わ東野. 輝夫汀肌OHiga血血0).

(7)