弾幕系シューティング - Wikipedia
弾幕系シューティング（だんまくけいシューティング）とは、2Dスクロールシューティングゲームの中で、「大量で低速な弾（弾幕）を敵が放ち、その間に生まれるわずかな隙間をぬって回避する事ができるほどプレイヤーの当たり判定が小さい」事を特徴とするシューティングゲームを指す。弾幕シューティングとも呼ばれる。欧米ではBullet Hell、Bullet Curtain、Manic Shooter、DANMAKUなどと呼ばれている。 第一にシューティングゲームにおける「弾幕」とは、敵の攻撃が画面を埋め尽くすほど大量に出現している状態のことを指し、大量の「弾」が飛び交う様子を「幕」に例えたことに由来する[1]。シューティングゲームにおいて初めて「弾幕」をシステムとして取り入れた日本のゲームは1997年の『怒首領蜂』であるとされる[1]。 弾幕系シューティングは、シューティングゲームの柱となる二つの要素「撃
遠い未来のタイムライン - Wikipedia
この記事は別の言語から大ざっぱに翻訳されたものであり、場合によっては不慣れな翻訳者や機械翻訳によって翻訳されたものかもしれません。 翻訳を改善してくださる方を募集しています。 太陽が赤色巨星になり、地球が炭化した時の想像図 遠い未来のタイムライン（とおいみらいのタイムライン）では、現在から遠く離れた未来の出来事を時系列順に列挙する。 遠い未来に起こることを完全に予想することは出来ないが[1]、様々な分野において、現在の知識に基づいて、大まかながら予測することは可能である。分野としては、惑星や星の形成・死を明らかにする天文学、最小スケールでの物質の挙動を記述する素粒子物理学、生命の進化を予想する進化生物学、数千年単位での大陸の動きを予想するプレートテクトニクスが挙げられる。 地球の将来、太陽系の将来、宇宙の将来は熱力学第二法則によって説明される。熱力学第二法則によれば、時間とともにエントロピ
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
ダグラス・エンゲルバート - Wikipedia
ダグラス・カール・エンゲルバート（Douglas Carl Engelbart、1925年1月30日 - 2013年7月2日）は、アメリカ合衆国の発明家で、初期のコンピュータやインターネットの開発に関与した。特に、SRIインターナショナル内の オーグメンテイション研究センター (ARC) で行ったヒューマンマシンインタフェース関連の業績で知られており、そこでマウスを発明し[3]、ハイパーテキストやネットワークコンピュータやグラフィカルユーザインタフェースの先駆けとなるものを開発した。 エンゲルバートは、コンピュータとネットワークの開発と使用が世界の緊急かつ複雑な問題を解決する助けになるという主張をよく行っている[4]。研究室には自身が "bootstrapping strategy" と名付けた一連の原則を貼っていた。その戦略は研究室での技術革新を加速するようエンゲルバートが設計したもので
ブラウワーの不動点定理 - Wikipedia
1886年、アンリ・ポアンカレ（写真）はブラウワーの不動点定理と同値な結果を証明した。その正確な証明は、三次元の場合は1904年にピアース・ボウル（英語版）によって行われ、一般の場合は1910年にジャック・アダマールとライツェン・ブラウワーによって行われた。 ブラウワーの不動点定理（ブラウワーのふどうてんていり、英: Brouwer's fixed-point theorem）は、位相幾何学における不動点定理で、ライツェン・ブラウワーの名にちなむ。この定理では、コンパクト凸集合からそれ自身への任意の連続函数 f に対して、f(x0) = x0 を満たす点 x0、すなわち不動点が存在することが述べられている。ブラウワーの定理の最も簡単な形式のものは、実数直線内の閉区間 I あるいは閉円板 D からそれ自身への連続函数 f に対するものである。後者に対するより一般のものは、ユークリッド空間の凸
トムテ - Wikipedia
トムテ（スウェーデン語: Tomte, ノルウェー語: Nisse, フィンランド語: Tonttu）は、北欧の民間伝承に登場する妖精である。小さな子供くらいの大きさで赤い帽子をかぶり、農家の守護神とされている。優しい性格で農家に繁栄をもたらすが、一方で気難しく、大事に扱われなければその家は捨て去ってしまう。また、いたずらをされた場合には仕返しをする。北欧圏では、クリスマス（ユール）にはトムテに粥（ポリッジ）を供える習慣がある[1]。この習慣はヴァイキングの時代からあるが、当時は豊穣の神フレイへの捧げものであったとされる[1]。 キリスト教化された後は、トムテは悪魔と同一視されていたが、後にアメリカのクリスマスの影響を受け、スウェーデン版のサンタクロース、ユールトムテとみなされるようになった。ユールトムテはトナカイやヤギの引くソリでやって来て、子供たちにプレゼントを配る。 トムテの外見と性
アブダクション - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アブダクション" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年3月) アブダクション（逆行推論）（古代ギリシア語: ἀπαγωγή[注釈 1]、英: abduction, retroduction）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。 古くは
ヒュームの原理 - Wikipedia
ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(George Boolos)によって命名された。ヒュームの原理は二階述語論理の考え方に沿って定式化できる。 ヒュームの原理はゴットロープ・フレーゲの数学の哲学において中心的役割を果たしている。フレーゲによれば、この原理およびそれに適合して定義された算術概念をもとにして、今日では二階算術(second-order arithmetic)と呼ばれているもののすべての公理が論理的必然として導かれることが証明される。このことの帰結がフレーゲの定理の名で知られるものであり、新論理主義の名で知られる数学の哲学を基礎づけている。 ヒュームの原理は、フレーゲの『算術の基礎』において、デイヴィッド・ヒュームの『人間本性論』第1巻第3部
ゴットロープ・フレーゲ - Wikipedia
フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege[2], 1848年11月8日 - 1925年7月26日）は、ドイツの哲学者、論理学者、数学者。現代の数理論理学、分析哲学の祖とされる。 バルト海に面したドイツの港町ヴィスマールに生まれる。母アウグステ・ビアロブロツキーはポーランド系。イェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得。その後イェーナに戻り、1896年から数学教授。1925年死去。 フレーゲは、古代ギリシア（ギリシア哲学）のアリストテレス以来の伝統的論理学の革命を遂行し、数学の哲学である「論理主義」 を提唱した[3]。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開い
チャールズ・サンダース・パース - Wikipedia
チャールズ・サンダース・パース[注釈 1]（英: Charles Sanders Peirce、1839年9月10日 - 1914年4月19日[1]）は、アメリカ合衆国の哲学者、論理学者、数学者、科学者であり、プラグマティズムの創始者として知られる。 マサチューセッツ州ケンブリッジ生まれ。パースは化学者としての教育を受け、米国沿岸測量局に約30年間、科学者として雇われていた。「アメリカ合衆国の哲学者たちの中で最も独創的かつ多才であり、そしてアメリカのもっとも偉大な論理学者」ともいわれる[2]。存命中はおおむね無視され続け、第二次世界大戦後まで二次文献はわずかしかなかった。莫大な遺稿の全ては今も公表されていない。パースは自分をまず論理学者とみなし、さらに論理学を記号論（semiotics）の一分野とみなした。 清教徒の移民であったジョン・パースの子孫であり、当時アメリカ最大の数学者と見なされ
UNIX哲学 - Wikipedia
この項目「UNIX哲学」は途中まで翻訳されたものです。（原文：en:Unix_philosophy （本文に英文が移されています）） 翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。（2020年6月） UNIX哲学（ユニックスてつがく、英: The UNIX Philosophy）とは、ソフトウェア開発の文化的な規範と哲学のまとまりであり、UNIX OS開発者たちの経験に基づくものとされている。その内容は発言者によって異なり、以下の点に留意が必要である： UNIXが開発された1971年から10年以上後の発言が大半である 発言者にはUNIX開発と関わり合いが希薄な人物も含まれている UNIXを生み出したケン・トンプソンやデニス・リッチーは"哲学"(philosophy)という表現をしていない 哲学に反し
エイダ・ラブレス - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "エイダ・ラブレス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2013年12月) 1840年ごろの肖像画、 (作)アルフレッド・エドワード・シャロン アントワーヌ・クロード（英語版）による銀板写真。1843年または1850年の写真とされる。 ラブレース伯爵夫人オーガスタ・エイダ・キング（Augusta Ada King, Countess of Lovelace, 1815年12月10日 - 1852年11月27日）は、19世紀のイギリスの貴族・数学者。主にチャールズ・バベッジの考案した初期の汎用計算機である解析機関についての著作
田辺茂一 - Wikipedia
田辺 茂一（たなべ もいち、本名の読みは「しげいち」、1905年2月12日 - 1981年12月11日[1]）は、東京府（現：東京都新宿区）出身の出版事業家、文化人。紀伊國屋書店創業者。 当時の東京市・新宿にて、紀州備長炭を商う「紀伊國屋」の跡取りとして生まれる。祖先は紀州和歌山の出身。 私立高千穂小学校在学中であった、1915年の大正天皇の即位大典の日、父に連れられて入った丸善で洋書に魅せられて、書店経営を志すに至る。卒業後、慶應義塾専門部予科に入学。同級に演出家の大江良太郎がいた。1926年3月、慶應義塾高等部（現・慶應義塾大学）を卒業。1927年1月、紀伊國屋書店（現・新宿3丁目の本店）を創業、当時の店舗は二階建てだった。1928年、小学校の同級生だった舟橋聖一たちと共に、同人誌『文芸都市』を創刊（1932年8月まで）。 戦災で大きな被害を受け、一時は廃業も考えたが、将棋仲間だった角
普遍性 - Wikipedia
この項目では、圏論を中心とした数学におけるuniversalityについて記述しています。「普遍性」の語義については、ウィクショナリーの「普遍」の項目を、「universal」の語義については、ウィクショナリーの「universal」の項目をご覧ください。 数学において普遍性（英語: universality、または universal property）とは、ある特定の状況下において一意に射（あるいは準同型、構造を保つ写像）を定めるような抽象的性質で、それが特定の構成（例えば直積や直和、加群のテンソル積、距離空間の完備化など）を特徴づけるようなものをいう。 普遍性の具体例となる構成には他にも、様々な構成における自由対象（英語版）、核や余核、順極限および逆極限、群に対するアーベル化、集合や様々な空間に対する引き戻しや押し出し（英語: pushout）、ストーン－チェックのコンパクト化などが
Hom関手 - Wikipedia
圏論において、対象の間の射の集合（hom-setともいう）は、集合の圏への関手を構成する。この関手をHom関手（ほむかんしゅ、英語: Hom functor）と呼び、圏論や数学の他の分野で多くの応用を持つ。 C を局所的に小さな圏（英語版）、つまり、任意のhom-クラスが真クラスではなく集合である圏とする。C の中のすべての対象 A と B に対し、次のように集合の圏 Set への関手を定義する。 共変関手Hom(A, _) は以下で与えられる： Hom(A, _) は C の各対象 X を集合 Hom(A, X) へ写す。 Hom(A, _) は C の各射 f : X → Y を、 で定義される写像 Hom(A, f) : Hom(A, X) → Hom(A, Y) へ写す。反変関手Hom(_, B) は以下で与えられる： Hom(_, B) は C の各対象 X を集合 Hom(X,
宇田川榕菴 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "宇田川榕菴" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2010年6月) 宇田川榕菴 ボルタ電池の解説（舎密開宗より） 化学実験図（舎密開宗より） 宇田川 榕菴（うだがわ ようあん、1798年4月24日（寛政10年3月9日） - 1846年8月13日（弘化3年6月22日）[1]）は、津山藩（岡山県津山市）の藩医で蘭学者。名は榕、緑舫とも号した。宇田川榕庵とも表記される。それまで日本になかった植物学、化学等を初めて書物にして紹介した人物である。元服前の14歳の時、江戸詰めの大垣藩医の家から養子に出され藩医となる。 宇田川家は蘭学の名
母関数 - Wikipedia
数学において、母関数（ぼかんすう、英: generating function; 生成関数）は、（自然数で添字付けられた）数列 {an} に関する情報を内包した係数を持つ、形式的冪級数である。母関数は、一般線型回帰問題の解決のためにド・モアブルによって1730年に初めて用いられた[1]。複数の自然数で添字付けられる数の配列（多重数列）の情報を取り込んだ多変数冪級数を同様に考えることもできる。 母関数には、通常型母関数 (ordinary generating function)、指数型母関数 (exponential generating function)、ランベルト級数 (Lambert series)、ベル級数 (Bell series)、ディリクレ級数 (Dirichlet series) など様々なものがある。これらについては定義と例を後述する。原理的にはあらゆる列についてそれぞ
可換図式 - Wikipedia
5項補題の証明で使われる可換図式 数学、特に圏論において、可換図式 (英: commutative diagram) は、対象（あるいは頂点）と射（あるいは矢、辺）の図式であって、始点と終点が同じである図式のすべての向き付きの道が合成によって同じ結果になるようなものである。可換図式は代数学において方程式が果たすような役割を圏論において果たす（Barr-Wells, Section 1.7 を参照）。 図式は可換でないかもしれない、すなわち図式の異なる道の合成は同じ結果にならないかもしれないことに注意する。明確化のために、「この可換図式」(this commutative diagram) あるいは「図式は交換する」(the diagram commutes) といったフレーズが使われる。 例[編集] 第一同型定理を表現する次の図式において、可換性は を意味する： 下は一般の可換正方形であり
3値論理 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2022年12月） 3値論理 (英: ternary, three-valued or trivalent logic) とは、通常の真 (true) と偽 (false) から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。 古典論理は排中律を前提としているが、クルト・ゲーデルによって「正しいが証明できない命題」が存在することが証明されたため、「二重否定の除去」を認めない直観主義論理などが成立した。これは様相論理学の一種ともいえ、「真であることが証明可能である」「偽であることが証明可能である」「真であるか偽であるかが証明不能である」の三つの真偽値を考える必要があった。 概要[編集] 古典論
楕円曲線 - Wikipedia
原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。 楕円曲線のカタログ、示されている領域は [−3, 3]2 である。ただし(a, b) = (0, 0) におけるものは楕円曲線ではない。 数学における楕円曲線（だえんきょくせん、英: elliptic curve）とは種数 1 の非特異な射影代数曲線、さらに一般的には、特定の基点 O を持つ種数 1 の代数曲線を言う[1]。 楕円曲線上の点に対し、先述の点 O を単位元とする（必ず可換な）群をなすように、和を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。 楕円曲線は、代数幾何学的には、射影平面 P2 の中の三次の平面代数曲線として見ることもできる[2]。より正確には、射影平面上、楕円曲線はヴァ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
