Pre-mRNA スプライシング - Wikipedia
「RNAスプライシング」はこの項目へ転送されています。その他のRNAスプライシングについては「スプライシング」をご覧ください。 pre-mRNAスプライシング（プレ・エムアールエヌエー・スプライシング, pre-mRNA splicing）とは、タンパク質生合成において、転写 (生物学)で合成された一次転写産物からイントロンが除去されエクソンが結合する過程をいう。pre-mRNAとは、mRNA前駆体のことである。この過程の結果生じるRNAをメッセンジャーRNA(mRNA)といい、次の段階である翻訳でタンパク質合成の直接の引き金となる。生物学の分野でRNAスプライシング RNA splicing または単にスプライシングという時はこれを指すことが多い。 図1．mRNA前駆体におけるエクソンとイントロンおよびスプライシングを受けた後の成熟mRNAの簡略図。UTRはmRNA末端にあるエクソンの非
Microsoft Windows 8 - Wikipedia
サポート終了 サービスパック サポート終了日:2016年1月13日 (8年前)) (米国日時2016年1月12日・終了済み) ユーザーはWindows 8.1へのアップグレードが必要。 Windows 8（ウィンドウズ 8、ウィンドウズ エイト）は、マイクロソフトがリリースした、Windowsシリーズに属するパーソナルコンピュータおよびタブレット端末用のオペレーティングシステム (OS) である[3]。3種類のプレビュー版のリリースを経て、2012年8月から10月末にかけて正式版が順次リリースされた。 2013年10月18日より、Windows 8.1（読み方については諸説あるため後述）の提供が開始された。Windows 8.1 は Windows 8 と同一のサポート ライフサイクル ポリシー下で提供されるため[4] 便宜上、本項のWindows 8.1節などで併せて説明する。 概要[編
チャン・グンソク - Wikipedia
チャン・グンソク（朝: 장근석、1987年8月4日 - ）[1]は、韓国の俳優、歌手、モデル。2010年1月よりソウル市広報大使を務めている[3]。 経歴[編集] 俳優[編集] 1993年、6歳のときに偶然自宅に来た映画俳優が彼の両親に「お子さんを俳優にしたらどうですか?」と勧めたことをきっかけに、子供服カタログのモデルとして芸能界入りする[4][5][1]。 父親が事業に失敗したため、子役モデル時代、生活のために下着広告のモデルをしたこともある[6]。 1997年、HBSのシットコム『幸福も売ります』でテレビ番組デビューを果たし、以後、テレビ番組を中心に子役として活動する。 2001年、歌手BoAと共演したSKテレコム「ティング」のテレビCMで注目を浴びる[5]。2004年、シットコム『ノンストップ4』に出演。同年、初めてのラジオ番組『チャン・グンソクのヤングストリート』(SBS Pow
地下式原子力発電所政策推進議員連盟 - Wikipedia
地下式原子力発電所政策推進議員連盟（ちかしきげんしりょくはつでんしょ せいさくすいしんぎいんれんめい）は、日本の国会議員による超党派の議員連盟。略称は地下原発議連。 東京電力福島第一原子力発電所事故発生後の2011年5月、地下式原子力発電所の建設を推進する国会議員により結成され、5月31日に第1回の勉強会が開催された。主要な電力は将来も原子力でまかなう必要があるとして、原発事故の封じ込めが可能な地下原発の推進を要望するとしている[1]。 役員[編集] 会長 （空席） 顧問 山本有二（自由民主党） 事務局長 （空席） その他[2] 高市早苗（自由民主党） 石破茂（自由民主党） 所属していた役員[編集] 西岡武夫（無所属・2011年に死去） 鳩山由紀夫（顧問）（民主党・2012年に引退） 渡部恒三（顧問）（民主党・2012年に引退） 森喜朗（顧問）（自由民主党・2012年に引退） 古賀誠（自由
S&P グローバル・レーティング - Wikipedia
S&Pグローバル・レーティング（英: S&P Global Ratings）は、S&P グローバル（NYSE: SPGI）の一部門であり、金融商品または企業・政府などにつき、その信用状態に関する意見及び投資情報を提供する、世界最大手の格付け機関である。アメリカ合衆国・ニューヨーク市に本部を置き、世界26ヵ国にオフィスを展開している[2]。企業や銀行等の金融機関（株式と債券の発行体）の信用力の調査研究を行い、2013年には世界総生産の約5％相当の3.5兆ドル（約357兆円）の債務に信用格付けを付与している。 1860年にヘンリー・ヴァーナム・プアー（英語版）が始めた鉄道会社の債券の信用調査が淵源であり、1966年にマグロウヒル傘下となった。日本の発行体については、1975年に初めて格付けを付与した。1986年に東京オフィスを開設。なお、日本ではスタンダード&プアーズの名称を冠する2つの法人、
スンドゥブ - Wikipedia
スンドゥブ（純豆腐、朝: 순두부）は朝鮮の豆腐の一種[1]で、日本の汲み出し豆腐（おぼろ豆腐）[2]に相当する柔かい豆腐である[3]。 チゲのメイン食材として使われることが多く[3]日常の会話では、豆腐そのものよりもスンドゥブチゲ（純豆腐チゲ、순두부찌개/純豆腐찌개）の略称として使われることが多い。スンドゥブチゲは韓国の食堂や家庭で一般的かつ安価に親しまれている鍋料理のひとつである。 概説[編集] スンドゥブ[編集] 豆腐そのもののスンドゥブは、豆乳に凝固剤を加えた状態のままのもので、絞らないので水分を多く含み柔らかである。チゲなどの食材とするほか、そのままヤンニョムカンジャン（薬味入りの醤油）などをかけて食べたりする。スンドゥブの呼称は「純豆腐」の朝鮮語読みとも「水豆腐（スドゥブ）」が変化したものとも言われているが、定説はない。但し現在では漢字表記で紹介されるときは「純豆腐」と書かれるこ
Beamer - Wikipedia
Beamer（ビーマー）は LaTeX に基づき、プレゼンテーションを作成するためのクラスである。名称の Beamer はビデオプロジェクターを意味するドイツ語に由来している。 LaTeX 用のプレゼンテーション作成の試みは Beamer が初めてではない。以前の他の例と同様に Beamer にはスライドを定義する特別な構文がある（Beamer ではこれを "frames" と呼ぶ）。テキストを隠しておいて徐々に表示するような効果をスライドに持たせられる。 これは、レイアウトを保って新たな要素を追加したページを PDF フォーマットで出力することで制御され、PDF ファイル内の次のページを表示することであたかも表示中のページに何かが追加されたように見せかける。 Beamer は、印刷に適した「配布資料」作成機能も持ち、プレゼンテーションの動的要素を排して各スライドの最終イメージだけからなる
部分評価 - Wikipedia
部分評価（ぶぶんひょうか、英: partial evaluation）は、計算理論における特殊化（特化）による最適化の技法の1つ。 概要[編集] 直感的には、典型的なコンピュータ・プログラムの最適化である定数畳み込みのようなものである。定数畳み込みは「部分評価のうち特に実施しやすい、定数のみからなる式の計算をおこなうもの」と言える。 理論的な説明としては、以下のようになる。プログラムを次のような入力データから出力データへの写像 prog とする。 はstatic data（静的データ）であり、コンパイル時に分かっている入力データを指す。 部分評価とは、コンパイル時に、静的データから計算可能なものを全て事前に計算しておくことで、 を とすることである。 は「残余プログラム (residual program)」と呼ばれ、本来のプログラムよりも効率化されていると期待できる。すなわち、部分評価と
Wikipedia
ツアー「SAKANAQUARIUM 2020 “834.194 光”」の会場に設置されたフォトパネル 834.194は、日本のロックバンド・サカナクションの7枚目のオリジナルアルバム。NF Recordsより2019年6月19日に発売された。前作『sakanaction』から約6年3ヶ月ぶりとなる作品でそれまでのキャリアの半分をかけて制作された。2019年3月7日に、ボーカル・山口一郎がパーソナリティを務める「サカナLOCKS!」にてリリースが発表された。オリコンアルバムチャートでは最高位2位を記録し、日本レコード協会からゴールドディスク認定を受けている。タイトルの『834.194』は、サカナクションが札幌時代に活動拠点としていた音楽スタジオ「スタジオ・ビーポップ」と、現在レコーディングの際に使用している東京の「青葉台スタジオ」を直線で結んだ距離（834.194km）に由来する。アルバムを
領域理論 - Wikipedia
領域理論 （りょういきりろん、英: domain theory）は、領域 (domain) と呼ばれる特別な種類の半順序集合を研究する数学の分野であり、順序理論の一分野である。 計算機科学の表示的意味論（英: denotational semantics）を構築するために用いられる。 領域理論は、近似と収束という直観的概念を極めて一般的な枠組で形式化し、位相空間と密接な関係をもつ。 領域理論の意図と直観的意味[編集] 1960年代末にデイナ・スコットが領域についての研究を開始したそもそもの動機は、ラムダ計算の表示的意味論について研究するためであった。 ラムダ計算においては、この言語が定めている記法で記される「関数」について考察する。 このラムダ計算では純粋に文法的に、単なる関数から入力引数として別の関数をとるような関数を作ることが可能である。 このラムダ計算には、不動点コンビネータ（英:
アフィン空間 - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2018年6月） 数学において、アフィン空間（あふぃんくうかん、英語: affine space, アファイン空間とも）または擬似空間（ぎじくうかん）とは、幾何ベクトルの存在の場であり、ユークリッド空間から絶対的な原点・座標と標準的な長さや角度などといった計量の概念を取り除いたアフィン構造を抽象化した幾何学的構造である。（代数的な）ベクトル空間からどの点が原点であるかを忘れたものと考えることもできる。 1次元のアフィン空間はアフィン直線、2次元のアフィン空間はアフィン平面（英語版）と呼ばれる。 大まかな説明[編集] アフィン空間では点の差としてベクトルを得たり、点にベクトルを加えて他の点を得たりすることはできるが、点同士をくわえることはできない。また特に、どの
選択公理 - Wikipedia
選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。 定義[編集] 空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。あるいは同じことであるが、空でない集合の空でない任意の族 に対して写像 であって任意の に対し なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。これは次の命題と同値である。 {Aλ}λ∈Λ をどれも空集合でないような集
)
射 (圏論) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "射" 圏論 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2009年7月） 数学の多くの分野において、型射あるいは射（しゃ、英: morphism; モルフィズム）は、ある数学的構造を持つ数学的対象から別の数学的対象への「構造を保つ」写像の意味で用いられる（準同型）。この意味での射の概念は現代的な数学のあらゆる場所で繰り返し生じてくる。例えば集合論における射は写像であり、線型代数学における線型写像、群論における群準同型、位相空間論における連続写像、… といったようなものなどがそうである。 圏論における射はこのような概念を広く推し進め、しか
マコモ - Wikipedia
マコモ（Zizania latifolia、真菰）は、イネ科マコモ属の多年草。別名ハナガツミ[1]。 種子部は穀物として、古代中国[2]:165や日本[3]で食された。可食できる種子を、カツミ、ハナガツミ、マコモノミ、サムコマイとも呼ぶ[3]。 また、黒穂菌（英語版）に感染して菌癭で大きくなった芽の葉を何枚か剥ぎとっていくと、中から真っ白なマコモダケ、菰角（こもづの）と呼ばれる食用部が現れる[1][3]。 特徴[編集] 冬のマコモ マコモは、東アジアや東南アジアに分布しており、日本では全国に見られる。 水辺に群生し、沼や河川、湖などに生育。成長すると大型になり、人の背くらいになる。花期は夏から秋で、雌花は黄緑色、雄花は紫色。葉脈は平行。 利用[編集] 調理済みのワイルドライス 種子（ワイルドライス）、肥大した新芽（マコモダケ）が食用とされる（後述）。また、マコモダケが黒く変じたものからは黒
)
グライダー (ライフゲーム) - Wikipedia
グライダーの変化の様子 (罫線が移動しているところに注意) グライダー (glider) は、ライフゲームにおける代表的な移動物体である。ライフゲームにおいて最初に発見された移動物体であり、最小の移動物体でもある。 ライフゲームで頻繁に出現する物体の1つであり、出現率はブロックの1/3程度である。 この物体は、Rペントミノの解析中にリチャード・ガイによって発見された。2単位時間ごとに反転を繰り返しながら移動するこの物体は、その移動の様子と、パターンが進行方向を軸に鏡像になることから、幾何学用語のglide reflection（en:Glide reflection）からグライダーと名付けられた。 セル・オートマトン一般には、グライダーのような移動物体を、宇宙船と呼ぶ。 他の物体との衝突[編集] グライダーは、他の物体と衝突し様々な変化を遂げることがある。 グライダー同士の衝突[編集] 2
カルマンフィルター - Wikipedia
カルマンフィルター (英: Kalman filter) は、誤差のある観測値を用いて、ある動的システムの状態を推定あるいは制御するための、無限インパルス応答フィルターの一種である。 実用例[編集] カルマンフィルターは、 離散的な誤差のある観測から、時々刻々と時間変化する量（例えばある物体の位置と速度）を推定するために用いられる。レーダーやコンピュータビジョンなど、工学分野で広く用いられる。例えば、カーナビゲーションでは、機器内蔵の加速度計や人工衛星からの誤差のある情報を統合して、時々刻々変化する自動車の位置を推定するのに応用されている。カルマンフィルターは、目標物の時間変化を支配する法則を活用して、目標物の位置を現在（フィルター）、未来（予測）、過去（内挿あるいは平滑化）に推定することができる。 歴史[編集] このフィルターはルドルフ・カルマンによって提唱されたが、同様の原理はトルバル
PaperChild - Wikipedia
PaperChild（ペーパーチャイルド）は紙を用いた創作表現技法のひとつ。またはそれを撮影した画像。 概要[編集] 人物を描いた小さな紙を切り抜いて人形を作り、実在の人物や物体等の外的要因に触れる環境におく。人形にはあらかじめ「外的要因に対する反応」が描かれており、「『紙で作られた人物』と『実在するもの』が何らかの交流を行っている」という状況が（擬似的に）成立する（例：髪の毛を引っ張られた人形が痛そうな表情をする、食べ物を見ている人形がよだれをたらしている、等）。狭義におけるPaperChildはこの時点で完成しているが、状況を撮影することにより、「静止したままの対象」や「アプローチの過程」という「表現と現実の違和感」が取り除かれ、「二次元と三次元の枠を超えた交流」という純粋な表現としてのPaperChildが完成する。同じく紙を使う表現形態である飛び出す絵本やペーパークラフトとの最大の
オヒシバ - Wikipedia
オヒシバ（雄日芝、学名: Eleusine indica[1]）は、イネ科オヒシバ属の植物である。日なたに生える、それほど背の高くない一年生草本で、道端でもよく見かける雑草である。 和名は「雄日芝」の意味で、日なたに出る芝であるが、メヒシバに比べて逞しいことからの命名とのこと。オイジワとも表記する。別名をチカラグサと言い、茎が丈夫で引きちぎるのに力がいることからの名である由だが、同じイネ科のチカラシバと混同しやすい。 特徴[編集] 地下茎や匍匐枝はなく、株立ちになる。草丈は15-60cm。茎の基部に葉が集まり、葉鞘が茎を包んで折り重なっている。葉鞘は二つ折りになっており、それが重なっている茎も左右から偏平になっている。葉は偏平で細長く、ほぼ水平方向に真っすぐに出る。緑色で質は柔らかく、つやがない。 花序は夏以降に出て、ほぼ立ち上がり、先端に2-7個の穂をつける。穂はほぼ同じ位置から出て、放
数学記号の表 - Wikipedia
「数学記号」はこの項目へ転送されています。ウィキペディアにおける数式の書き方については「ヘルプ:数式の書き方」をご覧ください。 数学的概念を記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。 数学記号が示す対象やその定義は、基本的にそれを用いる人に委ねられるため、同じ記号に見えても内容が異なっているということがあれば、逆に、異なって見える記号が同じ対象を示しているということもある[注 1]。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。 記号論理の記号[編集] 以下の解説において、文字 P, Q, R はそれぞれ何らかの命題を表すものとする。 記号 意味 解説
ヘロンの公式 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ヘロンの公式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年12月） △ABC に対して、頂点の対辺の長さは、頂点と同じアルファベットの小文字で表す。 ヘロンの公式（ヘロンのこうしき、英: Heron's formula, Hero's formula）とは、3辺の長さが a, b, c などと分かっている三角形の面積 S を求める公式のことである。 アレクサンドリアのヘロンが彼の著書『Metrica』の中で証明を与えていることから彼に帰せられる[1]。 概要[編集] この公式はアレクサンドリアのヘロンが彼の著書『Metric
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
