大分県姫島村。この村の村長選は1955年に選挙戦が行われて以降、現在まで61年間、選挙が行われていません。1名の候補者以外に対抗馬となる候補者が立候補しておらず、16回連続で無投票に終わっています。これは首長選としては全国最多であり、今年11月に予定されている村長選でも現職の藤本昭夫氏しか今のところ立候補の予定がなく無投票になることが予想されています。今回はこの姫島村長選にスポットを当ててみます。 投票が行われた最後の姫島村長選は1955年でした。この選挙は公職追放を受けて解除されたばかりの元村長の藤本憲吉氏と新人の鹿野亀太郎氏の一騎打ちとなり、村内を二分する激しい戦いになりました。そして、藤本憲吉氏が1,166票対1,061票の僅差で勝利しました。 しかし、藤本憲吉氏は1957年に甥が村有地から石を盗掘した疑いが村議会で問題となり、その直後に病気を理由に辞職。その後の村長選では前回の選
静的型チェックがあったらテストはあまり書かなくて良いのか - $shibayu36->blog; で静的型チェックがあったとしても、テストをあまり書かなくて良いわけではないという話を書いた。するとブコメでいろいろ意見をもらえた。これらの意見から、関数の仕様を正しく実装していることをどう保証するのかについてもう少し深く考えてみようと思い、その考えがまとまってきたので、ブログに書いておく。 一応前提として、今回の話は自分の経験とこれまでの本を読んだ知識を元に自分で考えたものであり、何かの理論に則って話しているわけではない。この部分が違うなどあれば突っ込みを受けたい。 今回考える仕様 このようなことを考える時、非常にシンプルに考えたほうが理解がしやすいので、以下の様な仕様を持つ関数addNaturalIntを考える。 関数addNaturalIntは正の整数を二つ受け取り、足しあわせて正の整数を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く