This article is about words used in stage magic. For formulae used in ceremonial magic, see magical formula. For other uses, see Magic word (disambiguation). Classic magic words Magic words are phrases used in fantasy fiction or by stage magicians. Frequently such words are presented as being part of a divine, adamic, or other secret or empowered language. Certain comic book heroes use magic words

Tim O'Reilly in Foo China 2007 Foo Camp is an annual hacker event hosted by publisher O'Reilly Media. O'Reilly describes it as "the wiki of conferences", where the program is developed by the attendees at the event,[1] using big whiteboard schedule templates that can be rewritten or overwritten by attendees to optimize the schedule; this type of event is sometimes called an unconference. The event

『The Mystery of Dr. Fu-Manchu』の表紙に描かれたフー・マンチュー フー・マンチュー博士（Dr.Fu Manchu[1], 傅満洲博士）は、イギリスの作家サックス・ローマーが創造した架空の中国人。西欧による支配体制の破壊を目指して陰謀をめぐらす悪人であり、東洋人による世界征服の野望を持つ怪人である。 概要[編集] 長身痩躯を中国服と中国帽に包み、爪とドジョウ髭（彼が有名になったため、英語では「フー・マンチュー髭（Fu Manchu mustache）」と呼ばれる[2]）を長く伸ばし、常に悪魔のような表情をたたえている。隠秘学、化学、医学、物理学などでヨーロッパの3つの大学で学位を取得するなど非常に明晰な頭脳を持つが、性格は狡猾で極めて残忍。中国やインドで暗殺団を組織し、その黒幕として君臨した。 彼の立案する殺人計画は、一見不可解な方法を大規模に展開するという点が特

Dr. Fu Manchu (Chinese: 傅滿洲/福滿洲; pinyin: Fú Mǎnzhōu) is a supervillain who was introduced in a series of novels by the English author Sax Rohmer beginning shortly before World War I and continuing for another forty years. The character featured in cinema, television, radio, comic strips and comic books for over 100 years, and he has also become an archetype of the evil criminal genius and mad scie

Using Lorem ipsum to focus attention on graphic elements in a webpage design proposal One of the earliest examples of the Lorem ipsum placeholder text on 1960s advertising In publishing and graphic design, Lorem ipsum (/ˌlɔː.rəm ˈɪp.səm/) is a placeholder text commonly used to demonstrate the visual form of a document or a typeface without relying on meaningful content. Lorem ipsum may be used as

"Nicknack" redirects here. For the James Bond character, see The Man with the Golden Gun (film). Placeholder name on a website Placeholder names are intentionally overly generic and ambiguous terms referring to things, places, or people, the names of which or of whom do not actually exist; are temporarily forgotten, or are unimportant; or in order to avoid stigmatization, or because they are unkno

Foobar being used to show Transclusion The terms foobar (/ˈfuːbɑːr/), foo, bar, baz, qux, quux,[1] and others are used as metasyntactic variables and placeholder names in computer programming or computer-related documentation.[2] They have been used to name entities such as variables, functions, and commands whose exact identity is unimportant and serve only to demonstrate a concept. The style gui

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Ebola disease is caused by an infection with an orthoebolavirus. Orthoebolaviruses are found primarily in sub-Saharan Africa. Orthoebolaviruses can cause serious and often deadly disease, with a mortality rate as high as 80 to 90 percent. There is an FDA-approved vaccine for the prevention of Ebola virus (species Zaire orthoebolavirus). What it is Ebola disease is caused by a group of viruses, kno

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

I have started trying out Sass for my css work. In the directory where my Css file resides I see a '.sass-cache' folder too. Can any one tell me why is this folder created and is it safe if I delete it. thanks,

ヌートリア（Nutria、中国語: 海狸鼠、学名: Myocastor coypus）は、哺乳綱齧歯目ヌートリア科またはアメリカトゲネズミ科ヌートリア属の小型哺乳類[4]。別名は沼狸。南アメリカ原産。日本には本来分布していない外来種で、特定外来生物による生態系等に係る被害の防止に関する法律では指定第一次指定種に分類されている。 名称[編集] かつての日本では、沼狸（しょうり、ぬまたぬき）、海狸鼠（かいりねずみ）、洋溝鼠（ようどぶねずみ）、舶来溝鼠（はくらいどぶねずみ）などとも呼んだ。 「ヌートリア」とはスペイン語でカワウソ（の毛皮）を意味し、原産の南米では本種のことを「Coipo」と呼ぶ。英名でも「Nutria」より「Coypu」の方が一般的である。フランス語では「ラゴンダン ragondin」と呼ぶ。 分布[編集] 南アメリカを原産地とする。パラグアイ、ウルグアイ、ボリビア、アルゼンチン

「有害動物・ヌートリア（写真）を麻痺させ、肛門を縫合したあと、放せばいい。排便のできない激しいストレスのため、生息地で、子供のヌートリアを始め、同種をかみ殺すカニバリズム（Ｃａｎｎｉｂａｌｉｓｍ）を利用すれば、絶滅に導くことができる」 このような、有害動物撲滅法は、動物虐待なのか、それとも、毒物を使わない環境にやさしい撲滅法なのか。 １年中、植物の根っこを食べつくし、０９年、環境部が生態破壊動物に指定したヌートリアが、洛東江（ナクドンガン）周辺から南漢江（ナムハンガン）に生息地を拡大したことが伝わった後、このような撲滅法が示された。ソウル大公園動物研究室長を務めたことのあるソウル大学免疫医学研究所のヨン・ファンユル責任研究員は先月２５日、とあるメディアにこのような内容の投稿文を掲載した。 しかし、動物自由連帯は、ホームページに声明を出し、「明白な動物虐待行為だ」と反発した。生態環境保護のた

最近の各国の保守主義の運動には「自国の歴史に誇りを持てるような教育」へと、歴史教育を改変するという志向があります。アメリカも例外ではありません。例えばブッシュ時代の「草の根保守」の復権を契機として、ハッキリとそうした運動が立ち上がっています。 そのリーダー格といえば、リン・チェイニー氏です。チェイニー前副大統領の夫人ですが、歴史家というより文学者という立場で「愛国歴史教育」を推進していたのです。 チェイニー氏はまず「建国の歴史」に関して「トーマス・ジェファーソンの理想主義とか、権力への牽制」といったエピソードではなく、「独立戦争の苦しい戦いを勝利に導いたワシントンの勇気」を前面に出して教えよとか、ベトナムや公民権の話ばかり教えるのはバランスを欠くなどという主張を「運動」にしたのです。 更にチェイニー氏の前にフランシス・フィッツジェラルドというジャーナリストは79年に出した『アメリカ史の改善

少数派の女性を戦利品に＝イスラム国「奴隷復活」宣言 【バグダッドＡＦＰ＝時事】イラクとシリアで勢力を拡大する過激組織「イスラム国」は１２日発行のプロパガンダ誌の中で、イラクで拘束したクルド人少数派ヤジディ教徒の女性や子供を「戦利品」として、戦闘員に分け与えていると明らかにした。イスラム国側がヤジディ教徒を「奴隷」として扱っていることを明確に認めたのは初めて。 　イラク北部シンジャル山周辺では８月、イスラム国に追われたヤジディ教徒が孤立。米軍がイラクでの空爆に踏み切る理由の一つとなった。現在も数百人の女性や子供の行方が分かっていない。 　プロパガンダ誌は「奴隷復活」と題した記事で、「捕らえたヤジディの女や子供は、シャリア（イスラム法）に基づいて、シンジャルの作戦に参加した戦闘員に分け与えた」と強調。キリスト教徒やユダヤ教徒には「税金」支払いや改宗という選択肢も与えるが、多神教のヤジディ教徒に

史上最強、過去最強、今年最強、台風が来るたびに「最強」の台風がやってきます。「最強」の台風は近年、増えているのでしょうか？ 言葉だけの最強台風結論から言うと、増えていません。「最強」と“呼ばれる”ことが増えているのです。 観測史上最も強い（気圧が低い）台風は、1979年の20号で、沖ノ鳥島の南海上で中心気圧が870hPaまで低下。今回の2014年台風19号は、日本のはるか南海上で900hPaまで下がりましたが、遠くおよびません。また、このレベルの台風が近年、増えているわけでもありません。 たしかに、今回の台風19号は「今年最強」には、一時なりました。ただ、沖縄に接近した頃には、すでに今年最強ではない状況に。それでも、「最強」が連呼され続けます。ひどい時には、それがいつの間にか「史上最強」に変わっていることもあります。 乱造される最強台風「最強」台風は、簡単に作り出せます。 たとえば、期間や

（ＣＮＮ） イスラム過激派「イラク・シリア・イスラム国（ＩＳＩＳ）」は１２日発行のオンライン機関誌で、異教徒の女性を性奴隷として扱うことはイスラム法（シャリア）上、正当な行為だと主張した。一方で、一般のイスラム界は、こうした解釈はイスラム法を曲解したものだとして認めていない。 ＩＳＩＳは「ダビク」と題した英語機関誌の第４号に、「奴隷制の復活」を宣言する記事を掲載。「異教徒の家族の女性を性奴隷とすることは、イスラム法の確固たる解釈として認められている」と述べ、イラクのクルド系少数宗派ヤジディ教徒の女性を捕らえて性的に支配する行為は正当だとの見解を示した。 ＩＳＩＳは今年８月、イラク北部でヤジディ教徒が住む村や町を襲撃した。住民数万人を追い出し、拉致した女性たちを「戦利品」として売り飛ばしたり、メンバーに分け与えたりしたとされる。こうした行為にはイスラム社会を含む全世界から非難が集中している。

『ワルキューレロマンツェ』、昨年アニメも放映されたのでご存知の方も多いかと思います。 原作はいわゆる18禁の美少女PCゲームでして、一騎打ちでの馬上槍試合「ジョスト」の名門校を舞台に、嘗て天才騎士と呼ばれながらも怪我の後遺症によりベグライター（騎士の補佐役）に転向した水野貴弘と、ジョストの大会で優勝を目指す少女騎士たちとの恋愛模様やら友情やらといったものが描かれる青春群像劇、といった趣の作品です。 キャラクターデザインを担当されているこもりけいさんの描く少女たちの姿が、凛とした清楚さと色香・妖艶さを併せ持っていて、実に良いのですな。 [初回限定版] ワルキューレロマンツェ (1) 使用用途はお・ま・か・せ!キャラクター原案こもり けい描き下ろし「6人揃うとむふふ等身大布ポスター」(1)付き [Blu-ray] 出版社/メーカー: ポニーキャニオン発売日: 2013/12/27メディア: B

seed-fu を使うのが、初期データの入れ方としては良いみたいです。 railsにある仕組みとして rake db:seed があります。 これは、何も考えずに使うと実行するたびに同じデータが登録されてしまいます。 そこで、代わりにseed-fuを利用するわけです。 seed-fuは、すでに存在しているが変更したいレコードだけ更新したり、ファイル単位で実行できたり、簡単に書けるようなシンタックスシュガーがあったりと便利です。 インストール Gemfileに記述してインストールします。 (Rails 3.1, 3.2, 4.0, 4.1の場合は2.3を使う)

iOS、Android、Unityなどのアプリ開発について、初心者向けの内容を『RainbowApps』講師陣が分かりやすく解説していきます。 第1回ではアプリ開発に必要なSwiftという新しいプログラミング言語の紹介をしました。今回はiOSアプリ開発に必須のツールであるXcodeの使い方を紹介しながら、実際にアプリを起動させるまでを行います。 Xcodeの最新バージョンであるXcode6のインストールがまだの方は、第1回の記事を参照してインストールしておいてください。 【1】Xcodeとはなんぞや？ アプリの開発は、プログラムを書くだけではできません。アプリをiPhone上で動作させるには、プログラムをコンピュータが理解できる形式に変換する必要があります。 それだけでなく、アプリが使う画像や音声素材の管理、アプリが想定通りに動作するかの確認や、バグがないかの検証など、さまざまなことが必要

仕事や家事がおろそかになるほど長時間インターネットを利用する「インターネット依存」の疑いがある人は、全国の推計で４２０万人余りに上り、スマートフォンの普及などを背景に、この５年間で１．５倍に増加したことが、厚生労働省の研究班の調査で分かりました。 インターネットを長時間利用する「インターネット依存」の実態を調べるため、厚生労働省の研究班は、去年、無作為に選んだ全国の２０歳以上の男女４０００人余りを対象に聞き取り調査を行いました。 その結果、インターネットの利用で仕事や家事がおろそかになるなど「インターネット依存」の疑いがある人は、推計で４２１万人と、前回、平成２０年に行われた調査に比べておよそ１．５倍に増加したことが分かりました。 若い人ほど依存の割合が高く、特に２０代前半の男性のうち依存の疑いがある人は１９％と、５人に１人の割合を占めています。 厚生労働省の研究班の代表で国立病院機構久里

レベルファイブは3DS用ソフト『妖怪ウォッチ2 真打』を発表した。発売日は12月13日。価格はパッケージ版、ダウンロード版ともに4,600円＋税。 本作は、『妖怪ウォッチ2 元祖/本家』に次ぐ、3バージョン目としての発売となり、パッケージ版には、激レアな“ブチニャン”の妖怪メダル、ダウンロード版には限定妖怪“マスクドニャーン”が付いてくる。なお、“ブチニャン”の妖怪メダルの裏のQRコードを読み込むと、何かの拍子にジバニャンとコマさんが合体してしまった激レア妖怪ジバコマが手に入る。

阿部修士 こころの未来研究センター特定准教授らの研究グループは、機能的磁気共鳴画像法と呼ばれる脳活動を間接的に測定する方法と、嘘をつく割合を測定する心理学的な課題を使って、正直さ・不正直さの個人差に関係する脳の仕組みについて解明しました。 本研究成果は、米国科学雑誌「Journal of Neuroscience」誌の電子版にて公開されることになりました。 人生の中で嘘をついてしまうことは、誰しもが経験することです。 今回の研究では脳の側坐核のはたらきと、正直さの個人差が密接に関連していることが明らかとなりました。 ただし、側坐核の活動が高いからといって、その人は嘘つきである、と判断することはできません。また、今回の研究から、正直さ・不正直さの個人差の原因の全てが解明されたわけではありません。今後の研究を通じて、人間が嘘をつく生物学的なメカニズムをさらに追及していきたいと考えています。 概

ブラジルの名物記者が見た日本代表。「90分を通して怯えていた」「川島は私の国では笑いの種」 日本代表は14日、シンガポールでブラジルと対戦して0-4と完敗。この試合について、著名なブラジル人ジャーナリストのフェルナンド・ドゥアルテ氏に戦評を書いてもらった。 2014年10月15日(水)8時10分配信 text by 編集部 photo Getty Images タグ: focus, アギーレジャパン, ハビエル・アギーレ, ブラジル, ブラジル代表, 代表, 川島永嗣, 日本, 日本代表, 武藤嘉紀 日本代表は14日、シンガポールのナショナル・スタジアムでブラジルと対戦。FWネイマールに4得点を決められて0-4と完敗を喫した。 この試合について、著名なブラジル人ジャーナリストで英紙『ガーディアン』にも寄稿しているフェルナンド・ドゥアルテ氏に戦評を書いてもらった。 ブラジルは良い試合をしたが

国連の安全保障理事会で、西アフリカで広がり続けているエボラ出血熱に関する報告が行われ、今後２か月足らずの間に、１週間当たりの新たな患者数が現在の１０倍に当たる１万人に急増するおそれもあるとして、対策を急ぐ必要性が改めて強調されました。 国連安保理では、１４日、エボラ出血熱に対応するため新たに発足した「国連エボラ緊急対応ミッション」のバンベリー特別代表が、本部が置かれているガーナの首都アクラから、テレビ電話で報告を行いました。 このなかで、バンベリー代表は、ＷＨＯ＝世界保健機関の試算として、「１２月上旬には１週間当たりの新たな患者数が１万人に達するおそれがある」と述べ、今後２か月足らずの間に、１週間当たりの新たな患者数が、現在の１０００人程度からその１０倍に当たる１万人に急増する可能性を指摘しました。 そして、「１２月までに各国で患者の７０％を隔離して治療し、また、死者の埋葬も７０％を安全に

キャリア、転職、人材育成のヒントを提供してきた「リスキリング」チャンネルは新生「NIKKEIリスキリング」としてスタート。 ビジネスパーソンのためのファッション情報を集めた「Men’s Fashion」チャンネルは「THE NIKKEI MAGAZINE」デジタル版に進化しました。 その他のチャンネルはお休みし、公開コンテンツのほとんどは「日経電子版」ならびに課題解決型サイト「日経BizGate」で引き続きご覧いただけます。

米疾病対策センター（ＣＤＣ）は１２日、ダラスの病院でリベリア人男性のエボラ出血熱治療に関わっていた看護師が、エボラ熱に感染しているのを確認したと発表した。米国内でエボラ熱の感染が起きたのは初となる。リベリア人男性は先週死亡した。 看護師は、ガウンや手袋、マスクやフェイスシールドを着用していたという。ＣＤＣのフリーデン所長を含む多くの人は、患者の体液との直接的な接触を防ぐための防護服を着ていたにもかかわらず、なぜ看護師がウイルスに感染したのか首をかしげている。

Official video for Fall Out Boy “Immortals” from Disney’s ‘Big Hero 6’ (inspired by the Marvel comic). Listen to Fall Out Boy: https://Stream.lnk.to/FOB Watch more videos by Fall Out Boy: https://FallOutBoy.lnk.to/Socials/youtube New album ‘So Much (for) Stardust’ OUT NOW: https://falloutboy.lnk.to/somuchforstardust So Much for (Tour) Dust Tickets ON SALE NOW: http://falloutboy.com/tour FOLLOW

In total, more than 100 items were recovered, including armbands, a cross and brooches A haul of Viking treasure has been unearthed from a field in south west Scotland by an amateur using a metal detector. Derek McLennan, a retired businessman from Ayrshire, made the find in Dumfriesshire in September. In total, more than 100 items were recovered, including armbands, a cross and brooches. Experts

http://www.discogs.com/release/7654 A1

実は、ヤマダ電機は、12年だけでも、244億円の広告費を投入している大スポンサーなのだ。この規模は「単独決算の企業別ランキング」の7位に入っており（日経広告研究所「有力企業の広告宣伝費」／12年）、事実上、広告費が主な収入源であるマスコミにとって、批判することはタブーとなっているのだ。 たとえば、ヤマダ電機では、メーカー派遣者問題も抱えている。メーカー派遣者問題とは、家電量販店が家電メーカー側に新装・改装オープンなどの際に、従業員や派遣労働者をヘルパーとして派遣するように要請すること。こうした派遣自体は小売業界では慣例的にあることで、それぞれ自社商品の販促を行う限りは法的な問題はない。ところが、ヤマダ電機の場合は自社（メーカー）商品の販促以外のヤマダ電機の業務（棚卸し、陳列、清掃など）を行わせ、相当の対価（報酬）を支払っていない。つまり、自社の従業員のように扱い、人件費圧縮のためのタダ働き

The official audio for Noel Gallagher's High Flying Birds - 'In The Heat Of The Moment' Taken from the album 'Chasing Yesterday' released in 2015 featuring 'In The Heat Of The Moment', 'Ballad Of The Mighty I', 'Riverman', 'Lock All The Doors' and 'The Dying Of The Light, Listen to more from that album here: https://www.youtube.com/playlist?list=PLiVMagmbvQzB0pDcSD8Nk05FA4PM1GX1p Subscribe to

2020/10/30 2021年度新卒採用 秋採用を開始いたしました 2020/8/6 2021年度 新卒採用は終了いたしました 2020/3/2 2021年 新卒採用情報を公開いたしました 2020/1/28 2020年 新卒採用は終了いたしました 2019/4/12 『2020年 新卒採用 2Dアニメータースタッフ』情報を更新いたしました。 2019/4/3 タツノコプロ公式WEBサイトリニューアルに伴い、採用情報を更新いたしました。 VIEW MORE

Newsletter 「メールでおすすめを届けてほしい」という方に向けて、 さまざまなテーマで週3〜4回程度お届けします。 受け取る

14. Knuckle Puck 『2012-2013 Mixtape』 Genre : Pop Punk / Emo Country : US (Chicago) Status : 1st EPと2nd EPを抱き合わせた日本限定盤 For Fans of : The Get Up Kids, The Story So Far 音源自体はタイトル通り過去のものなのですが2014年リリースということで取り上げました。昨年あたりから囁かれていた「エモ」リヴァイバルの波。今年はそれにトドメを刺すかのように「Emo」創世記に当たる90年代、ボクらを熱狂させたバンドのニュースが続々と舞い込んできました。American Footballの再結成、Mineral再結成、Sunny Day Real Estateの新曲など。 例えば昨年、そのエモ最盛期に活躍したバンドのエッセンスをハードコアで表現して

Mark Bell was an electronic-music innovator throughout his career, which was tragically cut short last week. Riding the wave of the early-90s dance-music revolution, the Leeds-born Bell and longtime friend and partner Gez Varley defined the northern English “bleep” techno sound found in LFO’s music – especially on the group’s bass-heavy self-titled hit. Along the way they helped put Sheffield’s Wa

Untitled 1.5M ratings 277k ratings See, that’s what the app is perfect for. Sounds perfect Wahhhh, I don’t wanna

@TaKeMusik2 selected North by North // “Soft Soul // Parts & Labor” 今月ここまで素敵なバンドに会えるとは。単体で紹介すべきでしたけどタイミングを失した！La Sharkのようなポップながらも捻くれたヴォーカル。ひたすらにインディーでファンキーなローファイロック。哀愁漂わせちょっと陰があるんだけど、それが決して鬱屈とせず、やはりポップだって言うのは凄く面白い。どことなくホラーパンク的な感じも良い。Heat Heat Heatなんかも彷彿させる？既に完成されていると言っても良いほどだけど何者なんだろう？新人離れしてて最高過ぎた。 Bliss Bomb // Fever Dream 無料DLは11月1日まで！！！お早めに！！！！ジャズ、ファンク、ソウル！Nu-Soulバンドとしてかなりの作品。艶やかな女性ヴォーカルが聴くものを悩

See all results No matching results Try a different filter or a new search keyword.

Please check back soon or use our search at the top of the page to find what you're looking for.

The music world mourned the death of pioneering producer Bjork & Depeche Mode Producer Mark Bell Has Died In honor of his work, Billboard recounts 10 of Bell’s finest productions, from his own group’s work to the classic album cuts he helped create behind the console. 1. LFO – “LFO” LFO derived its name from a synthesizer circuit known as a low frequency oscillator, which is commonly used to modul

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

The people platform—Where interests become friendshipsWhatever your interest, from hiking and reading to networking and skill sharing, there are thousands of people who share it on Meetup. Events are happening every day—sign up to join the fun.

From reading the documentation, it's apparent that File.join joins the given parameters with the / character. When is using this, as opposed to filenames.join('/'), beneficial?

困ってた時に @udzura さんに教えてもらって助かったネタなんですが、まとまっている記事がなさそうだったので備忘録と同じ轍を踏みそうになった人が解決するようにまとめておきます。 こんな感じの事が起きて困ってました。 URLの"/"ありとなしが混在 [1] pry(main)> base1 = "http://www.example.com/" => "http://www.example.com/" [2] pry(main)> base2 = "http://www.example.com/users" => "http://www.example.com/users" [3] pry(main)> path1 = "books" => "books" [5] pry(main)> base1 + path1 => "http://www.example.com/books" # =

Welcome! Hangout, feedback, and international (non-English) discussions here.

open("data.txt") {|f| f.each_line do |line| line.chomp! puts "#{f.lineno}: #{line}" end } # >> 1: hoge # >> 2: huga # >> 3: piyo f.lines.each_with_index も使えなくはないが、こちらは1行目を0と数えるので適宜使いわけるといい。 行数取得のために一時変数をループの度にインクリメントしていたような人は是非覚えておこう。 Register as a new user and use Qiita more conveniently You get articles that match your needsYou can efficiently read back useful informationYou can use dark themeWh

History of notations[edit] Negation: the symbol appeared in Heyting in 1930[3][4] (compare to Frege's symbol ⫟ in his Begriffsschrift[5]); the symbol appeared in Russell in 1908;[6] an alternative notation is to add a horizontal line on top of the formula, as in ; another alternative notation is to use a prime symbol as in . Conjunction: the symbol appeared in Heyting in 1930[3] (compare to Peano'

数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学[1][2]、記号論理学[1][2]、数学基礎論[3]、超数学[4]は、数学の分野の一つであり[4]、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す[3][注 1]。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学[4]や理論計算機科学などがある[注 2][注 3]。 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classification（英語版）に現れるもの）

P ∨ Q のベン図による表現 数理論理学において論理和（ろんりわ、英: logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。この記号はラテン語で（非排他的）論理和を意味する vel の頭文字に由来する[1]。また P ∨ Q の形をした命題を選言命題（disjunctive proposition）、その中に現れる命題 P や Q を選言肢（disjunct）という[2]。 例[編集] 「私の身長は 160 cm 以上である」 「私の体重は 50 kg 以上である」 の二つの命題の論理和は、 「私の身長は 160 cm 以上か、または、私の体重は 50 kg 以上である」 となる。こ

Due to a planned power outage on Friday, 1/14, between 8am-1pm PST, some services may be impacted.