タグ

2012年8月22日のブックマーク (14件)

  • たびそら

    三井 昌志(Masashi Mitsui) アジアの辺境を旅しながら「笑顔」と「働く人」をテーマに写真を撮り続けている写真家。2024年には10度目のインド一周バイク旅を敢行。出版した著作は「Colorful Life」(日経ナショナルジオグラフィック社)など11冊。日経ナショジオ写真賞2018グランプリ受賞。

    たびそら
  • - このブログは非公開に設定されています。

    ブログ このブログは非公開に設定されています。 (Access forbidden) 他のブログを探す ブログランキング(共通のジャンル) 1 裏ピク 2 マブい女画像集 女優・モデル・アイドル 3 エロ画像まとめ えっちなお姉さん。 4 AV女優2chまとめ 5 放送事故★お宝エロ画像村まとめ ヘルプ インフォメーション リクエスト 利用規約 障害情報 FC2ブログについて FC2の豊富な機能 スマホからもブログ投稿 有料プラン アルバム機能 おすすめブログ テンプレート一覧 マガブロ マガブロとは? マガブロランキング マガブロの書き方 マガブロアフィリエイト サポート ヘルプ インフォメーション リクエスト 利用規約 障害情報 アプリでもブログ投稿 FC2トップ お問い合わせ 会社概要 プライバシーポリシー 著作権ガイドライン 広告掲載 Copyright(c)1999 FC2, I

  • ホントはこわくない関数型言語 〜関数型言語の学び方〜 - Kirikuzu Blog

    ホントはこわくない関数型言語 〜関数型言語の学び方〜 関数型言語が気になるけど難しそう。そんなふうに思ってる人は多いと思います。 ここでは初心者に毛が生えた程度の自分が感じる関数型言語を使うメリットを説明したいと思います。 関数型言語の嬉しいポイント ぬるぽがなくなる 「意識してれば」という条件付きですが、null参照が発生することはなくなります。 通常「値がない」ことを表現するためにnullを使用することが多いと思いますが、注意深くコーディングしないとすぐにnull参照してしまいます。 そもそも「値がない」ことを示すのにnullを便宜的に代用しているのが問題なのです。 ならば「値がない」ことを特別な方法によって表現できればより「値がない」ことを意識してプログラミングできると思いませんか。 関数型言語はoption型とパターンマッチによってこの問題を解決します。 パターンマッチ パターンマ

  • すごい Haskell たのしく学ぼう!は本当にすごいのか? - ぐるぐる~

    すごいHaskellたのしく学ぼう! 作者: Miran Lipovača,田中英行,村主崇行出版社/メーカー: オーム社発売日: 2012/05/23メディア: 単行(ソフトカバー)購入: 19人 クリック: 552回この商品を含むブログ (36件) を見る 今話題の、すごい Haskell たのしく学ぼう!を読んだのですが、ちょっと思ったことがあるので書評と合わせて書いておきます。 思ったこと 関数型言語がこれほど話題になるのはとても嬉しいことです。 しかし、一方で懸念点もあります。 ノリで「すごい」とだけ言う人たちがいる その人たちに乗せられて (自分には合わないのに) 買ってしまって、挫折してしまう人が出てきそう このは、いいです。 翻訳の質も素晴らしく、読んでいて「読みにくいな」と思った部分はありません。 それに加え、訳注と Appendix も素晴らしい。 しかし、誰にで

    すごい Haskell たのしく学ぼう!は本当にすごいのか? - ぐるぐる~
  • 論理包含 - Wikipedia

    P ⇒ Q のベン図による表現 同じくベン図による表現 論理包含(ろんりほうがん、含意(がんい)、内含、英: implication、IMP)は、第1命題が偽または第2命題が真のときに真となる論理演算である。条件文(じょうけんぶん、英: conditional)とほぼ同じものである。論理的帰結(英: logical consequence)や伴意(英: entailment)とは異なる物である。 2つの命題 と に対する論理包含を などと書き、「 ならば 」や「 は を含意する」と読む。また の形をした命題を仮言命題(hypothetical proposition)、 をその前件(antecedent)、 をその後件(consequent)などと呼ぶ[1]。 ペアノは、1889年に出版した『算術の諸原理(羅: Arithmetices Principia: Nova Methodo Ex

    論理包含 - Wikipedia
    love0hate
    love0hate 2012/08/22
    『論理学における「P ならば Q」は、「P でない、と Q である、の少なくとも一方が正しい」の短い言い換え』下手に日本語で考えない方がいい。 `if p then q else true`
  • 超映画批評『ザ・コーヴ』60点(100点満点中)

    『ザ・コーヴ』60点(100点満点中) The Cove 2010年7月3日よりシアター・イメージフォーラムほか全国順次ロードショー 2009年/アメリカ/カラー/91分/配給:アンプラグド 監督:ルイ・シホヨス 製作総指揮:ジム・クラーク 脚:マーク・モンロー リック・オバリー ルイ・シホヨス ≪偽善者ホイホイ≫ 和歌山県・太地町で行われているイルカの追い込み漁を止めようとする、反捕鯨活動家たちのアウトローな活躍の姿を、けれん味たっぷりの演出で描いたドキュメンタリー。冗談好きなオスカー会員たちの悪ふざけか何かで、アカデミー長編ドキュメンタリー賞を受賞した話題作だ。多数の捕鯨反対派へのインタビューと、太地町のイルカ捕殺現場への侵入アクションで構成されている。 なおこの点数はトンデモ映画として見た場合のものであり、内容の正確性への評価は一切含まれていない。 いきなりだが、私と「ザ・コーヴ」

    love0hate
    love0hate 2012/08/22
    見た目は信念のようで、実はただビジネスの論理で動いているだけということは存外あるなぁと最近よく思う。
  • クジラやイルカの知能

    ネット上での捕鯨に関する議論において、海外の反捕鯨論者が他の野生動物の狩猟や漁業と違って「いくら鯨の数が多くても捕ってはいけない」という極端な政策を支持する根拠にあげるのが「鯨は知能が高いから特別だ」という点である。 実際、オーストラリアが70年代終りに自国民の捕鯨を禁止する際、当時のマルコム・フレーザー(Malcolm Fraser)首相は、「特別で存在であり知能の高い鯨を銛で殺す事が多くの人に不快感を与えている」と述べていて、反捕鯨国の捕鯨に関する政策決定の背後に鯨類の知能に関する俗説への信奉がある事をのぞかせている。 また、2013年にはインドが鯨類を「人類ではない人」と公式に認めた。 カナダの人類学者ミルトン・フリーマン(Milton Freeman)が1992年初頭にカナダのギャラップ社に依頼して、オーストラリア、イギリス、ドイツアメリカ、日、ノルウェーの6ヵ国で行った世論調

  • Haskell でのデバッグ - あどけない話

    「純粋関数型言語はデバッグしにくい。だって純粋な関数で printf デバッグできないから」とつぶやいている人をよく見かけます。これまで放置してきましたが、リツイートが50を超えたので、Haskellでのデバッグについて書きます。 例外処理と同じように、Haskell でのデバッグでは、純粋な関数と IO を分けて考える必要あります。 IO での printf デバッグ IO では、putStrLn や print が使えるから問題ないですよね? foo :: Int -> IO Bool foo i = do x <- あれして i putStrLn $ "x = " ++ show x これして putStrLn "ここも通過" -- それもする y <- それもする print y return y ちなみに、forkIO 起動した軽量スレッドから putStrLn する場合、軽量ス

    Haskell でのデバッグ - あどけない話
  • あどけない話

    In typical UDP programming, unconnected sockets are used both in the client and server sides. sendto() is used to specify a peer address while recvfrom() is utilized to receive a peer address. In the quic library in Haskell, I used connected sockets for performance reasons. If a connected socket is created for a QUIC connection, recv() can receive data from a specific peer. This means that data is

    あどけない話
  • 大学と就職のランキングが満載! 偏差値ランキング図書館

  • http://2chreport.net/com_49.htm

    love0hate
    love0hate 2012/08/22
    ゲーム業界は一切入ってないのね。任天堂なんかIT系のこともやってそうだけど。
  • 新卒採用 | 採用サイト | IIJ(インターネットイニシアティブ)

    あなたの熱意が、 新しい常識を生み出す IIJの強みは世界規模のインターネットバックボーンを ベースに一言では言えないくらい 事業領域が広いこと。 「これしかできない」ではなく 「こんなことまでできる」職場がIIJにはあります。 数万人のユーザーが関わる大規模なプロジェクトを 推進するもよし 世界にまだ無い新サービスを企画・開発するもよし 気になる新技術を業務に取り入れてみるもよし ワークライフバランスを重視した働き方をするもよし あなたの叶えたいキャリアの選択肢が、 IIJ1社で実現可能です。 これからIIJを作り上げていくあなたと出会えることを 楽しみにしています。

    新卒採用 | 採用サイト | IIJ(インターネットイニシアティブ)
  • IIJ インターネットイニシアティブ

    人と人とをつなげるネットワーク。そこには必ず「物語」が生まれます。 「つなぎ、つながる、物語」。さまざまなIIJサービスの開発エピソードや、担当者の思いを紹介しています。

    IIJ インターネットイニシアティブ
  • Happy Haskell programming on Emacs

    The ghc-mod command and ghc-modi command are backend commands to enrich Haskell programming on editors including Emacs, Vim, and Sublime. ghc-mod and ghc-modi are based on the ghc-mod library which is a wrapper of GHC API and Cabal. The ghc-mod package on Hackage includes the ghc-mod command, the ghc-modi command, the ghc-mod library, and Emacs front-end (for historical reasons). The source reposi