ラシュカレ・ジャングビ
別名：ラシュカレ・ジャンヴィ
英語：Lashkar-e-Jhangvi、LeJ、LJ
パキスタンに拠点をおくイスラム過激派組織。1990年代半ばにマリク・イスハク（Malik Ishaq）らによって設立された。「パキスタン・タリバン運動」（TOP）と共にパキスタンの最も過激なテロ集団のひとつとして知られる。
ラシュカレ・ジャングビはイスラム教スンニ派の組織であり、反シーア派である。主にシーア派を標的とした過激なテロ活動を行っている。他方、キリスト教会やヨーロッパ圏を標的としたテロ活動もしばしば起こしている。
2015年7月にはラシュカレ・ジャングビの指導者マリク・イスハクが、現地警察当局に殺害されたと報じられている。
関連サイト:
「ラシュカレ・ジャンヴィ」（LJ） - 公安調査庁 国際テロリズム要覧Profile: Lashkar-e-Jhangvi - BBE Ne4ws, 11 January 2013
英語：Lashkar-e-Jhangvi、LeJ、LJ
パキスタンに拠点をおくイスラム過激派組織。1990年代半ばにマリク・イスハク（Malik Ishaq）らによって設立された。「パキスタン・タリバン運動」（TOP）と共にパキスタンの最も過激なテロ集団のひとつとして知られる。
ラシュカレ・ジャングビはイスラム教スンニ派の組織であり、反シーア派である。主にシーア派を標的とした過激なテロ活動を行っている。他方、キリスト教会やヨーロッパ圏を標的としたテロ活動もしばしば起こしている。
2015年7月にはラシュカレ・ジャングビの指導者マリク・イスハクが、現地警察当局に殺害されたと報じられている。
関連サイト:
「ラシュカレ・ジャンヴィ」（LJ） - 公安調査庁 国際テロリズム要覧Profile: Lashkar-e-Jhangvi - BBE Ne4ws, 11 January 2013
LJ
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/05/20 10:42 UTC 版)
LJ, Lj
- ジンエアーのIATA航空会社コード
- シークエント計算の体系の一つ。
- LiveJournal
- ジェイク・ヴォスクールの愛称（リトル・ジェイク）。
- 走り幅跳び (Long-Jump)
- リュブリャナ (Ljubljana) - スロベニアの首都。
- ライン・ジャッジ - 審判員。
- ライティング・ジョッキー - クラブイベントなどでの照明係。
- Lj (Life for Journey) - 〈旅〉と〈音楽〉をテーマにしたフリーペーパー。
このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。
Lj
LJ
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/21 02:32 UTC 版)
LK の規則に少しだけ変更を加えることで、直観論理の証明体系となる。この場合、直観主義的シークエントになるよう制限を加え、推論規則はこの制限が保たれるように修正を加える。たとえば、規則 (∨L) には以下のような修正を加える。 Γ , A ⊢ Δ Σ , B ⊢ Δ Γ , Σ , A ∨ B ⊢ Δ ( ∨ L ) {\displaystyle {\cfrac {\Gamma ,A\vdash \Delta \qquad \Sigma ,B\vdash \Delta }{\Gamma ,\Sigma ,A\lor B\vdash \Delta }}\quad ({\lor }L)} ここで Δ {\displaystyle \Delta } は1個または0個の論理式の列である。 このような体系を LJ（エルジェー、エルヨット）と呼ぶ。これは直観論理においては健全かつ完全な体系であり、LK と同様なカット除去証明が存在する。
※この「LJ」の解説は、「シークエント計算」の解説の一部です。
「LJ」を含む「シークエント計算」の記事については、「シークエント計算」の概要を参照ください。
ウィキペディア小見出し辞書の「LJ」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- >> 「LJ」を含む用語の索引
- LJのページへのリンク
