場合によっては条件を加えて双模倣性を修正する場合がある。例えば、状態遷移系が見えない動作を伴う場合（外部の観測者からは見えない動作）、そのような外部から見えない動作を無視して双模倣性をゆるめ、「弱い双模倣性」とすることもできる。一般に状態遷移系はプログラミング言語の操作的意味論を与える。その場合、双模倣性の厳密な定義はそのプログラミング言語の条件に固有のものとなる。したがって、一般に状況によって複数種類の双模倣性関係が存在しうる。
双模倣性（そうもほうせい、Bisimulation）とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。クリプキモデルは（ラベル付き）状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。
ラ・サール高等学校、東京大学教養学部卒業、ハーバード・ビジネス・スクール経営学修士、早稲田大学博士後期課程修了。博士（商学）。三井物産、AOLジャパン代表取締役。ゴルフダイジェスト・オンライン共同創業者、取締役兼COO（2004年に東証マザーズ上場）を経て、シリコンバレーにてSatura Cakesを創業。2010年同社売却。2007年よりアブラハム・グループ・ホールディングス社外取締役を務めた後、2012年に辞任。その他、留学斡旋を手掛けるブルード、個室ジムを展開するハコジムなど、ベンチャーの社外取締役も務める。九州大学客員教授、県立広島大学経営管理研究科専攻長・教授、慶應大学経営管理研究科講師、国際教養大学講師などを歴任。その他、スタンフォード大学、東京大学、一橋大学、メルボルン大学、復旦大学、浙江大学など、招聘講義多数。2014年、日本ベンチャー学会清成忠男賞論文部門（本賞）受賞。著書に『志は起業を呼ぶ』（ファーストプレス）、『これが若きビジネスエリート仕事の現場だ』（中経出版、共著）、『MBA式会社のつくり方』（PHP出版、共著）、『アントレプレナーシップ教科書』（中央経済社、共著）。
太平洋戦争の激化に伴い、空襲から東京貯金支局が保管していた恩給原簿を守る目的で、1945年7月に秋田市女子実業学校内に秋田貯金支局として開局。秋田市牛島国民学校に分室を設け恩給給与支給事務および郵便振替貯金口座所官庁として開始した。1945年10月、恩給給与支給事務は東京貯金支局に移管。山形貯金支局から秋田県記号の郵便貯金および証券保管事務を移管されると伴に、貯金課と証券課を設置した。翌年の1946年1月、秋田市川尻町字総社前にあった旧東北重工業株式会社合宿所を買い取り、局舎を移転。1957年2月に旧秋田市立久保田中学校跡地の一角に新局舎を建設し、移転した。2012年7月17日現在、全国で2箇所しかない、ゆうちょ銀行単独拠点(厳密には、同一建物内に郵便局が併設されていない拠点)である。ATMコーナーは窓口フロア内に設置されているため、窓口営業時間外は、外にある「ゆうちょ銀行秋田店前出張所」ATMを利用する形となる。
サラは、現在のネバダ州西部、ハンボルト・シンク近くのどこかで、パイユート族のウィネマッカ酋長（ポイト）の娘として生まれた。サラは、その父が北部パイユート族全ての酋長だったと主張した（それゆえに報道機関からは「パイユートの姫」と呼ばれることが多かった）が、パイユート族には集権化した指導層が無く、その父が影響力があったとしても小さな集団（バンド）の指導者だった。サラの祖父、トリキゾあるいはトラッキー（パイユート語で「善」という意味）は熱烈に白人に友好的であった。そのことについて、パイユート語で「善」という意味のトラッキーと呼ばれていたからだと言う者がおれば、「こんにちわ」を意味する「トロ・ケイ」と叫んだからその名前を得たと言う者もいた。ジョン・C・フレモントが1843年から1845年にグレートベースンを越えてカリフォルニアまで測量と地図作りの遠征を行った時に、トラッキーが案内人になった。後にトラッキーは米墨戦争で戦い、多くの白人と友達になった。サラは当初白人を恐れていたが、祖父がカリフォルニアのサクラメント地域への旅にサラを連れて行き（サラの父はその旅を拒んだ）、後にネバダのカーソンシティのウィリアム・オームズビーの家庭に入れて教育を受けさせた。サラは間もなく英語の読み書きができることではネバダのパイユート族の中で数少ない者達の一人となった。ウィリアム・オームズビーは後にピラミッド湖戦争（パイユート戦争とも呼ばれる）の最初の戦闘で殺された。このときオームズビーの率いた民兵隊がサラの従兄弟であるヌマガの率いるパイユート族の部隊に全滅させられた。サラの著書ではサラの兄弟であるナチェズがオームズビーの死を装ってオームズビーを援けようとしたが失敗したことについて語っている。サラの父と兄はどちらもパイユート族の部隊に付いて戦った。この戦争後、サラの家族はユリシーズ・グラント大統領が発布した一連の執行命令によって、北部パイユート族とバンノック族の保留地（reservation）に指定されたマルーア保留地に移動した。サラは保留地内の学校で教師を務め、保留地を監視・監督するアメリカ内務省の出先機関、「BIA（インディアン管理局）」のインディアン代理人サミュエル・パリッシュのために通訳を務めた。パリッシュはパイユート族のために大いに働き、まとまりがあり良く管理された農業計画を立てた。