みなさま、横森先生からの依頼投稿で、講演会のお知らせです。山村 ( Deep apologies for a possible cross-postig ) ----------------------------------------------------------------------------- 関係各位 ************************************* 「分子計算理論モデル」 講演会のお知らせ ************************************* 以下の要領で講演会を開きますのでご参加ください。 【日時】 2008年9月5日(金) 14:00 〜 【場所】 早稲田大学教育学部 (西早稲田キャンパス) 14号館 7階 717室 ( 地下鉄東西線早稲田駅 下車徒歩5分 ) 【講演者】 Dr. Victor Mitrana Professor of Dept of Computer Science Faculty of Mathematics University of Bucharest Romania 【講演題目】 Hairpin Completion : A new operation on words suggested by the DNA biochemistry 【講演要旨】 DNA配列の集合を記号列の集合とみなすとき、形式言語の理論が適用可能 となる。本講演では、DNAの生化学的性質に触発された二つの相補的な演 算:"ヘアピン完全化:HC (hairin completion)"と "ヘアピン剥離化:HR (hairpin reduction)" を考察し、これらの演算によって生じる集合の言語理論的な特徴づけを 行う。得られる結果として、例えば、 (1) 線形言語のクラス=WC(HC(正則言語のクラス))、 (2) マイルド文脈依存言語のクラス=WC(HC(線形言語のクラス))、 などが含まれる。( WCは 写像weak-codingを施したイメージ全体を表す。) また、言語クラスのヘアピン完全化やヘアピン剥離化に関する閉包性 および、それらの計算量的な複雑さが考察される。 さらに、ヘアピン完全化に基づく"距離"という概念が導入され、二つの 語に対する距離を計算する効率的なアルゴリズムが与えられる。  【講演者紹介】 Dr.Mitrana: 1993年ブカレスト大学からPh.D(Mathematics). およそ140編にお よぶ学術論文・書籍の(共)著者.ドイツ・フィンランド・イタリア・スペイ ン をはじめEU諸国における多くの大学で講義. 主な研究分野は、形式言語 理論(regulated rewriting, contextual grammars, grammar systems, descriptional complexity, natural language parsing, tree-adjoining grammars), DNA 分子計算モデル(splicing systems, language-theoretical models of the genome evolution, structural linguistics of nucleic acids, membrane computing, solving problems by DNA), 語の組合せ論 (infinite sequences, algorithms on words, DNA sequence analysis, subword complexity). ------------------------------------------------------------------------ 問い合せ先: 早稲田大学教育学部 横森 貴(14号館938室)03-3202-8373 -- 山村雅幸 東京工業大学 大学院総合理工学研究科 知能システム科学専攻 〒226-8502 横浜市緑区長津田町4259 メールボックスJ2-51 Tel/Fax 045-924-5212