BiSimulation

ウィキペディア

BiSimulation

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/05 19:19 UTC 版)

「BiSimulation」
BiS の シングル
B面	Hide out cut
リリース	2013年3月13日
規格	マキシシングル
ジャンル	ロック
レーベル	avex trax
プロデュース	松隈ケンタ
チャート最高順位
週間14位（オリコン）
BiS 年表
GET YOU （2013年） BiSimulation （2013年） DiE （2013年）
テンプレートを表示

「BiSimulation」（ビシミュレイション）、はBiSのメジャー・デビュー2枚目のシングル。2013年3月13日にavex traxから発売された。

概要

LIVE盤（CD+DVD、AVCD-48642/B）、MUSIC VIDEO盤（CD+DVD、AVCD-48643/B）、CD盤（CDのみ、AVCD-48644）の3タイプがある。それぞれ初回限定盤と通常盤でジャケット写真が異なる仕様になっている。また、LIVE盤の初回限定盤は、今作品を最後にBiSを脱退するワキサカユリカを全面的にフィーチャーした「初回限定ワッキーホンキーバイバーイ仕様」となっており、28ページのスペシャルブックレットが付属する。

収録内容

CD

1. BiSimulation

   作詞：BiS、作曲：日高央、編曲：松隈ケンタ

2. Hide out cut

   作詞：JxSxK、作曲・編曲：松隈ケンタ

3. BiSimulation -Acappella-
4. Hide out cut -Acappella-
5. BiSimulation -Instrumental-
6. Hide out cut -Instrumental-

DVD

LIVE盤

• 2012.7.13 LIVE"BiSメジャーデビュー記念直前大パーティ まだメジャーじゃないもん!! "@新宿LOFT

※2012年7月13日、新宿LOFTにて行われた“スクール水着ライブ”の模様を収録。

MUSIC VIDEO盤

1. MUSIC VIDEO “BiSimulation -color ver.-”

   Directed by 丹羽貴幸

2. MUSIC VIDEO “BiSimulation -monochrome ver.-”
3. “BiSimulation” メイキング映像

初回封入特典

• ミニ生写真(6種ランダム封入) ※各タイプ共に。

外部リンク

• BiS / "BiSimulation (Special Edit)" Music Video - YouTube
• BiS / 今揉めるアイドルBiS!! スク水LIVE DVDダイジェスト映像 - YouTube
• BiS公式サイト - ディスコグラフィ
• BiSimulation - ORICON STYLE

この項目は、シングルに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（P:音楽/PJ 楽曲）。

• 表示
• 編集

表 話 編 歴 BiS
メンバー	第1期 最終メンバー プー・ルイ ヒラノノゾミ カミヤサキ テンテンコ ファーストサマーウイカ コショージメグミ 旧メンバー ヨコヤマリナ ナカヤマユキコ ワキサカユリカ テラシマユフ ミチバヤシリオ コシノジュンコ(終身名誉メンバー) 第2期 最終メンバー ゴ・ジーラ アヤ・エイトプリンス キカ・フロント・フロンタール ペリ・ウブ パン・ルナリーフィ ミュークラブ YUiNA EMPiRE ムロパナコ トリアエズ・ハナ 旧メンバー プー・ルイ カミヤサキ(レンタルトレード) ももらんど ネル・ネール 第3期 現メンバー トギー ナノ3 ヒューガー イコ・ムゲンノカナタ クレナイ・ワールズエンド シオンエピック 旧メンバー マナコ・チー・マナコ ズズ・デス チャントモンキー イトー・ムセンシティ部 ネオ・トゥリーズ
音楽作品	シングル 第1期 My Ixxx nerve primal. 豆腐 IDOL PPCC GET YOU(BiSとDorothy Little Happy) BiSimulation DiE Fly/Hi STUPiG FiNAL DANCE/nerve 第2期 SOCiALiSM I can't say NO!!!!!!! WHOLE LOTTA LOVE/DiPROMiSE Don't miss it!! アゲンストザペイン Are you ready? 第3期 DEAD or A LiME DESTROY CURTAiN CALL イミテーションセンセーション COLD CAKE TOUCH ME/LOVE IMAGINE? PMA (Positive Mental Attitude) BASIS DA DA DA DANCE SONG BELiEVE Hey boy hey girl イーアーティエイチスィーナーエイチキューカーエイチケームビーネーズィーウーオム LAZY DANCE アルバム 第1期 Brand-new idol Society IDOL is DEAD WHO KiLLED IDOL? 第2期 Brand-new idol Society 2 Re:STUPiD 第3期 Brand-new idol Society LOOKiE ANTi CONFORMiST SUPERSTAR KiLLiNG iDOLS カバー・アルバム 第3期 BiS DiVE into ROCKS コンピレーション・アルバム ベスト・アルバム 第1期 びすけて お試しBEST!! うりゃおい!!! オムニバス ゲスト参加作品 第1期 でんでんぱっしょん/IDOL(BiS/でんぱ組.inc) 第3期 割礼GIRL/BEGGiNG(BiS/ZOC) その他 第1期 ABiSCDiS(BiS/DiS)
映像作品	第1期 アニメ バックステージ・アイドル・ストーリー上巻 バックステージ・アイドル・ストーリー下巻 ライブ ROAD TO BUDOKAN KOKUGIKAN「WHO KiLLED IDOL?」 BiSなりのオールナイトニッポンDVD BiS解散LIVE「BiSなりの武道館」@横浜アリーナ 映画 アイドル・イズ・デッド アイドル・イズ・デッド ノンちゃんのプロパガンダ大戦争 完全版 BiSキャノンボール 2014 第2期 映画 劇場版 BiS誕生の詩
関連項目	渡辺淳之介 松隈ケンタ BILLIE IDLE® WACK avex trax 日本クラウン

典拠管理	MusicBrainzリリース・グループ

双模倣性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/05 10:13 UTC 版)

双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。

直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。

クリプキモデルは（ラベル付き）状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。

形式的定義

ここでは、一つの状態遷移系の上で双模倣性を定義する。二つの状態遷移系の双模倣性は、それらの和として得られる状態遷移系の双模倣性から導かれる。

ラベル付き状態遷移系 (S, Λ, →) について、「双模倣性」関係は S 上の二項関係 R （すなわち、R ⊆ S × S）であり、R と R^-1 が共に Simulation Preorder となるものである。

つまり、R が双模倣性関係であるとは、S の要素のペア (p, q) が R に含まれるときに、Λ の要素 α と S の要素 p' について次の性質が満たされ、かつ R^-1 に対しても同様の性質が満たされることをいう。

$p\mathrel {\overset {\alpha }{\rightarrow }} p'$

• GND: 4619739-4