GitHub人狼 -- みんなでプログラムを書いてカジュアルに遊びたい！

本記事の目的は，みんなでプログラムを書いてカジュアルに遊ぶためのパーティゲーム「GitHub 人狼」を提案することです．以下では，このゲームの遊び方，提案の背景，期待する効果，懸念点について説明します．

「GitHub 人狼」は，ソフトウェア開発プラットフォーム「GitHub」を利用するゲームです．開発チームに紛れ込んだ「人狼」の妨害を回避しながら「村人」達が成果物を完成させることを目指します．

「村人」と「人狼」の勝利条件を以下に示します．

村人の勝利条件は，開発するべき成果物の「仕様」が定義されており，かつ，以下が全て満たされることです．
1. 最終的な成果物が実行可能である．
2. 定義した全ての仕様が実装されている．
人狼の勝利条件は，開発するべき成果物の「仕様」が定義されており，かつ，以下のどちらかが満たされることです．
1. 最終的な成果物が実行可能でない．
2. 定義した仕様のうち実装されていないものがある．

勝利条件が満たされない場合またはルール違反をした場合には敗北となります．

ゲームは以下の流れで進行します．

開発チーム内で相談し，開発するべき成果物の「仕様」を定義します．仕様は，成果物に実装するべき動作についてスライドなどにまとめます．仕様定義に割くことのできる時間は，あらかじめ決めておきます．

GitHub上で開発チームのリポジトリを作成し，メンバーはそれぞれフォークして開発環境を整えます．

開発チームを構成するメンバーそれぞれのロールを決定します．ロールは「村人」と「人狼」のどちらか1つをランダムに割り当てます．ただし，村人の人数が過半数以上となるようにします．

村人は定義した仕様を満たすプログラムの実装を進め，人狼はこれを妨害します．具体的には，以下の手順を繰り返します．

開発に割くことのできる時間は，あらかじめ決めておきます．

開発チームのメンバーは互いにロールを公開し，成果物発表を行って勝利条件を確認して勝敗を決定します．成果物発表では，村人は成果物発表を行い，成果物が実行可能であることおよび全ての仕様が満たされていることを示します．人狼は，成果物が実行可能ではないことまたは満たされていない仕様があることを指摘します．

人数に余裕がある場合はゲームマスターがいても良いです．ゲームマスターは，時間管理，ロール決定，票の収集，過半数の得票があったプルリクエストのマージ，勝利条件の確認を行います．
全ての人狼が合意した場合，投了した上で開発に協力することができます．この場合，村人は勝利となり，人狼は敗北となります．
GitHubを利用するのではなく，GitBucket，GiteaまたはGogsなどを利用しても良いです．

私は，自分が所属するプログラミングサークルにおいて，以下のような部員同士の交流に関する問題を解決し，プログラミングに触れながらカジュアルに交流したいと考えていました．

そして，共同開発に人狼やAmongUsのような駆け引き要素を取り入れることはできないかと考えた結果，上の「GitHub 人狼」を思い付きました．

「GitHub 人狼」で遊ぶことにより，以下の効果が期待できると思います．

以下の懸念点が挙げられます．

遊んでみてから書きます．