GREEのCUFPでのHaskell事例紹介を見た - maoeのブログ
社内Haskellチュートリアルのススメ | GREE Engineers' Blogという記事からたどって、GREEの中の人がCUFPでHaskellの事例紹介をした動画を見た。 CUFP 2013: Yasuaki Takebe: A Mobile Gaming Platform Case Study スライドはCommon Pitfalls of Functional Programming and How to Avoid Them: A Mobile Gaming Platform Case Study (PDF)。 GREEでは 内製のKVSデータベースの管理 画像サーバのフロントエンド みたいな用途でHaskellを使っているらしい。 プレゼンは（タイトルではFunctional Programmingとあるけど、実際のところは）Haskellでよくある落とし穴を紹介して、そ
PHP はいつもわたしに新鮮な驚きを与えてくれる - 猫型の蓄音機は 1 分間に 45 回にゃあと鳴く
ことの始まり PHP の srand 関数について調べていて、ひょんな拍子にsrandのseedに文字列（numericである必要はあるけど）を渡せることを知った。 では、ここに long を超えるものを放り込むとどうなるのか。 では結果をごらんください。 「！？！？」 なぜこうなるのか 秘密は PHP 処理系の zend_parse_arg_impl 関数にあります。 zend_parse_arg_impl はphpの関数に渡された引数をパースする部分で、longを要求する関数にstringな値が渡された時の処理はこの部分ですね。 https://github.com/php/php-src/blob/master/Zend/zend_API.c#L335 さて、読み進めていくと「ん！？！？」ってなる行があるはずです。 この行ですね https://github.com/php/php-
SQLでエスケープなんてしたら負けかなと思ってる。 - めもおきば
オレオレSQLセキュリティ教育は論理的に破綻している | yohgaki's blog 「プリペアードクエリが基本だけど、動的に SQL を組み立てる場合もあるから、そういう場合に備えてエスケープも知っておいたほうがいいかも」 - Togetterまとめ SQLインジェクション対策で大垣靖男氏は何を勘違いしていたか | [ bROOM.LOG ! ] エスケープとプレースホルダをめぐる議論 - Togetterまとめ SQLインジェクション対策としてのプリペアドステートメントとエスケープについての議論 - Togetterまとめ IPAの「安全なSQLの呼び出し方」が安全になっていた | yohgaki's blog SQLへの安全な値の埋め込み方について、ここ数日で色々議論というか意見の投げ合いがありましたが、自分としての考えをまとめておきます。 1. SQLに値を埋め込む場合は、プリペ
社内Haskellチュートリアルのススメ | GREE Engineering
こんにちは。インフラストラクチャ本部の竹辺(@beketa)です。 このエントリはGREE Advent Calendar 2013 12日目の記事です。 1. グリーでのHaskellプログラマ採用 Haskellを導入する企業が増えているようです。最近国内のメディアで紹介された事例だけでも Tsuru Capital様: http://itpro.nikkeibp.co.jp/article/Watcher/20131003/508622/ NTTデータ様: http://itpro.nikkeibp.co.jp/article/NEWS/20131126/520642/ の複数があり、すっかり実用的なプログラミングとして定着した感があります。 弊社でも2012年の中ごろから複数のプロジェクトでHaskellを使い始めており、昨年からは一部の商用サービスでもHaskellで開発したミド
「プレゼンがうまい人の「図解思考」の技術」関連の最新 ニュース・レビュー・解説 記事 まとめ - ITmedia Keywords
プレゼンがうまい人の「図解思考」の技術： 電子書籍の出版プロセスを図解する 私たちは情報をインプットして、理解し、記憶するときには必ず「絵」にしています。今回は筆者が原稿を書いて、本が読者に届くまでの出版ビジネスを図解してみます。（2014/2/27） プレゼンがうまい人の「図解思考」の技術： ビジネスモデルは図解でスッキリ 私たちは情報をインプットして、理解し、記憶するときには必ず「絵」にしています。今回は「ビジネスモデル」を他人に分かりやすく伝える方法を考えていきましょう。（2014/2/24） プレゼンがうまい人の「図解思考」の技術： 自分の強みと弱みを「数字」で語ろう ライバルが持っていなくて、あなたの持っているものは何ですか？ 面接の場などで聞かれる自分の強みや弱みについて語るには、市場ニーズに対してどう高いのかを説明できる必要があります。（2012/5/31） プレゼンがうまい
不完全性定理 - 哲学的な何か、あと科学とか
不完全性定理 1930年頃 一般的に言って、 「数学的に証明された」ことについては、もう議論の余地はない。 どんなに年月が経とうと、決して反論されることもなければ、 科学理論のように、よりすぐれた理論に取って代わられることもない。 主義主張にも善悪にも関係なく、また、どんな嫌なヤツが言ったとしても、 数学的に証明されたことは常に正しい。 まさに絶対的な正しさ。 「数学的証明」こそ、永遠不変の真理なのである。 だからこそ、数学を基盤にし、証明を積み重ねていけば、 いつかは「世界のすべての問題を解決するひとつの理論体系」 「世界の真理」 に到達できるのではないかと信じられていた。 さて、１９３０年頃のこと。 数学界の巨匠ヒルベルトは 「数学理論には矛盾は一切無く、 どんな問題でも真偽の判定が可能であること」 を完全に証明しようと、全数学者に一致協力するように呼びかけた。 これは「ヒルベルトプロ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
『野菜や果物食べる人自殺少ない NHKニュース』へのコメント
NIKKEI STYLEは次のステージに