もし、無関係の男性宅に違法と見なせるファイルがあったら逮捕されます。

つまり、わざと間違える振りして、
堂々と無関係の家に家宅捜索を行う方法だということですね。

そんなに単純じゃない。というか法がそんな間抜けな設計のわけねえだろ。ちゃんと計算されてる。角度とか。いや、正直あんまり計算されてない気もするけど、この件に関しては計算されてる。

間違えたふりをしてわざと無関係の家に対し家宅捜索を行うのは、令状主義の精神を没却するような重大な違法と考えられるので、警察が実際そういうことをしてばれたら、その家宅捜索で得た証拠は証拠能力を失います。だから違法な家宅捜索をすると、重要証拠の証拠能力をなくしてしまう危険があります。また当然、国民の警察に対する信頼も失うことになります。「ばれたら」の話とはいえ、警察にとってかなり危険な選択だと思います。

非常に小さな牌

確かに小さそうだけど

重箱の隅をつついただけで批判する気になるのはいかがなものか。

えーと、書き方が悪かったようですが、僕の指摘は重箱の隅をつついただけではありません。僕は本書で HAL/S を駄作と評する根拠がいろいろガタガタだと指摘しています。

あと、 BASIC にも HAL/S と同様、代入演算子というのはないのですけれど、 firewheel さんはたぶんご存じないのでしょうね。

目の付け所は面白いと思いますが、 PDF 版の第 3 章「演算」 (12～14 ページ) を眺めて 2005 年版言語仕様 (英語) と照らし合わせてみたところ、内容の正確性に疑問が残ります。

• ** は「階乗演算子」と説明されていますが (p. 12)、正しくは「べき乗演算子」です (言語仕様 6-4 ページの表 6-2)。
• 論理否定 ￢ の優先順位が定義されていないという記述があります (p. 13)。言語仕様 6-11 ページの図 6-10 によれば、 ￢ を論理否定の単項演算子として使う場合、括弧を付けなければならないことになっているので、優先順位が問題になることはありません。単項演算子 ￢ はこのほかにビット否定や「イベント」の否定にも使われますが (「イベント」というのが何であるかは僕は把握してない)、構文によればこの単項演算子がとれるのは単独の変数か括弧に入った式と指定されているので、優先順位が最高と指定されているのと同じことです。 (なお記号 ￢ 自体は他の記号と組合せて別の演算子を作るのにも使われます。「￢=」で非等価など。)
• ちなみに p. 12 の演算子の優先順位の表には「否定演算子 ￢」というのが入っていますが、これが入っているのは p. 13 の記述と矛盾しますし、言語仕様にもこういう記述はないみたいなので、 p. 12 の表に入っていること自体が誤りではないかと思います。
• = は「代入演算子」と説明されていますが (p. 13)、演算子としての「=」は等価比較であり (言語仕様 6.2.1 節など)、 C でいう == と同じです。 HAL/S には代入文 (言語仕様 7.3 節) はありますが、「代入演算子」なるものは存在しないようです。
• 「E は G の下添字、つまり対数 G の logE を示す」 (p. 13) というのは僕には意味不明ですが、下付きは配列の添え字等を表します (言語仕様 2.4 節と 5.3 節)。対数は無関係。

他の章はまともかもしれませんが、 3 ページしかない章の中にこれだけ言語仕様と食い違う点があると、残りを読む気があまり起きないというのが正直なところ。もう少し慎重に事実確認をしてくれればなあと思います。特に、先人のしたことを「悲惨極まりない」と酷評するのであればなおさらです。目の付け所は面白いだけに、もったいない感じがします。

この大会で優勝するような、おそらく数理的思考・プログラミング・スケジューリング等の能力がずば抜けて高い学生にとって、今回初開催で次回があるかどうかもわからない大会で優勝したって実績を履歴書に書けることが、そんなに重要なんですかね。

(この大会で優勝することが能力が高いことを意味するかどうかというと、僕はちゃんと大会の中身を見てないので本当のところは知らないけど、そこは措いて。)

まあ知っている人は今更だし、知らない人はたぶん興味ないだろうという気もするけれど、何となく Hacker Cup とは何かについて書いてみる。ちなみに僕は Facebook やってなくて Hacker Cup に参加したこともない。

Hacker Cup は Facebook が主催するアルゴリズム系プログラミングコンテスト。昨年第 1 回が開催されて、今年は第 2 回。指定された問題を解く効率的なアルゴリズムを設計し正しく実装するだけの簡単なお仕事です。意味がわからない人は過去問見た方がわかりやすいかもしれんけど Facebook アカウント持ってない僕は過去問にアクセスできない。

Google Code Jam とか TopCoder Open Algorithm Competition (今年のページはまだないみたいので去年のページ) とかを知っているなら、その辺と似た大会だけど、 GCJ とか TCO とか知っている人は Hacker Cup も知ってるだろという気がする。 Hacker Cup は、使うプログラミング言語を問わない GCJ タイプのコンテスト。

問題は全部英語。決勝以外はオンラインで行われる。予選は米太平洋時間の 1 月 20 日午後 4 時から 72 時間で、この期間内に 1 問でも正しく解けば予選通過。その後 3 回のオンラインラウンドを経て、勝ち残った 25 人が 3 月 16・17 日にカリフォルニア州メンロパークで開催される決勝に招待される。詳しくは Hacker Cup の FAQ を参照のこと。あと僕が書いた情報が間違っていても責任取らない。

ちなみに名前は Hacker Cup だから、勝手に「W」とか入れないでほしい気がするけど、まあどうでもいい。

タブレット PC もスマートフォンも持っていない僕は明らかに勝ち組。

年末年始を Haskell プログラミングで過ごした僕は勝ち組。勝ったと思い込んでいる人の意味で。

ぎゃー! おっしゃる通りです。恥ずかしい…。

補足。

ニュージーランドでもボジョレー・ヌーボーは売っているようですね。参考: Beaujolais Nouveauが昨日解禁！ボジョレーヌーボ♪ (ニュージーランド情報ブログ)。現地の何時から売っているかは知りません。

ただし、ニュージーランドでは、ボジョレー・ヌーボーへの関心は高くないようです。「ボージョレヌーボー解禁！に無関心なNZ」 (南半球海景色; 中山和重さん) を読むと、ニュージーランドや隣のオーストラリアでワインを作っているので、わざわざ高い輸送費やら関税やらを払ってボジョレー・ヌーボーを飲む人はあまりいないということでしょう。

ちなみに、ニュージーランドはもともと年間通して UTC+12 でしたが、 2007 年からサマータイムが導入されて UTC+12/UTC+13 になっています (英語版ウィキペディア)。 2 個めの記事にある通り、11月のニュージーランドはサマータイムなので UTC+13 であり、日本より 4 時間早いです。最初「あれ? 11 月ならサマータイムは終わっているんじゃないの?」と勘違いしたのは、自分でもかなりやばいと思いました。