この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "川渡り問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2016年12月） 川渡り問題（かわわたりもんだい）は、川岸にいる一団を特定の条件を満たしながら対岸に渡すパズルである。通常論理パズルに分類される。 川に架かっているすべての橋を一度だけ渡る経路を考える問題に関しては一筆書きを参照。 川岸にいる一団を対岸に渡す。 川を渡る手段は小船だけであり、小さいので全員は乗れないため、小分けにして往復する必要がある。 「小船を漕げる者が限定されており、その者が小船に乗っていないと移動できない」という条件が与えられる場合もある。 特定の組み合わ

計画された偶発性理論(英語: Planned Happenstance Theory)とは、スタンフォード大学のジョン・D・クランボルツ教授らが提案したキャリア論に関する考え方。 個人のキャリアの8割は予想しない偶発的なことによって決定される。その偶然を計画的に設計し、自分のキャリアを良いものにしていこうという考え方。 その計画された偶発性は以下の行動特性を持っている人に起こりやすいと考えられる。 1.好奇心[Curiosity] 2.持続性[Persistence] 3.柔軟性[Flexibility] 4.楽観性[Optimism] 5.冒険心[Risk Taking] Mitchell, K. E., Al Levin, S., & Krumboltz, J. D. (1999). Planned happenstance: Constructing unexpected caree

バッカス・ナウア記法（英: Backus–Naur form）とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構文定義にも利用されている。 ジョン・バッカスとピーター・ナウアがALGOL 60 の文法定義のために考案。当初は文脈自由文法の本来の定義に則り or（|）以外の定義はなく、繰り返しは再帰を利用して表現されている。*、?等の量化子はBNFを拡張したEBNFによって導入された。パーサジェネレータを使用して構文解析器を生成する際に、構文を定義するためにも使う。 ISO/IEC 14977:1996においてEBNFの標準が定義されているが、EBNFにもいろいろな

ノックスの十戒（ノックスのじっかい、英: Knox's Ten Commandments）は、ロナルド・ノックスが、1928年に編纂・刊行したアンソロジー THE BEST DETECTIVE STORIES OF THE YEAR 1928 （ヘンリー・ハリントンと共編）[1]の序文において発表した、推理小説を書く際のルールである[2]。「探偵小説十戒」（英: Detective Story Decalogue）[3][4]ともいう。本記事では単に「十戒」と表記する。 S・S・ヴァン＝ダインによる「ヴァン・ダインの二十則」と並んで推理小説の基本指針となっている。 日本では探偵小説家の甲賀三郎が1935年に雑誌『月刊探偵』で紹介（「探偵小説入門」1935年12月号、1936年1月号、4月号）、翌1936年3月には評論家・翻訳家の井上良夫が、ノックス『陸橋殺人事件』の翻訳（柳香書院『世界探偵

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典は脚注などを用いて記述と関連付けてください。（2012年11月） 信頼性について検証が求められています。確認のための情報源が必要です。（2010年7月） 独自研究が含まれているおそれがあります。（2010年7月） 詭弁（詭辯、きべん、希: σοφιστική）とは、主に説得を目的として、命題の証明の際に実際には誤っている論理の展開が用いられている「推論」である。誤っていることを正しいと思わせるように仕向けた議論。奇弁、危弁とも。意図的ではない「誤謬」とは異なる概念である。 日本語で日常的に使われる「詭弁」とは、「故意に行われる虚偽の議論[1]」、「道理に合わないことを強引に正当化しようとする弁論、論理学で外見・形式をもっともらしく見せかけた虚偽の論法[2]」、「実質において論理上虚偽あるいは誤謬でありながら

方針やガイドラインの内容は以下のようにすべきです。 文章が明快である。難解な用語や法律もどきの用語は避けてください。また子供に教え聞かせるような、レベルを落としてやさしくした言い回しも避けてください。平易に、直接的に、曖昧さを避け、具体的に、書いてください。陳腐な言い回しや一般論は避けてください。編集者に対して何かするよう強制したり推奨したりするように直接的に書くことを恐れないでください。 できる限り簡潔に書く。しかしそれ以上簡潔にしない。言葉数を増やしても誤解を防ぐ助けにはなりません。必要のない単語は省略してください。まとまりのない例示より、直接的で簡潔な書き方の方がより明快かもしれません。詳細な説明には脚注や他の文書へのリンクを使うとよいかもしれません。 ルールの精神を強調する。編集者が常識に基づいて判断することを期待しましょう。ルールの精神が明快であるなら、それ以上書かないでください

RAII（Resource Acquisition Is Initialization）は、日本語では「リソース取得は初期化である」「リソースの確保は初期化時に」「リソースの取得と初期化」などの意味を持ち、資源（リソース）の確保と解放を、クラス型の変数の初期化と破棄処理に結び付けるというプログラミングのテクニックである。特にC++とD言語で一般的であり、デストラクタをサポートしないC言語などに対する優位性や利便性のうちのひとつとなっている。 RAIIでは、資源の取得をクラス型変数の構築（初期化）時に、また返却を破壊時に行う。特にプログラムの制御フローが自動変数の属するブロックを抜けるとき、その変数のデストラクタが自動的に呼ばれるため、デストラクタを適切に記述したクラス型変数の寿命が終わるとすぐに資源が返却されることが保証できるようになる。これは例外が発生したときでも同様であるため、RAII

関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語

キオスク (KIOSK) 簡易建造物のこと。 → キオスク 欧州やロシアでは、道端や公園など場所問わず設置されている小さな商店（大きさは日本でのキオスクと同じくらい）を指す。ロシアなどではソ連崩壊・ロシア市場経済成長と共に浸透し広がっている大手スーパーチェーンの進出により、急激に姿を消しつつあると言われる。 日本では駅構内の売店の名称として用いられている。 さらに狭義にはJR駅構内に設置された売店の愛称・ブランド名として使われる。 → Kiosk (JRグループ) キオスク端末（キオスク情報端末） 街頭、店舗内に設置された情報端末のこと。行政手続き、公共施設の予約、チケットの予約、音楽のダウンロードなど、様々な用途として用いられる。 韓国では、店舗内に設置された自動注文機の呼称として使われている。[1] インターネット・キオスク - 公衆にインターネットサービスを提供するキオスク端末。 K

カーゴ・カルト・プログラミング（英: Cargo cult programming）とは、コンピュータープログラミングにおいて、実際の目的には必要のないコードやプログラム構造が儀式的に含められているという状態で特徴づけられる悪習である。カーゴ・カルト・プログラミングは、プログラマが、自身が解決しようとしている課題やバグ、明らかな解決策を理解していないことを示す兆候である（ショットガン・デバッギング（英語版）やブードゥー・プログラミング（英語版）も参照）[1]。 カーゴ・カルト・プログラミングは、目の前の問題について経験の浅いプログラマが、他の場所にあるプログラムコードを、その仕組みや、それが本当に必要かどうかを理解することなしに、別の場所にコピーするときに生じうる。 また、他の場所で見つけてきた設計手法やコーディングスタイルを、それが生まれた背景理由などを理解しないまま盲目的に適用した結果

ウェブブラウザにおけるTLS/SSLの対応状況の変化 ウェブブラウザ バージョン プラットフォーム SSLプロトコル TLSプロトコル 証明書のサポート 脆弱性への対応[注 1] プロトコル選択[注 2] SSL 2.0 (安全ではない) SSL 3.0 (安全ではない) TLS 1.0 TLS 1.1 TLS 1.2 TLS 1.3 EV[注 3][1] SHA-2[2] ECDSA[3] BEAST [注 4] CRIME [注 5] POODLE (SSLv3) [注 6] RC4 [注 7] FREAK [4][5] Logjam Google Chrome (Chrome for Android) [注 8] [注 9]