Lean (programovací jazyk)

品質:

Lean定理証明支援系 - 定理証明支援系. このプログラミング言語は 453番目 グローバルなウィキペディアランキングで最も人気のあるプログラミング言語 そして 228番目 で最も人気のあるプログラミング言語 チェコ語版ウィキペディア. チェコ語版ウィキペディアの記事「Lean (programovací jazyk)」の品質点は 0.3 点です（2024年8月1日現在）。

この記事は中国語版の中で最も質が高いです。 ただし、この記事で最も人気のある言語バージョンは英語版です。

実績 全期間:

チェコ語版ウィキペディア:

チェコ語版ウィキペディアでは228番目に人気のあるプログラミング言語.

グローバルウィキペディア:

プログラミング言語では453番目に人気のある.

記事「Lean (programovací jazyk)」の作成以来、その内容はチェコ語版ウィキペディアの登録ユーザー 20 名によって書かれ、すべての言語のウィキペディア登録ユーザー 98 名によって編集されました。

Lean定理証明支援系はチェコ語版ウィキペディアのローカル都プログラミング言語ランキングで228位、世界都プログラミング言語ランキングで453位にランクインしている。

この記事はチェコ語版ウィキペディアで 3 回引用され、すべての言語でも 476 回引用されています。

2001 年からの著者の最も関心の高いランキング:

• 地元（チェコ語版）：2023年1月に47431位
• グローバル：2024年6月に28638位

2008 年の最高人気ランキング:

• 地元（チェコ語版）：2022年12月に175371位
• グローバル：2024年7月に160905位

WikiRank データベースには、この記事に関する 12 の言語バージョンがあります(考慮された 55 のウィキペディア言語版のうち)。

品質と人気の評価は、2024年8月1日のウィキペディアのダンプに基づいています (前年の改訂履歴とページビューを含む)。

以下の表は、最高品質の記事の言語バージョンを示しています。

#	言語	品質等級	品質スコア
1	中国語版 (zh) Lean		44.1679
2	英語版 (en) Lean (proof assistant)		39.2322
3	日本語版 (ja) Lean (証明アシスタント)		33.3528
4	ドイツ語版 (de) Lean (Beweisassistent)		31.898
5	スペイン語版 (es) Lean		27.6817
6	ペルシャ語版 (fa) لین (دستیار اثبات)		25.4167
7	ウクライナ語版 (uk) Lean		24.9286
8	ロシア語版 (ru) Lean		21.4148
9	ベトナム語版 (vi) Lean (trợ lý chứng minh)		13.5515
10	オランダ語版 (nl) Lean (bewijsassistent)		10.554

次の表は、記事の最も一般的な言語バージョンを示しています。

#	言語	人気賞	相対的人気度
1	英語版 (en) Lean (proof assistant)		198 539
2	ロシア語版 (ru) Lean		7 610
3	フランス語版 (fr) Lean (assistant de preuve)		5 505
4	日本語版 (ja) Lean (証明アシスタント)		5 106
5	ドイツ語版 (de) Lean (Beweisassistent)		1 729
6	スペイン語版 (es) Lean		808
7	中国語版 (zh) Lean		355
8	ウクライナ語版 (uk) Lean		323
9	チェコ語版 (cs) Lean (programovací jazyk)		251
10	ベトナム語版 (vi) Lean (trợ lý chứng minh)		182

次の表は、先月で最も人気のあった記事の言語バージョンを示しています。

#	言語	人気賞	相対的人気度
1	英語版 (en) Lean (proof assistant)		11 293
2	日本語版 (ja) Lean (証明アシスタント)		654
3	ドイツ語版 (de) Lean (Beweisassistent)		561
4	ロシア語版 (ru) Lean		330
5	中国語版 (zh) Lean		226
6	フランス語版 (fr) Lean (assistant de preuve)		163
7	スペイン語版 (es) Lean		110
8	チェコ語版 (cs) Lean (programovací jazyk)		15
9	オランダ語版 (nl) Lean (bewijsassistent)		15
10	ベトナム語版 (vi) Lean (trợ lý chứng minh)		14

次の表は、著者の関心が最も高い記事の言語バージョンを示しています。

#	言語	著者の関心賞	著者の相対的関心
1	英語版 (en) Lean (proof assistant)		53
2	フランス語版 (fr) Lean (assistant de preuve)		9
3	ドイツ語版 (de) Lean (Beweisassistent)		8
4	ロシア語版 (ru) Lean		8
5	日本語版 (ja) Lean (証明アシスタント)		7
6	スペイン語版 (es) Lean		3
7	ベトナム語版 (vi) Lean (trợ lý chứng minh)		3
8	オランダ語版 (nl) Lean (bewijsassistent)		2
9	ウクライナ語版 (uk) Lean		2
10	チェコ語版 (cs) Lean (programovací jazyk)		1

次の表は、先月に著者の関心が最も高かった記事の言語バージョンを示しています。

#	言語	著者の関心賞	著者の相対的関心
1	英語版 (en) Lean (proof assistant)		1
2	スペイン語版 (es) Lean		1
3	日本語版 (ja) Lean (証明アシスタント)		1
4	オランダ語版 (nl) Lean (bewijsassistent)		1
5	チェコ語版 (cs) Lean (programovací jazyk)		0
6	ドイツ語版 (de) Lean (Beweisassistent)		0
7	ペルシャ語版 (fa) لین (دستیار اثبات)		0
8	フランス語版 (fr) Lean (assistant de preuve)		0
9	ロシア語版 (ru) Lean		0
10	ウクライナ語版 (uk) Lean		0

次の表は、引用数が最も多い記事の言語バージョンを示しています。

2024年9月6日の多言語ウィキペディアでは、インターネット ユーザーは次のトピックに関する記事を最もよく読んでいます: リンキン・パーク、チェスター・ベニントン、ロブ・ボードン、エミリー・アームストロング、クリスティアーノ・ロナウド、UEFAネーションズリーグ、ビートルジュース、ジェシカ・ペグラ、マイク・シノダ、レベッカ・チェプテゲイ。

チェコ語版ウィキペディアでその日に最も人気のあった記事は次のとおりです: Radek Ptáček、Linkin Park、Eva Vrabcová Nývltová、Emily Armstrong、Jana Štěpánková、Viktor Kalivoda、Chester Bennington、Rob Bourdon、Ivo Šmoldas、Amateri.cz。

このプロジェクトは、さまざまな言語版の Wikipedia の記事を自動的に相対評価することを目的としています。 現時点では、このサービスでは 55 の言語で 4,400 万件以上の Wikipedia 記事を比較できます。 記事の品質スコアは、2024年8月のウィキペディアのダンプに基づいています。 著者の現在の人気と関心を計算する際には、2024年7月のデータが考慮されました。 著者の人気と関心の歴史的価値について、WikiRank は 2001 年から 2023 年までのデータを使用しました。 詳しくは