タッパーの自己言及式 - Wikipedia
タッパーの自己言及式は、ジェフ・タッパー (Jeff Tupper) によって考案された不等式であり、特定の条件の下で式を満たす二つの数の組を二次元のグラフに描くと不等式そのものの形となる。 2001年にコンピュータグラフィックスを扱う国際会議SIGGRAPHで発表された[1]。 不等式は次のように定義される。 は床関数、 は剰余を表す。ここで、k を以下の値とする (543桁の数を3桁区切りで記述している)。 960 939 379 918 958 884 971 672 962 127 852 754 715 004 339 660 129 306 651 505 519 271 702 802 395 266 424 689 642 842 174 350 718 121 267 153 782 770 623 355 993 237 280 874 144 307 891 325
首なし鶏マイク - Wikipedia
首なし鶏マイク（くびなしにわとりマイク、Mike the Headless Chicken、1945年4月 - 1947年3月）は、首をはねられた後も18か月間生存していたことで知られるアメリカの雄鶏である。 概要[編集] 1945年9月10日に、コロラド州Fruita(フルータ、フルイタ)の農家ロイド・オルセンの農場で、ロイドと妻のクララが屠殺を行っていた最中、1羽の鶏が首をはねられた[1]。通常ならそのまま絶命するはずであったが、その鶏は首の無いままふらふらと歩き回り、それまでと変わらない羽づくろいや餌をついばむようなしぐさをし始めた。首を失っても動き続ける奇妙な鶏を見たオルセンは一晩様子を見ることにしたが[1]、翌日になってもこの鶏は生存し続け、その有様に、ロイドは精肉市場に絞めた鶏を売りに行くときに、首のない鶏も連れて行き、人々に「首がなくても生きている鶏がいるかどうか」とビールを
オニャンコポン - Wikipedia
この項目では、西アフリカの神について説明しています。 競走馬については「オニャンコポン (競走馬)」をご覧ください。 架空の登場人物については「進撃の巨人の登場人物#反マーレ派義勇兵」をご覧ください。 オニャンコポン（Onyankopon、偉大な者の意[1]; アカン語: Onyankopɔn）は西アフリカ・ガーナのアシャンティ人（英語版）に伝わる神であり、天空神[2]である。 同じくアシャンティ人などに伝わる神ニャメ（英語版） (Nyame) の別名とされることが多いが、オニャンコポンの神としての位置づけには曖昧な部分が多い。アカン語話者の神とされることもある[3][注 1]。 オニャンコポンの役割[編集] アシャンティ人の宗教では、オニャンコポンに代表される神と精霊と祖先の霊という3種類の超自然的な存在が体系を形作っている[4]。すべての精霊はオニャンコポンによって創造されたとされてい
インテル バーチャライゼーション・テクノロジー - Wikipedia
インテル バーチャライゼーション・テクノロジー（Intel Virtualization Technology、Intel VTまたは単にVTと略される）とは、インテルによって開発された仮想化支援技術のことである。 当初、インテルは開発コードネームからVanderpool Technologyという名称を用いていた為[1]、現在でもVTをVanderpool Technologyの略とする表記が散見される[2]。また、VT-x を指して単に Intel VT と呼称する場合もある[3]。 概要[編集] Intel VTは、仮想マシンモニタによる複数のオペレーティングシステム (OS) の並行動作をより効率的に行うための支援技術である。 VT機能がなくても、すべてソフトウェア的に仮想化技術を実装し、複数のOS（ゲストOS）を実行することは可能である。しかし、その場合パフォーマンスの低下を招い
深層Web - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2021年1月） 古い情報を更新する必要があります。（2021年1月） 出典検索?: "深層Web" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 深層Web（しんそうウェブ）、または、ディープWeb（ディープ・ウェブ、英語: deep web）は、World Wide Web上にある情報のうちで、通常の検索エンジンによって収集されない情報である。インビジブルWeb（インビジブル・ウェブ、invisible web）とも呼ばれる。深層Webの対義語は、表層Web（ひょうそうウェブ）、サーフェスWeb（サーフェス・ウェブ、surface web
ソファ問題 - Wikipedia
面積 π/2 + 2/π = 2.2074... の受話器の形をしたソファ。これは最大ではない。 ソファ問題（ソファもんだい）は数学の未解決問題のひとつ。1966年にレオ・モーザー（英語版）によって問題が提示された。この問題は「L字型の通路を通り抜けることができる、ソファの面積の最大値 A を求めよ」という離散幾何学、数学パズルの問題である。これは、数学上の未解決問題となっている。 A の下界と上界[編集] 下界[編集] 通路の幅が1であるとき、半径1の半円はL字型の通路を通すことができるので、Aの下界の一つとして が容易に得られる。 ジョン・ハマーズレイ（英語版）はより優れたAの下界の一つを発見した。の長方形の両脇に半径1の四分円を接合させた図形から、直径 の半円をくりぬいた受話器型のソファで、 となる[1][2]。 18の線からなるジャーバーのソファー 1992年にジョセフ・ジャーバー
スローガン - Wikipedia
中華人民共和国湖北省の通山県の建物に書かれた政治的スローガン（標語）。「男女平等」「生男生女順其自然」とあり、出産時に男女を選好しないように呼びかけられている。 スローガン（英: slogan）とは、企業や団体の理念や運動の目的を簡潔に言い表した覚えやすい句・標語・モットーのこと。 理念や目的には、政治的なもの、宗教的なもの、商業的なものが含まれ、政治家が自らの政策をアピールするときに用いる簡明な文もスローガンと呼ばれることが多い。商業上のスローガン（Advertising slogan）は普通、日本では「キャッチコピー」と呼ばれる。 概要[編集] スコットランド貴族のハミルトン公爵家の紋章。上部には「Through」（やりつくせ）、「Jamais Arriere」（ふり返るな）というスローガンが書かれている 語源はゲール語で「鬨の声」(ウォークライ) を意味する「sluagh-ghair
Brainfuck - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Brainfuck" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年10月） Brainfuck（ブレインファック）はプログラミング言語のひとつ。なお名称に含まれるfuckが卑語であるため、Brainf*ck または Brainf**kなどと表記されることがある。 概要[編集] 開発者Urban Müllerがコンパイラがなるべく小さくなる言語として考案した。 実際、Müllerが開発したコンパイラのサイズはわずか123バイト、インタプリタは98バイトであった。 Brainfuckプログラムは非常に可読性・記述性が低いため実用性
Semantic Web - Wikipedia
この項目では、機械可読性を中心としたワールド・ワイド・ウェブの構想について説明しています。パブリック型ブロックチェーンに基づいた構想については「Web3」をご覧ください。 セマンティック・ウェブ（英: Semantic Web）は W3C のティム・バーナーズ＝リーによって提唱された、ウェブページの意味を扱うことを可能とする標準やツール群の開発によってワールド・ワイド・ウェブの利便性を向上させるプロジェクト。セマンティック・ウェブの目的はウェブページの閲覧という行為に、データの交換の側面に加えて意味の疎通を付け加えることにある。 現在のワールド・ワイド・ウェブ上のコンテンツは主にHTMLで記述されている。HTMLでは文書構造を伝えることは可能だが、個々の単語の意味をはじめとする詳細な意味を伝えることはできない。これに対し、セマンティック・ウェブはXMLによって記述した文書にRDFやOWLを
電球ジョーク - Wikipedia
電球ジョーク（でんきゅうジョーク、英語: Light bulb joke）とは、特にアメリカで発展した古典的なエスニックジョークの一種であり、特定の集団に属する人々を引き合いに出して、1個の電球を取り替える作業のために、何人の彼らが必要か？ を述べたものである[1]。 1960年代後半から1970年代にかけてのアメリカにおいて、ポーランド人の知性を馬鹿にする意味合いのブラックジョークとして流行した[2]。その後、各国の国民性を表すバリエーションが多く作られた他、実在・架空を問わず様々な集団を主題として電球ジョークは存在する。テーマについてもオリジナルの電球から変更した派生バージョンがいくつも存在する。 特定の集団またはそこに属する人々をステレオタイプ的に表現して、簡単な作業一つをとってもいかに効率的に（あるいは非効率的に）物事を行うか、のモデルを推測することで彼らの振る舞い・慣習・習性・性
WTFPL - Wikipedia
WTFPL（Do What The Fuck You Want To Public License）とは、パブリックドメインへの供与と同等条件のライセンスである。 概要[編集] 英語としても非常に下品な名称のライセンスで、あえて語感を尊重して翻訳するとすれば『どうとでも勝手にしやがれクソッタレ・公衆利用許諾(契約)書』といったところである。 オリジナルのバージョン1.0は2000年3月にBanlu Kemiyatornにより作成され、Window Makerのアートワーク[3]に採用されている[4]。2004年にフランスのプログラマで、後にDebianプロジェクトリーダーにも就任したサム・オセヴァール（英語版）はバージョン2.0を作成した[5]。このライセンスは、ソフトウェアの再頒布と改変を任意のライセンスの条項で許諾する。ソフトウェアを受け取り本ライセンスに従うライセンシーには、「どうぞ
軽量プログラミング言語 - Wikipedia
軽量プログラミング言語（英: lightweight language）は、2001年にMITで開催されたワークショップ「LL1: Lightweight Languages Workshop」のCFPによれば[1]、何らかの実際の機能によるカテゴライズではなく、習得・学習・使用が容易なプログラミング言語を指し、当時におけるそのような言語としてPerl・Python・Ruby・Scheme・Curlを例として挙げている。 軽量プログラミング言語の歴史[編集] 「LL」という語が初めて使われたのは「LL1: 軽量言語ワークショップ」[2]である。「LL1: 軽量言語ワークショップ」は、米国MITで開催される革新的なプログラミング言語について語り合うイベントであるが、2001年「スクリプト言語」でも「動的型付け」でも外れてしまう言語を対象に包含する概念として「Lightweight Langu
ディベート - Wikipedia
この項目では、一般的な語義としてのディベートについて説明しています。 フジテレビで放送されていた深夜番組「The Debate」については「JOCX-TV2#1988年」をご覧ください。 フォードとカーターによる大統領候補討論会（1976年） ディベート（debate）とは、ある公的な主題について異なる立場に分かれ議論することをいう（広義のディベート）。討論（会）とも呼ばれている。 ディベートは、語史としては古期フランス語の古フランス語・中世フランス語-debatre-ドゥバート（「戦う」こと）が中期英語の古英語・中英語に移入したもので（debaten）、ディベートという語のもつ語義は「相手を打ち負かそうと公式の場で」討論することであり[1]、ディスカッション（discussion）や単なる議論とは異なるものを指すのであるが、一般にはこれらの区別なく「ディベート」ないし「討論」と呼ばれるこ
ミーム - Wikipedia
この項目では、文化の伝播や情報伝達における情報単位としてのミームについて説明しています。 ルルティアのアルバムについては「ミーム (ルルティアのアルバム)」をご覧ください。 アラビア文字のミームについては「م」をご覧ください。 インターネットでのミームについては「インターネット・ミーム」をご覧ください。 エジプト文字。言語は、ミームの一種である[1]。 ミーム（meme）とは、脳内に保存され、他の脳へ複製可能な情報であり[2]、例えば習慣や技能、物語といった社会的、文化的な情報である[3]。『日本大百科全書』における人工知能研究者の中島秀之の説明によると、ミームは文化的自己複製子であり、ミームは比喩(ひゆ)ではなく遺伝子と同じく実体である[4]。『利己的な遺伝子』によれば、ミームは脳神経回路の型である[5]。ミームが脳の外へ複製された具体例としては衣服、壺、アーチ、宗教的行動、科学者の講演
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Category:架空の天体 - Wikipedia
マッチポンプ - Wikipedia