Scalaで型レベル”だけ”でクイックソート | POSTD
Scalaの型システムが先進的であることは、皆さんもご存じのことかと思います。この投稿では、Scalaの型システムのみを使った クイックソート アルゴリズムの実装方法をご紹介したいと思います。なお、ここで紹介するデモの完全なコードは こちら をご覧ください。 自然数 まずは準備から。ソートアルゴリズムを実装するには、ソートする対象が必要ですよね。ここでは自然数を用います。もちろん、Scalaの型システムには利用可能な自然数はありません。そんなわけで、全ての自然数の型を作る必要があります。 型を無限に作るというのは、恐らく時間の浪費になるでしょうから、ここはもう少し賢い手を考えます。そう、数学を使いましょう。 ペアノの公理 ペアノの公理とは、自然数を形式的に定義するためのシンプルな方法のことです。 0 は特別なものとする。 0 は自然数である。 全ての自然数 n には、それに続くもう1つ別の
IS01をOracle Phoneにする準備を開始いたします - Google グループ
Google グループでは、オンライン フォーラムやメール ベースのグループを作成したり、こうしたフォーラムやグループに参加したりすることで、大勢のユーザーと情報の共有やディスカッションを行うことができます。
詐欺事件 捜査協力中の女性 誤って振り込む NHKニュース
大分県国東市で、振り込め詐欺の捜査に協力していた８０代の女性が、警察官が立ち会っていながら銀行のＡＴＭから誤っておよそ１００万円を振り込んでしまい、警察は女性に謝罪するとともに被害を賠償しました。 女性は前の日にも同じ内容の電話を受け、およそ１００万円を振り込んでいたため警察に相談し、警察は振り込め詐欺とみて、男の口座番号を割り出して直ちに口座を凍結するため女性にだまされたふりをするよう捜査協力を求めました。 ＡＴＭに２７歳の巡査が立ち会って、男から女性への電話の指示をイヤホンで聞き、口座番号を告げられたところで振り込みの手続きを止めさせる予定でしたが、巡査が会話のやり取りに気を取られていた隙に、女性は誤っておよそ１００万円を振り込んでしまったといういうことです。 大分県警察本部は、警察側の不注意が被害につながったとして女性に謝罪するとともに、国家賠償法に基づいて２日までに被害を全額賠償し
『響け! ユーフォニアム』総評 - 新・怖いくらいに青い空
演出・ストーリーについて 個人的な好みもあるが、7話、8話あたりから大化けした印象が強い。そこから最終回まで、各話それぞれに異なる見どころや味わい深さがあった。 この手の作品に有りがちな「主人公補正」が一切無く、あくまでも吹奏楽部という組織の一員として主人公を描いていたのが新しいと思った。例えば他の作品なら、新人特有の柔軟な発想で危機を乗り越えるとか、主人公の行動がきっかけとなって部の雰囲気が変わっていったとかいう感じで、主人公にはある程度の活躍の場が設けられている。しかし本作の主人公・久美子は終始、吹奏楽部という組織の中で流され、振り回され、苦悩する一人の部員として描かれていた。 部員の数だけ頭の中に思い描く理想の部活像があり、一人ひとり部活に対する考え方も能力も性格も違っている以上、全員が納得できるルールや方針を作ることは不可能だし、摩擦や不満が生じるのは避けられない。例えば、第2話で
アニメの売上情報を見るときに押さえておかなければならないこと - ぐ～たらオタクの似非考察日記
前段 anond.hatelabo.jp 匿名ダイアリーで上記の日記が投稿されました。 ユーフォニアムの売上が俺ガイルの半分ってなんかおかしくね？ という内容です。 はい。 まぁ実際アニメーション全体の完成度で言うとユーフォニアムは高く、俺ガイルは作画が甘いところもあったりで言いたいことはわかります。 が、今回はこの話は一旦置いておきます。 今回のこの記事でブコメ等を見た時に売上情報がどこから来ているのか？という疑問をお持ちの方が何人かいらっしゃいました。 アニメの円盤の売上が意味不明すぎて頭おかしくなりそう [アニメ] [増田] いつも思うんだけど、こういうアニメの円盤の売上情報って何処がソース元でどのくらい正確なんだ？ 2015/07/01 20:39 b.hatena.ne.jp さて、正直なところこの手の話はわりと荒れやすいお話でもあるのでそこまで熱心に私のブログでもしてはいません
Google v. Oracle API著作権裁判
gistfile1.md Oracle v. GoogleのAPI著作権裁判の話 「OracleとGoogleの判決文を斜め読む」を読んで裁判の経緯は理解できたものの、判決の詳細があまり理解できなかったので判決文を自分で読んだ。法律的な難しさはあまりなく、技術的な論点と関係する条文および過去の判例などが非常にわかりやすく解説されており、判決の根拠もたとえ話を交えて書かれているなど非常に読みやすい印象を受けた。 判決文 全体の内容としては比較的単純で「あらゆるプログラムのコードは著作権で保護される。ただしFair Useによる合法的な利用に関しては差し戻し審で審議せよ」という事のようだ。実は「API」という言葉は一切判決文には出てこないため、内容を良く読む必要がある。 17 U.S.C. 102(b)を巡るGoogleの主張 今回の論争のうち最も重要な点は、著作権法のうち 17 U.S.C.
Masato Kinugawa Security Blog: CODE BLUEの発表資料「バグハンターの愉しみ」を公開
English version: http://mksben.l0.cm/2015/07/codeblue.html -------------------------------------------------------- 2014年12月に開催された国際セキュリティ会議、CODE BLUEで、「バグハンターの愉しみ」というタイトルで発表させて頂きました。先日、公式ページでスライドが公開されましたので、僕のスライドをここでも共有します。 他のスピーカーの方々のすごいプレゼンは以下で見られます。 http://codeblue.jp/2015/archive/2014/ 講演の動画はポリシーにより公開していません。 会場の雰囲気はITmediaと@ITに書いて頂いた記事からお楽しみください。 Googleへの報告件数は世界2位：脆弱性発見のプロ「キヌガワ マサト」さんは日本人だった
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.ptidej.net/courses/ift6251/fall06/presentations/061122/061122.doc.pdf
Concurrency Control and Recovery in Database Systems - Microsoft Research
All-in-one visual testing and review platform | Percy