書評「型システム入門」 - 純粋関数空間
追記：Amazonのリンクを張っていますが、オーム社のサイト http://estore.ohmsha.co.jp/titles/978427406911P からも購入できます。 AmazonのKindle版はまだ出ていないようですが、 こちらからは今現在でDRMなしのPDFも購入できます。 Kindle版リリースの際にも、 フローレイアウトになる予定はないそうですので、 Amazonにこだわりがあるのでなければ、 電子版で読みたいという方は、こちらから購入されるのが良いかと思います。 あらかじめお断りしておきますと、 この記事は書評ではなく、宣伝です。 数年前に原著を読んだ時から、 本書は私の中では間違いなく良書ということになっておりますので、 私がいまさら内容の善し悪しを語ることには、 はじめから意味がないと思っております。 なのでここでは、この本の魅力、読んで欲しい人、どういう風に読
遠隔操作・片山被告、襲撃予告容疑で４度目逮捕 : ニュース : ネット＆デジタル : YOMIURI ONLINE（読売新聞）
パソコン遠隔操作事件で、警視庁などの合同捜査本部は８日、伊勢神宮の爆破予告と携帯電話販売店の襲撃予告に関与したとして、ＩＴ関連会社社員片山祐輔被告（３０）（ハイジャック防止法違反などで起訴）を威力業務妨害容疑で再逮捕した。 片山被告の逮捕は４度目で、「身に覚えはありません」と容疑を否認している。 発表などによると、片山被告は昨年９月１０日午後、遠隔操作型ウイルス「ｉｅｓｙｓ（アイシス）．ｅｘｅ」に感染させた津市の男性（２８）のパソコンから、インターネット掲示板「２ちゃんねる」に「伊勢神宮爆破」「秋葉原のドコモショップにトラックで突っ込む」などと書き込み、同神宮と東京・秋葉原のドコモショップの業務を妨害した疑い。 「ドコモショップ襲撃」についてはこれまで公表されていなかったが、同庁は片山被告の使用していたパソコンの解析などから関与が裏付けられたとしている。同被告は昨年１月、同店を客として訪れ
ロッテリア史上初、ラーメンをバーガーにした「麺屋武蔵ラーメンバーガー」発売
ロッテリアが5月20日より6月中旬までの期間限定で、史上初となるラーメンをバーガーにした「麺屋武蔵 新宿本店」監修の「麺屋武蔵ラーメンバーガー」を販売する。 表面を軽く焼いた麺をパティに仕立て、やわらかいチャーシューとマヨネーズをはさんだバーガーとともにかつおダシのラーメンスープと割り箸も用意した。「替え玉」として麺パティを追加注文することもできる。「麺屋武蔵ラーメンバーガー（『特製スープ』付き）は634円。替え玉は100円。 関連キーワード ラーメン | ハンバーガー | ファストフード | ロッテリア | 期間限定 advertisement 関連記事 1日のカロリーをこれ1個で摂取可能！ ロッテリアの「Q段チーズバーガー（ロンギヌスの槍付き）」がやばい たぶん1650キロカロリーくらいあります（ゲップ）。 ロッテリアがエヴァとコラボした「Q段チーズバーガー」 ロンギヌスの槍フォーク付
海外プログラマーとのリモート開発で成長するGinzamarkets「在宅チームで開発をうまくやる方法」 - エンジニアtype
海外プログラマーとのリモート開発で成長するGinzamarkets「在宅チームで開発をうまくやる方法」 2013/05/08公開 米Googleから米Yahoo!に移籍し、CEOに就任したマリッサ・メイヤーが今年2月に出した「在宅勤務禁止」通達。以来、日本でも在宅勤務やリモートワークについて多くの議論が飛び交っている。 各種報道によると、メイヤーCEOは同社において在宅勤務者のVPNアクセスが少ないという実態を知り、就労意欲やチーム意識の減退を危惧。「人は1人でいる方が生産性は上がるが、集団になった方がイノベーティブになる」と語ったとされている。 「シリコンバレーのスタートアップ界隈でも、多くのVCは『ビジョンを共有するためにもできるだけチームは一緒に働くべきだ』と言いますよ。わたしたちも創業時は似たような助言をたくさんもらいました。リモートはよくない、顔を付き合わせて働く方がベターだと」
jqコマンドが実は高性能すぎてビビッた話
GWが始まりましたが、鎌倉のGWは観光客多すぎて逆に住民はげんなりして外に出なくなる感じです。とはいえ路地まで観光客が攻め込んでくることは少ないので、路地を散歩する分には天気がよくていい感じですね。ちなみに人力車のおにーさんはそういう味のある路地を知り尽くしているので人力車で移動するのはそこそこオススメです(ぼくは乗ったことないけど「こんなところも通るんだ!」ってところで見かけたりします)。 さて、jqというコマンドをご存じでしょうか。 jq jq is a lightweight and flexible command-line JSON processor. と書いてあるとおり、コマンドラインでJSONを扱うことができるコマンドです。で、今まさに仕事で巨大JSONと戦うことが多く、このコマンドが大活躍です。 とはいえ、ぼくの使い方としては「巨大JSONをキレイに整形して表示する」とい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
