タグ

2016年3月28日のブックマーク (2件)

  • 「神よ、ご加護を」拒否の無神論者の軍曹、米空軍を提訴の構え

    米コロラド(Colorado)州コロラドスプリングズ(Colorado Springs)で行われた卒業式で宣誓する米空軍士官学校の卒業生ら(2009年5月27日撮影、資料写真)。(c)AFP/Getty Images/John 【9月10日 AFP】米空軍が、「神よ、ご加護を(so help me God)」という文言を含む宣誓を拒否している無神論者の2等軍曹に、この文言で宣誓しなければ除隊するしかないと伝え、2等軍曹側が裁判に訴えようとしていることが9日、関係者の話で分かった。 米ネバダ(Nevada)州クリーチ空軍基地(Creech Air Force Base)所属で氏名が明らかにされていないこの2等軍曹は先月、神に誓いを立てないという理由で、継続の再入隊申請を拒否された。 同2等軍曹を担当する米国ヒューマニスト協会(American Humanist Association)のモニ

    「神よ、ご加護を」拒否の無神論者の軍曹、米空軍を提訴の構え
    h-hirai
    h-hirai 2016/03/28
    この件どうなったかな
  • 型レベルズンドコキヨシ 2 - Qiita

    @ryoppy さんに先を越されてしまったが、こちらはマクロじゃなくて線形合同法でやってみます。 定式化 オリジナルのズンドコキヨシは 「ズン」「ドコ」のいずれかをランダムで出力し続けて「ズン」「ズン」「ズン」「ズン」「ドコ」の配列が出たら「キ・ヨ・シ!」って出力した後終了って関数作ったら満点で単位貰ってた ですが、今回は型レベルで実装したいので、もう少し問題を定式化する必要があります。 ここでは、以下をズンドコキヨシと定義して解くことにします。 定数A, C, Mおよび初期値$X_0$, 閾値Tを与え、次の式でズンドコ列{$Zn$}を生成する (線形合同法) $X_{n+1} = (AX_n+C)modM$ に対し、$Xn >= T$ならズン, $Xn < T$ならドコ $Z_{n-3}, Z_{n-2}, Z_{n-1}, Z_{n}$ = ズン, ズン, ズン, ドコをみたす$n$が

    型レベルズンドコキヨシ 2 - Qiita
    h-hirai
    h-hirai 2016/03/28
    いや、もう、なんだこれ。