タグ

2013年7月4日のブックマーク (6件)

  • http://papix.hateblo.jp/entry/2013/06/30/221900

    saisa6153
    saisa6153 2013/07/04
    次回もがんばろう!
  • JavaScript イディオム集

    JavaScriptでは、初見の人にはさっぱりわからないけれども、ある程度慣れた人は当たり前に使うイディオムが結構たくさんあります。知ってしまえば何てことはないので、私の知っている限りのイディオムとその意味を解説します。 (7/3追記: twitter等で教えていただいた内容を追加しました) +v (数値化) var v = "123"; console.log(+v + 100) // 223 console.log(v + 100) // 123100 vを数値化する方法では最もメジャーです。parseFloat(v) に比べて高速なのに加えて、parseFloatとは細かい挙動が異なります(例えば空文字列の場合、parseFloatならば NaN になりますが、 +v の場合はゼロになります)。必ず数値になることが保証されており、文字列などで数値化出来ない場合はNaNが返ります。 v

    saisa6153
    saisa6153 2013/07/04
  • CTFtime.org / All about CTF (Capture The Flag)

    Tue, July 30, 00:00 — Wed, July 31, 00:00 UTC 10 teams

  • Flaggers

    Flaggers は、CTF (Capture the flag) の問題を出し合うコミュニティサイトです。 Twitterアカウントがあれば、すぐに問題を解き始めることができます。 Login CTF (Capture the flag) とは? CTFには様々な種類があります。詳しくは、SECCONとは (外部) や、@ITの記事 (外部) をご覧下さい。 Flaggersで扱うCTFは、出題された問題から答え(旗, flag)を見つけ出し(capture)、その点数を競うものです。

  • ksnctf

    You are accessing this page via HTTP. We recommend you using HTTPS: https://ksnctf.sweetduet.info/ コンピュータセキュリティに関する問題を出題します。 各問題からFLAG_123456xyzという形式の答え(flag)を探してください。 Twitterでログインすると、ランキングに参加できます。 ctfq.u1tramarine.blue 以外への攻撃はしないでください。 Attacks are only allowed to ctfq.u1tramarine.blue. Tweet

    ksnctf
  • 形式手法モデル理論アプローチ - prepress-tips

    狼・山羊・キャベツの川渡し問題を perljavascriptを使って 形式手法モデル理論アプローチで 解く。 形式手法とその利点 オブジェクト指向は、モジュールを外部から見たときの挙動に関して とても詳しい情報を与えてくれるが、その内部構造に関しては 何の情報も与えてくれない。 UMLによるモデリングも同様で、いざコードを作ろうとすると ─ はて?─ と戸惑うことになる。 形式手法は、モジュール内部の構造がどう記述されなくてはならない という指針を 明快に与えてくれるので、構造はわかりやすく 機械的にコードを作ることすら可能である。 if や for をあまり使う必要がなく この面で悩まされることが少ない。 大規模なプログラムに適用されることが多いようであるが、perljavascriptで書く テストも作らないような 小規模のプログラムにも十分有効である。 プログラムの 異なる

    形式手法モデル理論アプローチ - prepress-tips
    saisa6153
    saisa6153 2013/07/04
    "形式手法 perl"で検索したら出てきた