hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
フジテック 機種
1984年11月より販売されていた標準型エレベータの商標。この機種より、ロープ式ではVVVF制御となり、油圧式もマイコン制御化された。また、操作盤も袖壁に斜め45度で設置されるコーナーフィット型となった。乗り場インジケーターおよびかご内インジケーターがLED化、かご内の階数表示・矢印表示もLEDマトリクスとなり、この機種から運転中は矢印がスクロールするようになっている。
ELISIO - エリシオ
1991年3月より販売されていた標準型エレベータの商標。ロープ式では巻き上げ機にヘリカルギアを採用。前機種までは乗り場と車椅子用の操作盤にある階数表示・矢印表示は行灯式になっていたが、この機種以降はLEDマトリクスに統一された。後期以降の機種ではロゴマークが変更された他、油圧式もバルブ制御からインバータ制御に変更された。
NEW ELISIO - ニューエリシオ
1997年より販売されていたELISIOのマイナーチェンジ機種。ドア装置はリンク式からベルト式に変更された。
ECEED - エシード
1998年11月発売。この機種より機械室レス化された。意匠は前年に発売されたニューエリシオをベースにしている。なお、巻き上げ機は円筒形のものがピット下に設置されている。
ECEED-e2 - エシードe2
フジテック 機種
2001年9月発売。操作盤などのデザインが大幅に変更されたほか、この機種より最下階乗り場付近に薄型巻き上げ機が設置されるようになった。ボタンは青地で点灯色は橙色で、確認音がフジテックで初めて搭載された。
ECEED-α - エシードα
2005年1月発売。この機種よりかご内表示に液晶インジケータが採用された。ボタンは白地、文字色青、点灯色橙色の丸型に変わった。
XIOR - エクシオール
2008年4月発売。
第1世代〜第3世代はECEED-αをベースにしており、変更点としてドア周りの安全機能の強化、オートアナウンス機能が標準装備された。2009年よりプラズマクラスター（シャープ製）のイオン発生器が、2012年のモデルチェンジでは全照明にLEDが採用されたほか、走行お知らせ音（各階通過時に流れる独自のサウンド）が標準装備された。
2020年4月に発売した第4世代では、意匠およびサウンドを全面的に刷新し、新たにエレベータ専用クーラーと非接触ボタンが国内メーカでは初の標準装備となったほか、最大定格速度は分速120mに拡大された。インバウンドへの配慮からアナウンスは日本語・英語の2カ国語（緊急時は中国語・韓国語を加えた4カ国語）で行われる。
Ele Grance - エレ・グランス
フジテック 機種
2025年春に発売の新標準規格型マシンルームレス・エレベータ。乗用では従来の6人 - 15人乗りから7人 - 15人乗りに変更されている。浸水対策として従来機種ではピットにあった巻上機と制御盤を最上階に移している。
RAKUL - ラクール
2001年1月から駅舎向けに販売されている貫通式エレベータ。JR西日本テクシアとの共同開発品。マシンルームレスで、正背タイプは両開き4枚ドアである。正側タイプは正面は両開き4枚ドア、側面は両開き2枚ドアである。正背タイプは釣り合い重りを2個使用しており機械室レスタイプでは珍しいローピング比1：1を採用している。なおJR西日本テクシアと共同開発されたが故、この「RAKUL」とJR西日本テクシアが販売している「J.Slim」は仕様が共通となっており、JR西日本の駅舎にはJ.Slimが設置されている（メンテナンスはフジテックが一括して担当）。
Universal Design - ユニバーサルデザイン
2001年から2017年まで販売されていた、ユニバーサルデザインに特化したエレベータ。
EXCEL AMI - エクセルアミ
フジテック 機種
ロイヤルスーパーダインの4人乗りバージョン。駆動方式がドラムにロープを巻き付けてかごを上下する「巻胴式」、「閉」ボタンと階数表示がないほか、乗場呼びボタンも到着階の表記などは最下階のみで他の階は呼びボタンのみの設置となっているのが特徴である。
NEW EXCEL AMI - 新エクセルアミ
エクセルアミの後継機。巻胴式ヘリカル巻上機を採用。
ECEED-4 - エシード4
新エクセルアミの後継機。ギヤレス巻上機を採用、マシンルームレス化された。
EDESSE - エデッセ
エシード4の後継機。階段室型共同住宅用マシンルームレスエレベータ。エクセルアミとは異なり側壁の位置に操作盤が設置してある。
ゆとりあ
家庭用ホームエレベータ。現在は製造中止になっている。
Order ELISIO - オーダーエリシオ
XJ Series - XJシリーズ
2002年頃まで販売されていた、オーダー型エレベータの商標。後継はOrder ECEED。
SKYSALON - スカイサルーン
2000年頃発売された展望型エレベータ。
Order ECEED - オーダーエシード
2002年から2009年まで販売された、ECEED-e2,ECEED-αのオーダー型。
Order XIOR - オーダー型エクシオール
フジテック 機種
2009年から販売している、XIORの規格外エレベータで、厳密にはXIORのオーダー型仕様の位置付け。標準型XIORとはデザインやかごサイズが異なる。
オートキャリー
小荷物専用昇降機。乗用エレベータと同時設置する場合のみ販売しており、本品のみの販売はしていない。
AirTap（エアータップ）
エレベーターの非接触押しボタン。もともとは2020年にモデルチェンジされた標準型エレベーター「エクシオール」（第4世代）のオプション仕様であったが新型コロナウイルス感染症の拡大を受け既設エレベーター（エシードα以降の機種）にも設置が可能となり、その後は通常の押しボタンと同様に設置できるよう改良された。
安全向上パッケージ
エレベータの安全対策,防災対策に重点を置いた製品で戸開走行保護装置,地震時管制運転装置+耐震補強される。
エレベータ制御リニューアル
ロープ式エレベータの乗り心地、安全性、省エネ、デザイン性を向上させるための製品。
エレベータ制御盤交換パッケージ
ロープ式油圧式両方に対応し、標準期間はロープ式は4日間、油圧式は6日間ほどと短工期である。この製品では基本、制御方式は変更されない。基本はエクシオールの操作盤とアナウンスだが、稀に在庫処理でエクシオールとエシードαのアナウンスになっている物がある。
エスカレータのアナウンスは、一部はもとむらみちこが担当している。もう片方の女性アナウンサーは不明。
PLS/PSシリーズ
1980年に発売されたグローバルスタンダードエスカレータ。
Vシリーズ (PLS/PS-97型)
2002年に発売されたグローバルスタンダードエスカレータ。
VGシリーズ
2005年に発売された日本国内向け標準型エスカレータ。
GSシリーズ
2008年に発売された、標準型エスカレータ。
GS/NXシリーズ
GSシリーズの後継機として2010年から発売されている、標準型エスカレータ。
Slimfit - スリムフィット
2011年から発売されている、業界最小寸法のエスカレータ
AUTOWALK - オートウォーク
動く歩道。水平タイプと12°傾斜タイプがある。
フジテック 事故・トラブル
1984年（昭和59年）8月8日、ニチイ天王町店（神奈川県横浜市保土ケ谷区）に設置した（生活館ではない）油圧式エレベータで主婦1名が死亡する事故を起こしている。原因は設計の不備。事故後、エレベータは撤去され、日立ビルシステム製のものに交換された。2020年に店舗は建て替えのため解体され、建て替え後のイオン天王町ショッピングセンターのエレベータ設備は三菱電機製が起用されている。
2022年（令和4年）5月、フジテックの大株主で、フジテックの株式を決裁権ベースで17.26%保有する投資ファンドの「オアシス・マネジメント・カンパニー・リミテッド」（以下、オアシス）が同社の特設サイトにて、フジテックと同社社長の内山高一を始めとする創業家との不適切な取引を告発し、株主総会において、社長の内山を退任させるキャンペーンを行った。フジテックは一旦は「問題ない」との見解を出していたが、オアシス以外の株主からも批判の声が上がったほか、アメリカの議決権行使助言会社からも内山の取締役再任に反対を推奨する方針を明らかにしたことを受けて、フジテックは2022年6月23日の株主総会に諮る予定だった内山の取締役再任案を開催直前で撤回し、退任した。
フジテック 事故・トラブル
2022年（令和4年）12月1日、オアシスは臨時株主総会を招集するよう求める文書を送ったことを記者会見で明らかにした。現・岡田隆夫社長と社内取締役3名を除く、外取締役6名の退陣を求め、新たに7人の候補を示すよう要望しているという。オアシスの最高投資責任者は「議決権行使によって取締役の責任を問うという株主の基本的な権利を奪った。定時総会でも多くの株主から懸念や不満の声が聞かれた。勝算は十分ある」と主張している。
2023年（令和5年）
2月24日、オアシスが求めていた臨時株主総会における議案で、総会欠席のまま山添茂取締役会議長らが取締役を解任された。直前には引頭麻実取締役も辞任し、会社が新任取締役として提案した海部美知らの選任案も否決された一方、オアシスによる三品和広取締役らの解任議案は否決された。
3月28日、内山高一会長が解任され、また、株主提案された取締役候補者らに妨害行為があったとして第三者委員会の設置が発表される。
フジテック 事故・トラブル
2024年（令和6年）
6月12日、東京都西東京市東伏見5丁目のスーパーマーケット「オーケー東伏見店」で、地下1階のエスカレーターに80代の女性が首を挟まれた状態で発見された。その後意識不明の状態で搬送され、その後死亡が確認された。田無署によると、1階から地下1階に下りるエスカレーターで、女性は降りる間際に転倒したとみられ、手すりと床の間に首がはさまったという。女性は仰向けで倒れていた。女性は、歩行を補助する「シルバーカー」を押していたという。同店は同年3月に開店した。オーケーによると、事故があったエスカレーターは開店の際に新設されたものだといい、直近の点検は5月27日で、異常はなかったという。現時点で設置、稼働、点検状況等に問題は確認されていないが、「関係当局への事故原因の調査に全面的に協力している」としている。
ホーエ・ヴァルテ
ホーエ・ヴァルテ(Hohe Warte)ウィーン郊外のウィーンの森北部にある閑静な住宅街。ベートーヴェンが生存中、難聴を絶望した時、遺書（『ハイリゲンシュタットの遺書』）を書いたという家や作曲の構想を練った家が遺るベートーヴェンゆかりの地、ハイリゲンシュタットから北西にある村。
ホーエ・ヴァルテ シュターディオン・ホーエ・ヴァルテ
シュターディオン・ホーエ・ヴァルテ（Stadion Hohe Warte）はオーストリア3部に所属するファースト・ヴィエナFCのホームスタジアム。2015年まではアメリカンフットボールのライフアイゼン・バイキングス・ヴィエンナのホームスタジアムとしても利用されていた。
スタジアムが完成した1921年当時では、ヨーロッパ大陸で最もモダンで大きなスタジアムであった。1923年に行われたオーストリアA代表チーム対イタリアA代表チームの試合では約8万人の観客がこのスタジアムで観戦した。
しかし、スタジアム維持の投資が数十年間に渡ってほぼ行われなかったため、徐々にスタジアムの老朽化が進み、同時にウィーン市によって自然スタンドの使用が禁止されたため、現在では最大収容能力が5500人となっている。
1924年にはオーストリアの歴史上初となるオープンエア・オペラ（野外オペラ）がピッチ上で行われた（曲目はアイーダ、ピエトロ・マスカーニ指揮）。
ホンダモビリティランド
ホンダモビリティランド株式会社（Honda Mobilityland Corporation）は、本田技研工業傘下のモータースポーツ施設運営会社。2022年3月1日に商号を「株式会社モビリティランド（MOBILITYLAND CORPORATION）」から変更。
ホンダモビリティランド 概要
これまでの鈴鹿サーキットランドとツインリンクもてぎが2006年6月1日に対等合併して発足した会社（法手続き上は鈴鹿サーキットランドが存続会社）で、これにより鈴鹿サーキット、ツインリンクもてぎの2か所の国内有数のサーキット・総合レジャー施設を運営する会社となる。また、100%出資の子会社として、人材派遣会社の株式会社ホンダスタッフィングサービスを持ち、ホンダグループ内外に事業を拡げている。
新会社ではホンダグループにおけるサーキット関連事業を強化するとともに、これまで培った経験・ノウハウを元に、これら2施設の運営を通じ、自動車・バイクなどのモビリティ文化や、モータースポーツ、安全運転の普及など一連の活動のさらなる発展に寄与していくとしている。
藤本哲也
藤本 哲也（ふじもと てつや、1940年〈昭和15年〉12月18日 - ）は、日本の法学者・弁護士。専門は、犯罪学・刑事政策・被害者学。Ph.D.（カリフォルニア大学バークレー校・1975年）。中央大学名誉教授。元常磐大学大学院教授。
藤本哲也 人物
現在、日本刑事政策研究会理事、法務省・性犯罪者処遇プログラム研究会構成員、法務省矯正研修所講師、財団法人矯正協会評議員、全国少年警察ボランティア協会顧問、日本更生保護協会理事、日本被害者学会理事、特定非営利活動法人全国就労支援事業者機構理事、内閣府少年非行事例等調査研究企画分析会議委員長、社会福祉士試験委員、最高検察庁参与。また、2000年まで司法試験考査委員を務めた。
藤本哲也 人物
中央大学大学院での指導教授は、市川秀雄（その後、八木國之にも師事）。専門書を読破するだけではなく、ある日、研究室のゴミ箱に捨てられていた週刊誌を拾い、掲載されていた犯罪関連記事からも知見を得るように努めた。フロリダ州立大学大学院修士課程では、犯罪心理学を学んだ。フロリダ州立大学には博士課程がなく、カリフォルニア大学バークレー校へ移る。カリフォルニア州に移動することとなり、その際には自家用車に安く購入したキャンピングトレーラーを繋げて家族を乗せ、自身で運転して大陸を横断した。カリフォルニア大学バークレー校大学院博士課程では、トニー・プラット及びポール・タカギに師事し、犯罪社会学を中心に学んだ。1975年、カリフォルニア大学バークレー校からPh.D.（犯罪学）の学位を授与された。日本人として初めて、アメリカ合衆国の大学での、犯罪学のPh.D.取得だった。当時、カリフォルニア州知事だったロナルド・レーガンが州財政の適正化を理由にカリフォルニア大学の犯罪学部の閉鎖を決定し、藤本はアメリカに残れない状況となり、日本へ帰国することとなる。帰国後、日本の大学の授業で、ロナルド・レーガン大統領を嫌っていると語っている。
1年に1冊の著書を出版することを目標としており、その書数は40冊近くにのぼる。これは犯罪学の研究が遅れている日本が欧米に追い付くためにはそれくらいの努力が必要であろうとの気概から立てた目標である。論文も学術論文のみで700本以上書いており、単純計算すると2週間に1本書いたことになる上、一度も締切を破ったことがない。
2011年3月、中央大学法学部を定年退職。2011年1月17日に最終講義「犯罪学と私」が行われた。退職後は中央大学名誉教授となる。2011年より常磐大学大学院被害者学研究科教授および国際被害者学研究所教授を併任。2016年3月に常磐大学を退職。
ミラクル☆シェイプ
ミラクル☆シェイプ（Miracle Shape）は、2005年10月2日から2007年9月30日まで、日本テレビ及び一部の系列局で毎週日曜10:55～11:25に放送されていたカラダとデザインを考えるバラエティ番組。
字幕放送。
ミラクル☆シェイプ 概要
芸能人が特定のダイエット方法で原則1ヶ月間減量に励む様子をVTRで紹介する。場合によってはお笑いコンビの両名がダイエット対決する、応募者から選ばれた一般視聴者がダイエットに挑むなどの企画もある。
この番組で扱われるエクササイズや食事制限はハードなものが多く、期間中はトレーナーによって厳しく管理されるため、著しい成果を出すことが多い。しかし継続的なリバウンド対策は特に行っていないようであり、企画終了後に体型が元に戻ってしまう芸能人も多い。
2007年の春から安田大サーカスのHIROがダイエットに挑む様子を毎週放送している。
2007年9月でレギュラー放送は終了した。
ミラクル☆シェイプ 出演者
司会
ダイエット挑戦者の他に、見届け人としてゲスト1名が出演する。
ミラクル☆シェイプ ネット局
札幌テレビ- 日曜7:30～8:00（2008年10月から2009年12月までに約3年遅れで放送された）
当初は日曜7:00～7:30で放送を開始し、同時ネット放送されていた「所さんの目がテン!」は7日遅れの時差ネット放送に移行された。2009年4月5日より「ヤッターマン」の同時ネット放送を行うためこれまでより30分遅い7:30～8:00に開始時刻が変更された。これに伴い、「遠くへ行きたい」が金曜日午前の時差放送に変更されたが、本番組が同年12月27日で打ち切られたことにより、2010年1月10日から「遠くへ行きたい」が同時ネットに戻った。
ミラクル☆シェイプ スペシャル
2006年9月28日19:00~22:48(JST)に「ダイエット☆コンバット ～芸能人ペアやせ決戦!!～」が拡大版特別番組として生放送。2006年8月からやくみつる&長州小力、林家正蔵&友近がペアを組み、武蔵丸親方とともにコース別の「どれだけ健康的に体重が減ったか」で競った。司会は永井大のほか、中井美穂。友近が飲んだシモン茶も登場。武蔵丸親方が15kg減で優勝し、世界一周エステツアーを獲得。なお、中京テレビや読売テレビなどで放送していた。
シルウェステル2世 (ローマ教皇)
シルウェステル2世（Silvester II, 950年? - 1003年5月12日）は、フランス人初のローマ教皇（在位：999年 - 1003年）。本名オーリヤックのジェルベール（仏：Gerbert d'Aurillac）、ラテン語名ゲルベルトゥス（Gerbertus）。千年紀をまたいだ教皇であり、数学者・天文学者として10世紀の西欧世界において傑出した人物である。
シルウェステル2世 (ローマ教皇) 生涯
ジェルベールは945年から950年の頃にオーヴェルニュ地方で庶民の子として生まれる。幼少期にベネディクト会系であるオーリヤックの聖ジェロー修道院に入る。967年に同修道院を訪れたバルセロナ伯ボレル2世とともにスペインへ赴き、ビックやリポイで自由七科のうち四科（クワードリウィウム quadrivium）を学んだ。
969年、ジェルベールはボレル伯らのローマ行きに同行し、そこで神聖ローマ皇帝オットー1世と教皇ヨハネス13世に面会する。カロリング朝ルネサンスの再現を望むオットー1世から息子（のちのオットー2世）の教育係を嘱望されるが、当時学問が盛んであったフランスのランスへと向かう。
シルウェステル2世 (ローマ教皇) 生涯
972年末か973年初頭にランスに到着したジェルベールは教会学校で論理学や修辞学を学んだのち、教師として活躍する。生徒には、のちのフランス王ロベール2世やシャルトルのフルベールなどがいる。981年には皇帝オットー2世の主催で開かれたラヴェンナでの討論会に出席した。論敵を下したジェルベールは皇帝に認められ、983年に知の集積地の一つであったボッビオの修道院長に任命される。しかし職務に忙殺され、学問に専念できないことに失望した。また、前修道院長ならびその一派との間に確執が生まれ、パヴィア司教ピエトロ（のちの教皇ヨハネス14世）が仲裁を申し出たが、それを拒絶している。オットー2世が983年12月7日に没したのちは、ランスに戻って教育活動を再開させた。
シルウェステル2世 (ローマ教皇) 生涯
オットー2世の後継争いは、3歳で王位を継承したオットー3世とその母で後見人のテオファヌと、バイエルン公ハインリヒの間でおこなわれ、ハインリヒ側に西フランク王ロテールが付いた。ランス大司教アダルベロンはオットー3世の側に立ち、ユーグ・カペーやテオファヌらと連絡を取りつつ、オットー3世とロテールとの和解を取り持った。ジェルベールはアダルベロンの活動を補佐したとされる。その後、ロテールの死去（986年3月6日）と ロテールの子ルイ5世の事故死（987年5月21日）によりカロリング家が断絶すると、アダルベロンの執り成しでユーグ・カペーがフランス王に推挙された。
989年にアダルベロンが死去すると、アダルベロンはジェルベールを後継者に指名していたが、カロリング家残存勢力懐柔のためユーグ・カペーはロテールの庶子アルヌルフを大司教に任命し、ジェルベールは教師を続けることとなる。しかしアルヌルフはユーグ・カペーを裏切り、叔父のロレーヌ公シャルルと結託してランとランスを占領した。991年にユーグ・カペーに敗れたアルヌルフとロレーヌ公シャルルはオルレアンに幽閉され、サン・バール教会会議でアルヌルフを罷免、後任としてジェルベールがランス大司教に選ばれる。
シルウェステル2世 (ローマ教皇) 生涯
フランス地方教会主義の独走に、教皇ヨハネス15世はジェルベールを破門することで対抗した。この破門についてはフランス王太子ロベールが開催したシェル教会会議で無効とされた（994年）。ヨハネス15世によるムーゾン教会会議（995年）にジェルベールは単独出席して正当性を主張するも、決着は付かなかった。
教皇に直接主張しようと考えたものの、ヨハネス15世がローマ有力貴族クレッシェンティウス2世によって追放されてしまい、ジェルベールは皇帝オットー3世の居城マクデブルクに赴き、皇帝のローマ進軍に随行した。この時からジェルベールはオットー3世の家庭教師を務めることとなる。
ローマ入城前にヨハネス15世は熱病で死亡した。皇帝は祖父オットー1世の曾孫ブルーノをグレゴリウス5世として教皇に就任させ（996年5月3日）、ローマ入城後グレゴリウス5世から帝冠を授けられた（同年5月21日）。戴冠式から数日後に開催された教会会議において、アルヌルフのランス大司教座への復帰が議決され、またジェルベールは大司教座の簒奪者として非難された。
ユーグ・カペー死去（996年10月23日）ののちフランス王となったロベール2世は、ブロワ伯ティボー2世の未亡人ベルトと結婚したが、ロベールとベルトは又従姉弟だったため、グレゴリウス5世は結婚を認めず破門した。対してロベール2世は997年にアルヌルフをランス大司教に復位させ、アルヌルフから結婚の認可を得ることとした。その翌998年にジェルベールはオットー3世からラヴェンナ大司教の座を与えられ、また皇帝の文書局長として皇帝の助言者となる。ラヴェンナ大司教としてシモニアの禁止など教会改革を進め、またロベール2世を非難する勅書に教皇名の次に署名した。
翌999年にグレゴリウス5世が死去すると、オットー3世から後任にジェルベールが推挙され、999年4月2日にシルウェステル2世として教皇に就任する。シルウェステルの名は、初のキリスト者皇帝コンスタンティヌス1世に洗礼を施したシルウェステル1世になぞらえてのものである。
教皇シルウェステルは、オットー3世の助言者として神聖ローマ帝国の政策に関わりつつ、教会の腐敗を取り除くための教会改革を続けた。またハンガリー王イシュトヴァーン1世への王冠の授与など東欧世界への布教にも努めた。ロベール2世の婚姻の無効を宣告する一方、アルヌルフのランス大司教への復帰を認可している。教皇就任前はガリア主義者であったが、就任後は一転して教皇首位説支持派へと立場を変えた。
1001年1月にローマ貴族らによる暴動が発生した。シルウェステルとオットー3世はローマから追放され、ラヴェンナに撤退して復権を目指すも、オットー3世は1002年1月23日に没した。そののちローマ貴族と和解したシルウェステルは、ローマに戻って教会の職務を継続し、1003年5月12日に死去する。シルウェステルの亡骸はラテラノの聖ヨハネス教会に埋葬された。
シルウェステル2世 (ローマ教皇) 業績
シルウェステル2世は生涯にわたって、古代ローマ時代の著作の写本を積極的に各地から収集していた。出身地の修道院に写本を求め、プリニウスやスエトニウスの写本をランスの司教座付属学校の図書館の蔵書に加えもし、時には写本の対価として自作の天球儀や金銭をも提供した。この古典著作への熱愛は教父の著作へよりも深く、教皇の使節から「プラトンやウェルギリウスなどの哲学者を師として仰ぐべきでない」と指摘されるほどであった。その他、ポルフュリオスの『イサゴーゲ』、アリストテレスの『範疇論』『命題論』、スエトニウスやホラティウスやデモステネス名義の著作、そして『共和制論』をはじめいくつかのキケロの著作の写本を手にして授業に用いている。
シルウェステル2世はボエティウスを崇敬し、理性により感情と外界の障害を克服しようとするボエティウスの思想を実践している。ボエティウスの著作や翻訳・注釈本を用いて自由七科のおもに三学を教えており、アリストテレスの著作やキケロ翻訳の『トピカ』もボエティウスの注釈が入ったものであった。シルウェステル2世が算術に重きを置いたのも、算術を四科の第一のものとするボエティウスの考えが反映されている。ただし、シルウェステル2世が収集したボエティウスの著作すべてが真作というわけではなかった。
シルウェステル2世 (ローマ教皇) 業績
12世紀ルネサンスに先んじて、10世紀にアラビア学問に直接的ないし間接的に触れた西欧人はごく少数であった。シルウェステル2世は自由七科のうちの四科、こと算術や天文に長け、それらはアラビア世界に伝わっていた古代ギリシア・ローマの知識や、アラビア世界で発展された知識に基づいていた。
シルウェステル2世は西欧世界で忘れられていた算盤の一種「アバクス」を西欧世界に再導入した。アバクスは復活祭の日付計算（コンプトゥス）や財務計算に用いられ、この時期から12世紀ルネサンスにかけてロレーヌ地方やシャルトルで多用された。シルウェステル2世にとってアバクスはオットー3世への書簡に比喩として用いるほど身近なもので、弟子リケールはシルウェステル2世が作製したアバクスの形状を詳述している。ただしこの時代にはまだゼロの概念は見出されていない。
天文では、立体的な天文図（天球儀）、天体運行を測るアストロラーベ、日時計などの道具を用いて実学的に教授している。弟子リケールの『四巻史』ではその形状が事細かに記述されており、現物を前にしていたと考えられる。
シルウェステル2世 (ローマ教皇) 業績
シルウェステル2世が学び教えたアラビア経由・アラビア出自の学問は、イベリア半島からもたらされた。アブド・アッラフマーン3世とハカム2世の治世のイベリア半島は後ウマイヤ朝の隆盛によってレコンキスタが停滞し、キリスト教圏とアラビア教圏（アル＝アンダルス）は相対的平和関係を築いていた。アラビア語文献は、後ウマイヤ朝で暮らす「啓典の民」であるキリスト教徒やユダヤ人によりラテン語に翻訳され、キリスト教圏に輸出され、シルウェステル2世が学んだバルセロナ近郊の修道院にも多く所蔵されていた。シルウェステル2世はこれらの翻訳物から学び、アラビア数字を西欧世界で用いた初期の人物ともされている。ただし、シルウェステル2世自身がアラビア教圏に直接赴いたというのは否定されている。
教育者としてもシルウェステル2世は傑出していた。教育方法は理論のみならず実践を重視し、算術ないし幾何学ではアバクスを、天文では天球儀を用いた。音楽では一弦琴を利用して音階と和音の数学的観察を行った。修辞学では議論を戦わせ、また図式を用いて解説していた。
シルウェステル2世 (ローマ教皇) 業績
こうしてカロリング・ルネサンスと12世紀ルネサンスの架け橋としての役割を担った。シルウェステル2世の名声を慕い、司教区の枠を越えてヨーロッパ各地からランスの学校に集った留学生たちに教えることにより、知識を後世に伝えることとなった。その名声は、弟子のリケールによれば、遠くティレニア海やアドリア海まで広まったとされる。また少なくともシルウェステル2世の弟子の13人が司教・大司教となり、そして5人以上が主要な修道院の修道院長となっている。
教皇としてシルウェステル2世はシモニアの禁止や、聖職者の独身制、近親者の登用の禁止などを推し進めた。またスラヴ・バルト方面への布教を推進し、ハンガリーの首長イシュトヴァーン1世をカトリックに改宗させてハンガリー王冠を授け（1000年）、ハンガリー国内のエステルゴムとカロチャに大司教座を設置し、ポーランドを管区とするグニエズノ大司教座を設置し、東欧のカトリック教会を組織させ、遠くはキエフの聖職者と連絡を取った。ロベール2世の従姉妹との近親婚に反対し、婚姻の無効を宣告している。教書 "De corpore et sanguine Domini" を発布している。
シルウェステル2世 (ローマ教皇) 伝説
シルウェステル2世は後世から「紀元千年の魔術師教皇」と呼ばれることとなる。同時代人からも傑出した人物と見なされていたようで、彼の死後15年（1018年）にして「異教徒の地（後ウマイヤ朝）の首都コルドバまで赴いて天文学を学んだ」という逸話が生まれている。しかし当時、キリスト教圏から後ウマイヤ朝に赴く人間のほとんどは信任状を与えられた国の使節であったことから、否定的にみられている。また、シルウェステル2世がアラビア語の音訳を一切用いておらず、ラテン語に翻訳された写本を求めていることから、アラビア語を習得していなかったと考えられ、そのことからもコルドバまで赴いて天文学を学んだことは否定される。
11世紀、対立教皇クレメンス3世側の枢機卿が教皇グレゴリウス7世の正当性を非難する中で、グレゴリウス7世の教師の教師であったシルウェステル2世について「悪魔に自分の死期を尋ね、悪魔はエルサレムでミサを執り行うよりも前だと答えた。シルウェステル（2世）は当分先だと安泰したが、ローマのエルサレム聖十字教会を訪れたときに其処で死んだ」と彼を呪術に長けた者だとした。
シルウェステル2世 (ローマ教皇) 伝説
12世紀、マームズベリーのウィリアムによって伝説はより具体的になった。それは「アラブ人の教師はジェルベールに魔法を教えたが、人が知りうるすべての事柄を記した書物を手渡すことだけは拒んでいた。ジェルベールは師の娘を誑かし、師を酒で酔わせ、その書物を奪った。アラブ人はすぐに追ったが、ジェルベールは悪魔と契約して海を飛び越えて追っ手を撒いた」とか「ローマ近郊の銅像の暗号を解き、地底に隠されていた黄金の宮殿と財宝の山を発見した」とか「質問にすべて“はい”か“いいえ”で答える青銅製の頭を作り、自分が教皇になれるか尋ねるとその青銅製の頭が“はい”と答えた」とかいった内容であった。
シルウェステル2世を悪魔の徒とする伝説については、16世紀末にローマを訪れたモンテーニュも憤慨している。
この他に「出生時に鶏が三度鳴きローマにまで鳴き声が届いた」「古代ローマの貴族カエシウスの子孫」といった伝説的逸話が残っている。なお、シルウェステル2世が望遠鏡・機械時計・水圧式オルガンなどを所持ないし製作したという話に関しては、伝説ではなく事実であるとする意見もある。
シルウェステル2世 (ローマ教皇) 著作
シルウェステル2世の著作は「パトロロギア・ラティーナ」 (Patrologia Latina) 第139巻の中に印刷されている。
数学関連
Libellus de numerorum divisione （数の割算についての書）
De geometria （幾何学）
Epistola ad Adelbodum （アデルボド宛ての書簡）
De sphaerae constructione （天球儀の製作について）
Libellus de rationali et ratione uti （計算と計算結果の書）
書簡
Epistolae ante summum pontificatum scriptae  （教皇就任以前に記された書簡集）
皇帝、教皇、司教らに宛てた218通の書簡
Epistolae et decreta pontificia （教皇の書簡ならびに決議書）
アルヌルフを含む司教、修道院長、そしてハンガリー王ステファヌス1世に宛てた15通の書簡
オットー3世に宛てた真偽不明の書簡1通
5つの短い詩
レンズマメ
レンズマメ（学名: Lens culinaris）は、マメ科ヒラマメ属の一年草、およびその種子。和名は、ヒラマメ（扁豆）。
光学用途で使われる「レンズ」の語源は、このレンズマメであり、当初作成された凸レンズがレンズマメの形状に似ていたことからこの名前が付いた。
レンズマメ 特徴
高さは40cmほどで、小さな豆果の中に種子が2個できる。種子は丸くて扁平な形であり、直径は4 - 9mmと幅がある。
レンズマメ 分布
起源はメソポタミア地域で、徐々に西方のエジプト、ギリシャ、ローマへと伝わったと考えられている。コムギやオオムギ、エンドウ、ソラマメ、ヒヨコマメなどと同時に栽培化されたと考えられる。
レンズマメ 利用
レンズマメは、人類が利用してきたマメの中で最古の部類に属する。その歴史は、新石器時代の紀元前8000年以上前、人類が初めて農耕を試みたメソポタミアまで遡る。紀元前7000年ごろに南西トルコやトゥルケスタンで栽培化されたと考えられており、紀元前6000年からは肥沃な三日月地帯で栽培され、ヒヨコマメやソラマメと並んで重要な食物となった。
旧約聖書創世記にも登場し、エサウは狩猟に失敗して飢えていた際に、弟ヤコブにレンズマメの煮物を食べさせてもらう代償に、その長子権を譲ったとされる。また、エジプトの紀元前2000年紀の墳墓におさめられたレンズマメが発掘されている。
古代ローマではソラマメが好んで食べられ、レンズマメは避けられた。ただし、古代ローマの料理書『アピキウス』にはレンズマメのメニューも掲載されている。レンズマメが避けられる傾向は中世ヨーロッパにおいても続いた。
現在では、カレーやスープ、煮込み料理など、インド料理やイタリア料理、フランス料理で使用される食材のひとつになっている。
コンパイラ最適化
コンパイラ最適化（コンパイラさいてきか、英語: Compiler optimization）では、コンピュータ・プログラムの最適化に関する話題のうち、もっぱらコンパイラに関係するものに関して説明する。最も一般的な要求はプログラムの実行時間を最小化することであり、その次に使用するメモリ量を最小化することである。また、携帯可能なコンピュータが増えるにつれて、消費電力を最小化するという最適化も生まれてきた。
一部のコード最適化問題はNP完全問題であることが示されている。実際には、プログラマがコンパイラによる最適化の完了を待てる時間の上限なども考慮してコンパイラ最適化を実装する（最適化はCPU時間とメモリを多大に使用する）。かつては、コンピュータのメモリ実装量も実行できる最適化を制限する要因だった。
コンパイラメーカによっては、「コンパイラの最適化の能力が売り上げや評判に大きく影響する」と信じている場合があり、そういう信念に従って「最適化コンパイラ」と銘打つことがある。少なくとも、同程度にバグが無いコンパイラ同士であれば、という前提の範囲内なら、最適化の能力が高いほうが魅力的と言えるであろう。
コンパイラ最適化 最適化の種類
最適化はソース言語（プログラミング言語）に近い表現の中間語に対して行う高水準最適化と、機械語に近い表現の中間語に対して適用される低水準最適化に分類される。
最適化技法はその「スコープ」で分類できる。スコープは文単位からプログラム全体まで様々である。一般にスコープの狭い技法の方が広いものより実装が容易だが、効果は小さい。スコープとしては以下のようなものがある:
のぞき穴的最適化
コンパイラが機械語を生成した後で行われる最適化。この場合、（ちょうどのぞき穴から見るように）隣接する数命令だけに注目し、その命令列をより短く、場合によっては1命令に置換できないか検討する。例えば、何らかの値に2をかけている場合、シフト命令や加算命令（自分自身を加算する）に置き換えた方が高速化できる場合がある（これは演算子強度低減でもある）。
ループ最適化
ループを構成する文のブロック（例えばfor文）に対して最適化を行う（ループ不変量コード移動など）。プログラムの実行時間の大部分は何らかのループ内であることが多いため、ループ最適化は性能に重大な影響を与える可能性がある。
局所最適化、プロシージャ内最適化
コンパイラ最適化 最適化の種類
1つの関数定義内の情報だけを考慮する最適化。解析の手間が削減される（時間とメモリ使用量が節約される）が、大域変数やその関数内で他の関数を呼び出している箇所について最悪の場合を想定する必要がある（手続き外についての情報がないため）。
プロシージャ間最適化、プログラム全体の最適化
プログラムのソースコード全体を解析する最適化。より多くの情報が得られるため、さらに効率的な最適化が可能。新しい技法も適用可能である。例えばインライン展開技法を使えば、関数呼び出しを関数そのものと置き換えることになる。
スコープによる分類のほかに、以下の2つの最適化の分類がある:
プログラミング言語非依存とプログラミング言語依存
コンパイラ最適化 最適化の種類
多くの高級言語の構文要素や抽象化は共通である。分岐 (if, switch, case)、ループ (for, while,  repeat...until, do...while)、カプセル化（構造体、オブジェクト）などがある。この特徴を利用して言語に依存しない最適化技法を利用できる。しかし、言語によってはある種の最適化が容易だったり、逆に難しかったりする。例えば、C言語やC++はポインタがあるため、配列アクセスの最適化が困難である。逆に、一部の言語では関数が副作用を持つことができない。このため、同じ引数で同じ関数を何度も呼び出す場合、コンパイラはこれを最適化して一回だけその関数を呼び出して、後はその結果を再利用することができる。
マシン (CPU) 非依存とマシン依存
抽象的な概念（ループ、オブジェクト、構造体など）に関する最適化はコンパイラが対象としているマシンとは関係なく実施できる。しかし、効果的な最適化の多くは対象プラットフォーム特有の機能を考慮したものであることが多い。
マシン依存の最適化の具体例を示す。レジスタに0を設定する最もシンプルな方法は、命令内で 0 という定数（イミディエート値）をレジスタに設定することである。別のより技巧的な方法では、レジスタを自分自身とのXORの演算結果で置き換える方法がある。どちらの方法を利用するかはコンパイラ次第である。多くのRISCの場合、どちらの方法でも命令長と実行時間に違いはない。インテルx86系などでは、XORを使った方法がより短く速い。これはイミディエート値をデコードする必要がなく、内部のimmediate operand registerを使わないため。またXOR命令がレジスタの依存関係によってパイプライン停止を招くことがあるが、自分自身のXORではパイプラインは停止しない。
コンパイラ最適化 最適化に影響する要因
適用可能かつ適用すべき最適化の選択は対象マシンの性格に依存する。場合によってはマシン依存の要因をパラメータ化可能であり、マシンを指定するパラメータによってコードに適用する最適化を変えることもできる。GCCは、そのような手法を採用している例である。
CPUのレジスタ本数
レジスタが多ければ多いほど、性能の最適化が容易になる場合がある。レジスタが多ければ局所変数をコールスタック上ではなくレジスタに割り当てられる割合がより高くなる。一時的な結果をレジスタに残すことでメモリの読み書きをする回数を減らすことができる。
RISCとCISC
CISC命令セットの命令長は可変であることが多く、命令数も多く、各命令の実行間隔も一定していない。RISC命令セットでは命令長が固定で、アドレッシングモードもCISCより少なく、各命令は一定間隔で実行される（実行時間は必ずしも一定ではない）。同じ処理をコード化したときの多様さはCISCの方がRISCより豊富である。コンパイラは各命令や命令の組み合わせによるコストを考慮してコード生成する（命令選択）。
コンパイラ最適化 最適化に影響する要因
パイプライン
パイプラインは、CPUを機能分割して工場の生産ラインのように並べたものと言える。基本的なパイプラインのステージは、命令の読み込み、命令のデコード、演算、メモリアクセス、レジスタへの格納である。これにより、CPUの各部が異なる命令の異なる処理をすることが可能となる。すなわち、ある命令の演算を行っているとき、同時に別の命令をデコード可能である。パイプラインのあるステージにある命令がもっと先のステージにある未完了の命令の結果を必要とするとき、パイプラインハザードが発生する。ハザードはパイプラインの停止（ストール）を招き、ハザードが解決されるまでCPUは処理を遅延させる。
コンパイラは依存関係を持つ命令群を実行結果に影響しないよう注意しながら再配置を行い、ストールが起こりにくくする。
機能ユニットの数
一部のCPUは複数のALUやFPUを備えており、複数の命令を同時に実行できる。同時に実行できる命令の種類には制限があることもあり、各ユニットが実行できる命令の種類も制限がある。これらにはパイプライン衝突と同様の問題が存在する。
コンパイラ最適化 最適化に影響する要因
コンパイラはこのような場合も命令をうまく配置して、各機能ユニットがなるべく常に動作するようにスケジュールできる。
キャッシュメモリサイズとタイプ（ダイレクトマップ、n-wayセットアソシアティブ、フルアソシアティブ）
インライン展開やループ展開などの手法はコードのサイズを増大させ、参照の局所性を損なう。頻繁に実行されるコードの塊がキャッシュに収まらなくなると、性能は劇的に低下する。フルアソシアティブでないキャッシュではキャッシュ上での衝突が発生しやすい。
キャッシュ/メモリ間転送レート
これによりコンパイラはキャッシュミスした場合のペナルティの度合いを知ることができる。このような情報を必要とするのは、主に一部の特殊なアプリケーションである。
コンパイラ最適化 生成されたコードの用途
デバッグ
プログラマは、アプリケーション開発の最中に頻繁にコンパイルを行うため、コンパイルは高速でなければならない。このため、最適化の大部分はデバッグ中には実施されない。また、デバッグ中のコードはデバッガでステップ実行されたりするので、命令を並べ替えるような最適化を行うと、デバッグが困難になる（ある命令がソースコードのどの部分に相当するかわかりにくくなる）。もっとも、コンパイラ最適化を行うことで発生する障害もまれにあり、その場合は最適化されたコードで何とかデバッグするしかない。
汎用目的
パッケージソフトウェアは一般に命令セットが同じCPUを搭載した各種マシン上で実行されることが予想される。それらマシンはタイミングやメモリなどの特性が異なる。そのため、コードを特定のCPU向けに最適化することはできず、最も一般的なCPU向けに最適化しつつ、他のCPUでもそれなりの性能で動作するようにする。
特殊目的
特定のマシン上で動作することが決まっているソフトウェアでは、そのマシン向けに最適化できる。例えば、並列コンピュータやベクトル計算機向けの並列化コンパイラなどがある。
コンパイラ最適化 各種最適化
コンパイラ最適化を大きく捉えれば、以下のような目的があり、これらは時には互いに矛盾する。
通常の場合を最適化
分岐において、より通る確率が高い経路がわかる場合、そちらを優先的に最適化した方が全体として性能が向上する。
冗長性の除去
既に計算されている結果を再利用することで、再計算する無駄を省く。
コードを小さくする
不要な計算や計算途中の値を削除する。CPU、キャッシュ、メモリをなるべく使わないようにすることで高速化させる。
分岐を少なくする
なるべく制御構造を単純化する。分岐は命令のプリフェッチを乱すため、性能低下の原因となる。
局所性
時間的に近接してアクセスされるコードやデータはメモリ上で空間的にも近接していれば、空間的局所性を増大させることができる。
メモリ階層を考慮
メモリへのアクセスは（CPU性能に比較して）益々高価につくようになってきており、これはキャッシュメモリも程度は違うが同様である。そのため、頻繁に使用するものはまずレジスタに置き、次にキャッシュ、それでも足りない場合は主記憶、さらにはディスクとなるようメモリ階層を考慮した最適化をする。
自動並列化
配置を最適化することで並列に複数の計算が行えるようにする。これには命令レベル、メモリレベル、スレッドレベルの並列化がある。
マルチプロセッサ上でプログラムを複数のスレッドで動作するように変換する。
コンパイラ最適化 各種最適化
より精密な情報を得るため
コンパイラがより精密な情報を得られれば、各種最適化技法を適用できるようになる。
主にループを操作する最適化技法として、以下のものがある。
帰納変数解析
ループ内の変数がループ変数の簡単な式で計算されている場合（例えば、j:= i*4）、ループ変数の更新時に同時にその変数も更新できる（例で言えば、i:=i+1 なら j:=j+4）。これは一種の演算子強度低減であり、同時にループ変数を他に使っていないならデッドコード削除も伴う。この情報は境界検査除去（後述）や依存関係解析などにも利用される。
ループ分裂/分散
1つのループを複数の同じインデックス範囲のループに分割する（各ループにはオリジナルのループ内の処理の一部が入る）。ループ内で参照されるデータとループ内のコードの両面で参照の局所性を高める。
ループ融合/結合
ループ回数が同じである複数のループをまとめることでループによるオーバーヘッドを低減する。
ループ転置
whileループを等価なdo/whileやrepeat/untilループに変換することで条件比較回数を減らす。通常、ループの前に条件文を追加する必要があり、コードのサイズは増大するが、命令パイプラインをスムーズにする効果がある場合もある。また、コンパイル時に初期条件が明確で、かつ副作用の問題もない場合、最初の条件文を除去できる。
コンパイラ最適化 各種最適化
ループ交換
入れ子になったループで、内側のループと外側のループを入れ替える。ループ変数群が配列のインデックスであった場合、この最適化で参照の局所性を高めることができる場合もある（配列の並び方に依存する）。
ループ不変量コード移動
毎回、ある値がループ内で計算されていて、毎回同じ値である場合、それをループの前に1回だけ計算することで最適化する。配列についてのループでアドレスを計算する式などで特に有効である。全てのコードがループの外で計算できるわけではないので、ループ転置と合わせて実施するのが一般的である。
入れ子ループ最適化
行列の乗算などはメモリアクセスが多く、キャッシュヒット率も悪い。入れ子ループ最適化では、ループ交換などの技法を使ってキャッシュヒット率を向上させる。
ループ反転
ループ変数の値の変化する順序を反転させる（例えば、0 から 10 だったものを 10 から 0 にする）。これは微妙な最適化であり、依存関係解析を省く効果があったり、他の最適化が可能になるなどの効果が期待できる。
ループ展開
ループの中身のコードを複数回配置してループ条件のチェック回数を減らしたり、分岐回数を減らすことによってオーバーヘッドを低減させる。ループを完全に展開すればオーバーヘッドはゼロになるが、コンパイル時にループ回数が明確になっていなければならない。
コンパイラ最適化 各種最適化
ループ分割
1つのループを複数に分割するが、各ループの中身は同じで、ループ変数の範囲が異なるようにする。例えば、一般にループの1回目の実行では各種処理が余分に必要となっている場合がある。これを1回目だけ分割してみると、その後のループでは各種最適化が可能となる場合がある。
ループと条件文の入れ替え（Loop unswitching）
ループ内の条件文を外に追い出して、条件文の then 部と else 部に元のループのコピーを置く。並列性を高めるなどの効果がある。
データフロー最適化はデータフロー解析に基づいて行われ、あるデータの特性が制御フローグラフ内の制御エッジでどのように伝播されるかによるもの。以下のような技法がある。
共通式削除（common sub-expression elimination）
例えば、(a+b)-(a+b)/4という式があったとき、(a+b) は2回出現する。共通式削除では、(a+b) がこの間に変化しないと判断し、1回だけ計算するよう最適化する。
定数畳み込み（constant folding）と定数伝播（constant propagation）
定数からなる式（例えば、3 + 5）をコンパイル時に計算結果（8）と置き換えてしまう。最近の言語処理系ではほとんど必ず行われる。
コンパイラ最適化 各種最適化
帰納変数の認識と除去
エイリアス分類とポインタ解析
ポインタのある言語では、変数をポインタを通じて参照・操作する可能性があるため、最適化が難しい。このため、どのポインタがどの変数のエイリアス（別名）であるかを識別することで無関係のポインタを無視する最適化を行う。
以下の最適化は、プログラムを静的単一代入(SSA)と呼ばれる形式に変換した上で行われる。SSA では各変数への代入が一箇所だけで行われる。場合によってはSSAに変換しないで最適化を施すこともあるが、ここに挙げる最適化技法はSSAと共に用いることで最も効果を発揮する。他の節に挙げた最適化技法でも、SSA に適用可能であるものが多い。
大域値番号付け（英
Global Value Numbering）
プログラムの値グラフを作成して冗長性を除去し、等価な式で計算される値を特定する。大域値番号付けは共通式削除ではできない冗長性の除去が可能である。逆に共通式削除でしかできない冗長性の除去もある。
疎な条件分岐を考慮した定数伝播（英
sparse conditional constant propagation）
コンパイラ最適化 各種最適化
定数伝播、定数畳み込み、デッドコード削除を変化がなくなるまで繰り返し実施するのとほぼ同じ最適化であるが、より効率的である。この最適化はプログラムを記号的に実行し、同時に定数値を伝播させ、到達できない部分を制御フローグラフから削除する。
レジスタ割り当て
最も頻繁に使われる変数はレジスタに割り当てて、高速にアクセスできるようにする。どの変数をレジスタに置くべきかを決定するために、干渉グラフ（英: interference-graph）を作成する。各変数をノードで表し、同時に使われる2変数の間を線で結ぶ。このグラフにチャイティンのアルゴリズムなどを適用して色をつけ、同じ色数となった変数をレジスタに割り当てる。色付けが失敗して、同じ色数の変数の一部がレジスタに割り当てられなくなった場合、色付けを再試行する。
命令選択
豊富なアドレッシングモードのあるCISCアーキテクチャでは、同じ操作を行う複数の方法が存在することが多く、各手法で命令は全く異なる。命令選択では、低レベルな中間表現を命令に置き換える際にどの命令にするのが最も効率的かを判断して選択する。例えば、MC68000系のプロセッサでは、"lea 25(a1,d5*4), a0" といった複雑なアドレッシングモードが使われ、1命令でかなり複雑な演算が行われる。
コンパイラ最適化 各種最適化
命令スケジューリング
命令スケジューリングはパイプライン化プロセッサでは重要な最適化技法であり、パイプラインハザードの発生を最小にするため、プログラムの意味を変えない範囲での命令の並べ替えによって行う。
再実体化 (Rematerialization)
メモリからロードせずに再計算を行うことで実行時間を節約する。これはレジスタ割り当ての最適化と同時に行われる。再計算コストとメモリアクセスコストのトレードオフによって選択される。
計算の再配置
線形計画に基づいて計算を再配置することで参照の局所性を向上させたり、並列性を引き出したりする。
CPU固有命令の使用
拡張命令（MMXやSSE等）を使う機械語を生成する。代わりに、それらに対応していないCPU上では動作しなくなる。SIMD命令に置き換える場合は自動ベクトル化である。
ここで挙げる最適化技法は関数型言語以外にも適用可能な場合が多いが、LISPやMLといった関数型言語向けに開発された技法である。
再帰呼び出し除去
再帰にはコストがかかる。関数呼び出しはコールスタックを使用し、引数を渡すオーバーヘッドがかかり、命令キャッシュがフラッシュされてしまう。末尾再帰アルゴリズムは単純な繰り返しに変換でき、関数呼び出しのオーバーヘッドを除去できる。末尾再帰除去とも呼ぶ。
データ構造融合
コンパイラ最適化 各種最適化
Haskell などの関数型言語でのデータ構造の特徴として、一時的なデータ構造を作成・使用する複数の再帰関数を結合することができ、データ構造構築にかかる時間を省くことができる。
ラムダ計算からコンビネータ論理への変換
大抵の関数型言語は、計算モデルとしてラムダ計算を採用している。しかし、ラムダ計算での式の評価は非常に複雑であり、計算機に大きな負荷をかけてしまう。対照的に、コンビネータ論理の式の評価は置換という概念が存在しないため、はるかに簡単であり計算負荷を軽減することが出来る。
境界検査除去
Javaのような言語では、配列にアクセスする際に常に指定されたインデックスが、配列の範囲内に収まっているかどうか実行時にチェックが行われる。このチェックは、科学技術計算のような性能が重視されるアプリケーションでは性能を悪化させてしまう。境界検査除去は、チェックを安全な局面で除去するものである。例えば、ループ変数が配列のインデックスとして使われている場合、ほとんどの境界検査は除去できる。
分岐オフセット最適化（マシン非依存）
分岐先に到達できる最短の分岐ディスプレースメント を選択する。
ブロック再配置
基本ブロック（入り口と出口がそれぞれ1つしかないコードの塊。途中分岐しないブロック）を並べ替えて条件分岐命令を減らしたり、参照の局所性を向上させたりする。
コンパイラ最適化 各種最適化
デッドコード削除
プログラムの動作に影響を与えない命令群（例えば、使われていない定義）などを削除する。これによりコードのサイズを縮小し、不要な計算をしないようにする。
不変式のくくり出し
条件文のthen部とelse部に同じ式がある場合、その計算を条件式の外で1回だけ行うようにする。同様に、定数の変数への代入のような式がループ内にある場合、ループ内で何度実施しても効果は同じであるため、それをループの外にくくり出すことができる（ループ不変量コード移動）。全体冗長性除去（Total Redundancy Elimination）。より強力な最適化として部分冗長性除去 (Partial Redundancy Elimination) がある。
分岐スレッディング (jump threading)
GCCの持つ最適化技法。条件分岐の条件が同じものや正反対のものを検出した場合、2番目の分岐先に繋ぎ合わせる。
演算子強度低減
複雑でコストのかかる操作（演算）をより単純で等価なものに置き換える最適化。帰納変数解析（前述）により、ループ内のループ変数に依存した変数についてこれが行える。のぞき穴的最適化の一部もここに分類される。例えば、定数による除算を逆数の乗算に置き換えたり、乗算をビットシフトと加算で置き換えたり、（CISCの場合）大きな命令を同等機能の小さな命令に置き換えたりする。
コンパイラ最適化 各種最適化
x = y * 2 → x = y << 1 （乗算をビットシフトへ）
x += 1  → x++ （加算をインクリメントへ）
など
キャッシュ上の衝突の削減
ページ内のデータの配置を変え、時間的に近接してアクセスされるデータがキャッシュ上の同じ位置に来ないようにする。
スタックを使用する深さを削減
式の構文木を構成しなおして、式の評価に必要とされるリソースを最小化する。
条件式の並べ替え
複数の条件式が論理積や論理和で並んでいるとき、単純な条件式（変数と何かを比較するなど）を先に評価して、次に複雑な条件式（何らかの関数呼び出しを伴うものなど）を評価するようにした方が一般には効率がよい。これは遅延評価を補う技法だが、各条件式が互いに依存している場合は実施できない。最小評価の意味論がこれをさらに難しくする。
プロシージャ間最適化はプログラム全体を対象とするもので、プロシージャの境界やファイルの境界を越えた最適化である。プロシージャ間で関係する部分に働き、局所的な最適化と大域的な最適化の協調によって行われる。主なプロシージャ間最適化としては、インライン展開、プロシージャ間デッドコード削除、プロシージャ間定数伝播、プロシージャ再配置などがある。通常、最適化の前にプロシージャ間解析が必要であり、プロシージャ間エイリアス解析、配列アクセス解析、コールグラフ構築などがある。