web-dev-qa-db-ja.com

type-theory

「P = NP?」とは何ですか。なぜそんなに有名な質問ですか?

O(1/n)アルゴリズムはありますか?

「現代の」正規表現の認識力

Turing-DecidableとCo-Turing-Decidableの違い

正規表現からNFAを作成する手順

再帰的言語と帰納的可算言語の違いは何ですか

関数点の計算方法

AgdaとIdrisの違い

Data.Voidの不条理な機能は何に役立ちますか?

パラメトリック多型とより種類の高い型の違いは何ですか?

存在タイプとは何ですか?

C#では、なぜStringは値型のように振る舞う参照型なのでしょうか。

ValueTypeはどのようにObject(ReferenceType)から派生し、それでもValueTypeのままですか?

Guidは値型または参照型と見なされますか?

Scalaのパス依存型とはどういう意味ですか?

Haskellの型システムが他の言語の型システムよりも「強力」な理由は何ですか?

Scalaのthis型、抽象型などを使用してSelf型を実装する方法は?

C#の参照型と値型の違いは何ですか?

クロージャでの変数キャプチャの詳細な説明

AutoMapperは、値型(列挙型)と参照型をマッピングできますか? (ストリング)

依存型メソッドタイプの魅力的なユースケースは何ですか?

インターフェイス値のスライスをタイプアサートできますか?

scalaが依存型を明示的にサポートしない理由は何ですか?

なぜ依存して入力しないのですか?

列挙型は参照型または値型ですか?

Scala:具体的なインスタンスの戻り値の型でメソッドを実装する

Convert.ToBooleanが「0」値で失敗する

オブジェクトは参照型ですか、それとも値型ですか?

Java言語ルールのため、またはjvmのために、バイトの追加はintに変換されますか?

AnyObjectとAny in Swift

代数的データ型をScala

タイプアサーション/タイプスイッチのパフォーマンスが悪い/ Goで遅いですか?

PHP 7でのnull許容の戻り値の型

型ヒントを使用して複数の戻り値の型を指定する方法

HaskellとIdr​​isの違い:タイプユニバースでのランタイム/コンパイル時間の反映

PHP 7つのインターフェイス、戻り値のタイプのヒント、およびself

型変数を関数に渡す

Typescript:オブジェクトのすべてのプロパティは同じ型でなければならないことを宣言します

Python Enum値の注釈を入力

キーワード "呼び出し可能"でPHP

明確にするために新しいタイプ/データを作成するのは悪いフォームですか?

パターンマッチングにおけるメソッドの型推論とクラス型パラメーターの違い

Yコンビネーターとは何ですか?

8歳のビッグオー?

C#での「constの正確さ」

一般的なデータ構造のインデックス作成、挿入、削除の時間の複雑さは何ですか?

Big O表記とは何ですか?使っていますか?

C ++のハッシュテーブル?

分散ハッシュテーブル(DHT)の簡単な基本的な説明

再帰から反復への道

優れた安定したC ++ツリー実装とは何ですか?

一定の償却時間

コンピュータサイエンスのNPコンプリートとは何ですか?

参照の透明性とは何ですか?

特定のノードを訪問するグラフで最短経路を見つける

マルチセット、マップ、およびハッシュマップの複雑さ

多重継承の正確な問題は何ですか?

list :: size()は本当にO(n)ですか?

チューリングマシンとは?

GraphVizには大きすぎる無向グラフの視覚化

有向グラフにおけるサイクルを検出するための最良のアルゴリズム

チェスに最適なアルゴリズムはありますか?

XKCDのWolframのルール34

2つのノードが接続されているかどうかを確認するにはどうすればよいですか?

フィボナッチ数列の計算量

コンウェイのライフゲームを万能チューリング機械として分類できるのはなぜですか?

ファジー論理とは何ですか?

数値の配列から最小値または最大値を取得する最良の方法は何ですか?

フラクタルをプログラムするには?

画像処理と物体認識についてどこから学び始めますか?

レイマンの用語でのポンピング補題とは何ですか?

言語がLL(1)LR(0)SLR(1)であるかどうかを判断する方法

プログラムを証明できないのはなぜですか?

「Big O」表記のわかりやすい英語の説明は何ですか?

エントロピーのコンピューターサイエンスの定義は何ですか?

無向グラフのサイクル

ネストされたforループの時間の複雑さ

SQL Serverスキーマはどの程度優れていますか?

有向グラフですべてのサイクルを見つける

ゲームは最も複雑な/印象的なアプリケーションですか?

有向グラフが非循環であるかどうかを確認するにはどうすればよいですか?

コンピュータがユーザー提供の例によって正規表現を「学習」することは可能ですか?

数値の絶対値を取得する最も速い方法はどれですか

グラフが代替案よりもうまく解決できる問題の良い例は何ですか?

指定された2つのノード間のパスを見つけますか?

C#グラフ描画ライブラリ?

グラフ(エッジ+ノード)を作成するための単純なJava API)を探しています

線形時間でソートしますか?

どのプログラミング言語がコンテキストフリーですか?

言語Xに適したネットワークグラフライブラリは何ですか?

O(N log N)複雑さ-線形に似ていますか?

データベーストランザクションとは何ですか?

pythonリスト関数の実行時の複雑さはどれくらいですか?

簡単なデータベースエンジンの作成方法

SQLステートメントを簡略化するための一般的な規則

len()関数のコスト

.NETコンソールアプリケーション終了イベント

飢starとは何ですか?

(まばらな)グラフの直径を見つけるための良いアルゴリズム?

PrimではなくKruskalを使用する必要がある場合(およびその逆)