ブラムの加速定理（ぶらむのかそくていり、英: Blum's speedup theorem）は計算複雑性理論における計算可能関数の複雑性に関する基本定理であり、1967年にマヌエル・ブラムによって示された。計算可能関数は無限個の相異なるプログラム表現を持つ。アルゴリズムの理論はそのようなプログラムから与えられた複雑性測度に対して最小となるプログラム（最適なプログラム）を探る。ブラムの加速定理は、いかなる複雑性測度に対しても最適なプログラムの存在しないような関数が複雑性測度に応じて存在することを述べる。これはまた任意の関数に対してその計算複雑性を割り当てる方法、つまり任意の関数 f  に対して f を表現する最適なプログラムの複雑性を割り当てる方法が存在しないことを示している。このことは特定の具体的な関数について最適なプログラムの複雑性を探すことができないということを意味しない。
イギリス陸軍向けにヴィッカース（ヴィッカース・アームストロング）社が開発した。ヴィジラントの名称は用心深いという意味ではなく、携行型可視光軽対戦車ミサイル (VIGILANT; Visually Guided Infantry Light Anti-Tank missile) の頭字語（アクロニム）である。後継のスウィングファイアと同じく、有線誘導と光学誘導を使用した。歩兵だけでなく、フェレット装甲車やランドローバーのような車両にも搭載できた。
5号機最初のジャグラーシリーズとして2007年に発売され、絶大な人気を誇った「アイムジャグラーEX」が2009年に設置期限切れを迎えるのに伴い、その後継機として開発された機種である。そのため主な機種仕様もアイムジャグラーEXのものを踏襲しているが、ボーナス中2枚掛けを要する所などは、むしろ「アイムジャグラー7」の仕様を受け継いでいる面もある。ただし元々の販売台数があまり多くなかったこと、パチンコ店の大半が再認定手続きを行ってアイムジャグラーEXを残したこともあって、完全にアイムジャグラーEXを置き換えるまでには至らなかった。初期出荷モデルはアイムジャグラーEXと比べてGOGOランプがやや小さく不評であったため、GOGOランプのサイズがアイムジャグラーEXと同程度に改善されたホワイトパネル(アイムホワイト)も存在する。なお、ボーナス終了後100ゲーム以内のぞろ目ゲームでのBIG当選時のプレミアムBGMは、「運命」に加え新たに「革命のエチュード」が追加された。
アイムジャグラーSP（-エスピー）は、2009年7月に北電子が発売した5号機のパチスロ機。保安通信協会（保通協）における型式名は「アイムジャグラーSPVII」。
ストローソンは戦時中に軍隊の指揮官を務めた後、1945年にアン・マーティンと結婚し、4人の子を儲けた。息子の一人は哲学者のガーレン・ストローソンである。成人後、生涯のすべてをオックスフォードで過ごし、2006年2月13日に病によって病院で息を引き取った。ストローソンの弟はイギリス陸軍少将のジョン・ストローソンである。
ピーター・ストローソンは西ロンドンのイーリングに生まれ、北ロンドンのフィンチリーで育った。両親ともに教師であった。フィンチリーのクライスト・カレッジを卒業後、オックスフォード大学セントジョンズ・カレッジに進み、哲学・政治学・経済学を学んだ。
同様の作業だがスピードランを目的としないものであっても、一般的な総称としてTAS（Tool-Assisted Superplay）あるいは単にTA（Tool-Assisted）と呼ばれる。場合によってはプレイするビデオゲームの内容やプレイ内容の頭文字を当てることもある。日本では和製英語のタイムアタックをTAと略した場合の混同を避けるため、TAP（Tool-Assisted Play/Performance）と呼び分けることがあるが、このような略称の差別化は主にニコニコ動画内でのローカルな文化であり、通常は目的問わず「TAS（Tool-Assisted Superplay）」と呼ぶ方が一般的である。
紅嫌い（べにぎらい）とは、江戸時代、天明末期から寛政期に流行した浮世絵の一種。紅色などの派手な色は敢えて使用せず、墨、淡墨、鼠（ねず）を基調として、黄色、藍、紫や緑を僅かに加えた多色刷りを指す。特に、紫を主調としたものを紫絵といった。よって、紫絵は厳密に言えば紅嫌いの一種であるが、一般には両者を同義で用いる。
H₄MPTはテトラヒドロ葉酸(H₄F)との関連性が大きいことが知られている。その違いは、図の赤と青で示してある。最も重要な違いは、テトラヒドロ葉酸が電子求引性のカルボニル基をフェニル環に持っていることである。結果、メテニルH₄MPTの還元はメテニルH₄Fより難しくなっている。還元は鉄-硫黄クラスターフリーヒドロゲナーゼによってもたらされる。名称が回りくどくなっているのは、鉄-硫黄クラスターを含むFeのみのヒドロゲナーゼとこのヒドロゲナーゼとを区別するためである。
中国・四国地方最大の都市で広島県の県庁所在地でもある広島市の中心駅。山陽新幹線の全営業列車が停車し、また在来線についても広島シティネットワークの中枢となるターミナル駅でもある。乗車人員数は中国・四国地方で第1位、JR西日本管内では大阪環状線の鶴橋駅に次いで第7位、また運輸取扱収入では大阪駅に次いで第2位である。事務管コードは▲800613を使用している。広島市の中心業務地区である紙屋町・八丁堀・基町・本通といったエリアからはやや離れた位置にあるため、路面電車・バスに乗り換える必要があるが、近年は駅の南北にて市街地再開発事業が進展しており、2009年にはMAZDA Zoom-Zoom スタジアム広島が徒歩圏内に開場するなど新都心機能が拡充している。南口は地上7階・地下1階建ての駅ビル『ASSE』（アッセ）となっている。また、南北自由通路沿いに商業エリア『ekie』（エキエ）が新設されている。