Debian プロジェクトリーダ選挙 2010

スケジュール

指名期間: 2010 年 3 月 5 日、金曜日 00:00:00 UTC 2010 年 3 月 11 日、木曜日 23:59:59 UTC
選挙運動期間: 2010 年 3 月 12 日、金曜日 00:00:00 UTC 2010 年 4 月 1 日、木曜日 23:59:59 UTC
投票期間: 2010 年 4 月 2 日、金曜日 00:00:00 UTC 2010 年 4 月 15 日、木曜日 23:59:59 UTC

プロジェクトリーダの次の任期は 2010 年 4 月 17 日から始まることに注意してください。

候補者

  1. Stefano Zacchiroli [[email protected]] [自己推薦メール] [活動方針]
  2. Wouter Verhelst [[email protected]] [自己推薦メール] [活動方針]
  3. Charles Plessy [[email protected]] [自己推薦メール] [活動方針]
  4. Margarita Manterola [[email protected]] [自己推薦メール] [活動方針]

データと統計

今年も、例年通り投票期間中は、定期的に投票と承認に関するいくつかの統計が集められます。さらに、投票者一覧 が記録されます。また、集計シートが用意され、見られるようになります。 プロジェクトリーダ選挙では匿名での投票を行います。 そのため、集計シートは投票者の名前に代えて別名のハッシュを使って生成されます。 当該投票者には謝辞とともにこの別名が送られるため、 自分の投票が正しく集計されているか確認することができます。 投票中は集計シートはダミーです。 投票が終わると、最終的な集計シートが置かれます。 非公開の投票の場合は、ダミーの集計シートの md5sum は無作為に生成されることに注意してください。そうしないと md5 ハッシュと投票者に関連する情報がダミーの集計シートから漏洩するためです。

定足数

現在の投票中の開発者一覧より:

 現在の開発者数         = 886
 Q ( sqrt(#devel) / 2 ) = 14.8828760661372
 K min(5, Q )           = 5
 定足数  (3 x Q )       = 44.6486281984117

定足数

多数の要請

どの候補も、選出には単純過半数が必要となります。

過半数

結果

結果を視覚化した図

上の図で、ピンクの項目はそのオプションが規定の得票率を得られなかったこと、 青は勝者をそれぞれ示します。デフォルトに負けたものは八角形になります。

以下の表で、[行 x][列 y] は選択 x が選択 y より好ましいという投票数を表します。 勝敗表のもっと詳しい説明が表の理解に役立つかもしれません。 Condorcet 方式の理解には、Wikipedia の項目 がかなり参考になるでしょう。

勝敗表
 選択肢
  1 2 3 4 5
選択肢1   300 373 271 395
選択肢2 102   334 177 375
選択肢3 33 47   53 217
選択肢4 124 207 332   366
選択肢5 28 39 183 48  

二行目の一列目を見ると、Wouter Verhelst
が Stefano Zacchiroli よりも良いとする票が 102 票

一行目の二列目を見ると、Stefano Zacchiroli
が Wouter Verhelst よりも良いとする票が 300 票

二つ一組での勝敗

The Schwartz Set contains

勝者

Debian では投票に Condorcet 方式を使用します。 このように、そのままの Condorcets 方式が提示されています。
「候補の総当たりを双方向で判断します。Condorcet の勝者は、 もしある候補が他の候補に対して双方向で判断しそれぞれに勝っていれば、その候補に決定します。」 問題は選挙が複雑になることで、A は B に勝ち、B は C に勝ち、C は A に勝つ、という三つ巴のような関係になることもあります。 Condorcet の派生版では多くが様々な方法により均衡を解決します。 詳細については Cloneproof Schwartz Sequential Dropping を参照してください。 Debian の場合は憲章の、特に A.6 で細かく規定されています。

Debian プロジェクト書記