トポロジカルソート - Wikipedia
トポロジカルソート（英: topological sort）は、グラフ理論において、有向非巡回グラフ（英: directed acyclic graph, DAG）の各ノードを順序付けして、どのノードもその出力辺の先のノードより前にくるように並べることである。有向非巡回グラフは必ずトポロジカルソートすることができる。 有向非巡回グラフのノードの集合に到達可能性関係 R (ノード x から y への(各辺の向きに逆行しない)経路が存在するとき、またそのときに限り xRy とする)を定めると、R は半順序関係となる。トポロジカルソートとは、この R を全順序になるように拡張したものとみなせる。 例[編集] トポロジカルソートの典型的な利用例はジョブのスケジューリングである。トポロジカルソートのアルゴリズムはPERTというプロジェクト管理手法[1]のスケジューリングのために1960年代初頭に研究
FUD - Wikipedia
FUD（英: Fear, Uncertainty and Doubt、直訳すると「恐怖、不安、疑念」）は、販売、マーケティング、パブリック・リレーションズ[1][2]、政治、プロパガンダで使われる修辞および誤謬の戦術の一種。FUDとは一般に、大衆が信じていることに反するような情報を広めることで、大衆の認識に影響を与えようとする戦略的試みである。例えば、個々の企業が競合他社の製品について悪い印象と憶測を与えるためにFUDを利用する。すなわち、他社製品に乗り換えるにはコストが掛かりすぎると思わせたり、潜在的ライバルでもあるビジネスパートナーに対して影響力を保持しようとしたりする場合である。FUDの技法は粗野で単純な場合もあるし、間接的な手法を使った巧妙なものである場合もある。 この用語は、コンピュータハードウェア業界での偽情報戦術を表す言葉として生まれ、その後より広い意味で使われるようになって
ラッセルのパラドックス - Wikipedia
ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡においてフレーゲの『算術の基本法則』における矛盾を指摘する記述に現れ[1]、1903年出版のフレーゲの『算術の基本法則』第II巻（独: Grundgesetze der Arithmetik II）の後書きに収録された[2]。なお、ラッセルに先立ってツェルメロも同じパラドックスを発見しており、ヒルベルトやフッサールなどゲッティンゲン大学の同僚に伝えた記録が残っている[3][4]。 ラッセルの型理論（階型理論）の目的のひとつは、このパラドックスを解消することにあった[5]。 「それ自身を要素として含まない集合」を「集合」とし、「
代数的構造 - Wikipedia
二つの演算によって決まる代数的構造 環: 加法に関してアーベル群であり、乗法に関して半群（またはモノイド）であり、分配法則を満たす。 体: 0 でない元が乗法に関して群（またはアーベル群）をなす環 演算と作用によって決まる構造 環上の加群: 環の作用するアーベル群 ベクトル空間: 体上の加群 算法や二項演算の項に記す通り、加群やベクトル空間などにいて環や体が与える外部的な作用も適当な方法で内部的な 1 項算法（単項算法）と捉えなおすことができるので、加群やベクトル空間やほかにも同様に作用域を持つ構造である多元環などが、群や環と同様のもの（多くの演算によって決まる構造）として統一的に論ずることもできる。 さらに複雑なもの 代数（多元環）: 乗法の定義された加群やベクトル空間 結合代数: 乗法が結合法則を満たす代数 可換代数: 乗法が可換な結合代数 束: 二つの演算が定義されている集合で、演算
Kotlin - Wikipedia
Kotlinは、ロシア・サンクトペテルブルクにある、ジェットブレインズの研究所で生まれた。 ジェットブレインズ社は Java、Ruby、Python などのプログラミング言語による開発環境などを開発して販売してきた。Kotlinは、同社の経験を活かしJavaをもっと簡潔・安全になるように改良した産業利用向け汎用言語として開発され、2011年7月20日に発表された。 Java仮想マシン上で動作するため、Javaで書かれたプログラムと同程度に速くコンパイルされ同程度に速く動作するとしている。 Javaに望まれている機能であっても互換性を保つために実現できていない機能や、将来のJavaの仕様で実現が予定されている機能から、有用と思われる機能を採用した。また、Java仮想マシンで動く点で似ているスクリプト言語 Groovy や関数型プログラミング言語の要素が強い Scala から、機能や簡易記法（
)
モナド (プログラミング) - Wikipedia
関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
