)
Brave (ウェブブラウザ) - Wikipedia
brave.com brave4u7jddbv7cyviptqjc7jusxh72uik7zt6adtckl5f4nwy2v72qd.onion (ヘルプ) Brave（ブレイブ）は、Brave Software社によって開発されているウェブブラウザである[5]。Chromiumをベースとしており、Windows、macOS、Linux、iOS、Android版が存在し[6]、オープンソースで開発されている[7]。広告とトラッカーをブロックする機能（アドブロック）を標準装備し、ユーザーのプライバシーの保護、そして高いパフォーマンスを実現できることを売りにしている[8][9]。 歴史[編集] 2015年、JavaScriptの開発者として知られるブレンダン・アイクがBrave Softwareを設立し、Braveの開発を始めた[7]。2016年2月にはiOS版とAndroid版がリリースされ
石田流 - Wikipedia
石田流（いしだりゅう）は、振り飛車における駒組みの一つである。三間飛車からの変化の一種で、▲7五歩（後手ならば△3五歩）と突いて飛車を高位置に配置する構えを言う。 歴史[編集] 石田流の誕生[編集] 上方では宗無流と呼ばれ[1]、江戸時代中期に盲目の棋士[2]・石田検校が生み出したと伝わる[3][4]。例えば、俳人の各務支考の「将棋の賦」という文章に「さて角行は物の影に扣（ひか）えて千里の外の勝を窺ふ。いづれの時よりか石田といへる馬組（こまぐみ）に、香車道に身を隠し、おほくは金銀と引組、飛車のために命を惜しまず死後の勇気をふるふより、かの仲達も遥かに恐れつべし。」とあり、明治の文豪幸田露伴がそれに付した注釈（将棋雑話）に「石田といへる馬組（こまぐみ）は石田検校の案じ出せる陣法にして、敵の未だ戦意を発せざるに乗じ、急（にわか）に突撃悪闘して我が上将を失ふも顧みず、只管（ひたすら）敵陣を粉砕す
コピーオンライト - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "コピーオンライト" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年6月） コピーオンライト (Copy-On-Write) とは、コンピュータプログラミングにおける最適化戦略の一種である。COWと略記することもある。 コンピュータ内部で、ある程度大きなデータを複製する必要が生じたとき、愚直な設計では、直ちに新たな空き領域を探して割り当て、コピーを実行する。 ところが、もし複製したデータに対する書き換えがなければその複製は無駄だったことになる。 そこで、複製を要求されても、コピーをした振りをして、とりあえず原本をそのまま参照させる
リュカ数列 - Wikipedia
この項目では、一般のリュカ数列について説明しています。フィボナッチ数の同伴数列については「リュカ数」をご覧ください。 リュカ数列（リュカすうれつ）またはルーカス数列（ルーカスすうれつ）(Lucas sequence)とは、二次の整係数方程式 G(x) = x2 − Px + Q = 0 の二つの解 に対し、 という関係式を満たす数列として定義される数列である。 リュカ数列は二階線形回帰数列の一種で、フィボナッチ数、リュカ数、ペル数, メルセンヌ数など数論に現れる重要な数列がこれに属する。 用語[編集] Un , Vn を( P , Q )に伴うリュカ数列という。Vn を同伴リュカ数列と呼ぶこともある。 α/β が1の冪根であるとき Un , Vn を退化(degenerate)、そうでないとき非退化(non-degenerate)という。 D を割り切らない素数 p が Un を割り切るが
二分ヒープ - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "二分ヒープ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2014年12月） 最大ヒープによる二分ヒープの例 二分ヒープ（にぶんヒープ,バイナリヒープ,Binary heap）とは、二分木を使って作られるヒープ(データ構造)の特に単純な種類のひとつである。それは、二分木に、以下の2つの制約を追加したものとみなせる。 要素間の順序関係に従った比較によって、各々のノードはそのノードの子よりも大きいか等しくなるように配置される（heap property） 木は完全にバランスの取れた二分木（すべての葉は同じ高さにある）になるか、木のもっとも高
Base64 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Base64" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年12月） Base64は、データを64種類の印字可能な英数字のみを用いて、それ以外の文字を扱うことの出来ない通信環境にてマルチバイト文字やバイナリデータを扱うためのエンコード方式である。MIMEによって規定されていて、7ビットのデータしか扱うことの出来ない電子メールにて広く利用されている。具体的には、A、…、Z、a、…、z、0、…、9 の62種類の文字[注釈 1]と、2種類の記号 (+、/)、さらにパディング（余った部分を詰める）のための記号として = が用いられる。
)
Mono (ソフトウェア) - Wikipedia
Mono（モノ）は、GNOMEプロジェクト創設者のミゲル・デ・イカザが開発した、Ecma標準に準じた.NET Framework互換の環境を実現するためのオープンソースのソフトウェア群、またそのプロジェクト名である。 2018年3月現在、マイクロソフトの子会社であるXamarinと.NET Foundationが開発、販売、サポート業務を行っている。 共通言語基盤 (CLI) の実装やC#のコンパイラなどが含まれる。 動作プラットフォーム[編集] Monoはマルチプラットフォームであり、Linux、macOS、iOS、tvOS、watchOS、Android、Solaris、IBM AIX/IBM i、BSD (OpenBSD, FreeBSD, NetBSD)、Windows、PlayStation 4、Xbox One、Xbox Series X/Sで動作する[2][3]。 特定プラッ
リーマン・ショック - Wikipedia
リーマン・ショックは、アメリカ合衆国で住宅市場の悪化によるサブプライム住宅ローン危機がきっかけ[1]となり投資銀行のリーマン・ブラザーズ・ホールディングスが2008年9月15日に経営破綻し、そこから連鎖的に世界金融危機が発生した事象である[2][注釈 1]。これは1929年に起きた世界恐慌以来の世界的な大不況である。 「リーマン・ブラザーズ」は1850年に創立された名門投資銀行であり、1990年代以降の住宅バブルの波に乗ってサブプライムローンの積極的証券化を推し進めた結果、アメリカ五大投資銀行グループの第4位にまで上り詰めた。しかし、サブプライム住宅ローン危機による損失拡大により、2008年9月15日に連邦倒産法第11章（チャプター11）を申請して経営破綻した[3]。この破綻劇は負債総額約6000億ドル（約64兆円）というアメリカ合衆国の歴史上最大の企業倒産であり[3]、世界連鎖的な信用収
三角数 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年3月） 三角数（さんかくすう、英: triangular number）とは、多角数の一種で、点を正三角形の形に並べていったときの点の総数のことである。n番目の三角数は 1 から n までの自然数の和に等しい。 定義と例[編集] 一辺に n 個の正三角形となるように点を等間隔に並べたときの点の総数は1 から n までの自然数の和に等しくなり、 と表される。 これを n番目の三角数といい、Tn で表す。三角数は無数にあり、最小のものは 1 である。 例えば 10 は一辺に点を4個並べたときに該当するので三角数の一つである。 1 3 6 10 15 21 特に三角数 10 (= 1 + 2 + 3 + 4) はピタゴラス（学派
圏論 - Wikipedia
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 概要[編集] 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。
)
モナド (プログラミング) - Wikipedia
関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語
エイト・クイーン - Wikipedia
n-クイーン[編集] 一辺のマスをnとした変形版を「n-クイーン」パズルという。例えば「4-クイーン」では4×4のマスで4個の駒を使用する（他にも縦横比が1:1ではない矩形や、ペグ・ソリティアの盤面、不定形などいろいろ考えられるがここでは言及しない）。 2-クイーンと3-クイーンには解がない。 4-クイーン以上なら一辺のマス数に等しい数のクイーンが置ける。 単純に見てnが増えるのに従って、全マス数n2個に対し置く駒の数はn個であるから、置ける場所（の候補）の増え方により、解の数には組合せ爆発が起きる（ただしnが5から6に増える場合は解の数が減少する）。2009年にドレスデン工科大学で26-クイーンが計算された[1]。現在すべての解が判明している最大のものは、2016年にQ27 Projectによって計算された27-クイーンである[2]。 n=27までの解は次の通り[3]。 n 基本解 バリ
コードの臭い - Wikipedia
コードの臭い（こーどのにおい、英: Code smell）とは、コンピュータプログラミングにおいてプログラムのソースコードに深刻な問題が存在することを示す何らかの兆候のことを言う。 コードの臭いが示す深刻な問題は、小さく管理された手順でリファクタリングする短いフィードバックサイクルを廻し、それ以上のリファクタリングが必要なことを示すコードの臭いがないかどうか、設計を検査しなければならない。 リファクタリングを実施するプログラマの視点からは、コードの臭いはいつリファクタリングするか、どのリファクタリング手法を用いるか、発見するための方法である。すなわち、リファクタリングを後押しするものである。 「コードの臭い(code smell)」という呼び方は、ケント・ベックがWardsWikiで初めて用いたようである。マーチン・ファウラーの著書 Refactoring. Improving the D
メタプログラミング - Wikipedia
メタプログラミング (英語: metaprogramming) [注釈 1]とはプログラミング技法の一種で、一般に「プログラムを記述するプログラム」を書くこと、またはそのプログラムを指す[1]。対象言語に埋め込まれたマクロ言語によって行われることもある。 概要[編集] 一般に、スクリプト言語はメタプログラミングが得意だとされている。コンパイル型言語は実行前にソースコードを一括で変換するという特性上、翻訳と実行を繰り返すスクリプト言語よりも実行時の割り込みや変換の自由度が低い[2]。 代表的なメタプログラミングの例はLispのマクロである。Lispはデータ、コードが全てS式で表現されるが、マクロによりS式が言語処理系に解釈される前に別なS式へと変換することができる。これにより例えば、 という記述から 構造体定義 point型 コンストラクタ make-point (省略時の初期値は0, 0)
東電OL殺人事件 - Wikipedia
事件現場となったアパート 渋谷区円山町 東電OL殺人事件（とうでんオーエルさつじんじけん、東京電力女性社員殺害事件とも[1]）とは、1997年（平成9年）3月9日未明に、東京電力の管理職であった女性が、東京都渋谷区円山町にあるアパートで殺害された未解決事件。 事件の概要[編集] この事件では、被疑者としてネパール人の男性が犯人として逮捕・有罪判決を受け、横浜刑務所に収監されたものの、のちに冤罪と認定され無罪判決を得た。現在も警視庁捜査一課特命捜査対策室で捜査中。2010年の刑事訴訟法改正による時効撤廃を受け、死刑か無期懲役の確定後に再審無罪になった事件で再捜査が行われる初めてのケースとなった[2]。 事件の流れ[編集] 1997年（平成9年）3月19日午後5時すぎ、東京都渋谷区円山町にあるアパートの1階空室で、東京電力株式会社(当時)本店に勤務する女性（当時39歳）の他殺遺体が発見された。
C Sharp - Wikipedia
C#（シーシャープ）は、マイクロソフトが開発した、汎用のマルチパラダイムプログラミング言語である。C#は、Javaに似た構文を持ち、C++に比べて扱いやすく、プログラムの記述量も少なくて済む。また、C#は、Windowsの.NET Framework上で動作することを前提として開発された言語であるが、2023年現在はクロスプラットフォームな.NETランタイム上で動作する。 デスクトップ・モバイルを含むアプリケーション開発や、ASP.NETをはじめとするWebサービスの開発フレームワーク、ゲームエンジンのUnityでの採用事例などもある。 マルチパラダイムをサポートする汎用高レベルプログラミング言語で、静的型付け、タイプセーフ、スコープ、命令型、宣言型、関数型、汎用型、オブジェクト指向（クラスベース）、コンポーネント指向のプログラミング分野を含んでいる。 共通言語基盤 (CLI) といった周
片山右京 - Wikipedia
片山 右京（かたやま うきょう、男性、1963年5月29日 - ）は、神奈川県相模原市出身のレーシングドライバー、登山家、自転車競技選手。KATAYAMA PLANNING株式会社 代表取締役。 神奈川県相模原市の名誉観光親善大使、白山ジオトレイル名誉顧問、大阪産業大学工学部客員教授。 来歴[編集] この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "片山右京" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年5月） 生い立ち[編集] 東京都生まれ、神奈川県相模原市（南区）鵜野森育ち[2]。相模原市立鹿島台小学校に通い[3]、登山愛好家だった父の影響もあり、この頃から自転車や登山にい
ジャコモ・カサノヴァ - Wikipedia
ジャコモ・カサノヴァ（Giacomo Casanova、1725年4月2日 - 1798年6月4日）は、ヴェネツィア出身の術策家（aventurier）であり作家。その女性遍歴によって広く知られている。彼の自伝『我が生涯の物語』Histoire de Ma Vie（訳題『カザノヴァ回想録』）によれば、その生涯に1,000人の女性とベッドを共にしたという。 生涯[編集] ジャコモ・カサノヴァは1725年、ヴェネツィアに生まれた。彼の母親は女優ザネッタ・ファルッシ、その夫は俳優ガエタノ・ジュゼッペ・カサノヴァであったため、息子ジャコモは姓「カサノヴァ」を名乗った。しかし、ジャコモの実の父親は、この夫婦がこの時期に所属していたサン・サムエーレ劇場の所有者である貴族、ミケーレ・グリマーニであると考えられている。ジャコモは母ザネッタが産み、成人した5人の子供のうち最も年長だった。弟フランチェスコ（1
バッカス・ナウア記法 - Wikipedia
バッカス・ナウア記法（英: Backus–Naur form）とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構文定義にも利用されている。 ジョン・バッカスとピーター・ナウアがALGOL 60 の文法定義のために考案。当初は文脈自由文法の本来の定義に則り or（|）以外の定義はなく、繰り返しは再帰を利用して表現されている。*、?等の量化子はBNFを拡張したEBNFによって導入された。パーサジェネレータを使用して構文解析器を生成する際に、構文を定義するためにも使う。 ISO/IEC 14977:1996においてEBNFの標準が定義されているが、EBNFにもいろいろな
バーナム効果 - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2014年2月） バーナム効果（バーナムこうか、英: Barnum effect）とは、星座占いなど個人の性格を診断するかのような準備行動が伴うことで、誰にでも該当するような曖昧で一般的な性格をあらわす記述を、自分、もしくは自分が属する特定の特徴をもつ集団だけに当てはまる性格だと捉えてしまう心理学の現象。 概要[編集] 1956年にアメリカ合衆国の心理学者、ポール・ミール（英語版）が、興行師 P・T・バーナムの "we've got something for everyone"（誰にでも当てはまる要点というものがある）という言葉に因んで名付けた。アメリカの心理学者バートラム・フォア（英語版）名をとってフォアラー効果（Forer effect）ともいう[1]。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
