バイオインフォマティクスⅠ

Size: px
Start display at page:

Download "バイオインフォマティクスⅠ"

Transcription

1 バイオインフォマティクス ( 第 6 回 ) 慶應義塾大学生命情報学科 榊原康文

2 入力ベクトル 階層クラスタリングの解 : [1] [2] [3] : B: C: D: D 系統樹 距離行列 : B: C: B: C: D: B C

3 データベース検索 1 データベースの高速検索 問い合わせ配列に類似した配列をデータベースより見出す作業 遺伝子配列のデータベースの大きさは膨大であるため, アライメントなどの動的計画法に基づく方法では時間がかかりすぎる 2 FST と BLST 相同な配列では, きわめて短い領域ではあるが非常に類似度の高い ( ギャップのない ) 領域 語 が保存されている 語 を単位とするヒットに基づく局所的な比較により類似配列を検索する

4 データベース検索 BLST によるデータベース検索 膨大なゲノムデータベースからの検索には高速化が必須 入力配列 DN 配列 アミノ酸配列 類似遺伝子アノテーション ゲノムデータベース

5 BLST FSTのテーブル照合を, 有限オートマトンを用いた検索方法 (ho-corasickアルゴリズム) により改良 ( 高速で柔軟な語の検索が可能 ) Basic Local lignment Search Tool の略 1 データベース中に, 問い合わせ配列に含まれる領域と非常 に類似度の高い領域を見つける ( 有限オートマトン ) 2 見つけた領域を伸張する (HSP 領域 ) 3 上位にランクされた配列と問い合わせ配列の ( ギャップな し ) アライメントを報告する

6 BLST 1 問い合わせ配列を語 ( ワード ) に分割し, さらに各語に類似した語のリストを生成する 語とは, 配列中の固定長 ( アミノ酸の場合は 3 残基 ) の連続したアミノ酸配列 問い合わせ配列を N 末端から C 末端まで走査し, 語を切り出し, それに類似した語もすべてリストに加える 類似の定義は, スコア行列および閾値 T を用いて,T を超えるスコアを持つ語同士はすべて類似と見なす データベースの配列の中に, リストに蓄えられた語と一致するすべての箇所 ( ヒット ) を, 有限オートマトンを用いて検索する ho-corasick アルゴリズム

7 BLST 1 問い合わせ配列を語 ( ワード ) に分割し, さらに各語に類似した語のリスト L を生成する 問い合わせ配列 : DDVIILKE 語に分割 : 類似語 : DDV,DVI,VII,IIL,ILK,LKE DEV,DII,VVI,VIL,VLK,IKE, EDV,DIV,VIV,VVL,VIK,LKD, EEV,DVV,...

8 BLST 1 データベースの配列 : リスト L の語を部分にもつ配列を検索 (ho-corasick のアルゴリズム )

9 BLST 2 3 検出されたヒット ( 語 ) を起点として, その N 末端,C 末端に向けて, 問い合わせ配列とデータベース中の配列との残基間対応を拡張し, ギャップを入れないアライメントを構築する アライメントスコアが増大する限り拡張を続ける アライメントスコアが閾値を超えた場合,HSP 領域 (Highscoring Segment Pair) として報告する 最後に HSP を連結して最終的アライメントとして出力する 問い合わせ配列 : マッチした部分を伸ばす 配列データベース

10 ho-corasick 法 ho-corasick の文字列照合オートマトン : 検索対象配列 X 中に語のリスト L={w 1,w 2,,w k } のどれかが出現するか否かを調べるアルゴリズム L={ B, BC } 有限オートマトンを作成 : B,C 次の遷移語の照合途中の遷移 0 1 B 2 C B B,C C B C 3 4 受理状態

11 L={ B, BC } ho-corasick 法 X = CBBBCCCCBBBBCCC B,C 0 1 B 2 C B B,C C B C 3 4

12 L={ B, BC } ho-corasick 法 X = CBBBCCCCBBBBCCC B,C ヒット! 0 1 B 2 C B B,C C B C 3 4

13 L={ B, BC } ho-corasick 法 X = CBBBCCCCBBBBCCC B,C 2 回目ヒット! 0 1 B 2 C B B,C C B C 3 4

14 L={ B, BC } ho-corasick 法 X = CBBBCCCCBBBBCCC B,C 3 回目ヒット! 0 1 B 2 C B B,C B C 3 4 C

15 L={ B, BC } ho-corasick 法 X = CBBBCCCCBBBBCCC B,C 0 1 B 2 C B B,C C B C 回目ヒット!

16 ho-corasick 法 定理 リスト L 中の文字の総計を m, データベースの配列 X の長さを n とする. オートマトンの生成に O(m) 時間, 文字列照合するのに O(n) 時間かかる. 参考文献 lfred V. ho, Margaret J. Corasick: Efficient String Matching: n id to Bibliographic Search. CCM 18(6): (1975)

17 検索のスコア値 配列類似性の統計的評価 : BLST の最大の特徴は, ギャップなし局所アライメント の統計学的考察に基づく配列類似性についての評価の 組み込みにある E-value Score E Sequences producing significant alignments: (bits) Value gi sp P04637 P53_HUMN Cellular tumor antigen p53 (T gi sp P13481 P53_CERE Cellular tumor antigen p53 (T gi sp P56424 P53_MCMU Cellular tumor antigen p53 ( gi sp P56423 P53_MCF Cellular tumor antigen p53 ( gi sp Q9TT1 P53_TUPGB Cellular tumor antigen p gi sp O36006 P53_MRMO Cellular tumor antigen p e-175 gi sp Q95330 P53_RBIT Cellular tumor antigen p53 ( e-175

18 1 ランダム配列モデル : ランダム配列モデル アミノ酸 20 種類の組成 P 1, P 2,, P 20 が与えられたとき, 配列中の各位置におけるアミノ酸の出現確率はこの組成のみに依存し, お互いに独立であるモデル ランダムな配列同士の比較が行われるとき, アライメントのスコアがどのような分布になるのかを解析した (Karlin & ltschul, 90) 互いに関係がないのにも関わらずスコアの高いアライメントが偶然にヒットするという可能性を考える

19 2 極値分布 : ランダム配列モデル ( 関連性のない )2 つのランダム配列のアライメントのスコアの分布は極値分布に従う (Gumbel) 極値分布 : f ( x) = exp[ x e x ] 特徴 : 高スコア領域に裾が歪んでいる ( 参考 ) 正規分布 : f ( x) = 1 exp[ x ] 特徴 : 左右対称の釣鐘型 3 ランダム配列のスコアとの比を取ることにより, 類似度の判 定を高い精度で行うことができる

20 ランダム配列のスコア分布 タンパク質の配列長に対するスコア分布 ランダム配列スコアの極値分布 スコア 頻度 偶然性が高い 偶然性は低い タンパク質の長さ 配列長ごとに正規化したスコアの分布

21 3 E-Value: ランダム配列モデル ( 関連性のない ) ランダムな 2 つの配列 ( 長さ m と n) が, スコア S 以上のアライメントとして出現する回数の期待値 E - value = E( S) = Kmn exp( S) = mn K exp( S) = mn P - value m は問い合わせ配列長,n はデータベースのサイズ そのデータベースに対して偶然そのスコア以上の値が出るヒット数 (false positive) の期待値 経験的には0.0001から0.01ぐらいの閾値が用いられる 検索結果のE-valueが低い値であるほど, その結果は偶然でない確かな一致であるとみなすことができ, 統計的に優位であると言える E-value は, 配列長とデータベースの大きさに比例

22 進化系統樹とは 約 40 億年前ころ ( 明確な証拠はない ) に最初の生命が誕生 系統 (phylogeny): 地球上のすべての生物は共通の祖先から進化したと考えたときの, 種間の進化的な関係 進化系統樹 (phylogenetic tree) で表現 生物学的な分類体系 ( 参考 ): 生物を形質 ( 形態, 機能, 成分 ) が似たもの同士に分けて体系づける 界 ( かい ) 門 ( もん ) 綱 ( こう ) 目 ( もく ) 科 ( か ) 属 ( ぞく ) 種 ( しゅ ) 近年では, 伝統的な分類体系を系統学の知見を反映させた体系に組替える

23 分子 ( 配列 ) 進化系統 : 分子進化系統樹 すべての配列がある共通祖先の共通遺伝子から受け継がれたと考えたときの, 配列間の進化的な関係 注意点 : ( 形態学的な ) 生物種の進化系統と配列に基づく分子進化系統は常に一致するとは限らない どの配列 ( タンパク質,RN 配列など ) を基にするかによっても得られる分子進化系統樹は異なる 祖先の配列は手に入らない 進化のモデル 仮説が必要 コンピュータと数学 統計が主な解析ツールとなる

24 生命の系統樹をつくるためには rrn またはミトコンドリアの配列が用いられる すべての生物に普遍的に存在 充分な配列変異の存在, 変異の安定性 水平伝播があるために, 進化系統樹は編目状になる

25 系統樹に関する用語 節点 (node), 枝 (edge), 枝長 ( 進化の程度 ), 根 (root), 葉 (leaf) 有根系統樹 (rooted), 無根系統樹 (unrooted) 基本的に二分木 有根系統樹 無根系統樹

26 無根系統樹, 有根系統樹 無根系統樹 数学的にアルゴリズム的に扱いやすい Chicken を外群とした時の有根系統樹 生物的進化に関連した分岐を表す

27 時間 進化系統の簡単なモデル T G C CG T CT C CG T C G C C C C C G C T C G C C T C 共通祖先の配列 進化系統樹 枝に沿って変異 節点で種分化

28 進化系統樹の ( 再 ) 構築問題 T G C CG T C T C CG T C G C C 系統樹は?

29 (Doolittle, 2000) 16S rrn に基づく生命の進化系統樹

30 進化系統樹の ( 再 ) 構築問題 系統樹に沿って進化したと考えられる生体分子のアライメントが与えられたときに, 進化系統樹を構築 ( 発見 ) する問題 Human fqtpmviilqaimgsatlamtliift Chimp fqtpmiiifqaimgsatlaltliift Gorilla lqtpmviifqaimgsatlamtliift Seal fqlpmviifqaiiggatlalafitft Cow fqtpmviifqaiiggatlalalitft Fin Whale lqtfmviifqaimgettlalafitft Blue Whale lqtfmviifqaimgettlvlaiitft Rat fqismiiifqaimggatlvlatitfi Mouse fqismiiifqaimggatlvlatitfi Chicken pqismiaffqaimggatlfaatitfi? Chicken Blue Whale Fin Whale Seal Cow Mouse Rat Chimp Human Gorilla 問題のステップ : 1. 系統樹 Tのトポロジー ( 構造 ) の決定 2. 系統樹 Tにおける枝の長さの決定 3. 系統樹 Tにおける根の位置の決定 root

31 系統樹の推定手法 距離に基づく手法 : UPGM 法, 近隣結合法 分子時計を仮定, 加法性を利用して少しずつ構築 系統樹の評価に基づく手法 : 最節約法, 最尤法 まず, 系統樹の評価方法を決めておく 最節約法 : 祖先配列から葉までの置換数が小さい 最尤法 : 尤度 ( 系統樹からデータ配列を得る確率 ) が高い 評価が最良になるような系統樹を求める 数え上げ : 可能な系統樹から最も評価の良いものを選ぶ メトロポリス法 : 現在の系統樹をちょっとずつ改良してゆく などなど

32 最 ( 大 ) 節約法 全ての可能なトポロジーの ( 無根 ) 系統樹について計算を行う 一般に計算量が膨大になる トポロジー : 葉に与えられた配列を割り当て, 系統樹の形を一つ定めたもの 各トポロジーに対して, 最小の置換数で説明できる祖先節点の配列を決定する すべてのトポロジーの中から, 最小の置換数で説明できる系統樹を選ぶ アライメントによって並べられた ( 縦の ) カラム全てについて解析を行う

33 最節約法 祖先節点の決定 : 系統樹全体の置換数の和が最小になるように決定 各カラムは独立に計算可能 入力 :4 つの DN 配列 G GG G

34 距離に基づく手法 配列 : CGCGTTGGGCGTGGCC 配列 B: CGCGTTGGGCGCGGTT 配列 C: CGCTTGTGTGTT 配列 D: CCTTGGTGTTT B 間の塩基置換の数 距離テーブル : B C D B 6 7 C 3 D

35 UPGM 法 (unweighted pair group method using arithmetic averages) 1. アライメントから初期の距離テーブルを計算する 2. 距離が一番近いものを近隣ペアとする 3. クラスタ間距離 = 配列同士の距離の平均 4. ペアを一つのノードとして, 距離テーブルを再構築する 基本的に, 群間平均法 ( クラスタ間の平均距離 ) を用いた階層クラスタリング 分子時計を仮定 UPGM 法の発展形が,NJ 法 ( 近隣結合法 )

36 具体例の計算 初期距離テーブル B C D E B C D 10 E DE を近隣ペアとする B C D E B C D 10 E 新しい距離テーブル B C DE B C 19 DE D と E の平均. 12 B E C 4 D

37 UPGM 法 (unweighted pair group method using arithmetic averages) 1. 各配列のみからなるクラスタを作る 2. 距離 d ij が最小のペアを x i, x j 求める 3. クラスタ x i, x j を融合して x k を作る 4. クラスタ間距離を再計算 5. 親節点 x k を高さ d ij / 2 の位置に追加 6. クラスタが2 個だけになったら, 根を高さ d ij / 2 に 置いて終了

38

39 外群 有根系統樹の根の位置の特定 調べてる配列よりも遠縁である特定の配列 系統樹 外群 ある系統樹について, 根の位置を限定する助けとなる 外群を使うときに気をつけること 配列的に似ていて, かつ, 充分な違いが必要 あまりに遠縁すぎるとランダムな要素を含んでしまう

40 Hybridization( 雑種形成 ) Hybridization は, 異なる種の間の交配によって, 染色体を組み合わせることにより起こる Hybridization は, 一般に植物, 魚, カエルに限定される 水あさ (water hemp) 雑種 ブタ草 pigs weed

41 遺伝子の水平伝播 バクテリアでは, 遺伝子を交換するいくつかのメカニズムが知られている Transformation( 形質転換 ) Conjugation( 接合 ) Transduction( 形質導入 ) ( 例 ) 大腸菌と O157 株 ( ベロ毒素 )

42 網状進化 (Reticulate Evolution) の簡単なモデル b 1 a h c b 3 P Q 祖先ゲノム

43 今後の講義の予定 5 月 28 日 : 佐藤健吾先生 ( 第 1 回 ) 6 月 4 日 : 休講 ( 慶早戦あるなしに関わらず ) 6 月 11 日 : 医学部放射線科学 ( 診断 ) 橋本正弘講師講演 6 月 18 日 : 佐藤健吾先生 ( 第 2 回 ) 6 月 25 日 : 佐藤健吾先生 ( 第 3 回 ) 7 月 2 日 : 佐藤健吾先生 ( 第 4 回 ) 7 月 9 日 : 休講 ( 学会出張のため ) 7 月 16 日 ( 海の日 ): 授業内期末試験

44 6 月 11 日 ( 月 ) の授業は 慶應義塾大学医学部放射線科学 ( 診断 ) 講師 橋本正弘先生 特別講演 : 6 月 11 日の講演の予告 講演タイトルは未定ですが, 人工知能の CT 検査画像解析などへの応用 ( 出席とります!)

45 7 月 16 日授業内期末試験について 試験会場 : 厚生棟大会議室 ( 会場がいつもの教室と異なるので注意!) 試験の要領は通常通り : すべて持ち込み不可 遅刻は開始 30 分 ( すなわち,15 時 15 分 ) まで 学生証を提示

46 文字列照合の演習問題学籍番号 : 名前 : 例題に示すように,ho-Corasick 文字列照合オートマトンを用いて, 文字列上を探索して, ヒットする位置 ( 受理状態の位置 ) を列挙しなさい. また, 途中の状態遷移も示しなさい.

生命情報学

生命情報学 生命情報学 34 進化系統樹推定 阿久津達也 京都大学化学研究所 バイオインフォマティクスセンター 進化系統樹 進化系統樹 種間 もしくは遺伝子間 の進化の関係を表す木 以前は形態的特徴をもとに構成 現在は配列情報をもとに構成 有根系統樹と無根系統樹 有根系統樹 : 根 共通の祖先に対応 がある系統樹 無根系統樹 : 根のない系統樹 いずれも葉にのみラベル 種に対応 がつく 有根系統樹 無根系統樹

More information

生命情報学

生命情報学 生命情報学 5 隠れマルコフモデル 阿久津達也 京都大学化学研究所 バイオインフォマティクスセンター 内容 配列モチーフ 最尤推定 ベイズ推定 M 推定 隠れマルコフモデル HMM Verアルゴリズム EMアルゴリズム Baum-Welchアルゴリズム 前向きアルゴリズム 後向きアルゴリズム プロファイル HMM 配列モチーフ モチーフ発見 配列モチーフ : 同じ機能を持つ遺伝子配列などに見られる共通の文字列パターン

More information

A Constructive Approach to Gene Expression Dynamics

A Constructive Approach to Gene Expression Dynamics 配列アラインメント (I): 大域アラインメント http://www.lab.tohou.ac.jp/sci/is/nacher/eaching/bioinformatics/ week.pdf 08/4/0 08/4/0 基本的な考え方 バイオインフォマティクスにはさまざまなアルゴリズムがありますが その多くにおいて基本的な考え方は 配列が類似していれば 機能も類似している というものである 例えば

More information

分子進化モデルと最尤系統推定法 東北大 院 生命科学田邉晶史

分子進化モデルと最尤系統推定法 東北大 院 生命科学田邉晶史 分子進化モデルと最尤系統推定法 東北大 院 生命科学田邉晶史 まずはじめに, 最尤系統推定とは 多重モデル選択 である. 最尤系統推定の手順 1. 樹形を固定しての 2. 分子進化モデルの選択 1. 分子進化モデルを固定しての 2. 系統モデル ( 樹形 ) の選択 = 多重モデル選択 分子進化モデル超入門 とりあえず塩基置換モデルで 塩基置換モデルの 3 大要素 塩基置換確率行列 (nucleotide

More information

Microsoft PowerPoint - ad11-09.pptx

Microsoft PowerPoint - ad11-09.pptx 無向グラフと有向グラフ 無向グラフ G=(V, E) 頂点集合 V 頂点の対を表す枝の集合 E e=(u,v) 頂点 u, v は枝 e の端点 f c 0 a 1 e b d 有向グラフ G=(V, E) 頂点集合 V 頂点の順序対を表す枝の集合 E e=(u,v) 頂点 uは枝 eの始点頂点 vは枝 eの終点 f c 0 a 1 e b d グラフのデータ構造 グラフ G=(V, E) を表現するデータ構造

More information

Microsoft PowerPoint - mp11-06.pptx

Microsoft PowerPoint - mp11-06.pptx 数理計画法第 6 回 塩浦昭義情報科学研究科准教授 shioura@dais.is.tohoku.ac.jp http://www.dais.is.tohoku.ac.jp/~shioura/teaching 第 5 章組合せ計画 5.2 分枝限定法 組合せ計画問題 組合せ計画問題とは : 有限個の もの の組合せの中から, 目的関数を最小または最大にする組合せを見つける問題 例 1: 整数計画問題全般

More information

分子系統解析における様々な問題について 田辺晶史

分子系統解析における様々な問題について 田辺晶史 分子系統解析における様々な問題について 田辺晶史 そもそもどこの配列を使うべき? そもそもどこの配列を使うべき? 置換が早すぎず遅すぎない (= 多すぎず少なすぎない ) そもそもどこの配列を使うべき? 置換が早すぎず遅すぎない (= 多すぎず少なすぎない ) 連続長は長い方が良い そもそもどこの配列を使うべき? 置換が早すぎず遅すぎない (= 多すぎず少なすぎない ) 連続長は長い方が良い 遺伝子重複が起きていない

More information

Microsoft PowerPoint - pr_12_template-bs.pptx

Microsoft PowerPoint - pr_12_template-bs.pptx 12 回パターン検出と画像特徴 テンプレートマッチング 領域分割 画像特徴 テンプレート マッチング 1 テンプレートマッチング ( 図形 画像などの ) 型照合 Template Matching テンプレートと呼ばれる小さな一部の画像領域と同じパターンが画像全体の中に存在するかどうかを調べる方法 画像内にある対象物体の位置検出 物体数のカウント 物体移動の検出などに使われる テンプレートマッチングの計算

More information

バイオインフォマティクスⅠ

バイオインフォマティクスⅠ バイオインフォマティクス ( 第 3 回 ) 慶應義塾大学生命情報学科 榊原康文 アセンブリの演習問題 ( 解 ) CGTCCGT CATCG 5 3 4 ATCCAT TCCGTAT 5 3 3 4 GTATC CGTCCGT-------- --TCCGTAT------ -----GTATC----- -------ATCCAT-- ----------CATCG ===============

More information

バイオインフォマティクスⅠ

バイオインフォマティクスⅠ バイオインフォマティクス ( 第 5 回 ) 慶應義塾大学生命情報学科 榊原康文 多重アライメントの解 0 2 3 4 5 6 7 j Q T S Y T R Y Q T - Y T R K 0 0-9 -20-44 -52-63 -72-90 Q -6 2 0-6 -4-25 -34-52 2 S -32 5 30 4 6-5 -4-32 3 Y -48-4 2 38 27 8 0 4 P -64-27

More information

配付資料 自習用テキスト 解析サンプル配布ページ 2

配付資料 自習用テキスト 解析サンプル配布ページ   2 分子系統樹推定法 理論と応用 2009年11月6日 筑波大 院 生命環境 田辺晶史 配付資料 自習用テキスト 解析サンプル配布ページ http://www.fifthdimension.jp/documents/molphytextbook/ 2 参考書籍 分子系統学 3 参考書籍 統計的モデル選択とベイジアンMCMC 4 祖先的な形質 問題 OTU左の の色は表現型形質の状態を表している 赤と青

More information

5_motif 公開版.ppt

5_motif 公開版.ppt 配列モチーフ 機能ドメイン 機能部位 機能的 構造的に重要な部位 は進化の過程で保存 される傾向がある 進化的に保存された ドメイン 配列モチーフ 機能ドメイン中の特徴的な 保存配列パターン マルチプルアライメント から抽出 配列モチーフの表現方法 パターン プロファイル 2 n n n n n n n n ENCODE n PROSITE パターンの例 n C-x(2,4)-C-x(3)-[LIVMFYWC]-x(8)-H-x(3,5)-H.

More information

PowerPoint Presentation

PowerPoint Presentation パターン認識入門 パターン認識 音や画像に中に隠れたパターンを認識する 音素 音節 単語 文 基本図形 文字 指紋 物体 人物 顔 パターン は唯一のデータではなく 似通ったデータの集まりを表している 多様性 ノイズ 等しい から 似ている へ ~ だ から ~ らしい へ 等しい から 似ている へ 完全に等しいかどうかではなく 似ているか どうかを判定する パターンを代表する模範的データとどのくらい似ているか

More information

Microsoft PowerPoint - mp13-07.pptx

Microsoft PowerPoint - mp13-07.pptx 数理計画法 ( 数理最適化 ) 第 7 回 ネットワーク最適化 最大流問題と増加路アルゴリズム 担当 : 塩浦昭義 ( 情報科学研究科准教授 ) hiour@di.i.ohoku.c.jp ネットワーク最適化問題 ( 無向, 有向 ) グラフ 頂点 (verex, 接点, 点 ) が枝 (edge, 辺, 線 ) で結ばれたもの ネットワーク 頂点や枝に数値データ ( 距離, コストなど ) が付加されたもの

More information

分子系統解析における様々な問題について 田辺晶史

分子系統解析における様々な問題について 田辺晶史 分子系統解析における様々な問題について 田辺晶史 そもそもどこの配列を使うべき? そもそもどこの配列を使うべき? 置換が早すぎず遅すぎない (= 多すぎず少なすぎない ) そもそもどこの配列を使うべき? 置換が早すぎず遅すぎない (= 多すぎず少なすぎない ) 連続長は長い方が良い そもそもどこの配列を使うべき? 置換が早すぎず遅すぎない (= 多すぎず少なすぎない ) 連続長は長い方が良い 遺伝子重複が起きていない

More information

数値計算法

数値計算法 数値計算法 008 4/3 林田清 ( 大阪大学大学院理学研究科 ) 実験データの統計処理その 誤差について 母集団と標本 平均値と標準偏差 誤差伝播 最尤法 平均値につく誤差 誤差 (Error): 真の値からのずれ 測定誤差 物差しが曲がっていた 測定する対象が室温が低いため縮んでいた g の単位までしかデジタル表示されない計りで g 以下 計りの目盛りを読み取る角度によって値が異なる 統計誤差

More information

Microsoft PowerPoint - lecture a.pptx

Microsoft PowerPoint - lecture a.pptx 本日 (3 時限目 ) の内容 バイオインフォマティクス ( 生命情報学 ) 応用生命科学 情報生命学第 3 回配列解析入門 生物学と情報学の学際領域の学問分野 目的 生物データに対する情報解析技術の開発 情報解析技術を利用した新たな生物学的知識の発見 生物学の実験技術の革新 ( 例 : 次世代シークエンサー ) 大量のデータ ウェット ( 実験 ) とドライ ( 解析 ) の協力が不可欠 2 3

More information

Microsoft PowerPoint - 05.pptx

Microsoft PowerPoint - 05.pptx アルゴリズムとデータ構造第 5 回 : データ構造 (1) 探索問題に対応するデータ構造 担当 : 上原隆平 (uehara) 2015/04/17 アルゴリズムとデータ構造 アルゴリズム : 問題を解く手順を記述 データ構造 : データや計算の途中結果を蓄える形式 計算の効率に大きく影響を与える 例 : 配列 連結リスト スタック キュー 優先順位付きキュー 木構造 今回と次回で探索問題を例に説明

More information

Microsoft PowerPoint - BIセンターセミナー2013.pptx[読み取り専用]

Microsoft PowerPoint - BIセンターセミナー2013.pptx[読み取り専用] 遺伝子配列解析の基礎 genome=gene+ome DNA 配列からタンパク質へ cgtgctttccacgacggtgacacgcttccctggattggccagactgccttccgggtcactgccatggaggagccgcagtcagatcctagcgtcgagccccctctga gtcaggaaacattttcagacctatggaaactacttcctgaaaacaacgttctgtcccccttgccgtcccaagcaatggatgatttgatgctgtccccggacgatattga

More information

ver

ver MacVector 基本操作 ( マルチプルアラインメント ) MacVector でマルチプルアラインメントをするために必要な操作の一部を紹介いたしす マルチプルアラインメントに関しての主要な操作は下記のものです A. 配列情報のファイルの入手 B. 配列情報ファイルの作成 ( 新規 ) C. マルチプルアラインメント D. 系統樹の作成 まず MacVector を起動してください ( 注意!MacVector

More information

生命情報学

生命情報学 生命情報学 (2) 配列解析基礎 阿久津達也 京都大学化学研究所 バイオインフォマティクスセンター 配列アラインメントとは? 配列検索 バイオインフォマティクスにおける基本原理 配列が似ていれば機能も似ている ただし 例外はある 配列検索の利用法 実験を行い機能未知の配列が見つかったデータベース中で類似の配列を検索機能既知の類似の配列が見つかれば その配列と似た機能を持つと推定 機能未知の配列 VLPIKSKLP...

More information

オートマトンと言語

オートマトンと言語 オートマトンと言語 4 回目 5 月 2 日 ( 水 ) 3 章 ( グラフ ) の続き 授業資料 http://ir.cs.yamanashi.ac.jp/~ysuzuki/public/automaton/ 授業の予定 ( 中間試験まで ) 回数月日 内容 4 月 日オートマトンとは, オリエンテーション 2 4 月 8 日 2 章 ( 数式の記法, スタック,BNF) 3 4 月 25 日 2

More information

Microsoft PowerPoint - 05DecisionTree-print.ppt

Microsoft PowerPoint - 05DecisionTree-print.ppt あらためて : 決定木の構築 決定木その 4 ( 改めて ) 決定木の作り方 慶應義塾大学理工学部櫻井彰人 通常の手順 : 上から下に ( 根から葉へ ) 再帰的かつ分割統治 (divide-and-conquer) まずは : 一つの属性を選び根とする 属性値ごとに枝を作る 次は : 訓練データを部分集合に分割 ( 枝一本につき一個 ) 最後に : 同じ手順を 個々の枝について行う その場合 個々の枝に割り当てられた訓練データのみを用いる

More information

バイオインフォマティクス第四回

バイオインフォマティクス第四回 IT BIO バイオインフォマティクス第 4 回 藤博幸 本日の講義 (1) 分子系統解析の概要 (2) 犯罪捜査への応用 本日の講義 (1) 分子系統解析の概要 (2) 犯罪捜査への応用 分子系統解析の手続き (1) 相同配列の収集系統分類の場合は オーソロガスな配列を収集 (2) 相同配列のマルチプルアラインメントの作成 (3) アラインメントから分子系統樹を構築 分子系統解析の手続き (1)

More information

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦   形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, オートマトン 形式言語及び演習 1 有限オートマトンとは 酒井正彦 wwwtrscssinagoya-uacjp/~sakai/lecture/automata/ 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, } 形式言語 : 数学モデルに基づいて定義された言語 認識機械 : 文字列が該当言語に属するか? 文字列 機械 受理

More information

Bioinformatics2

Bioinformatics2 バイオインフォマティクス配列データ解析 2 藤 博幸 データベース検索 (1) ブラウザで NCBI を検索 (2)NCBI で配列データの取得 (3)NCBI で BLAST 検索 ブラウザで NCBI を検索 ブラウザで NCBI を検索 クリック ブラウザで NCBI を検索 NCBI トップページ National Center for Biotechnology Information 分

More information

Microsoft PowerPoint - lecture a.pptx

Microsoft PowerPoint - lecture a.pptx 応用生命科学 情報生命学第 3 回配列解析入門 7 月 14 日 ( 木 ) 3 時限目加藤有己大阪大学大学院医学系研究科講義資料 http://www.med.osakau.ac.p/pub/rna/ykato/lecture/bonfo16/ 授業目的 情報科学と生命科学の融合領域である情報生命科学の基本的な手法を理解することを目的とする 日程 3 時限目 4 時限目 6 月 30 日 ( 木

More information

Microsoft Word - MacVector_Align_OP.doc

Microsoft Word - MacVector_Align_OP.doc MacVector 基本操作 ( マルチプルアラインメント ) MacVector でマルチプルアラインメントをするために必要な操作の一部を紹介いたしす マルチプルアラインメントに関しての主要な操作は下記のものです A. 配列情報のファイルの入手 B. 配列情報ファイルの作成 ( 新規 ) C. マルチプルアラインメント D. 系統樹の作成 まず MacVector を起動してください ( 注意!MacVector

More information

カイ二乗フィット検定、パラメータの誤差

カイ二乗フィット検定、パラメータの誤差 統計的データ解析 008 008.. 林田清 ( 大阪大学大学院理学研究科 ) 問題 C (, ) ( x xˆ) ( y yˆ) σ x πσ σ y y Pabx (, ;,,, ) ˆ y σx σ y = dx exp exp πσx ただし xy ˆ ˆ はyˆ = axˆ+ bであらわされる直線モデル上の点 ( ˆ) ( ˆ ) ( ) x x y ax b y ax b Pabx (,

More information

コンピュータ応用・演習 情報処理システム

コンピュータ応用・演習 情報処理システム 2010 年 12 月 15 日 データエンジニアリング 演習 情報処理システム データマイニング ~ データからの自動知識獲得手法 ~ 1. 演習の目的 (1) 多種多様な膨大な量のデータを解析し, 企業の経営活動などに活用することが望まれている. 大規模データベースを有効に活用する, データマイニング技術の研究が脚光を浴びている 1 1. 演習の目的 (2) POS データを用いて顧客の購買パターンを分析する.

More information

Microsoft PowerPoint - BI_okuno_

Microsoft PowerPoint - BI_okuno_ バイオインフォマティクス ( 配列検索 ) & ケモインフォマティクス ( 構造検索 ) 統合薬学教育開発分野 奥野恭史 創薬におけるインフォマティクス ゲノム情報 ゲノム基盤ターゲット研究探索 ターゲット バリデーション 創薬リード探索 創薬リード最適化 前臨床研究臨床研究 創薬 ゲノム情報 (~2 万 2 千遺伝子 ) 化合物ライブラリー (10^60 化合物 ) バイオインフォマティクス ケモインフォマティクス

More information

Microsoft PowerPoint - kougi10.ppt

Microsoft PowerPoint - kougi10.ppt C プログラミング演習 第 10 回二分探索木 1 例題 1. リストの併合 2 つのリストを併合するプログラムを動かしてみる head1 tail1 head2 tail2 NULL NULL head1 tail1 tail1 があると, リストの併合に便利 NULL 2 #include "stdafx.h" #include struct data_list { int data;

More information

様々なミクロ計量モデル†

様々なミクロ計量モデル† 担当 : 長倉大輔 ( ながくらだいすけ ) この資料は私の講義において使用するために作成した資料です WEB ページ上で公開しており 自由に参照して頂いて構いません ただし 内容について 一応検証してありますが もし間違いがあった場合でもそれによって生じるいかなる損害 不利益について責任を負いかねますのでご了承ください 間違いは発見次第 継続的に直していますが まだ存在する可能性があります 1 カウントデータモデル

More information

Kumamoto University Center for Multimedia and Information Technologies Lab. 熊本大学アプリケーション実験 ~ 実環境における無線 LAN 受信電波強度を用いた位置推定手法の検討 ~ InKIAI 宮崎県美郷

Kumamoto University Center for Multimedia and Information Technologies Lab. 熊本大学アプリケーション実験 ~ 実環境における無線 LAN 受信電波強度を用いた位置推定手法の検討 ~ InKIAI 宮崎県美郷 熊本大学アプリケーション実験 ~ 実環境における無線 LAN 受信電波強度を用いた位置推定手法の検討 ~ InKIAI プロジェクト @ 宮崎県美郷町 熊本大学副島慶人川村諒 1 実験の目的 従来 信号の受信電波強度 (RSSI:RecevedSgnal StrengthIndcator) により 対象の位置を推定する手法として 無線 LAN の AP(AccessPont) から受信する信号の減衰量をもとに位置を推定する手法が多く検討されている

More information

Microsoft Word ã‡»ã…«ã‡ªã…¼ã…‹ã…žã…‹ã…³ã†¨åłºæœ›å•¤(佒芤喋çfl�)

Microsoft Word ã‡»ã…«ã‡ªã…¼ã…‹ã…žã…‹ã…³ã†¨åłºæœ›å•¤(佒芤喋çfl�) Cellulr uo nd heir eigenlues 東洋大学総合情報学部 佐藤忠一 Tdzu So Depren o Inorion Siene nd rs Toyo Uniersiy. まえがき 一次元セルオ-トマトンは数学的には記号列上の行列の固有値問題である 固有値問題の行列はふつう複素数体上の行列である 量子力学における固有値問題も無限次元ではあるが関数環上の行列でその成分は可換環である

More information

基礎統計

基礎統計 基礎統計 第 11 回講義資料 6.4.2 標本平均の差の標本分布 母平均の差 標本平均の差をみれば良い ただし, 母分散に依存するため場合分けをする 1 2 3 分散が既知分散が未知であるが等しい分散が未知であり等しいとは限らない 1 母分散が既知のとき が既知 標準化変量 2 母分散が未知であり, 等しいとき 分散が未知であるが, 等しいということは分かっているとき 標準化変量 自由度 の t

More information

バイオプログラミング第 1 榊原康文 佐藤健吾 慶應義塾大学理工学部生命情報学科

バイオプログラミング第 1 榊原康文 佐藤健吾 慶應義塾大学理工学部生命情報学科 バイオプログラミング第 1 榊原康文 佐藤健吾 慶應義塾大学理工学部生命情報学科 ポインタ変数の扱い方 1 ポインタ変数の宣言 int *p; double *q; 2 ポインタ変数へのアドレスの代入 int *p; と宣言した時,p がポインタ変数 int x; と普通に宣言した変数に対して, p = &x; は x のアドレスのポインタ変数 p への代入 ポインタ変数の扱い方 3 間接参照 (

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 2. セルラ オートマトン (Cellular Automata) オートマトン (automata): 自動人形 自動機械, 順序機械 [John von Neuman] 自己複製オートマトン : 局所近傍則を備えた自己増殖プログラム, 離散系 セルラ オートマトン 2.1 セルラ オートマトン (CA) の一般事項 (1) セルラ オートマトンの定義 解析空間をセルと称する離散的領域に分割し,

More information

Microsoft PowerPoint - algo ppt [互換モード]

Microsoft PowerPoint - algo ppt [互換モード] 平衡木 アルゴリズム概論 - 探索 (2)- 安本慶一 yasumoto[at]is.naist.jp 二分探索木 高さがデータを挿入 削除する順番による 挿入 削除は平均 O(log n) だが, 最悪 O(n) 木の高さをできるだけ低く保ちたい 平衡木 (balanced tree) データを更新する際に形を変形して高さが log 2 n 程度に収まるようにした木 木の変形に要する時間を log

More information

GWB

GWB NGS データ解析入門 Web セミナー : 変異解析編 1 NGS 変異データ解析の手順 シークエンス 変異検出 マッピング データの精査 解釈 2 CLC Genomics Workbench 使用ツール シークエンスデータのインポート NGS data import クオリティチェック QC for Sequencing Reads Trim Reads 参照ゲノム配列へのマッピング 再アライメント

More information

国際塩基配列データベース n DNA のデータベース GenBank ( アメリカ :Na,onal Center for Biotechnology Informa,on, NCBI が運営 ) EMBL ( ヨーロッパ : 欧州生命情報学研究所が運営 ) DDBJ ( 日本 : 国立遺伝研内の日

国際塩基配列データベース n DNA のデータベース GenBank ( アメリカ :Na,onal Center for Biotechnology Informa,on, NCBI が運営 ) EMBL ( ヨーロッパ : 欧州生命情報学研究所が運営 ) DDBJ ( 日本 : 国立遺伝研内の日 生物情報工学 BioInforma*cs 3 遺伝子データベース 16/06/09 1 国際塩基配列データベース n DNA のデータベース GenBank ( アメリカ :Na,onal Center for Biotechnology Informa,on, NCBI が運営 ) EMBL ( ヨーロッパ : 欧州生命情報学研究所が運営 ) DDBJ ( 日本 : 国立遺伝研内の日本 DNA データバンクが運営

More information

Taro-2分探索木Ⅱ(公開版).jtd

Taro-2分探索木Ⅱ(公開版).jtd 2 分探索木 Ⅱ 0. 目次 5. 2 分探索木の操作 5. 1 要素の探索 5. 2 直前の要素の探索 5. 3 直後の要素の探索 5. 4 要素の削除 5. 5 問題 問題 1-1 - 5. 2 分探索木の操作 5. 1 要素の探索 要素 44 の探索 (1) 要素 と 44 を比較して 左部分木をたどる (2) 要素 33 と 44 を比較して 右部分木をたどる (3) 要素 44 を見つけた

More information

自動車感性評価学 1. 二項検定 内容 2 3. 質的データの解析方法 1 ( 名義尺度 ) 2.χ 2 検定 タイプ 1. 二項検定 官能検査における分類データの解析法 識別できるかを調べる 嗜好に差があるかを調べる 2 点比較法 2 点識別法 2 点嗜好法 3 点比較法 3 点識別法 3 点嗜好

自動車感性評価学 1. 二項検定 内容 2 3. 質的データの解析方法 1 ( 名義尺度 ) 2.χ 2 検定 タイプ 1. 二項検定 官能検査における分類データの解析法 識別できるかを調べる 嗜好に差があるかを調べる 2 点比較法 2 点識別法 2 点嗜好法 3 点比較法 3 点識別法 3 点嗜好 . 内容 3. 質的データの解析方法 ( 名義尺度 ).χ 検定 タイプ. 官能検査における分類データの解析法 識別できるかを調べる 嗜好に差があるかを調べる 点比較法 点識別法 点嗜好法 3 点比較法 3 点識別法 3 点嗜好法 : 点比較法 : 点識別法 配偶法 配偶法 ( 官能評価の基礎と応用 ) 3 A か B かの判定において 回の判定でAが選ばれる回数 kは p の二項分布に従う H :

More information

Microsoft PowerPoint - アルデIII 10回目12月09日

Microsoft PowerPoint - アルデIII 10回目12月09日 アルゴリズムとデータ構造 III 9 回目 : 月 9 日 全文検索アルゴリズム (Simple Serh, KMP) 授業資料 http://ir.s.ymnshi..jp/~ysuzuki/puli/lgorithm/index.html 授業の予定 ( 中間試験まで ) / スタック ( 後置記法で書かれた式の計算 ) / チューリング機械, 文脈自由文法 / 構文解析 CYK 法 / 構文解析

More information

Microsoft PowerPoint _生物配列解析基礎_3回目.pptx

Microsoft PowerPoint _生物配列解析基礎_3回目.pptx 1 古細菌 真正細菌 3 4 多くの生物にはDNA修復を行う機 構が備わっており これらをDNA 突然変異 修復系と呼ぶ アルビノのカラス 1つのDNAに生じた突然変異によって鎌状赤血球貧血症になる 5 進化の総合説 現在 進化を説明する理論 として最も支持されている のは進化の総合説と呼ばれ るもので 自然選択説や突 然変異説 隔離説 メンデ ルの遺伝子の理論 集団遺 伝学の理論や中立進化説な どを統合したものである

More information

Microsoft PowerPoint - stat-2014-[9] pptx

Microsoft PowerPoint - stat-2014-[9] pptx 統計学 第 17 回 講義 母平均の区間推定 Part-1 014 年 6 17 ( )6-7 限 担当教員 : 唐渡 広志 ( からと こうじ ) 研究室 : 経済学研究棟 4 階 43 号室 email: kkarato@eco.u-toyama.ac.j website: htt://www3.u-toyama.ac.j/kkarato/ 1 講義の目的 標本平均は正規分布に従うという性質を

More information

nlp1-04a.key

nlp1-04a.key 自然言語処理論 I. 文法 ( 構文解析 ) その 構文解析 sytctic lysis, prsig 文の構文的な構造を決定すること句構造文法が使われることが多い文法による構文木は一般に複数ある 構文木の違い = 解釈の違い 構文解析の目的 句構造文法の規則を使って, 文を生成できる構文木を全て見つけだすこと 文法が入力文を生成できるかどうかを調べるだけではない pro I 構文解析とは 構文木の違い

More information

memo

memo 計数工学プログラミング演習 ( 第 4 回 ) 2016/05/10 DEPARTMENT OF MATHEMATICA INFORMATICS 1 内容 リスト 疎行列 2 連結リスト (inked ists) オブジェクトをある線形順序に並べて格納するデータ構造 単方向連結リスト (signly linked list) の要素 x キーフィールド key ポインタフィールド next x->next:

More information

bb-8

bb-8 (8) 進化説と進化の証拠 進化とは何か? 生命とは何か?( 後述参照 : 進化する実体としての生物 ) 個体発生 ( 遺伝情報 表現型 ) 系統発生 ( 遺伝情報の系譜 ) 生命は遺伝情報として, 時空間的に展開している. 遺伝情報は 2 重螺旋状の核酸 ( 主に DNA) に刻まれ ( 塩基配列 ), 複製により, 増加し, 伝えられる. 複製 伝達の過程で, 不完全なコピーが生じる. 生命は

More information

講義「○○○○」

講義「○○○○」 講義 信頼度の推定と立証 内容. 点推定と区間推定. 指数分布の点推定 区間推定 3. 指数分布 正規分布の信頼度推定 担当 : 倉敷哲生 ( ビジネスエンジニアリング専攻 ) 統計的推測 標本から得られる情報を基に 母集団に関する結論の導出が目的 測定値 x x x 3 : x 母集団 (populaio) 母集団の特性値 統計的推測 標本 (sample) 標本の特性値 分布のパラメータ ( 母数

More information

分子系統樹推定の落とし穴と回避法 筑波大 生命環境 田辺晶史

分子系統樹推定の落とし穴と回避法 筑波大 生命環境 田辺晶史 分子系統樹推定の落とし穴と回避法 筑波大 生命環境 田辺晶史 http://www.fifthdimension.jp/wiki.cgi http://www.fifthdimension.jp/documents/molphytextbook/ 分子系統樹推定 の 落とし穴 とは データが 仮定 を満たしていない 仮定その1 相同 である 相同 非相同 相同 相同 同一の祖先形質 に由来する

More information

< 染色体地図 : 細胞学的地図 > 組換え価を用いることで連鎖地図を書くことができる しかし この連鎖地図はあくまで仮想的なものであって 実際の染色体と比較すると遺伝子座の順序は一致するが 距離は一致しない そこで実際の染色体上での遺伝子の位置を示す細胞学的地図が作られた 図 : 連鎖地図と細胞学

< 染色体地図 : 細胞学的地図 > 組換え価を用いることで連鎖地図を書くことができる しかし この連鎖地図はあくまで仮想的なものであって 実際の染色体と比較すると遺伝子座の順序は一致するが 距離は一致しない そこで実際の染色体上での遺伝子の位置を示す細胞学的地図が作られた 図 : 連鎖地図と細胞学 グループ A- : 染色体地図とは 染色体地図とは 染色体上での遺伝子の配置を示したものである 連鎖地図と細胞学的地図の 2 種類がある < 染色体地図 : 連鎖地図 ) > 染色体地図 : 染色体上の遺伝子座 ( または遺伝子 ) の位置関係を示した地図ある遺伝子座がどの染色体上にあるのか その染色体のどの位置にあるのかこれらを明らかにすれば染色体地図が書ける A C F R 14% 12% 4%

More information

(Microsoft PowerPoint - \203|\203X\203^\201[\224\255\225\\\227p\216\221\227\ ppt)

(Microsoft PowerPoint - \203|\203X\203^\201[\224\255\225\\\227p\216\221\227\ ppt) Web ページタイプによるクラスタリングを用いた検索支援システム 折原大内海彰電気通信大学システム工学専攻 はじめに 背景 文書クラスタリングを用いた検索支援システム Clusty(http://clusty.jp/) KartOO(http://www.kartoo.com/) Carrot(http://www.carrot-search.com/) これらはすべてトピックによる分類を行っている

More information

ChIP-seq

ChIP-seq ChIP-seq 1 ChIP-seq 解析原理 ChIP サンプルのフラグメントでは タンパク質結合部位付近にそれぞれ Forward と Reverse のリードがマップされることが予想される ChIP のサンプルでは Forward と Reverse のリードを 3 側へシフトさせ ChIP のピークを算出する コントロールサンプルでは ChIP のサンプルとは異なり 特定の場所に多くマップされないため

More information

アルゴリズム入門

アルゴリズム入門 アルゴリズム入門 第 11 回 ~ パターン認識 (1)~ 情報理工学系研究科 創造情報学専攻 中山英樹 1 今日の内容 パターン認識問題の 1 つ : アラインメント アルゴリズム 再帰 動的計画法 2 パターン認識 音や画像の中に隠れたパターンを認識する 音素 音節 単語 文 基本図形 文字 指紋 物体 人物 顔 パターン は唯一のデータではなく 似通ったデータの集まりを表している 多様性 ノイズ

More information

_KyoukaNaiyou_No.4

_KyoukaNaiyou_No.4 理科教科内容指導論 I : 物理分野 物理現象の定量的把握第 4 回 ( 実験 ) データの眺め ~ 統計学の基礎続き 統計のはなし 基礎 応 娯楽 (Best selected business books) 村平 科技連出版社 1836 円 前回の復習と今回以降の 標 東京 学 善 郎 Web サイトより データ ヒストグラム 代表値 ( 平均値 最頻値 中間値 ) 分布の散らばり 集団の分布

More information

次元圧縮法を導入したクエリに基づくバイクラスタリング 情報推薦への応用 武内充三浦功輝岡田吉史 ( 室蘭工業大学 ) 概要以前, 我々はクエリに基づくバイクラスタリングを用いた情報推薦手法を提案した. 本研究では, 新たに推薦スコアが非常に良く似たユーザまたはアイテムを融合する次元圧縮法を導入した. 実験として, 縮減前と縮減後のデータセットのサイズとバイクラスタ計算時間の比較を行う. キーワード

More information

Microsoft PowerPoint - ●SWIM_ _INET掲載用.pptx

Microsoft PowerPoint - ●SWIM_ _INET掲載用.pptx シーケンスに基づく検索モデルの検索精度について 東京工芸大学工学部コンピュータ応用学科宇田川佳久 (1/3) (2/3) 要員数 情報システム開発のイメージソースコード検索機能 他人が作ったプログラムを保守する必要がある 実務面での応用 1 バグあるいは脆弱なコードを探す ( 品質の高いシステムを開発する ) 2 プログラム理解を支援する ( 第 3 者が書いたコードを保守する ) 要件定義外部設計内部設計

More information

「組換えDNA技術応用食品及び添加物の安全性審査の手続」の一部改正について

「組換えDNA技術応用食品及び添加物の安全性審査の手続」の一部改正について ( 別添 ) 最終的に宿主に導入された DNA が 当該宿主と分類学上同一の種に属する微生物の DNA のみである場合又は組換え体が自然界に存在する微生物と同等の遺伝子構成である場合のいずれかに該当することが明らかであると判断する基準に係る留意事項 最終的に宿主に導入されたDNAが 当該宿主と分類学上同一の種に属する微生物のDNAのみである場合又は組換え体が自然界に存在する微生物と同等の遺伝子構成である場合のいずれかに該当することが明らかであると判断する基準

More information

NCBI BLAST チュートリアル このチュートリアルでは NCBI サイトでの BLAST による相同性検索の方法について 一般的な使い方を紹介しています はじめに. BLAST とは まずはじめに 簡単に BLAST について紹介することにしましょう BLAST は Basic Local Alignment Search Tool の略で ペアワイズの局所的なアライメント / 相同性検索 (

More information

NGSデータ解析入門Webセミナー

NGSデータ解析入門Webセミナー NGS データ解析入門 Web セミナー : RNA-Seq 解析編 1 RNA-Seq データ解析の手順 遺伝子発現量測定 シークエンス マッピング サンプル間比較 機能解析など 2 CLC Genomics Workbench 使用ツール シークエンスデータ メタデータのインポート NGS data import Import Metadata クオリティチェック Create Sequencing

More information

Slide 1

Slide 1 MEGA5 と Perl を用いた 分子進化解析の基礎 野澤昌文 2012 年 1 月 16 日基礎生物学研究所 ハンズオンセミナー 1 分子進化研究における一般的手法 相同な配列の比較 塩基配列 配列名塩基配列 A A T G G T A C A C B A T G A T A C A C C A T G G T A C A T アミノ酸配列 配列名 アミノ酸配列 A Met Val His B

More information

データ構造

データ構造 アルゴリズム及び実習 7 馬青 1 表探索 定義表探索とは 表の形で格納されているデータの中から条件に合ったデータを取り出してくる操作である 但し 表は配列 ( 連結 ) リストなどで実現できるので 以降 表 の代わりに直接 配列 や リスト などの表現を用いる場合が多い 表探索をただ 探索 と呼ぶ場合が多い 用語レコード : 表の中にある個々のデータをレコード (record) と呼ぶ フィールド

More information

Probit , Mixed logit

Probit , Mixed logit Probit, Mixed logit 2016/5/16 スタートアップゼミ #5 B4 後藤祥孝 1 0. 目次 Probit モデルについて 1. モデル概要 2. 定式化と理解 3. 推定 Mixed logit モデルについて 4. モデル概要 5. 定式化と理解 6. 推定 2 1.Probit 概要 プロビットモデルとは. 効用関数の誤差項に多変量正規分布を仮定したもの. 誤差項には様々な要因が存在するため,

More information

講義「○○○○」

講義「○○○○」 講義 システムの信頼性 内容. 直列システムの信頼性. 並列システムの信頼性 3. 直列 並列の複合システムの信頼性 4. 信頼性向上のための手法 担当 : 倉敷哲生 ビジネスエンジニアリング専攻 システムの構成 種々の機械や構造物, システムを分割していけば. 個々の要素 サブシステム となる. サブシステムの組み合わせ方式 直列系 並列系 m/ 冗長系 待機冗長系 3 直列システムの信頼性 直列系

More information

我々のビッグデータ処理の新しい産業応用 広告やゲーム レコメンだけではない 個別化医療 ( ライフサイエンス ): 精神神経系疾患 ( うつ病 総合失調症 ) の網羅的ゲノム診断法の開発 全人類のゲノム解析と個別化医療実現を目標 ゲノム育種 ( グリーンサイエンス ): ブルーベリー オオムギ イネ

我々のビッグデータ処理の新しい産業応用 広告やゲーム レコメンだけではない 個別化医療 ( ライフサイエンス ): 精神神経系疾患 ( うつ病 総合失調症 ) の網羅的ゲノム診断法の開発 全人類のゲノム解析と個別化医療実現を目標 ゲノム育種 ( グリーンサイエンス ): ブルーベリー オオムギ イネ モンテカルロ法による分子進化の分岐図作成 のための最適化法 石井一夫 1 松田朋子 2 古崎利紀 1 後藤哲雄 2 1 東京農工大学 2 茨城大学 2013 9 9 2013 1 我々のビッグデータ処理の新しい産業応用 広告やゲーム レコメンだけではない 個別化医療 ( ライフサイエンス ): 精神神経系疾患 ( うつ病 総合失調症 ) の網羅的ゲノム診断法の開発 全人類のゲノム解析と個別化医療実現を目標

More information

Information Theory

Information Theory 前回の復習 情報をコンパクトに表現するための符号化方式を考える 情報源符号化における基礎的な性質 一意復号可能性 瞬時復号可能性 クラフトの不等式 2 l 1 + + 2 l M 1 ハフマン符号の構成法 (2 元符号の場合 ) D. Huffman 1 前回の練習問題 : ハフマン符号 符号木を再帰的に構成し, 符号を作る A B C D E F 確率 0.3 0.2 0.2 0.1 0.1 0.1

More information

Functional Programming

Functional Programming PROGRAMMING IN HASKELL プログラミング Haskell Chapter 10 - Declaring Types and Classes 型とクラスの定義 愛知県立大学情報科学部計算機言語論 ( 山本晋一郎 大久保弘崇 2011 年 ) 講義資料オリジナルは http://www.cs.nott.ac.uk/~gmh/book.html を参照のこと 0 型宣言 (Type Declarations)

More information

Microsoft Word - 13

Microsoft Word - 13 担当 : 富井尚志 (tommy@ynu.ac.jp) アルゴリズムとデータ構造 講義日程 1. 基本的データ型 2. 基本的制御構造 3. 変数のスコープルール. 関数 4. 配列を扱うアルゴリズムの基礎 (1). 最大値, 最小値 5. 配列を扱うアルゴリズムの基礎 (2). 重複除去, 集合演算, ポインタ 6. ファイルの扱い 7. 整列 (1). 単純挿入整列 単純選択整列 単純交換整列

More information

論文題目  腸管分化に関わるmiRNAの探索とその発現制御解析

論文題目  腸管分化に関わるmiRNAの探索とその発現制御解析 論文題目 腸管分化に関わる microrna の探索とその発現制御解析 氏名日野公洋 1. 序論 microrna(mirna) とは細胞内在性の 21 塩基程度の機能性 RNA のことであり 部分的相補的な塩基認識を介して標的 RNA の翻訳抑制や不安定化を引き起こすことが知られている mirna は細胞分化や増殖 ガン化やアポトーシスなどに関与していることが報告されており これら以外にも様々な細胞諸現象に関与していると考えられている

More information

Microsoft PowerPoint ppt

Microsoft PowerPoint ppt 情報科学第 07 回データ解析と統計代表値 平均 分散 度数分布表 1 本日の内容 データ解析とは 統計の基礎的な値 平均と分散 度数分布表とヒストグラム 講義のページ 第 7 回のその他の欄に 本日使用する教材があります 171025.xls というファイルがありますので ダウンロードして デスクトップに保存してください 2/45 はじめに データ解析とは この世の中には多くのデータが溢れています

More information

バイオインフォマティクス第五回

バイオインフォマティクス第五回 IT BIO バイオインフォマティクス第 5 回 藤博幸 本日の講義 (1) 前回の近隣結合法による系統樹構築の補足 (1-1) モデル選択 モデルとは? (1-2) ブートストラップ法 (1-3) Newick 形式 (2) 最尤法による系統樹構築外群導入による根の同定 本日の講義 (1) 前回の近隣結合法による系統樹構築の補足 (1-1) モデル選択 モデルとは? (1-2) ブートストラップ法

More information

0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生

0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生 0 21 カラー反射率 slope aspect 図 2.9: 復元結果例 2.4 画像生成技術としての計算フォトグラフィ 3 次元情報を復元することにより, 画像生成 ( レンダリング ) に応用することが可能である. 近年, コンピュータにより, カメラで直接得られない画像を生成する技術分野が生まれ, コンピューテーショナルフォトグラフィ ( 計算フォトグラフィ ) と呼ばれている.3 次元画像認識技術の計算フォトグラフィへの応用として,

More information

「組換えDNA技術応用食品及び添加物の安全性審査の手続」の一部改正について

「組換えDNA技術応用食品及び添加物の安全性審査の手続」の一部改正について 食安基発 0627 第 3 号 平成 26 年 6 月 27 日 各検疫所長殿 医薬食品局食品安全部基準審査課長 ( 公印省略 ) 最終的に宿主に導入されたDNAが 当該宿主と分類学上同一の種に属する微生物のDNAのみである場合又は組換え体が自然界に存在する微生物と同等の遺伝子構成である場合のいずれかに該当することが明らかであると判断する基準に係る留意事項について 食品 添加物等の規格基準 ( 昭和

More information

離散数学

離散数学 離散数学 最短経路問題 落合秀也 その前に 前回の話 深さ優先探索アルゴリズム 開始点 から深さ優先探索を行うアルゴリズム S.pu() Wl S not mpty v := S.pop() I F[v] = l Tn, F[v] := tru For no u n A[v] S.pu(u) EnFor EnI EnWl (*) 厳密には初期化処理が必要だが省略している k 時間計算量 :O(n+m)

More information

修士論文予稿集の雛型

修士論文予稿集の雛型 2010 年度第 6 回情報処理学会東北支部研究会 ( 山形大学 ) 資料番号 10-6-A5-1 バクテリアの塩基配列における文字の含量を用いた解析山形大学大学院理工学研究科応用生命システム工学専攻小池公洋 木ノ内誠 1. はじめに近年多くの生物の全ゲノム配列が決定されている 2010 年 3 月現在 バクテリアでは 1400 種以上の全ゲノム配列が決定されている 決定された配列から生命現象を解明するために

More information

SAP11_03

SAP11_03 第 3 回 音声音響信号処理 ( 線形予測分析と自己回帰モデル ) 亀岡弘和 東京大学大学院情報理工学系研究科日本電信電話株式会社 NTT コミュニケーション科学基礎研究所 講義内容 ( キーワード ) 信号処理 符号化 標準化の実用システム例の紹介情報通信の基本 ( 誤り検出 訂正符号 変調 IP) 符号化技術の基本 ( 量子化 予測 変換 圧縮 ) 音声分析 合成 認識 強調 音楽信号処理統計的信号処理の基礎

More information

スライド 1

スライド 1 新聞記事 DB の使用方法 4 種類の DB I. 朝日新聞 (1984- 現在 ) 遡及情報検索 II. 朝日新聞 (1945-1985) 遡及情報検索 別の DB III. 新潟日報 (2004- 現在 ) 遡及情報検索 IV. 日本経済新聞 (1981- 現在 ) 記事検索以下は概要なので 詳細は教科書を参照のこと DB の使用可能期間 朝日 2018/7/2-7/20 30ID( 日曜除 )

More information

Microsoft PowerPoint - ca ppt [互換モード]

Microsoft PowerPoint - ca ppt [互換モード] 大阪電気通信大学情報通信工学部光システム工学科 2 年次配当科目 コンピュータアルゴリズム 良いアルゴリズムとは 第 2 講 : 平成 20 年 10 月 10 日 ( 金 ) 4 限 E252 教室 中村嘉隆 ( なかむらよしたか ) 奈良先端科学技術大学院大学助教 y-nakamr@is.naist.jp http://narayama.naist.jp/~y-nakamr/ 第 1 講の復習

More information

memo

memo 計数工学プログラミング演習 ( 第 6 回 ) 2016/05/24 DEPARTMENT OF MATHEMATICAL INFORMATICS 1 今日の内容 : 再帰呼び出し 2 分探索木 深さ優先探索 課題 : 2 分探索木を用いたソート 2 再帰呼び出し 関数が, 自分自身を呼び出すこと (recursive call, recursion) 再帰を使ってアルゴリズムを設計すると, 簡単になることが多い

More information

<4D F736F F D E4F8E9F82C982A882AF82E98D7397F1>

<4D F736F F D E4F8E9F82C982A882AF82E98D7397F1> 3 三次における行列 要旨高校では ほとんど 2 2 の正方行列しか扱ってなく 三次の正方行列について考えてみたかったため 数 C で学んだ定理を三次の正方行列に応用して 自分たちで仮説を立てて求めていったら 空間における回転移動を表す行列 三次のケーリー ハミルトンの定理 三次における逆行列を求めたり 仮説をたてることができた. 目的 数 C で学んだ定理を三次の正方行列に応用する 2. 概要目的の到達点として

More information

Taro-再帰関数Ⅱ(公開版).jtd

Taro-再帰関数Ⅱ(公開版).jtd 0. 目次 6. 2 項係数 7. 二分探索 8. 最大値探索 9. 集合 {1,2,,n} 上の部分集合生成 - 1 - 6. 2 項係数 再帰的定義 2 項係数 c(n,r) は つぎのように 定義される c(n,r) = c(n-1,r) + c(n-1,r-1) (n 2,1 r n-1) = 1 (n 0, r=0 ) = 1 (n 1, r=n ) c(n,r) 0 1 2 3 4 5

More information

Microsoft PowerPoint - 06.pptx

Microsoft PowerPoint - 06.pptx アルゴリズムとデータ構造第 6 回 : 探索問題に対応するデータ構造 (2) 担当 : 上原隆平 (uehara) 2015/04/22 内容 スタック (stack): 最後に追加されたデータが最初に取り出される 待ち行列 / キュー (queue): 最初に追加されたデータが最初に取り出される ヒープ (heap): 蓄えられたデータのうち小さいものから順に取り出される 配列による実装 連結リストによる実装

More information

Microsoft Word - 卒論レジュメ_最終_.doc

Microsoft Word - 卒論レジュメ_最終_.doc 指紋認証のマニューシャ抽出について 澤見研究室 I02I036 兼信雄一 I02I093 柳楽和信 I02I142 吉田寛孝 1. はじめに近年, キャッシュカードや暗証番号が盗用され, 現金が引き出されるような事件が相次いでいる. これらの対向策として人間の体の一部を認証の鍵として利用する生体認証に注目が集まっている. そこで我々は, 生体認証で最も歴史がある指紋認証技術に着目した. 指紋認証方式は,2

More information

第4回バイオインフォマティクスアルゴリズム実習

第4回バイオインフォマティクスアルゴリズム実習 第 5 回バイオインフォマティクスアルゴリズム アラインメントアルゴリズム (3) 慶應義塾大学先端生命科学研究所 アラインメント 置換 挿入 欠損を考慮して塩基配列あるいは アミノ酸配列の似た部分をそろえることギャップ - を挿入する CAAGACATTTTAC CATACACTTTAC CA-AGACATTTTAC CATACAC--TTTAC ** * ** ***** アラインメントはグラフで表現できる

More information

COMPUTING THE LARGEST EMPTY RECTANGLE

COMPUTING THE LARGEST EMPTY RECTANGLE COMPUTING THE LARGEST EMPTY RECTANGLE B.Chazelle, R.L.Drysdale and D.T.Lee SIAM J. COMPUT Vol.15 No.1, February 1986 2012.7.12 TCS 講究関根渓 ( 情報知識ネットワーク研究室 M1) Empty rectangle 内部に N 個の点を含む領域長方形 (bounding

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション M0 鈴木宏彰 1 IDN( 国際化ドメイン名 ) とは 通常のドメイン名はアルファベット 数字 ハイフンなどの ASCII 文字の集合からなり 単一の言語でしか表現できない ( 例 :waseda.jp) Unicode を使用することにより多言語にも対応したドメイン名が IDN( 例 : 早稲田.jp) IDN はブラウザ側で Punycode と呼ばれる Unicode から ASCII 文字への変換アルゴリズムを適応してから名前解決が行われる

More information

Microsoft PowerPoint - Inoue-statistics [互換モード]

Microsoft PowerPoint - Inoue-statistics [互換モード] 誤差論 神戸大学大学院農学研究科 井上一哉 (Kazuya INOUE) 誤差論 2011 年度前期火曜クラス 1 講義内容 誤差と有効数字 (Slide No.2~8 Text p.76~78) 誤差の分布と標準偏差 (Slide No.9~18 Text p.78~80) 最確値とその誤差 (Slide No.19~25 Text p.80~81) 誤差の伝播 (Slide No.26~32 Text

More information

An Automated Proof of Equivalence on Quantum Cryptographic Protocols

An Automated Proof of Equivalence on Quantum Cryptographic Protocols 量子暗号のための プロトコル等価性検証ツール 久保田貴大 *, 角谷良彦 *, 加藤豪, 河野泰人, 櫻田英樹 * 東京大学情報理工学系研究科, NTT コミュニケーション科学基礎研究所 背景 暗号安全性証明の検証は難しい 量子暗号でもそうである 検証のための形式体系が提案されているが, 実際には, 形式体系の適用は手作業では非常に煩雑である 形式検証のためには, 検証ツールが開発されることが望ましい

More information

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦   正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語 オートマトン 形式言語及び演習 3. 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ とは ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械 : 言語を記号列で定義 - 記述しやすい ( ユーザフレンドリ ) 例 :01 + 10 - UNIX の grep コマンド - UNIX の

More information

簿記教育における習熟度別クラス編成 簿記教育における習熟度別クラス編成 濱田峰子 要旨 近年 学生の多様化に伴い きめ細やかな個別対応や対話型授業が可能な少人数の習熟度別クラス編成の重要性が増している そのため 本学では入学時にプレイスメントテストを実施し 国語 数学 英語の 3 教科については習熟

簿記教育における習熟度別クラス編成 簿記教育における習熟度別クラス編成 濱田峰子 要旨 近年 学生の多様化に伴い きめ細やかな個別対応や対話型授業が可能な少人数の習熟度別クラス編成の重要性が増している そのため 本学では入学時にプレイスメントテストを実施し 国語 数学 英語の 3 教科については習熟 濱田峰子 要旨 近年 学生の多様化に伴い きめ細やかな個別対応や対話型授業が可能な少人数の習熟度別クラス編成の重要性が増している そのため 本学では入学時にプレイスメントテストを実施し 国語 数学 英語の 3 教科については習熟度別クラス編成を実施している 本稿では さらにの導入へ向けて 既存のプレイスメントテストを活用したクラス編成の可能性について検討した 3 教科に関するプレイスメントテストの偏差値を説明変数

More information

1 研究開発のねらい 糖鎖は 細胞表面のタンパク質や脂質に結合し 血液型の決定 細胞接着 抗原抗体反応 ウイルス感染などの生体反応で重要な役割を果たす生体分子である 糖鎖による多様な生物学的機能のうち 糖鎖結合タンパク質による糖鎖の特異的認識があり 糖鎖 - タンパク質間の相互作用の解析に糖鎖アレイ

1 研究開発のねらい 糖鎖は 細胞表面のタンパク質や脂質に結合し 血液型の決定 細胞接着 抗原抗体反応 ウイルス感染などの生体反応で重要な役割を果たす生体分子である 糖鎖による多様な生物学的機能のうち 糖鎖結合タンパク質による糖鎖の特異的認識があり 糖鎖 - タンパク質間の相互作用の解析に糖鎖アレイ ライフサイエンスデータベース統合推進事業統合データ解析トライアル研究開発課題 タンパク質 - 糖鎖間の糖鎖結合部位の解明のためのツール改良及び解析 研究開発終了報告書 研究開発期間 : 平成 25 年 9 月 ~ 平成 26 年 1 月 研究代表者 : 細田正恵 ( 創価大学大学院工学研究科生命情報工学専攻 大学院生 ) - 1-2014 細田正恵 ( 創価大学大学院 )licensed under

More information

コンピュータグラフィックス第8回

コンピュータグラフィックス第8回 コンピュータグラフィックス 第 8 回 レンダリング技法 1 ~ 基礎と概要, 隠面消去 ~ 理工学部 兼任講師藤堂英樹 レポート提出状況 課題 1 の選択が多い (STAND BY ME ドラえもん ) 体験演習型 ( 課題 3, 課題 4) の選択も多い 内訳 課題 1 課題 2 課題 3 課題 4 課題 5 2014/11/24 コンピュータグラフィックス 2 次回レポートの体験演習型 メタセコイア,

More information

Microsoft Word - 補論3.2

Microsoft Word - 補論3.2 補論 3. 多変量 GARC モデル 07//6 新谷元嗣 藪友良 対数尤度関数 3 章 7 節では 変量の対数尤度を求めた ここでは多変量の場合 とくに 変量について対数尤度を求める 誤差項 は平均 0 で 次元の正規分布に従うとする 単純化のため 分散と共分散は時間を通じて一定としよう ( この仮定は後で変更される ) したがって ij から添え字 を除くことができる このとき と の尤度関数は

More information

Microsoft PowerPoint - 統計科学研究所_R_重回帰分析_変数選択_2.ppt

Microsoft PowerPoint - 統計科学研究所_R_重回帰分析_変数選択_2.ppt 重回帰分析 残差分析 変数選択 1 内容 重回帰分析 残差分析 歯の咬耗度データの分析 R で変数選択 ~ step 関数 ~ 2 重回帰分析と単回帰分析 体重を予測する問題 分析 1 身長 のみから体重を予測 分析 2 身長 と ウエスト の両方を用いて体重を予測 分析 1 と比べて大きな改善 体重 に関する推測では 身長 だけでは不十分 重回帰分析における問題 ~ モデルの構築 ~ 適切なモデルで分析しているか?

More information

Microsoft Word - 11 進化ゲーム

Microsoft Word - 11 進化ゲーム . 進化ゲーム 0. ゲームの理論の分類 これまで授業で取り扱ってきたゲームは 協 ゲームと呼ばれるものである これはプレイヤー同士が独立して意思決定する状況を表すゲームであり ふつう ゲーム理論 といえば 非協力ゲームを表す これに対して プレイヤー同士が協力するという前提のもとに提携形成のパタンや利得配分の在り方を分析するゲームを協 ゲームという もっとも 社会現象への応用可能性も大きいはずなのに

More information

Microsoft PowerPoint - statistics pptx

Microsoft PowerPoint - statistics pptx 統計学 第 16 回 講義 母平均の区間推定 Part-1 016 年 6 10 ( ) 1 限 担当教員 : 唐渡 広志 ( からと こうじ ) 研究室 : 経済学研究棟 4 階 43 号室 email: kkarato@eco.u-toyama.ac.jp website: http://www3.u-toyama.ac.jp/kkarato/ 1 講義の目的 標本平均は正規分布に従うという性質を

More information

統計的データ解析

統計的データ解析 統計的データ解析 011 011.11.9 林田清 ( 大阪大学大学院理学研究科 ) 連続確率分布の平均値 分散 比較のため P(c ) c 分布 自由度 の ( カイ c 平均値 0, 標準偏差 1の正規分布 に従う変数 xの自乗和 c x =1 が従う分布を自由度 の分布と呼ぶ 一般に自由度の分布は f /1 c / / ( c ) {( c ) e }/ ( / ) 期待値 二乗 ) 分布 c

More information

情報工学概論

情報工学概論 確率と統計 中山クラス 第 11 週 0 本日の内容 第 3 回レポート解説 第 5 章 5.6 独立性の検定 ( カイ二乗検定 ) 5.7 サンプルサイズの検定結果への影響練習問題 (4),(5) 第 4 回レポート課題の説明 1 演習問題 ( 前回 ) の解説 勉強時間と定期試験の得点の関係を無相関検定により調べる. データ入力 > aa

More information

オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦 正規言語の性質 反復補題正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると

オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦   正規言語の性質 反復補題正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ 正規言語の性質 正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると仮定してを使い 矛盾を導く 閉包性正規言語を演算により組み合わせて得られる言語が正規言語となる演算について調べる

More information