弾幕系シューティング - Wikipedia
弾幕系シューティング（だんまくけいシューティング）とは、2Dスクロールシューティングゲームの中で、「大量で低速な弾（弾幕）を敵が放ち、その間に生まれるわずかな隙間をぬって回避する事ができるほどプレイヤーの当たり判定が小さい」事を特徴とするシューティングゲームを指す。弾幕シューティングとも呼ばれる。欧米ではBullet Hell、Bullet Curtain、Manic Shooter、DANMAKUなどと呼ばれている。 弾幕系シューティングの特徴[編集] 第一にシューティングゲームにおける「弾幕」とは、敵の攻撃が画面を埋め尽くすほど大量に出現している状態のことを指し、大量の「弾」が飛び交う様子を「幕」に例えたことに由来する[1]。シューティングゲームにおいて初めて「弾幕」をシステムとして取り入れた日本のゲームは1997年の『怒首領蜂』であるとされる[1]。 弾幕系シューティングは、シューテ
4千年紀以降 - Wikipedia
4千年紀以降（4せんねんきいこう）は、西暦による4番目以降の千年紀（ミレニアム）で、3001年（31世紀）以降に当たる。 予測[編集] 3310年 - 日本の人口が22人になる[1]。 タイムカプセル開封:6939年（ニューヨーク、1939年封）[2]、6970年（大阪、1970年封）[3]、8113年（ジョージア州、1936年封）[4]。 9361年、9622年、9966年、10663年、11268年、11575年、15790年に日食と水星の太陽面通過、15232年に日食と金星の太陽面通過、69163年に水星と金星の太陽面通過が同時発生[5]。 1万年にデネブ、15500年にベガ、22000年にトゥバン、28000年にポラリスが北極星に[6]。 12000年:南極ウィルクス盆地の氷塊が数百年で脱落、海面が3m上昇[7]。 ボイジャー1号は4万年にグリーゼ445、ボイジャー2号は29.6万
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論な
The Hardest Logic Puzzle Ever - Wikipedia
The Hardest Logic Puzzle Ever is a logic puzzle so called by American philosopher and logician George Boolos and published in The Harvard Review of Philosophy in 1996.[1][2] Boolos' article includes multiple ways of solving the problem. A translation in Italian was published earlier in the newspaper La Repubblica, under the title L'indovinello più difficile del mondo. It is stated as follows: Thre
ダグラス・エンゲルバート - Wikipedia
ダグラス・カール・エンゲルバート（Douglas Carl Engelbart、1925年1月30日 - 2013年7月2日）は、アメリカ合衆国の発明家で、初期のコンピュータやインターネットの開発に関与した。特に、SRIインターナショナル内の オーグメンテイション研究センター (ARC) で行ったヒューマンマシンインタフェース関連の業績で知られており、そこでマウスを発明し[3]、ハイパーテキストやネットワークコンピュータやグラフィカルユーザインタフェースの先駆けとなるものを開発した。 エンゲルバートは、コンピュータとネットワークの開発と使用が世界の緊急かつ複雑な問題を解決する助けになるという主張をよく行っている[4]。研究室には自身が "bootstrapping strategy" と名付けた一連の原則を貼っていた。その戦略は研究室での技術革新を加速するようエンゲルバートが設計したもので
Substructural type system - Wikipedia
Ordered type systems (discard exchange, weakening and contraction): Every variable is used exactly once in the order it was introduced. Linear type systems (allow exchange, but neither weakening nor contraction): Every variable is used exactly once. Affine type systems (allow exchange and weakening, but not contraction): Every variable is used at most once. Relevant type systems (allow exchange an
ブラウワーの不動点定理 - 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）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。 概要[編集
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世紀のイギリスの貴族・数学者。主にチャールズ・バベッジの考案した初期の汎用計算機である解析機関についての著作で、
11種類のオペレーティング・システムについてまとめてみた - Qiita
TL;DR 「オペレーティングシステム？知ってるよ。WindowsとかMacのことだよね」というぐらいの知識だった私が、二週間ほどひたすらWikipediaでインプットしまくったクソ浅い情報を共有します。 最初の動機 「Go言語が対応しているアーキテクチャってなんだろ？」 Go言語には環境変数をコンパイラに渡すことで、出力されるバイナリの対応するOSとアーキテクチャを変えることができます。 GOOS がオペレーティングシステム(OS)、 GOARCH がアーキテクチャです。 こんな感じにビルドすると、 linux というオペレーティングシステムで、 ppc64 というアーキテクチャに対応したバイナリが出力されます。 なるほど。 じゃあ、 Go言語が対応しているOSとアーキテクチャって何があるの？ と疑問が湧いてきますね。 その疑問に応えるコマンドが go tool dist list です
宇田川榕菴 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "宇田川榕菴" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2010年6月） 宇田川榕菴 ボルタ電池の解説（舎密開宗より） 化学実験図（舎密開宗より） 宇田川 榕菴（うだがわ ようあん、1798年4月24日（寛政10年3月9日） - 1846年8月13日（弘化3年6月22日）[1]）は、津山藩（岡山県津山市）の藩医で蘭学者。名は榕、緑舫とも号した。宇田川榕庵とも表記される。それまで日本になかった植物学、化学等を初めて書物にして紹介した人物である。元服前の14歳の時、江戸詰めの大垣藩医の家から養子に出され藩医となる。 宇田川家は蘭学の名門と
Space Shuttle Challenger disaster - Wikipedia
Loss of Challenger and crewTeacher in Space Project and subsequent civilian shuttle spaceflights cancelledShuttle fleet grounded for implementation of safety measuresConstruction of replacement orbiter Endeavour. On January 28, 1986, the Space Shuttle Challenger broke apart 73 seconds into its flight, killing all seven crew members aboard. The spacecraft disintegrated 46,000 feet (14 km) above the
違法素数 - Wikipedia
違法素数（いほうそすう/英: illegal prime）とは、素数のうち、違法となるような情報やコンピュータプログラムを含む数字。違法数（英語版）の一種である。 2001年、違法素数の1つが発見された。この数はある規則に従って変換すると、DVDのデジタル著作権管理を回避するコンピュータプログラムとして実行可能であり、そのプログラムはアメリカ合衆国のデジタルミレニアム著作権法で違法とされている[1]。 経緯[編集] DVDのコピーガードを破るコンピュータプログラムDeCSSのソースコード 1999年、ヨン・レック・ヨハンセンはDVDのコピーガード (Content Scramble System; CSS)を破るコンピュータプログラム「DeCSS」を発表した。ところが2001年5月30日、アメリカ合衆国の裁判所は、このプログラムの使用を違法としただけではなく、ソースコードの公表も違法である
バケットホイールエクスカベーター - Wikipedia
ハンバッハ炭鉱で稼働するBagger293 バケットホイールエクスカベーター（ドイツ語: Schaufelradbagger 英語: Bucket Wheel Excavator[1]、BWE）は、露天採掘に用いられる大型建設機械の名称。 長いアーム先端に回転式の巨大なホイールがついており、ホイールの外側に複数の掘削バケットがついている。採掘したい場所にこのホイールを押しあてて回転させ、表土の鉱物を大量に削り取る。BWEにはアームの中にベルトコンベアが通され、採掘された鉱物はこのベルトに送られる。またBWE単体では使用されず、粉砕、散布、堆積など複数の機器の組み合わせによって運用される。下部には無限軌道が装備されており、移動しながら連続的な採掘を可能にした点が大きな特徴である。旧東ドイツ人民公社（Volkseigener Betrieb、略称VEB）のひとつであったタクラフ（TAKRAF
ベン図 - Wikipedia
ベンにゆかりの深いケンブリッジ大学のゴンヴィル・アンド・キーズ・カレッジにはある、ベン図を描いたステンドグラス ベン図（ベンず、もしくはヴェン図、英: Venn diagram）とは、複数の集合の関係や、集合の範囲を視覚的に図式化したものである。イギリスの数学者ジョン・ベン (John Venn) によって考え出された。 ベン図はオイラーによるオイラー図の特殊な場合に相当する。 概要[編集] 図1. オイラーによる部分集合の表し方 複数の集合を考える際には、各集合をひとつの閉曲線（例えば円）で表し、相関関係をその閉曲線の交わり方によって表すことができる。 例えば、オイラーは、集合 A が集合 B の部分集合であることを、図1のように表した。 図2. ベンによる部分集合の表し方 しかし、ベンは同じことを図2のように表した。黒で塗りつぶされた領域は、その領域に元が存在しないことを表す。よって、
エイノ・イルマリ・ユーティライネン - Wikipedia
エイノ・イルマリ・ユーティライネン（Eino Ilmari Juutilainen、1914年2月21日 - 1999年2月21日）は、フィンランドの空軍軍人、パイロット。 最終階級は准尉。愛称は「イッル（Illu）」。ソビエト連邦との冬戦争、継続戦争で、出撃437回、94機＋1/6の撃墜を記録してフィンランド空軍のトップエース・パイロットになった。この公認撃墜数は、100機以上のエースを輩出した第二次世界大戦中のドイツ空軍以外では世界最高位のものである。この撃墜数については、100機に上方修正する新説も出ている[1]。 また、その間殆ど被弾せず、7.7mm機銃弾を1発被弾しただけ（その1発も、爆撃機の旋回機銃によるもので、翼にかすって塗装が剥がれただけ）と言われ[2]、「無傷の撃墜王」と呼ばれた。マンネルヘイム十字勲章を2度受章。上官から士官教育を受けて士官に昇進するように薦められたが、
SI接頭語 - Wikipedia
SI接頭語（エスアイせっとうご、フランス語: Préfixes du SI、英語: SI prefixes、en:metric prefix）は、国際単位系 (SI) において、SI単位の十進の倍量・分量単位を作成するために、SI単位およびいくつかのSI併用単位の前につけられる接頭語である。 日本の計量法では、SI接頭語はSI単位のみならず、非SI単位である法定計量単位（ただし、例外がある。後述）にも付けることができる。 SI接頭語は、国際単位系 (SI) の構成要素として国際度量衡総会 (CGPM) によって決定されている。 名称[編集] 言語学における英語の prefix の訳語としては、接頭語、接頭辞の2つがある[注 1][注 2]。 国際単位系における SI prefix の訳語としては、国際単位系国際文書第9版（2019年）日本語版[1]や理科年表、日本産業規格（JIS Z 80
スラックティビズム - Wikipedia
この項目「スラックティビズム」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：en:Slacktivism 16:35, 21 April 2020 (UTC)） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2020年5月） Facebookで使用されている「いいね！ボタン」は、スラックティビズムの道具として人気である。 スラックティビズム（英: Slacktivism）とは、「怠け者（slacker）」と「社会運動（activism）」とを掛け合わせたかばん語であり、SNSやネット署名などの手軽な手段により、専ら自己満足のために社会運動に参加することに対する蔑称である。 そのような行動は、自分が何かに貢献しているという自己満足を得ること以
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
