Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2014年9月） 替え歌（かえうた）は、パロディの一形態。このことから異名同曲異歌詞曲（いめいどうきょくいかしきょく）とも呼ばれる。 メロディやリズムを可能な限り変えないようにしながら、本来その歌に付けられた以外の歌詞を作詞して歌うこと、またはそれによって歌われる歌のことである。「替え唄」とも表記される（主に嘉門達夫が使用）。 なお、元がインストルメンタル（歌詞がない、楽曲のみの作品）の場合は「単なる作詞」となるか、「替え歌」となるか議論が分かれる。 替え歌が作られる経緯[編集] 本作のここで紹介する歌詞の一部は著作権の保護期間中のため、日本国著作権法第32条および米国著作権法第107条によりフェアユースと認められる形式の引用を除き、ウィキペディアへの掲載は著

この項目「先延ばし」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：en:Procrastination21:03, 18 March 2020(UTC)） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2020年3月） 先延ばし（さきのばし、英: procrastination）とは、ある期限までに達成しなければならない仕事をすることを避けることである[1]。否定的な結果を招くかもしれないとわかっていながら、習慣的・意図的に物事を始めたり完了することを遅らせてしまうことを指す[2]。これは人間の一般的な経験であり、日常の雑務や仕事の報告書や学業の課題の提出を遅らせることや、約束の時間に遅れること、恋人と話しづらいストレスの多いことについて持

Singularity は マイクロソフトリサーチ が2003年から実験的に開発しているオペレーティングシステム (OS)。高度なディペンダブルOSとすることを目標とし、カーネルやデバイスドライバ、アプリケーションも全てマネージコードで書かれている。 仕組み[編集] x86の割り込みディスパッチ部分のコードはアセンブリ言語とC言語で書かれている。カーネル本体とガベージコレクタはSing#で書かれている。Sing#は、Spec#を拡張した言語で、Spec#自体はC#を拡張した言語である。HALはC++で書かれている。他にもデバッグ関連でC言語を使っている。ブート時の16ビットリアルモードではBIOSを呼び出すが、32ビットモードになるとBIOSは使わず、Sing#で書かれたデバイスドライバを使う。インストール時にBartokコンパイラを使って共通中間言語 (CIL) をx86の機械語にコンパ

強いAIと弱いAI（つよいエーアイとよわいエーアイ、英: strong AI and weak AI）は、人工知能（AI）が真の推論と問題解決の能力を身につけられるか否かをめぐる論争において用いられる用語である。 強いAIと弱いAIは哲学者のジョン・サールが考案した用語であり、彼は以下のように記述している。 …強いAIによれば、計算機（コンピュータ）は単なる道具ではなく、正しくプログラムされた計算機には精神が宿るとされる[1]。 サールは計算機と機械を区別している。彼は強いAIには批判的だが（例えば、中国語の部屋）、一方で「脳は機械であり、エネルギー転送によって意識を生じる」とも述べている[2]。 人工知能という言葉は、「人工」と「知能」の意味からいえば「強いAI」とほぼ同義と言える。しかし、初期の人工知能研究はパターン認識や自動計画といった狭い領域に集中しており、そういった研究が最終的に

アイスクリーム頭痛（アイスクリームずつう、英: Ice-cream headache）は、アイスクリームやかき氷などの極端に冷たいものを食べた直後に数分程度発生する頭痛[1]。医学的な正式名称である[2]。国際頭痛学会では「寒冷刺激による頭痛」に分類される。 「刺すような痛み」「脈打つ痛み」「脳が凍るような感じ」など症状は個人差が大きく、片頭痛持ちの人に起きやすい傾向がある[3]。 この症状に対する研究は多いが、頭痛が数分程度で収まるため、発症メカニズムなどの解明は進んでいない[2]。 頭痛の原因としては、主に以下の2説が唱えられている[2][4]。 冷たいものを食べた際に口腔内の温度が急激に低下し、反射で体温を上昇させるため頭に通じる血管を膨張させて血流を一時的に増大させ、それにより頭の血管に一時的に炎症が発生して頭痛を引き起こす。 冷たい物が口腔、喉の背側を通過することにより、口蓋の三

キノコ王国（キノコおうこく、Mushroom Kingdom）は任天堂のコンピュータゲームマリオシリーズに登場する架空の王国[2]。国を治めているのはピーチ姫であり[3][4]、首都はキノコタウン。大陸的規模で見れば、キノコワールドに属する国の1つである。 最初に地名自体が扱われたのは『スーパーマリオブラザーズ3』[5]だが、地形は作品ごとによって毎回異なる。キノコ王国の地理に関する事は『スーパーマリオRPG』以降のRPG系統の作品で多く扱われた。明確な地図があるのは少なくとも『スーパーマリオRPG』『マリオ&ルイージRPG2』であり、最新の地図は『マリオ&ルイージRPG2』である（『スーパーマリオワールド』の舞台は恐竜のワールドでありキノコワールドではない）。キノコ王国の地形は、『マリオストーリー』に登場するゴツゴツ山のような険しい山々から谷や砂漠など様々である。また、作品によって国の地

なもり（1987年[1]6月25日[2] - ）は、日本の漫画家・イラストレーター。女性[3]、富山県高岡市出身[4]、京都府在住[2]。大学時代は名古屋に住んでいた[1]。血液型はB型[5]。2006年に『コミックブレイドMASAMUNE』にて『ギロちんの倫理』でデビュー。自画像は、目口が描かれた白い楕円に4本の線が生えた、クラゲのようなキャラクター[6]。小学生時代から漫画家を目指していた[7]。 カフェなど、外で漫画を描くことが多い。「な」は高校時代のクラスメイトに「な」をかわいく書く人がいたのが由来で、「もり」に由来は特にないという[8]。 以下のようなエピソードから、速筆家として話題になることがある。 『コミック百合姫S』最終号（2010年9月18日発売）で『ゆるゆり』を一挙に8話（100ページ）掲載した。 『ゆるゆり』が隔月刊の『コミック百合姫』に移籍してからは毎号1〜3話程度

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "コントソ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年10月） コントソ (Contoso) は、マイクロソフトがサンプル用に使う仮想上の会社またはドメインである。取締役会は業界関係者からなり、ダン・ジャンプCEOが率いている。2011年4月1日のエイプリルフールに、Googleは「コントソはマイクロソフトの技術を諦めて、Google Appsを選んだ」というジョークを飛ばした。 その他のマイクロソフトのサンプル用会社[編集] Microsoft Accessでは、ノースウィンド・トレーダーズ(NorthWind Trade

神戸弁（こうべべん）は、兵庫県の南東部、神戸市周辺で用いられる日本語の方言で、近畿方言のうちの一つである。京阪式アクセント（標準的な甲種アクセント）。摂津方言とは異なるいくつかの特徴があり、播磨方言に属する[1]。 特徴[編集] まず神戸と大阪の語法の差異には以下の重点が存在する。 神戸では「居る（オル）」を、大阪では「イル」や「イテル」を多用する。（ただし、大阪でも地区によってはオルを多用する。イルはあまり使われない） 神戸では進行態（ヨー）と完了態（トー）を区別する。大阪では進行・完了ともに「テル」または「トル」を用いる。 大阪のハル敬語に対する神戸のテヤ敬語（「敬語体系」の節参照）。 未然形の違い（「有らぬ」を神戸では「アラヘン」、大阪では「アレヘン」と言うが、神戸でも話者により「アレヘン」と言う例も少なくない[2]）。 進行態と完了態[編集] 神戸弁における相（アスペクト）は播州弁

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2017年8月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2017年8月） 出典検索?: "埋没費用" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 埋没費用（まいぼつひよう、英: sunk cost）とは、事業や行為に投下した資金・労力のうち、事業や行為の撤退・縮小・中止をしても戻って来ない資金や労力のこと[1]。英語表記をそのまま音写してサンクコストともいう。 初期投資が大きく他に転用ができない事業ほど埋没費用は大きくなるので、投資も新規事業への参入も慎重になる。寡占論では、埋没費用の多寡が参入障壁の高さを決

日本全国酒飲み音頭（にほんぜんこくさけのみおんど）はコミックバンドのバラクーダの曲。1979年12月にリリースされた。作詞：岡本圭司、作曲：ベートーベン鈴木[1]。 この曲の原型は、ディズニー映画『シンデレラ』の劇中歌『ビビディ・バビディ・ブー』である[1][2]。日本の行事を覚えるために留学生の間で広まっていた『ビビディ・バビディ・ブー』の替え歌で[2]、「1月は正月で……」という歌詞も既に存在していた[2]。駒場東大前駅の留学生会館近くのスナックで留学生が歌うのを耳にした鈴木は、バラクーダの公演でこの替え歌を取り上げ、好評だったことからレコード化を企画した[2]。しかし子供向けの歌に飲酒に関する替え歌歌詞を当てることを問題視され、『ビビディ・バビディ・ブー』の著作権者のディズニーからメロディーの使用を許可されなかった[2]ため、鈴木の作った新しいメロディーに差し替える形でレコード化した

本来の表記は「Hatten är din」です。この記事に付けられたページ名は技術的な制限または記事名の制約により不正確なものとなっています。 この項目には、一部のコンピュータや閲覧ソフトで表示できない文字（アラビア語と、「Hatten ar din」の「ar」のaの上には点2つ）が含まれています（詳細）。 「Hatten är din」（ハッテン・エ・ディン、IPA: /hat:ən ə dɪn/）は、2000年頃にインターネット上で流行したFlashアニメーション。アラブの歌謡曲に合わせて、伝統衣装を着た人々の中を帽子が飛びまわる様子が描かれており、字幕でスウェーデン語による歌詞が提供されている。ただし、この字幕は楽曲本来の歌詞を翻訳したものではなく、アラビア語の発音をスウェーデン語の音韻として聞き取り勝手な解釈を加えたもの（いわゆる「空耳」）である。"Hatten är din"は、