hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ホーリーブル 戦績
1994年は1月のハッチスンステークス (G2) から始動し優勝。次に出走したファウンテンオブユースステークス (G2) でデヒアに敗れ連勝は5でストップするが、フロリダダービー (G1) 、ブルーグラスステークス (G2) を連勝。大本命としてケンタッキーダービーへと駒を進める。だがここでスタートに失敗し得意の逃げを打てずに12着と大敗を喫してしまう。ここでクラシック戦線から外れ、メトロポリタンハンデキャップ (G1) に出走。古馬との初対戦となったが、この年のブリーダーズカップ・スプリントを制するチェロキーラン以下に5馬身半差をつけ優勝すると、9月のウッドワードステークスまでG1競走4つを含む5連勝。その間にこの年のブリーダーズカップ・クラシックの1、2着となるコンサーンとタバスコキャットに勝利したほか、ケンタッキーダービー馬ゴーフォージンに雪辱を果たした。この年10戦8勝、うちG1競走5勝という成績でエクリプス賞年度代表馬、最優秀3歳牡馬のタイトルを受賞し、フリーハンデキャップでは、2位コンサーンに6ポンドの差を付けて全世代中最高評価となる130ポンドの評価を受けた。
1995年は初戦の準重賞を快勝したが、次に臨んだドンハンデキャップ (G1) で競走中に故障を発生し競走中止、同競走を最後に競走馬引退が決まった。なおこのときの優勝馬は、このあとサイテーションに並ぶ16連勝を達成するシガーであり、ホーリーブルとはこれが最初で最後の対戦となった。
ホーリーブル 競走馬引退後
競走馬引退後の1996年からジョナベルファームで種牡馬となり、自身が敗れたケンタッキーダービーを制したジャコモ、ブリーダーズカップ・ジュヴェナイルを制したマッチョウノなどを輩出して種牡馬としても成功を収めた。
2001年にアメリカ競馬殿堂入りし、その名を冠したG3競走「ホーリーブルステークス」が創設された。
2012年をもって種牡馬を引退。ジョナベルファームにて余生を送っていたが、2017年6月7日に26歳で老衰により安楽死処分がなされた。
※記載競走はG1
G1勝ち馬のみ。
Smart (雑誌)
smart（スマート）は、宝島社が発売している男性向けファッション雑誌。1995年10月に創刊。毎月25日発売。
Smart (雑誌) 概要
1995年に創刊され、かつては隔週月曜発売の月2刊発行であったが、2004年3月号より月刊化となった。2000年代後半以降、バッグ、ペンケースなどの豪華付録グッズが毎月付属している。
2024年8月23日発売のsmart2024年10月号からは、テーマを「20代のスポーティな毎日に！」に刷新。若者世代のファッションとライフスタイル情報を発信している。
2020年以降、若い男性の最新ファッション・美容・カルチャーを扱う。スニーカーカルチャーやストリートのデイリーウェアをはじめ、スキンケアやコスメ、メイク方法などを解説している。
人気俳優やアーティストをはじめ、心と体を動かして健康なマインドを追求したい“リアルな新世代像”を追求するとしている。
雑誌の特集では、ストリートファッションをベースにしたスポーティやテック（機能的）なものを多く取り上げるほか、スニーカー、バッグ、美容、家電、インテリア、スポーツ、カルチャーなど、読者世代のライフスタイルに合わせた幅広いトピックを扱っている。
雑誌に初めてブランドとのコラボ付録をつけたのはsmart（2002年5月13日＆5月27日合併号）で、NIKE×F.C.R.B.のサッカーボール柄ビーチボールが付録だった。
Smart (雑誌) 略歴
1989年に創刊し、“原宿カワイイカルチャー”の原点となった女性向けファッション誌「CUTiE（キューティー）」の男性読者に向けた特集ページ「BOY’S CUTiE（ボーイズ・キューティー）」が、「smart」の祖となっている。「BOY’S CUTiE」コーナーには、電気グルーヴ（1991年2月号）やチェッカーズ（1992年7月号）らも登場。
1995年10月に創刊。創刊号表紙にも「BOY’S CUTiE」のアイコンが掲載されている。かつては隔週月曜発売の月2刊発行であったが、2004年3月号より月刊化。
2002年5月13日＆5月27日合併号で、雑誌で初めてのブランドアイテム特別付録を実施する。以降、2000年代にはSupremeやSTUSSY、BAPE®、PORTER、NEIBORHOODなど、ストリートの大人気ブランドと数々の付録を開発。
2011年3月号から2012年1月号までの11号連続でAKB48の人気メンバーが表紙を独占しニュースとなる。
2016年に、公式サイト『smartWeb』を開設。
2024年6月25日に、『smart Web』のLINE公式アカウントを開設。
シスレー・バレー
シスレー・バレー（Sisley Volley）は、イタリア・トレヴィーゾを本拠地としていた男子バレーボールクラブチーム。通称はトレヴィーゾ。
シスレー・バレー 歴史
1987年、ベネトンファミリー（famiglia Benetton）のバレーボールクラブとして、シスレー・バレーが創設。セリエA2から参入し、1988年A2レギュラーシーズン首位でセリエA1へ昇格した。
A1昇格1年目からプレーオフ・セミファイナル進出し、その後も上位の成績を収める。昇格6年目の1994年にプレーオフ・ファイナルの第4戦でミラノを破り、リーグ初優勝。1990年代後半から2000年代にかけてイタリア代表を多数輩出するとともに、A1屈指の強豪クラブへと成長し、リーグ優勝9回、コッパ・イタリア優勝5回、スーペルコッパ・イタリアーナ優勝7回を飾ったほか、CEV主催のクラブ大会においても欧州チャンピオンズリーグ優勝4回、CEVカップ優勝5回を飾った。
2011年2月、スポンサーのベネトングループが2012年6月30日以降、ベネトン・バスケットとシスレー・バレーから撤退すると発表。ユース部門の継続とラグビーチームを残し支援する意向が伝えられた。同年6月、本拠地をベッルーノに移転、シスレー・ベッルーノへ改称し、A1への登録を行う。
2012年6月、期限までに次シーズンのセリエAの登録をせず、A1での活動を終了させた。
シスレー・バレー 主な成績
セリエA（9）
コッパ・イタリア（5）
スーペルコッパ・イタリアーナ（7）
欧州チャンピオンズリーグ（4）
CEVカップ（5）
芋川 (秋田県)
芋川（いもかわ）は、秋田県由利本荘市を流れる子吉川水系子吉川支流の一級河川である。支流を含めた流域は横手市や秋田市にも及ぶ。
芋川 (秋田県) 地理
秋田県由利本荘市東部の横手市、大仙市との境近くに源を発し、笹森山の北を迂回するような形で西へと流路をとる。軽井沢川との合流地点からは国道105号に沿うようにして流れ、由利本荘市の中心部で本流の子吉川に合流する。
鉄人をひろったよ
「鉄人をひろったよ」は、1983年7月に藤子不二雄名義で発表された読み切りSF漫画作品。藤本弘（のちの藤子・F・不二雄）による単独執筆作。
以下では漫画作品について述べる（ドラマは「#ドラマ」の項内のみで述べる）。
鉄人をひろったよ 概要
平凡な老齢男性が、日常生活には不必要な巨大ロボットを手に入れたことによるギャップを描いた作品。作中では、巨大ロボットを「おもちゃ」と呼び、犬やネコを拾ったことと同列に扱う場面が描かれている。
鉄人をひろったよ 雑誌版
『ビッグコミック』1983年（昭和58年）7月25日号に掲載された。全18頁。当時、藤本のチーフアシスタントを務めていたたかや健二はマクロスのプラモデルが多数登場する漫画『プラコン大作』（本作発表の前年の12月に連載開始）の作者でガンプラ愛好家である。
鉄人をひろったよ 単行本版
1987年（昭和62年）、小学館ゴールデンコミックス『異色短編集6 鉄人をひろったよ』（5月20日初版発行）に収録されるまでの間に多数の加筆修正が行われ、全25頁の短編となった（たかやのチーフ就任期間は1986年9月頃まで）。
夏から落葉のある季節に変更（登場人物の服装を長袖に描き換え）、飛来してそびえ立つ鉄人を見上げる「なんだこれは。」のコマを全描き換え、隣家の落ち葉を掃く場面を追加、隣家の木を2本引き抜く描写を追加、隣家からの苦情電話場面を追加、結末前に鉄人に語りかける場面を追加等の相違点がある。
鉄人をひろったよ あらすじ
※単行本版をもとに記す。
ある晩。主人公の老齢の男性が川沿いの土手を自家用車で走っていたところ、道に倒れていた男を見つける。男は大けがをしており、主人公にアンテナの付いた機器を渡し「旧帝国陸軍が極秘裏に開発した……黒部の深山……ねらって……CIA……KGB……モサド……」等と途切れ途切れに言葉を発するが、主人公が電話を探しに行っている間にその姿は消えてしまう。困った主人公が何気なく機器のボタンを押すと、どこからともなく巨大なロボット（以下鉄人）が飛来。贅沢なおもちゃだと思った主人公はそのまま自家用車を運転して帰宅するが、鉄人は主人公を追って家までやってきた。
鉄人をひろったよ 登場人物
老齢の男
本作の主人公。背広を着用し、自家用車で出勤している（残業後に帰宅したとの台詞が作中にある）。道に倒れていた男が大けがをしていると知った際や、自分自身や近所に危険や迷惑が及ぶ事柄には大きなリアクションをとるが、鉄人が飛来した際などの非現実的な事柄については淡々と受け入れている。鉄人のことは犬を拾った程度と同等に考え、警察に届け出るなどといった積極的行動も取らない。嫌味で口うるさい隣人が悩み。
主人公の妻
鉄人の扱いをどうするかを夫と相談する。
鉄人
巨大なロボット。リモコンの音声命令に反応して動く。
『鉄人28号』がモデルのひとつとなっていると考えられる。倒れていた男は「黒部の深山」という言葉を発するが、「鉄人28号」は「乗鞍岳秘密研究所」で作られたという設定である。
倒れていた男
主人公が夜の土手で出会った正体不明の男。主人公にリモコンを渡して姿を消してしまう。
九条
主人公宅の隣に住む口うるさい隣人。自宅の庭に落葉樹を植えている。何かと難癖をつけるタイプ。電話越しの台詞のみで、姿は登場しない。
雄一郎
主人公夫婦の孫。会話の中にのみ登場。
鉄人をひろったよ 単行本
「#単行本版」で記したもの以外にも多数の単行本に収録されている。詳細は「藤子・F・不二雄のSF短編一覧」を参照。
鉄人をひろったよ ドラマ
2024年4月7日に藤子・F・不二雄 SF短編ドラマ シーズン2の1本として実写ドラマが放送された。
主人公が携帯電話を持っている、乗用車でなく徒歩で土手を歩いている、「旧帝国陸軍」「CIA」等の組織名を一切喋らず男が息絶える、倒れていた男を回収する3人の男が描かれている、隣の落葉樹を抜く本数は1本だけ（原作漫画の単行本版では2本）、ビルの間を長時間低空飛行し雲上の飛行を楽しむ場面が描かれている等の点が原作漫画とは異なる。
マルコ・カッセッティ
マルコ・カッセッティ（Marco Cassetti、1977年5月29日 - ）は、イタリア・ブレシア出身の元同国代表サッカー選手。現役時代のポジションはDF、MF。
マルコ・カッセッティ 経歴
サイドアタッカーとしてもプレーできるドリブルを持ち、レッチェ時代には輝きを放った。
2007-08シーズン、トネットが怪我で離脱したときに急遽左サイドバックを任されたが、動じることなくプレー。それからは、左サイドバックとしての出場も増えてきている。2009年12月6日のラツィオとのローマダービーでは、負傷したメクセスに代わり途中出場すると、自らのボールカットから最後はボレーシュートを決め、決勝点を挙げた。
イタリア代表としては2005年3月30日のアイスランド戦（パドバ）で代表デビューを飾った。
マルコ・カッセッティ 所属クラブ
→  ワトフォードFC 2012-2013 (loan)
林奕華
林奕華（りん えきか）またはエドワード・ラム（Edward Lam,  - ）は、香港生まれの劇作家、舞台演出家、脚本家、エッセイスト、文化評論家、非常林奕華（Edward Lam Dance Theatre）の主宰。
同性愛者であることを早くから公式にカミングアウトした人物としても知られており、その作品には愛情観や異性愛と同性愛の相似点および相似点、また愛のありかたなどをテーマとしたものが多い。繊細なテーマを取り扱いながらも洗練された演出や構成により冷静かつ叙情的にまとめあげることができるクリエイターとして、各方面で高い評価を得ている。また進念二十面體主宰の胡恩威との合作による「東宮西宮」シリーズ（2003年スタート）では社会情勢や政治をテーマとし、広く一般にも受け入れられた。現在も続編上演を重ねる人気シリーズとなっており、かつてのバージョンでは自身も役者として舞台に登場している。
林奕華 経歴
香港生まれ、祖籍は広東省中山。14歳で創作活動を開始し、78年に脚本家として香港のテレビ局TVBと契約する。同時に香港のラジオ局香港電台にて文化番組のDJを担当。その後、1982年に前衛劇団進念二十面體（zuni Icosahedron、ズニ・イコサヘドロン）の立ち上げに参加し、数十本の作品を制作する。
1990年に英国文化協会（ブリティッシュ・カウンシル）の後援を受け、ロンドン・パレスシアターの劇場芸術家として渡英。英国滞在中の1991年から、ヨーロッパ各地での作品上演を行い、1994年には「英國柏克萊新舞台獎」を受賞した。1995年に香港へ戻るまでの5年間で、80本あまりの創作劇を発表している。
帰国後は自身の主宰による「非常林奕華」（Edward Lam Dance Theatre、エドワード・ラム ダンスシアター）を中心とした創作活動のほか香港大学などを中心とした教育機関での文化教育にも参加している。またこの他、同じく香港を拠点とする映画監督の關錦鵬（スタンリー・クワン）と組み、映画「赤い薔薇、白い薔薇」などの脚本を担当。自身の映像作品では、香港芸術家連盟による1999年の年度賞を個人の映像作品「愛的教育」で受賞している。さらに新聞や雑誌、フリーマガジンなどでの執筆活動も盛んに行っており、その著作は現在までに数冊の単行本となってまとめられている。
ピヤポン・ピウオン
ピヤポン・ピウオン（ปิยะพงษ์ ผิวอ่อน、Piyapong Piew-onまたはPiyapong Pue-On、1959年11月14日 - ）は、タイ出身の元サッカー選手、サッカー指導者、サッカー解説者、軍人。
Kリーグ時代の登録名はピアポン（ハングル: 피아퐁）。
ピヤポン・ピウオン 経歴
1980年代に活躍した、タイサッカー史上に残る名FW。タイ代表での最多得点記録（103得点）を持つ。
タイ王国空軍ユースチームのストライカーとしてサッカーのキャリアを始める。Kリーグ初の外国籍選手として、1984年から1986年までラッキー金星ファンソ（現FCソウル）でプレイした。1985年は得点王（12得点）とアシスト王（6アシスト）を獲得して、ラッキー金星の初優勝に貢献した。その後マレーシアでプレーしたのち古巣のタイ空軍に戻り、最後はプレーイングマネージャーも務めた。
現役引退後はコーチ、監督としてタイ国内のクラブ、ユース代表チームなどを指導し、解説者としても活動している。なお、空軍の軍籍はいまでも保持し、2009年現在は空軍少佐（นาวาอากาศตรี）の階級にある。
2004年には映画『七人のマッハ!!!!!!!』に出演している。
おらほビール
オラホビール(OH!LA!HO BEER)は、長野県東御市にある株式会社信州東御市振興公社が製造・販売している地ビールのブランド名である。1996年に誕生した。国際ビール大賞などの様々な大会で入賞している。「オラホ」（OH!LA!HO）とは、この地方の方言で「わたし達」や「私たちの地域」といった意味である。醸造所は湯楽里館に隣接している。
おらほビール 概要
キャプテンクロウ エクストラペールエール、ゴールデンエール「黄金色」（苦味タイプ）、アンバーエール「赤銅色」（芳醇タイプ）、ケルシュ「淡色」（ドライタイプ）、ペールエール、ビエール・ド・雷電、雷電カンヌキIPAがある。季節限定でヴァイツェン（夏期）、ポーター（冬期）や巨峰（東御市特産）、ブルーベリーなどの果実発泡酒の醸造も行っている。
おらほビール 受賞歴
国際ビール大賞（インターナショナル・ビアカップ）
1999年大会 銅賞 ペールエール
2000年大会 金賞 アンバーエール 銀賞 ゴールデンエール
2001年大会 金賞 ゴールデンエール 銀賞 アンバーエール
2002年大会 金賞 ゴールデンエール 銀賞 アンバーエール 銅賞 ペールエール
2003年大会 銅賞 ゴールデンエール 銅賞 アンバーエール
2004年大会 銀賞 アンバーエール 銅賞 ゴールデンエール
2005年大会 金賞 アンバーエール 銀賞 ゴールデンエール
2006年大会 金賞 ゴールデンエール 金賞 アンバーエール
2007年大会 金賞 ゴールデンエール 銀賞 アンバーエール
ジャパン・アジア・ビアカップ（ジャパン・ビア・カップ）
2000年大会 銅賞 アンバーエール
2002年大会 銀賞 アンバーエール 銅賞 ゴールデンエール
2003年大会 銀賞 ゴールデンエール
2004年大会 銅賞 ゴールデンエール 銅賞 東御エール
2005年大会 銀賞 アンバーエール 銅賞 ゴールデンエール
2006年大会 銀賞 ゴールデンエール
2007年大会 銀賞 ゴールデンエール
おらほビール 所在地
（アグリヴィレッジとうみ内、日帰り温泉施設「湯楽里館」・「レストランオラホ」併設）
三重交通モ4400形電車
三重交通モ4400形電車（みえこうつうモ4400がたでんしゃ）とは、三重交通が日本車輌製造に発注製造し、近畿日本鉄道を経由し、現在は三岐鉄道北勢線で200系として使用されている電車である。
三重交通モ4400形電車 概要
三重交通が湯の山温泉への観光客輸送を目的とする三重線用として、1959年8月に名古屋の日本車輌製造本店でモ4400形4401(M-1)-4401(T-1)-4401(M-2)の3車体連接車1編成を製造した。
三重交通モ4400形電車 車体
各車とも普通鋼製準張殻構造で、ノーシル・ノーヘッダーの10m級車体を備える。前面形状は登場時流行していた湘南形の2枚窓構成で、各窓の上部に細長いベンチレーターが設けられ、窓自体はHゴム支持による固定窓となっている。前照灯は屋根中央に白熱灯が1灯、流線型のケーシングに納められて半埋め込み式で取り付けられ、標識灯は左右下部に振り分けて角形のものが各1灯ずつ取り付けられていた。窓配置は4401(M-1)および4401(M-2)がdD(1)4D(1)1、4401(T-1)が1(1)D4D(1)1（d：乗務員扉、D：客用扉、(1)：戸袋窓）で、編成単位でほぼ等間隔となるよう扉位置を定めたものである。側窓は2段上昇式のアルミサッシ、戸袋窓および客用扉はHゴム固定式の1枚窓、乗務員扉は落とし込み式のアルミサッシである。客用扉はドアエンジンによる自動扉を採用し、これは三重線系統では初の採用例であった。座席はロングシートで、運転台は半室式、室内灯は直流点灯による40W環状蛍光灯が各車4基ずつ取り付けられていた。当初の車体塗装は三重交通の標準色である、車体上半分がクリーム、下半分がグリーンの2色塗り分けであった。なお、この塗装は2013年10月29日より北勢線開業100周年記念の一事業として復活している。
三重交通モ4400形電車 主要機器
1958年に志摩線向けとして製造されたモ5400形の仕様を踏襲し、駆動システムとして神鋼電機が開発した垂直カルダン方式を採用した。このため、同社製TBY-23を主電動機として4401(M-1)・4401(M-2)の運転台寄り台車に各2基ずつ軌道面に対し垂直に裝架した。ただし、軽便鉄道用で床下高さが低く台車上面のわずかな空間にギアボックスを納めきれず、所要の空間を確保するため運転台直後の床面がやや持ち上げられ、客用扉内側にステップが1段設けられた。
この特徴的な駆動システムは狭い空間に無理をして収めてあった上、整備時には事実上完全分解を行う必要があるなど保守上難点が多く、カルダン駆動化によるメリットをそれらのデメリットが上回っており、本形式が製造からわずか12年で電装解除される原因となった。
三重交通モ4400形電車 主要機器
間接式多段自動加速制御器である日本車輌製造NCA電動カム軸式制御器が採用され、4401(M-1)に搭載された。これは、在来車が全て直接制御式で併結時の互換性を考慮する必要がなかったためである。これにより、スムーズな加速と同線初の総括制御運転が実現し、折り返し時の編成入れ替え作業が不要となった。また、この制御器には菰野以西の勾配区間に備え、発電ブレーキによる抑速制動機能が付加されていた。また、抑速制動機能は多客時に在来の付随車を増結する必要が生じた際には、スイッチ操作で無効化が可能とされていたのも大きな特徴の一つであった。
4401(M-1)の運転台寄りに当時の三重線で標準的に用いられていたシングルシュータイプの菱形パンタグラフが装備され、4401(M-2)へは750Vの母線引き通しにより給電されていた。このため、各車体間には太い高圧引き通し線が接続されており、連接車でしかも絶縁を確保する必要があったことから、固定式の連結面窓の直下に大型のジャンパ栓受を設けて接続する構造が採用された。
三重交通モ4400形電車 主要機器
制御器による発電ブレーキとは別に、空気ブレーキとして非常弁付き直通空気ブレーキ（SMEブレーキ）に発電・抑速制動を付加した、SME-Dブレーキが採用された。これは当時の高性能電車で一般的であったSMEE/HSC-D電磁直通ブレーキを簡略化したものであるが、在来車の標準であった三方弁によるSMEブレーキとの互換性を確保する必要があったことから、セルフラップ弁によるSMEE/HSC系ブレーキの採用が困難という事情もあっての選択であった。
本形式はブレーキシリンダーを電動台車の側枠上部および連接台車の側枠間の各車軸上部に装架する、台車シリンダー方式を採用しており、車体側にはブレーキ指令を中継・増幅する作用を持つ中継弁が搭載されていた。また、空気圧は4401(M-2)に搭載されたDH-25形空気圧縮機から供給された。
日本車輌製造ND-106（電動台車）・106A（付随台車）を装着した。いずれも枕木方向にスイングする揺れ枕吊りを備える、当時としては一般的な設計の全溶接構造ウィングバネ式台車である。これら、特にND-106については垂直カルダン機構をボルスタをはさんで両車軸間に装架する必要があったことからブレーキワークは片押し式の構成とならざるを得ず、またブレーキシューを台車の両端に置くことから台車枠そのものも大型化したため、軽便鉄道用台車としては異例の堂々とした外観となった。当時の日本車輌製造は台車型番において電動台車をND-xx、付随台車をNT-xxと区分しており、またND-106と106Aではボルスタ部を除くその外観にほとんど差異が見られないこと、それにT-1とM-2の間の台車を新造時にはND-106Bとわざわざ別区分としていたことなどが示す通り、ND-106Aは将来中間車体を追加した際に出力不足となることを考慮し、電装可能とすべく設計されたものであった。
なお、これらの台車の基本設計は続くサ2000形用NT-7にも踏襲されており、乗り心地面で好評であったことがうかがえる。
連結器は当時の三重線の標準に従い、俗に「朝顔形」として知られる中央緩衝器式のピン・リンク式連結器が装着されていた。
三重交通モ4400形電車 運用
竣工後、収容力の大きな本形式は三重線の看板電車として重用された。
当初は、4401(T-2)を挿入して4車体連接車とすることも計画されたが、垂直カルダンのメンテナンスの困難さなどから駆動系の負担増につながるこのプランは放棄され、新造の翌年に当たる1960年には4401（T-1）はサ4400形に形式変更された。
この結果、以後の三重線用増備車は本形式の4401(T-1)の扉間窓数を1枚増やした形状の2軸ボギー車であるサ2000形とされ、本形式の編成としての増備は断念された。
1964年3月1日に湯の山線が1435mm軌間への改軌を実施されて本形式は用途を失い、残された内部・八王子線では輸送力が過大であったことから、北勢線へ転用された。
1965年4月1日の三重電気鉄道のちの近鉄合併に際しては、モ4400形4401（M-1）・4401(M-2)がモ200形201・202に、サ4400形4401(T-1)がサ100形101に改番され、塗装も近鉄一般車標準のマルーン1色塗りとなった。
三重交通モ4400形電車 運用
しかしながら、その後も垂直カルダンのメンテナンス問題は解決せず、結局本形式は1971年に電装解除が実施され、ドアエンジンを含む客室設備はそのままに、モ200形201・202が運転台を撤去されサ200形201・202へ改造された。この際、連結器が従来のピン・リンク式から通常の3/4サイズのCSC91自動連結器に交換されている。
以後、直接制御式のモニ220形に牽引されて使用されていたが、1977年より開始された北勢線の近代化事業において、本形式は新造のモ270形と総括制御の貫通固定編成を組むこととなり、サ202の旧運転台が6年ぶりに復活し、同車はク200形202に改番された。
この際の改造点は以下の通りである。
その後1990年に塗装を内部・八王子線用260形などに準じた扉部と車体裾部、それに前面窓周りをオレンジ色に塗り分ける特殊狭軌線新標準色となり、1992年にはブレーキを保安性向上のため、HSC電磁直通ブレーキへ再度変更され、これに合わせて台車もND-106K・-106AKへ改造された。以後、前面窓や戸袋窓をHゴム支持から押さえ金具方式に変更し、前面窓間の柱部を黒く塗装して連窓風に見せるよう改修されている。
2003年の北勢線の近鉄から三岐鉄道への移管に伴い、本形式も同社籍へ編入され、ワンマン化対応工事が施工され、運賃箱の設置、運転台背面仕切の改良が行われた。その後、黄色を基調とする新塗装への塗り替えおよびシートモケットの張替え（従来の赤色→青色基調へ）、床敷物の張替え（従来の赤色→灰色基調へ）が実施された。現在では、北勢線各駅への自動券売機・自動出改札システム導入の進展により、運賃箱は撤去されている。前述のとおり、2013年10月29日より三重交通時代の復刻塗装となっている。
西東京予備校
西東京予備校（にしとうきょうよびこう）は、山梨県甲府市に本部を置く塾・予備校。略称はニシヨビ。運営は株式会社西帝京学苑。帝京大学グループに所属している。
日本中小企業福祉事業財団
公益財団法人日本中小企業福祉事業財団（にほんちゅうしょうきぎょうふくしじぎょうざいだん、略称・日本フルハップ）は、大阪府に本部をおく、中小企業の健全な発展と福祉の増進に寄与するために設立された、中小事業主が行う事業に従事する者等の労働災害等に係る共済事業に関する法律（令和３年法律第80号）に基づき厚生労働大臣の認可を受けた共済団体である。
近畿以西（沖縄県を除く）の地域において、中小企業の経営者等を対象に、災害補償事業（ケガの補償）、災害防止事業、福利厚生事業等を行っている。会費は加入者1名あたり月々1,500円で職種・年齢に係わらず一律である。なお、会費の口座振替は信用金庫が取扱っている。
日本中小企業福祉事業財団 略称
略称の「フルハップ」とは、英語の「FULL（いっぱいの、満ちた）」と「HAPPY（幸せな）」を結びつけた造語で、会員が「幸せいっぱいであること」を祈念してネーミングされている。
日本中小企業福祉事業財団 CM
1990年より広報活動を開始しており、TVCMでは作業着を着た社長に扮した財津一郎と三島ゆり子が出演するCMで有名である。キャッチコピーは「街の社長さんを応援します。」「月々1,500円の会費で最高1,000万円まで補償！」。
2013年4月からは同CMをハイビジョン化に伴い、國村隼出演のケガの補償篇、田中要次出演の助成篇、駿河太郎出演の福祉厚生篇などに刷新している。
2017年からはオール阪神・巨人に刷新。
新しい風 (自民党)
新しい風（あたらしいかぜ）は自由民主党内の議員グループ。2006年12月20日、元自民党幹事長の武部勤が設立した。
新しい風 (自民党) 概要
主催者の武部によれば、派閥ではなく、主に当選1回の新人議員を選挙面から支援することが目的のグループ、とのこと。ここには、1年生議員の多くが小泉旋風によって当選を得たため、次回の選挙に不安があるという背景があった。猪口邦子・佐藤ゆかり・杉村太蔵ら新人議員（いわゆる「小泉チルドレン」）が多数を占め、千葉7区自民党候補の齋藤健や、当選回数2回以上の国会議員が10名「特別会員」として参加し、総勢36名が名を連ねていた。
武部グループに参加していながら、他派閥にも参加していた議員もおり、そもそも武部自身も山崎派に籍を置いたまま活動していたため、原則二重在籍を認められない従来の派閥とは一線を画していたといえる。
武部と二階俊博における仲の良さから、新しい波（二階派）との関係が良好であった。この二人には、2005年の郵政選挙当時にそれぞれ党幹事長・総務局長として選挙を仕切った縁があった。
武部によれば、「新しい風」というグループ名は「ますらおが 心定めし 北の海 風吹かば吹け 波立てば立て」という歌にあやかっている。これは武部の選挙区である北海道の開拓者・依田勉三の歌である。加えて、二階の主宰する「新しい波」に呼応した名前でもある。報道では武部グループという呼称が用いられる場合が多く、武部派とは呼ばれない。
新しい風 (自民党) 動向
安倍内閣の発足後は、改革姿勢が後退したとされる安倍晋三首相に対し、小泉政権並みの改革姿勢を求めていく党内最改革派グループとしても機能する姿勢をとった。
2007年9月に安倍晋三内閣総理大臣・自由民主党総裁が退陣し、総裁選挙が実施されると、グループの大半の議員が福田康夫元官房長官を支持する形勢であると報じられた。また、その際に武部がグループ全体を福田支持にしようとしたことに反発した杉村太蔵は麻生太郎を支持するため退会。その後二人は絶縁状態にあると言われたが、2018年10月10日、毎年恒例となっている小泉純一郎元総理らとの赤坂の料亭での会合に武部が杉村を呼び出したことで和解済みであることがわかった。
2009年8月30日に投票が行われた第45回衆議院議員総選挙では、役員・特別会員含めて所属議員の2/3が落選した。2010年には公式ホームページも削除された。
2012年、武部が引退を表明。3年前に落選した1年生議員の何人かは同年末の第46回衆議院議員総選挙で国政に復帰したが、会としての実体はほぼなくなったものと思われる。
新しい風 (自民党) 構成
カッコ内は当選回数、選挙区（印付の場合は失職時の選挙区）、他に所属する派閥。※は、第45回衆議院議員総選挙で落選。●は、同選挙に立候補せず議員でなくなった。
当選回数は記載無き場合1回。
バレンシアガ
バレンシアガ（Balenciaga）は、バスク系スペイン人のクリストバル・バレンシアガによって1917年に設立されたファッションブランド。本店はフランス・パリ8区のジョルジュ・サンク大通り（ジョージ5世通り）10番地にある。現在はケリングに属する。
バレンシアガ 概要
1917年創業。当初はビスケー湾に面しフランス国境に接するスペインバスク州サン・セバスティアンに本店を構えたが、1937年にスペイン内戦の影響でフランスのパリ8区ジョルジュ・サンクに本店を移転し、それ以来パリを本拠地としている。20世紀前半のモード界では「クチュール界の建築家」と評され、1950年代にはディオールと肩を並べる名門に成長した。1970年代に一度倒産の危機を迎えるが、その後復活。1998年からグッチ・グループに属し、フランスを本拠地とする流通会社PPR（元Pinault-Printemps-Redoute）、2013年以降はケリンググループの所有となっている。
婦人服を中心に、靴・バッグなどのレザーグッズ、宝飾品・時計、香水・ボディローションなどの商品を展開している。非対称な5角形の断面をもつ香水ボトルや、スタッズ装飾のあるバッグ・財布などがブランドアイコンとされる。5番街、パリ16区、サン=ルイ島、カプリ島等を股にかけたソーシャライトのモナ・フォン・ビスマルクが上顧客で知られ、現在のデザインにもインスピレーションを与えている。シャネルやクロエなどと並び、ハリウッド女優のスナップ写真でよく見かけられるブランドのひとつである。
バレンシアガ 概要
現在のデザイナーはデムナ・ヴァザリア。アレキサンダー・ワンの後任として2015年秋冬コレクションからクリエイティブチームの指揮を執っている。2024年にはデムナ・ヴァザリアがフランス文化大臣より芸術文化勲章シュヴァリエを受勲した。
バレンシアガ 日本での展開
日本法人であるバレンシアガ・ジャパンは2006年設立。それまで本ブランド製品の輸入販売を主に担ってきたリステアグループと、グッチグループの出資によって設立され、2008年以降全株式をグッチグループ、のちにPPRへの統合を経て、2013年6月の企業組織改編後はケリングジャパンが保有している。
ファッションアイテム（服・バッグ・小物・宝飾品など）のほとんどを日本法人が取り扱っているが、サングラス・メガネフレーム類はヴィジョナイズ、香水・コスメなどの商品はブルーベル・ジャパンおよびコティ・プレステージ・ジャパンが取り扱っている。セレクトショップへ流通している商品も数多い。
長らく一部のデパートのみの出店で路面店はなかったが、2014年に日本初の路面店・旗艦店として青山店（南青山5丁目）がオープンしている。2019年には有楽町の阪急メンズ東京（有楽町阪急がリニューアル）や新宿伊勢丹などに大規模な売り場ができ、店舗は増加している。
日本では、中央部にジッパーポケットを配置し、その下と下側の2角にベルトをスタッズで固定したルックスのバッグ・財布などが有名で、20〜30代の女性を中心に人気を集めている。
また、『フォートナイト』（Fortnite）では、ゲーム内のアイテムショップ内にバレンシアガとのコラボアイテムが登場している。
失恋保険〜女の安心保障〜
『失恋保険～女の安心保障～』（しつれんほけん おんなのあんしんほしょう）は、2005年7月8日から9月23日までテレビ東京で金曜深夜25:00 - 25:30の時間帯で放送されていた恋愛ドキュメント・バラエティ番組である。
素人の恋愛ドキュメントをスタジオで見るというありがちな形式ではあったが、タイトルのインパクトと、何かと「保険」が注目される時代の中、失恋に保険を設けるという企画性が好評で、スペシャル番組が放送されることもあった。
2006年1月の新春スペシャルをもって終了。
関家番屋
関家番屋は、北海道の留萌市に作られた関家（網元）の居宅兼漁業施設（番屋）である。1892年（明治25年）から1956年（昭和31年）までニシン漁のために使われた番屋である。2005年時点では民家として使用され公開されていない。
輪乗り
輪乗り（わのり）とは、馬術における運動のひとつ。
馬場馬術では直径20メートルの輪線運動を指す。広義には10メートル以上の円運動のこと。
部班ではこの号令がかかったら蹄跡に戻るよう指示が無い限り輪乗りを続ける。
円の大きさを変えるときは「輪乗りをつめ」（直径を小さくする場合）・「輪乗りを開け」（いったん小さくした直径を元の大きさに戻す場合）と号令する。
巻乗り
巻乗り（まきのり）とは、馬術における運動の一つである。
広義には直径10m以下の輪線運動を指す。馬場馬術では直径6mである。
巻乗りは、馬に後肢の踏み込みを求める収縮運動であり、四肢は正しく輪線上を進む必要がある。
横への屈撓と後肢の踏み込みがなされることを利用して、「腰を内へ」等の二蹄跡運動の前段階に用いられることがある。
特に指示が無い場合、基本的には直径6mの円のことを指すが「大きく」と号令された場合この限りではない。なお、直径10mを超える輪線運動は輪乗りとよぶ。
屈撓
屈撓（くっとう）とは馬術用語で、馬体の一部または全体がたわんだ状態。
基本的には顎を折った状態を指すことが多いが、時には側方屈撓（サイドフレクション）などのように項や馬体が前後左右にたわんだ状態にも用いられる。
馬術においてはこの状態を作りだすことで前進気勢を保ちつつ、後肢の力をバネのように貯えることで、それに続く運動を活発、強力にすることができる。
そのため、この状態を作り出す技術は馬術の重要な基本である。
前掻き
前掻き（まえかき）は、馬が前肢を振り出して地面を掻くこと。
水や食べ物を催促するときや不満があるときなど、広く欲求を表す本能行動である。また、疝痛等の不調を訴えている場合もある。
人の注意を引くので癖にしてしまう馬もいるが、前掻きをしすぎると蹄鉄が擦れ、削り落ちてしまうこともあるので悪癖でもある。
完歩
完歩（かんぽ）は、四足歩行の動物の歩幅のこと。
完歩 馬
馬術では主に障害間での助走距離を調べるときに～（数字）完歩というように使う。
また、各歩法の一連の動作の区切りの単位のことも指す。
馬装
馬装（ばそう）とは、騎乗のために人と馬の準備をすることである。馬のみの準備（鞍や頭絡などの装着）を指す場合もある。
馬装 概要
一般的には、馬装の際にその準備として簡単な馬の手入れも含まれる。そのため、通常は、裏掘り⇒ブラッシング・マッサージ⇒保護具の装着⇒装鞍（鞍の装着）⇒装勒（頭絡の装着）の順で行われる。
保護具にはプロテクターや肢巻などがある。プロテクターは簡易で、傷の保護に役立つ。肢巻は、やや手間がかかるが、保護と補強に優れている。
生理心理学
生理心理学（せいりしんりがく、英語：physiological psychology、psychophysiology）は、人間の生理学的な活動と心理学的な現象との関連を科学的に解明する心理学の一分野。
そのため、心理学と生理学の間にある学問であると言える。
例えば、スリリングな体験をすると手に汗を握る、と言った情動を伴う生理的な変化を測定し、こうした変化から心と身体の関連を調べる事を主とし、反射、心電図、脳波・事象関連電位、脳磁図、体温、皮膚電位、筋電図、脳内血流計測などの様々な生理学的指標を測定する。
5GAP
5GAP（ファイブギャップ）は、吉本興業に所属する日本のお笑いコンビ。NSC東京校5期出身。コンビ名の由来は、2人の年齢差が5歳であることから。
5GAP メンバー
クボケン（本名および旧芸名：久保田 賢治〈くぼた けんじ〉1980年10月10日 - ）（44歳）
ボケ担当（コントによってはツッコミ）。
群馬県高崎市出身。身長168cm、体重61kg、血液型A型。
趣味はゴルフ、ヨガ、演歌（吉幾三、長山洋子）剣道、料理、焼肉、カラオケ、漫画。
特技は剣道、ゴルフ、ビリヤード、頭テーブルクロス引き、ジャグリング。
かつては幡ヶ谷で同期の吉村崇（平成ノブシコブシ）、2年後輩のてつみち（元フクロトジ）と同居していた。
2017年に結婚。妻は福島県いわき市にあるスパリゾートハワイアンズの元フラガール(ソロダンサー)。
いかりや長介のモノマネが非常に得意。また、志村けんを自分にとっての神様としている。
痛風と慢性腎不全を患い、2016年に実父から生体腎移植を受けた。
ライブのエンディングでは様々なキャラクターに扮しながら登場する。ただし、そのライブで演じておらず何の脈絡もない人物に扮するため頻繁にイジられる。
トモ（本名および旧芸名：秋本 智仁〈あきもと ともひと〉1976年2月15日 - ）（49歳）
ツッコミ（コントによってはボケ）・ネタ作り担当。
東京都大田区出身。身長165cm、体重65kg、血液型A型。独身。
趣味はかつら集め、映画鑑賞、海外サッカー鑑賞、パチンコ。
5GAP メンバー
特技はスノーボード、頭に物を載せること。
若手の頃は男前芸人としてモテていたが、30を越えたあたりから薄毛になり始め茶髪で上手く隠していた。その後はニット帽や頭にタオルを巻いていたが上手くハゲを隠せなくなり、ついに自らバリカンを購入してスキンヘッドと化した。かつらを着用して芸人仲間と合コンへ行った際、メンバーの中で一番モテていたがハゲがバレていないことが心残りだったため「ノリノリでTHE BLUE HEARTSを歌ってその中であえてかつらを外して笑いでカミングアウトしよう」とかつらを外した瞬間、周りにいた女の子が顎を外したというエピソードを持つ。
長澤喜稔（元マキシマムパーパーサム）、斎藤司（トレンディエンジェル）と共に御三家ならぬ「御三毛」として交流している。
おおかわら（鬼ヶ島）率いるアイドルユニット「スイカ★ドロボー」のメンバー。ハゲダンサーズとしてアイアム野田（鬼ヶ島）、長澤らと共に活動している。
サザンオールスターズの大ファン。また、木村拓哉が大好き。
プロの芸人としてデビュー以前は美容師として働いていた。芸人を始める時期が遅かったため、年下や同い年の先輩が多い（次長課長・麒麟・タカアンドトシなど）。
5GAP 経歴
2007年から『爆笑オンエアバトル』（NHK総合）や『爆笑レッドカーペット』（フジテレビ）に出演、「ホワイト赤マン」のネタなどで人気を博す。2008年8月11日放送『スッキリ』（日本テレビ）内のインタビューでは、北京オリンピックで銅メダルを獲得した柔道の中村美里選手が、好きな芸人としてホワイト赤マンと答えた。久保田は 翌日のブログ - ウェイバックマシン（2008年9月27日アーカイブ分） で「世界のホワイト赤マンになった」と喜びを語った。
5GAP 出演番組
2007年度に初出場し、その年は無敗で4戦全勝を果たしたが、惜しくも年間合計KBランキングでは21位（合計:1816KB）となりチャンピオン大会出場は逃している（ちなみに20位のBコースは1820KBであり、惜しくもボール1個差だった）。
2008年7月30日放送と2009年3月25日放送でレッドカーペット賞受賞。
FUJIWARA、どきどきキャンプ、FUJIWARA&ものいい吉田サラダ（ヒーローコラボ名義）、オテンキ（この時だけホワイト赤マン名義）（いずれも久保田のみ）、サイクロンZとコラボカーペットで共演。
Microsoft TechNet
Microsoft TechNetとは、マイクロソフトのITプロフェッショナル向けのサービス。技術情報やソフトウェアを提供している。類似サービスとして、開発者向けのMicrosoft Developer Network (MSDN) がある。
Microsoft TechNet サービス内容
TechNet サブスクリプション - 2013年8月31日をもって新規申し込み受付終了。OSやMicrosoft Officeなど、開発者向けソフトウェア以外のマイクロソフト製品を評価目的として複数のコンピュータで試用できるライセンスを提供している。ライセンスはあくまで評価目的のみであり、業務・開発・使用を行う事は認められていないので注意が必要である。開発目的であればMSDNサブスクリプション、それ以外の通常使用目的であれば、製品版を購入しなければならない。評価ソフトウェアはダウンロードする形態のほか、年数回のメディア送付を行う契約がある。
直観主義論理
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 (  ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。
証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容されないものである。排中律や二重否定除去はいくつかの論理式に対しては個別に証明できることがあるけれども、古典論理のように普遍的に成立することはない。
直観主義論理
直観主義論理の色々な意味論が研究されている。ひとつの意味論は古典的なブール代数値意味論を写しとったものでブール代数の代わりにハイティング代数を用いる。別の意味論ではクリプキ・モデルを用いる。
直観主義論理は実際的な有用性を持つ。何故ならばこの制限によって存在具体性を持つ証明が作られるからであり、これは直観主義論理が数学的構成主義のある形態として適当なものとする。非正式には、ある対象が存在することの構成的証明があれば、その構成的証明はそのような対象の例を生成するアルゴリズムとして使える、ということを意味する。
形式化された直観主義論理はアレン・ハイティングによってヤン・ブラウワーの直観主義プログラムの形式的な基礎として発展せられたものである。
直観主義論理 構文論と証明体系
直観主義論理の論理式の構文は古典命題論理や古典述語論理と類似である。しかしながら、直観主義的な論理結合子は、古典論理におけるように、他の論理結合子を用いて定義することはできない。（そのため , ,  などの論理結合子だけを用いて定式化することはできない。）直観主義命題論理では習慣的に を基本的な結合子として採用する。ここで  は  の省略形として扱う。直観主義述語論理ではこれに量化記号  を加える。
多くの古典論理の恒真式は直観主義的には証明できない。排中律  だけでなくパースの法則  や二重否定除去  などがその例である。古典論理において二重否定導入  と二重否定除去 はともに定理である。直観主義論理においては前者のみが定理である。すなわち二重否定を導入することはできるが、除去することはできない。ただし三重否定除去  は定理である。排中律  の拒絶は古典論理に親しい者には奇妙に思われるが、直観主義論理で命題論理式を証明するには、全ての可能な命題論理式に対して真または偽の証明が要求され、これは様々な理由によって不可能である。
多くの古典論理で妥当な恒真式は直観主義論理では定理でないが、全ての直観主義論理で妥当な定理は古典論理に於いても妥当であるから、直観主義論理は古典論理を弱めたものであるという見方ができる。ただし直観主義論理は古典論理にはない良い性質を多く持っている。
直観主義論理 構文論と証明体系
ゲンツェンは彼の体系LK（古典論理のシークエント計算）の簡単な制限として直観主義論理の健全かつ完全な体系が得られることを見つけた。彼はこの体系をLJと呼んだ。LKにおいて任意個の論理式がシークエントの結論（右側）に来ることを許すが、LJにおいては高々ひとつの論理式だけを許す。この結果として例えば含意右の適用において直観主義的に許容できない推論が禁じられることから、直観主義論理の体系が得られるのである。（右辺が複数であることを許すと含意右を用いて α→α,⊥ から →α,￢α が得られ、排中律が導かれる。右辺を制限した結果として含意右が制限されて直観主義論理の体系が得られる。）
LKを制限して得られる直観主義論理の体系で結論が複数であることを許容するものもある。LJ'はその例である。
直観主義論理は次のようにヒルベルト流の計算を用いても定義できる。これは古典命題論理の公理化（Propositional calculus#Alternative calculus）に類似である。
命題論理では、推論規則としてモーダスポネンス
直観主義論理 構文論と証明体系
を取り、公理図式として次のものを取る：
一階述語論理の体系を作るには次の推論規則を加える：
また次のものを公理図式に加える：
もし否定を表す結合子  を  なる省略形の代わりに導入したいならば、次を公理に加えれば十分である：
否定を導入した代わりに偽を表す命題定数  を落としたいならば次のようにする。まず FALSE, NOT-1', NOT-2' を次の公理に置き換える：
NOT-1の代替としては  または  などがある。
同値を表す結合子  は  standing for  の省略形として導入できる。代わりに次の公理を追加してもよい：
IFF-1とIFF-2は一つの公理  に結合できる。
古典論理の体系は次のどれかを公理に追加することによって得られる：
一般に、古典論理の恒真式で二元クリプキ・フレーム  で妥当でない公理を追加したもの（言い換えればSmetanich論理に含まれないもの）を考えれば、これは古典論理に等しい。Smetanich論理は古典論理よりも弱く直観主義論理より強い論理の中で極大なものだからである。
直観主義論理 構文論と証明体系
別の関係性としてはゲーデル＝ゲンツェン変換によるものがある。これは古典一階述語論理が直観主義一階述語論理に埋め込めることを示す。すなわち一階述語論理式が古典論理で証明可能であることと、それをゲーデル・ゲンツェン変換したものが直観主義論理で証明可能であることとが同値となる。またグリベンコの定理によれば、命題論理式が古典論理で証明可能であることと、それを二重否定したものが直観主義論理で証明可能であることとは同値である。したがって直観主義論理は古典論理を構成的意味論の観点から拡大したものと見做すことができる。
1932年にクルト・ゲーデルは古典論理と直観主義論理の間にあるゲーデル論理の体系を定義した。これは中間論理として知られる。
古典命題論理において、論理積、論理和または実質含意を基本的なものとすれば、他は否定を用いてウカシェヴィッチの命題論理のようにして定義できる。またこれら4つをパースの矢印（NOR）やシェファーの棒（NAND）のようなただひとつの論理結合子を用いて定義することもできる。同様に、古典一階述語論理において、一方の量化子は他方と否定を用いて定義できる。
直観主義論理 構文論と証明体系
これらは全ての結合子はブール関数であるという二値原理からの基本的な帰結である。二値原理は直観主義論理においては成り立たない。ただ無矛盾律だけが成り立つ。結果として、いかなる結合子も不要ではなく、上に述べたどの公理も必要であることが分かる。古典論理において成立する同値性は、直観主義論理においては、幾つかは成り立つけれども、多くは一方の含意だけが成り立つ。次のようなものがある：
論理積と論理和：
論理積と含意：
論理和と含意：
全称量化と存在量化：
すると、例えば、 "a or b" は "if not a, then b" よりも強い主張となる。これは古典論理において同値であることと対照的である。他方で "not (a or b)" と "not a, and also not b" は同値となる。
同値を結合子のリストに入れるならば、いくつかの結合子は他から定義できる：
とりわけ  と  は直観主義的結合子の完全な基底となる。
直観主義論理 意味論
直観主義論理の意味論は古典論理のそれよりも複雑である。直観主義論理のモデル論はハイティング代数やクリプキ意味論として与えられている。最近ではタルスキ流のモデル論の完全性がBob Constableによって証明せられた。ただしこの完全性は通常の意味のそれとは異なる。
古典論理において、我々はしばしば論理式の取る真理値について議論する。この値は普通はブール代数の元から選ぶ。ブール代数の交わりと結びは論理結合子の  と  に同一視される。そして  の真理値は  と  の真理値のブール代数における交わりとする。このとき論理式が古典論理において妥当であることと、任意のブール代数とその上で値を取る真理値割り当てに対して論理式の真理値が  であることとが同値となる。
直観主義論理においても同様の完全性定理が成立するが、論理式の真理値はブール代数の代わりにハイティング代数の元を用いる。ブール代数はハイティング代数の特別な場合である。このとき論理式が直観主義論理で妥当であることと、任意のハイティング代数とその上で値を取る真理値割り当てに対して論理式の真理値が  であることは同値である。
直観主義論理 意味論
論理式が妥当であることを確かめる為には、ひとつのハイティング代数の上で調べれば十分であることが証明できる。そのハイティング代数は数直線  の開部分集合からなるハイティング代数である。 この代数系において、 と  は集合の交わりと結びである。また  は  すなわち  の補集合と  との和集合の内部である。（これは古典論理における含意の演算の結果を開集合になるように調整したものである。様相論理の観点から見るとこれは必然性を外側に付けているのと同じことになる。） は空集合  であり、 は全体集合  である。否定  は  と定義されるが、これは  の補集合の開核すなわち外部と一致する。この対応付けによって直観主義的に妥当な論理式はちょうど空間全体が割り当てられるものと一致する。
例えば矛盾律  は妥当である。なぜなら開集合  を  の付値としてどのように選んでも  の値は次のように直線全体となるからである：
位相空間論によれば  は  の部分集合であり、 との共通部分は空であるから、
したがってこの論理式の付値は真であり、妥当であることが従う。
直観主義論理 意味論
しかし排中律  は非妥当である。それには  に  を割り当てるとよい。すると  の付値は  の内部、すなわち  であり、目的の論理式の付値は  および  の和集合、すなわち  となる。これは空間全体に一致しない。
数直線からハイティング代数を作る上のやり方は任意の位相空間に対しても適用できる。位相空間論では閉包の開核がもとと一致する集合を正則開集合という。これはこのハイティング代数における二重否定で不変な集合と同じものである。正則開集合の全体は（完備）ブール代数を成す。これは古典論理が二重否定によって直観主義論理に埋め込めるというグリベンコの定理に対応している。
直観主義論理の双対は双対直観論理（英: dual-intuitionistic logic）である。双対直観論理は矛盾許容論理の一種であり、ブラジリアン論理（英: Brazilian logic）、反直観主義論理（英: anti-intuitionistic logic）などと呼ばれる論理と対応している。
直観主義論理から爆発原理の公理を取り除いたものは最小論理として知られる。
直観主義論理 意味論
クルト・ゲーデルは1932年に直観主義論理が多値論理ではないことを証明した。（#ハイティング代数意味論は直観主義論理の"無限多値論理"としての解釈の一種と見られる。）
任意の有限ハイティング代数でブール代数でないものは（意味論的に）中間論理を定める。他方で、純粋な直観主義論理における論理式の妥当性は、特定のハイティング代数に結びついたものではなく、あらゆるハイティング代数に関係している。
直観主義命題論理の論理式は次のように様相命題論理S4の論理式に翻訳できる：
またこれにより直観主義論理を模倣できる。すなわち翻訳された論理式が様相命題論理S4で妥当であることと、翻訳前の論理式が直観主義命題論理IPCで妥当であることは同値である。上のような変換はゲーデル＝マッキンゼー＝タルスキ変換と呼ばれる。
様相論理S4の直観主義版は構成的様相論理CS4と呼ばれる。
カリー＝ハワード対応はIPCと直和と直積を持つ単純型付きラムダ計算との間に拡張できる。
テンジクザメ目
テンジクザメ目（テンジクザメもく、Orectolobiformes）は、軟骨魚綱板鰓亜綱の下位分類群で、サメのグループの一つ。7科13属44種を含み、サメの中ではメジロザメ目、ツノザメ目に次いで3番目に種数が多い。分布域はインド太平洋の熱帯から温帯で、例外的にコモリザメが大西洋に、回遊性のジンベエザメが世界中に広く分布する。
テンジクザメ目 形態
口は目の前方に開く。目に瞬膜がない。目の後ろに噴水孔がある。5対の鰓裂のうち、後ろの2-4対は胸鰭原基（胸鰭の始まり）の上方か後方にある。棘のない2基の背鰭をもつ。臀鰭をもつ。
小型種から大型種までサイズは多様である。ジンベエザメ科唯一の種であるジンベエザメは全長13.7mに達し、サメの現生種としては最も大きい。コモリザメ科・トラフザメ科も最大全長が3mを超える大型種を含む。一方、クラカケザメ科・ホソメテンジクザメ科・テンジクザメ科は比較的小型で、1m前後かそれ以下である。オオセ科は全長60cm程度の小型種から3mの大型種まで含む。
テンジクザメ目 生態
ジンベエザメは表層性で回遊を行い、動物プランクトンを主食にしている。その他は基本的に底生性で、沿岸の浅海に多く生息し、獲物はサメやエイを含む魚類や甲殻類、頭足類、貝類、棘皮動物まで多岐に渡る。
繁殖形態は胎生か卵生。胎生種は胎盤を形成せず、ホソメテンジクザメ科・オオセ科・ジンベエザメ科・コモリザメなど多くは栄養を卵黄嚢から吸収する方式をとるが、子宮内の他の卵を食べて成長する卵食型（オオテンジクザメ）も見られる。クラカケザメ科・テンジクザメ科・トラフザメ科は卵生である。