出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/09/22 19:33 UTC 版)
LJ, Lj
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/05/07 15:19 UTC 版)
『Lj』（エルジェイ）は、2005年11月から発行されている季刊誌。（春・夏・秋・冬発行）。
『Lj』は2005年にハリケーン・カトリーナを受けて「貧困の側面よりカルチャー面からニューオーリンズを伝えたい」としてはじまった。 季刊誌のフリーペーパーとして発行されている。
〈音楽〉と〈旅〉をテーマにし、それらにまつわるカルチャーやシーンを紹介。フリーのメディアとして独特な情報提供をしている。
さまざまなアーティストのインタビューやコラムを交えながら企画に合わせオーガニックに気をつかい、ナチュラルなテイストや、アウトドアスタイルが好きな人へライフスタイルを紹介するカルチャー誌。全国の飲食店、CDショップ、セレクトショップ、ライブハウスなどで手に入れる事ができ、大型の野外フェスなどのイベント会場などでも、頻繁に出店ブースを見かけ入手する事ができる。
編集長は菊地崇。
配付場所の一覧はHPのショップリストにて掲載してある。
2011年から夏フェスシーズン前に発行される号は「−Festival Trip−」と題し発行され、100程度のフェスのアナウンスがされておりフェスフリークからの支持が高い。
2010年は〈ニューオーリンズ・ジャズ&ヘリテッジ・フェスティバル〉、2011年は〈コーチェラ・フェスティバル〉、2012年は〈Hangout Music Festival〉などと、海外のフェスに取材に行くのも特徴的である。
2013年は10周年を迎えたアーカンソー州にて開催されている〈Wakarusa Music and Camping Festival〉へ取材を行っている。
アウトドアショップやCDショップでの「夏フェス特集」ブースには必ずと言っていいほど設置してある。部数、ページ数共に通常号よりも多く発行されている。
出典: フリー百科事典『ウィキペディア（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」を含む「シークエント計算」の記事については、「シークエント計算」の概要を参照ください。
