【幽霊型トリック集】キェェ！幽霊型でバグを呪い殺すのじゃ！【呪術プログラミング】
【幽霊型トリック集】キェェ！幽霊型でバグを呪い殺すのじゃ！【呪術プログラミング】 この投稿は ML Advent Calendar 2015 の 16 日目の記事です。早速ですが、タイトルの「呪術プログラミング」という用語は単なる釣りです。 こんな専門用語は存在しません。 あと、Advent Calendar に「この記事を読むと呪われる」とか書きましたが、 SNSで拡散すると解呪できます ウソです。呪われないので安心してください。 「幽霊型」というキーワードでググると、幾つかの記事や発表のスライドがヒットしますが、 幽霊型 (phantom type) の有用なテクニックについて広く浅く紹介した記事がないように思えたので、 私が書くことにしました。 この記事では、私が今までに書いた幽霊型に関する記事と、その概要をまとめています。 基本的に、サンプル・コードは OCaml ですが、 大部分
Grub2の認証でバックスペースを28回押すとレスキューコンソールに入れる脆弱性が発見された
Back to 28: Grub2 Authentication Bypass 0-Day Grub2のバージョン1.98(2009年12月)から、2.02(2015年12月)までにおいて、脆弱性が発見された。 脆弱性はGrub2の認証機能を使っていた場合に、ユーザー名を入力すべきところで、バックスペースを28回入力すると、レスキューコンソールに入れてしまうものだ。これにより、コンピューターに物理アクセスを得ている人間が、Grub2の強力なレスキューコンソール機能を使うことができる。 脆弱性の原因も詳しく書かれていて興味深い。grub2のコードでは、'\b'が入力されるたびに、unsigned型の変数をデクリメントする。この時、アンダーフローをチェックしていない。その変数は配列の添字に渡されて、ゼロが書き込まれる。 結果として、関数のreturn addressを0x0にすることができ、関
XSSを報告したらちょっと不便になった - バランスを取りたい
この記事は脆弱性"&'<<>\ Advent Calendar 2015の16日目の記事です。 2015年のアドベントカレンダーですが、大昔(2013年)にミスタードーナツ公式ページにあったXSSの話をします。 2013年3月 ミスタードーナツの公式サイトへ行った時、偶然にも検索画面で怪しい文字列を発見してしまいました。最近ではあまり見かけなくなった ie=utf-8&oe=utf-8 のようなパラメータです。 XSS界隈の人なら恐らくこんな感じのパラメータを見たらちょっと変えてみてどのような挙動を起こすか試したくなるはずです。 実際にoe=utf-8を変えたらそれに対応する値がmetaのcharsetに入るようでした。当時のことを詳しく覚えていませんが、ここから直接XSSしたわけじゃないので多分値はエスケープされていたと思います。 エンコーディング周りでは当時UTF-7が終わりを迎える時
女性に６カ月の再婚禁止期間は「違憲」 最高裁が初判断：朝日新聞デジタル
「離婚した女性は６カ月間再婚できない」とする民法の規定は憲法違反だとして、岡山県に住む３０代女性が国に損害賠償を求めた訴訟の上告審判決で、最高裁大法廷（裁判長・寺田逸郎長官）は１６日、この規定の１００日を超える部分は「憲法違反」とする初判断を示した。国への賠償請求は退けた。 最高裁が法律を「違憲」と判断したのは戦後１０例目。判決を受けて国は、規定を見直す民法の改正を迫られる。 原告は、女性だけに再婚を禁止するのは、憲法が保障する「法の下の平等」などに反していると主張し、２０１１年に提訴。法改正が不可欠だったのに、国会が怠ったことで精神的苦痛を受けたとして、国に慰謝料１６５万円を求めた。 再婚禁止期間は、離婚した女性がすぐに再婚して子どもが生まれた場合、子どもの父親が誰かをめぐって争いになるのを防ぐ目的で明治時代に設けられた。「６カ月」という期間は、妊娠していることが外見で判断できる期間とさ
ドラム打ち込みが身につくTR-808ベースの音ゲー、TR-REC GAMEがiPhone/Android用にRolandより無料で登場だ！｜DTMステーション
打ち込みの世界って興味はあるけど、なんとなく難しそうで……、なんて敬遠している方も少なくないと思います。その打ち込みも、いろいろな手法があるのですが、もっとも分かりやすく、また音楽制作の世界で広く使われているのがRolandのTR-808で初めて採用されたTR-RECと呼ばれるドラム打ち込み方式でしょう。いまや、ドラム打ち込みのデファクトスタンダードとなっている手法ですが、まったく初めての人にとっては、やはり未知の世界。なかなかチャレンジできないかもしれませんよね。 そんな中、プレイしながら、ドラム打ち込み手法が身につくユニークなゲームアプリをRolandが無料でリリースしました。「TR-REC GAME」というこのアプリはiPhone/iPad(ユニバーサル）およびAndroidのどちらでも使えるもので、AIRAシリーズの入門版という位置づけ。楽しく遊びながら、4つ打ちとはどういうことな
キングレコード所属女性声優のPPM分析 −小倉唯の今後をめぐって− - 記録
1 はじめに 女性声優の音楽分野での近年の活躍はめざましく、女性声優のアーティストデビューが相次いでいる。そのような環境の中で、2010年にメジャーデビューしたゆいかおりは2012年に人気を集め、同年にソロデビューを果たした小倉唯もまた成功を収めてきた。2015年のアニメロサマーライブでは、ゆいかおり・小倉唯ともに初めてフルコーラスでの2曲枠を確保し、所属レーベルであるキングレコード初の大型フェスであった6月のキングスーパーライブでも、小倉唯は2曲枠を勝ち取った。小倉唯はまた1stソロアルバムのリリースと1stソロライブの開催を成し遂げており、着実に音楽活動を軌道に乗せているように見える。 しかし、CDの売り上げの推移に目を転じてみると、2015年は必ずしも芳しい結果であったとは言えない。シングルCDの売り上げの年平均をとってみると、ゆいかおりは2015年はじめて減少に転じ、小倉唯ソロ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
低容量/低廉な料金の新設と、実質0円補助の抑制を～総務省タスクフォースとりまとめ
- goo ニュース
著名ゲーム開発者の小島氏がコナミ退社 新会社設立 - 日本経済新聞