cocoatomoのブックマーク (75)

  • 型推論はどのようにして実装されているか - ラムダプラス+の紹介 -

    この記事は Haskell Advent Calendar jp 2010 のために書かれた物です。(20日目) 型推論は簡単 ML や Haskell のような言語の型推論は、型推論を知らないみなさんが考えているよりは遥かに簡単な物です。大雑把に言ってしまえば、構文木全体を探索して、同一である事が明らかな型同士の単一化をしていけば型推論できてしまうのです。 型推論の難しい所その1 - 多相型 しかし、型推論にも難しい事が無いわけではありません。まず最初の難関としては多相型が挙げられます。 ML や Haskell では let などの変数束縛に対して多相型が導入されています。式の中でこれらの変数が出現すると、その型の型変数(確定していない部分)を全て付け替える操作が発生します。 しかし、確定していない部分を付け替えるという事は、最終的に元の型が確定した後にその操作をしなければ、型を正しく

    cocoatomo
    cocoatomo 2010/12/27
  • NoSQLをRDBの代わりに使うと、どういう恐ろしいことが起こるか。PARTAKEの作者が語る

    データベースの世界でいま注目されているのがNoSQL。特にキーバリュー型データストアは、グーグルのBigTable、FacebookやTwitterが内部で利用しているCassandraやAmazonクラウドが提供しているSimpleDBなど、すでに実際に使われ始めています。 ではそのNoSQLをリレーショナルデータベースの代わりに使ってシステムを構築するとどうなるのか? 身をもって体験したことを記したShinya Kawanaka氏によるプレゼンテーション「間違った方向にCassandraを使ってみた」が公開されています。 NoSQLを用いたシステム構築は、リレーショナルデータベースによる構築どう違うのか? とても分かりやすくまとめられています。ご人の承諾もいただいたので、その内容を紹介しましょう。 NoSQLを使ったときに起こる恐ろしい事例 プレゼンテーションのテーマは「NoSQL

    NoSQLをRDBの代わりに使うと、どういう恐ろしいことが起こるか。PARTAKEの作者が語る
    cocoatomo
    cocoatomo 2010/12/21
  • システムへの飽くなき愛着が成長の原動力

    インターネットで書籍やCDを販売するセブンアンドワイは、ビジネスの領域をテレビなどに広げ、堅調な成長を遂げている。「仕事もシステムも汗をかいてこそいい成果が生み出せる」と語る鈴木康弘社長に話を聞いた。 インターネット経由で書籍やCDを販売するセブンアンドワイは、EC(電子商取引)サイトの運営に加え、テレビメディアと提携した販売促進など多角的なビジネスを展開し始めている。売上高ベースでは2007年が168億7000万円、2008年は200億円近くに上る見通しとなるなど、順調な成長ぶりだ。情報システムをほぼすべてを自社で構築し、インターネット小売業の分野で成功を収めているセブンアンドワイの鈴木康弘社長に話を聞いた。 ITmedia 2008年のセブンアンドワイは主力のインターネット小売業にとどまらないビジネスを展開し、多角化に力を入れていた印象があります。 鈴木 ECサイト「セブンアンドワイ」

    システムへの飽くなき愛着が成長の原動力
    cocoatomo
    cocoatomo 2009/12/19
    うーん, 内製が裏目に出たかな?
  • 恋愛を成功に導く「天使のメール術」失敗させる「悪魔のメール術」 | nanapi[ナナピ]

    恋愛を成功に導く「天使のメール術」失敗させる「悪魔のメール術」 に関するライフレシピをご紹介します。nanapi [ナナピ]は、みんなで作る暮らしのレシピサイトです。はじめに ここで紹介するのは、誰とでも仲良くなれるメール方法です。それを僕は天使のメール術と呼んでいます。 恋愛を始めた人、または一歩踏み出したい人には是非、試していただきたいテクニックです。 と、ちょっと派手目に書いていますが、いつも、自分が仕事相手や友人にメールを打つ際に気をつけていることを、再確認してまとめたものです。 僕はこのメール術で、いつも、楽しくメールをしています。今日からすぐに試せて効果が出ます。あまりにも簡単すぎて、ビックリするかもしれません。 しらずしらずやっている悪魔のメールテクニック この方法を考えたのは、既存のありふれているメールテクニックに疑問をもったからです。 巷に溢れている、こんなメールテクニッ

    cocoatomo
    cocoatomo 2009/10/24
    「起きたー。布団気持ちよすぎる~もふもふ~」←逆にイラッとする. このメールにどう返せばいいんだよ!? 俺なら, どうでもいい娘だったらたぶん放置する. 男女での「可愛い」の使い方が違うことと根っこは同じか?
  • Win標準タスクマネージャーから乗り換える価値のある、フリーソフト5選 | ライフハッカー・ジャパン

    デスク配線がスッキリ。Ankerの全部入り12 in 1モニタースタンドが突然8,250円OFFされてた #Amazonセール

    Win標準タスクマネージャーから乗り換える価値のある、フリーソフト5選 | ライフハッカー・ジャパン
    cocoatomo
    cocoatomo 2009/10/21
  • LLVMを使ってみる - ラシウラ

    LLVM-1.x系の文書です。コマンドラインツールの使い方は同じですが.llの構文が2.2では通らないです。 インストール ubuntuでLLVMのパッケージを入れます。 apt-get install llvm llvm-cfe llvm-libs LLVMについて LLVMは仮想マシンですが、そのバイトコード仕様に忠実なアセンブリ言語もLLVM言語と呼んでいるようです。 http://llvm.org/docs/LangRef.html この言語で直接コードを書いて、llvm-asコマンドでバイトコードに落とすこともできます。が、llvm-cfeパッケージにgccフロントエンドがあるので、C言語で書いてバイトコードに落とすこともできます。 例 hello.c extern int puts(char*); int main() { puts("Hello World"); return

    LLVMを使ってみる - ラシウラ
    cocoatomo
    cocoatomo 2009/10/21
    llvm
  • マイクロソフトに「Word」の販売差し止め命令--米特許侵害訴訟

    テキサス州東部地区連邦地方裁判所は米国時間8月12日、Microsoftに対し、特許権侵害を理由に現在の形での「Microsoft Word」製品の販売を中止する判決を下した。同製品はMicrosoftにとって主力製品の1つである。 原告であるi4iの弁護士が発表した声明によると、同地裁の判事であるLeonard Davis氏は、「Microsoftが、カスタムXMLを含む.XML、.DOCX、.DOCMファイル(XMLファイル)を参照可能ないかなるMicrosoft Word製品も、米国内で販売および輸入することを禁止する」という終局差し止め命令を出したという。 Microsoftにコメントを求めたがすぐには回答を得られなかった。もっとも、同社はこの判決に対して上訴する計画であると声明で述べた。 トロントに拠を置くi4iは2007年3月にMicrosoftを訴え、i4iが1998年に取

    マイクロソフトに「Word」の販売差し止め命令--米特許侵害訴訟
    cocoatomo
    cocoatomo 2009/08/13
    M$ Word に販売差し止め
  • めんどくさい女

    先日、とある女性と映画を観にいった。これがまた非常に疲れた。 まず、観たい映画があると誘われ二つのうちどちらがいいか、と聞かれた。 「どちらでもいい」とメールすると、何故かそれに対する返信で観たい映画が一つ増え、三択になった。 もう当にどれでもよかったんだが、最後に出してくるんだからよほど行きたいんだろうと思い、それを指定した。 この辺から大分面倒になってきたので、もうこちらで時間と場所(映画館の前)を指定し、返信を待った。この時、もう会社を出る直前(平日だった)。 そしたら、「私は早く終わるから、そこでなくてもいい」という返信。えっ?どういうこと? 映画行くんだから、映画館の前でいいじゃん。もう何なんだ… 「じゃあここはどう?」と映画館の近くの目立つ場所を指定。 当然、OKかNGかの返事が来るものと思ったら、「おなかすいてる?」ときた。もうイライラも頂点だ。 すいてない、大丈夫だと答え

    めんどくさい女
    cocoatomo
    cocoatomo 2009/07/09
    お前は俺か!?
  • ひきこもり勇者を救え! 『リアルRPG』体験レポート - はてなニュース

    京都を守る伝説の勇者。彼が何故かひきこもり状態に陥っているとの話を聞きつけた我々は居ても立ってもいられなくなり、彼を励ますために京都国際マンガミュージアムへと赴いたのであった。 京都国際マンガミュージアムについては、以前もはてなブックマークニュースで紹介したことがある。 芝生に寝転がってマンガを読める、「京都国際マンガミュージアム」に行ってきた この京都市最大のビジネス街にでんと構えるミュージアムの奥に、勇者はひきこもっているという。ちょっと羨ましいぞ、勇者。それはともかく、京都の平和のために、何としても我々は勇者に「脱・ひきこもり作戦」を実行しなければならない。 まずは宿屋へレッツゴー 勇者に会うために、われ先にと受付へ向かう人々。ちなみに、我々以外にも先月27日・28日の2日間で総計約500人以上の人間が勇者を励ましに向かったそうである。 とは言え、いきなり励ましに行ってはダメらしく、

    ひきこもり勇者を救え! 『リアルRPG』体験レポート - はてなニュース
    cocoatomo
    cocoatomo 2009/07/02
    京都マンガミュージアムで行われた, 実際に行動する TRPG
  • 一定期間で使えなくなるソフトの使用期限を延長するテク | 教えて君.net

    フリーソフトの中には、一定期間経過すると起動したときや操作中にウザい広告ウインドウが表示されて使いにくくなるものがある。嫌がらせをして有料バージョンを購入させようとしているのだ。この手のソフトはアンインストールしてもレジストリに情報が残ったままなのでインストールし直しても正常に動作しない。「Total Uninstall」を利用しよう。 「Total Uninstall」は、ソフトのインストール時にレジストリの変更点を記録し、アンインストール時にはもとに戻してくれる。レジストリ情報が消えるのでインストールし直すと再び使えるようになるぞ。 ■利用履歴も含めきれいにアンインストールする ・Total Uninstall 「Total Uninstall 日プロジェクト」からTotal Uninstallの旧バージョン「ver2.35」をダウンロードする。新バージョンはシェアウェアなので注意

  • TechCrunch | Startup and Technology News

    Welcome back to TechCrunch’s Week in Review — TechCrunch’s newsletter recapping the week’s biggest news. Want it in your inbox every Saturday? Sign up here. Over the past eight years,…

    TechCrunch | Startup and Technology News
  • 何でもかんでもExcelで資料作る奴ちょっとこいwww:アルファルファモザイク

    いるね。 そういう奴に限ってセンスの無い配色だったり、 セル内に収まらない文字数使って気付かず、資料配布してヒンシュク買ったり。 外字使ったデータを配布された事もあったな。

    cocoatomo
    cocoatomo 2009/06/03
    ネタ
  • 「インフルエンザA(H1N1)」について最低限知っておくべき情報とネット上の信頼できる情報源まとめ

    厚生労働省が平成17年12月に出した新型インフルエンザ対策行動計画によると、日の全人口の25%が新型インフルエンザに罹患すると想定しており、医療機関を受診する患者数は約1300万人~約2500万人(中間値約1700万人)になると推計、過去に大流行したアジアインフルエンザなどを中等度(致死率0.53%)とした場合には入院患者数の上限は約53万人、死亡者数の上限は約17万人となり、かの有名なスペインインフルエンザを重度(致死率2.0%)とした場合には入院患者数の上限は約200万人、死亡者数の上限は約64万人となるそうです。 また、東京商工会議所が出しているPDFファイル「中小企業のための新型インフルエンザ対策ガイドライン~命を守り、倒産をまぬがれるために~」によると、新型インフルエンザの大流行により、数週間から数カ月ビジネスが中断する可能性があり、中小企業においては「倒産の危機」に直面する危

    「インフルエンザA(H1N1)」について最低限知っておくべき情報とネット上の信頼できる情報源まとめ
    cocoatomo
    cocoatomo 2009/05/02
    とりあえずメモ
  • 本当に無償で使える「VMware Player」 ― Weboo! Returns.

    This guide is the safest way to do a domain switch, you get all you need to change a blocked domain. What is a user flow and a user journey? There’s a macro view of a customer experience that we can analyze and partially control.

    本当に無償で使える「VMware Player」 ― Weboo! Returns.
    cocoatomo
    cocoatomo 2009/03/14
    VM イメージが無料で作れてしまう。作ってみたい。
  • 【人工知能】物理エンジンで人工生命つくって学習させた

    運動学習させました。この仮想生物が試行錯誤をして動き方を学習しました。この動画はマルチエージェント進化シミュレータのanlifeを開発していたときに作りました。2020/10/4 追記この後作ったゾンビを宮崎駿監督にみていただいたところが2016年にNHKで放送され一部話題になりました。2016年超会議での超人工生命の生放送企画を経て、ドワンゴにて新たな人工生命を開発することに→ リリース後半年でサービスクローズ人工生命を作る会社を立ち上げました→ https://attructure.com/

    【人工知能】物理エンジンで人工生命つくって学習させた
    cocoatomo
    cocoatomo 2009/03/12
    ODE 使ってみたい。同時に Evolutional Calculus も学ばねば。
  • IDEA * IDEA

    ドットインストール代表のライフハックブログ

    IDEA * IDEA
    cocoatomo
    cocoatomo 2009/03/11
    統合画像編集ソフト
  • http://www.machu.jp/posts/20090307/p01/

    http://www.machu.jp/posts/20090307/p01/
    cocoatomo
    cocoatomo 2009/03/08
    ctags を便利に使えるツール。入れるべし。
  • 長文日記

    cocoatomo
    cocoatomo 2009/03/08
    スーパークリエイターとは?各々関係者の定義は?そもそも生み出せるものなのか?どのようなセグメントに多く潜んでいるのか?自分のあるかもしれない才能の伸ばし方は?
  • 利己主義と裏切りが支配する世界に「協力」が生まれる条件は:シミュレーション実験 | WIRED VISION

    前の記事 硫化水素がバイアグラに代わる新薬に? 利己主義と裏切りが支配する世界に「協力」が生まれる条件は:シミュレーション実験 2009年3月 4日 Brandon Keim この絶望的な時代に、科学が一筋の希望の光を届けてくれた――自分位にふるまう者が得をする世界でも、助け合いは生まれ、そして広まるというのだ。 たとえそれがコンピューター・シミュレーションの世界でも、明るいニュースなら何だって大歓迎だ。 「利己主義と裏切りが支配するノイズ[一部の行動にわざと誤解を生じさせる要素]に満ちた世界で、突如として協調行動が発現し、優勢になることを確認した」。スイス連邦工科大学の社会学者、Dirk Helbing氏とWenjian Yu氏は、2月23日(米国時間)に『米国科学アカデミー紀要』に発表した論文でこのように述べている。 Helbing氏は、サッカー場のファンから交通渋滞までを対象に、群

    cocoatomo
    cocoatomo 2009/03/05
    群集の動きのシミュレーション。どう単純化しモデル化するかが問題だが、自分で再現してみたい。
  • 第7回■文字エンコーディングが生み出すぜい弱性を知る

    文字コードに関する問題は大別すると文字集合の問題と文字エンコーディングの問題に分類できる。前回は文字集合の取り扱いに起因するぜい弱性について説明したので、今回は文字エンコーディングに起因するぜい弱性について説明しよう。 文字エンコーディングに依存する問題をさらに分類すると2種類ある。(1)文字エンコーディングとして不正なデータを用いると攻撃が成立してしまう点と,(2)文字エンコーディングの処理が不十分なためにぜい弱性が生じることがある点だ。 不正な文字エンコーディング(1)――冗長なUTF-8符号化問題 まず,(1)の不正な文字エンコーディングの代表として,冗長なUTF-8符号化問題から説明しよう。前々回に解説したUTF-8のビット・パターン(表1に再掲)を見ると,コード・ポイントの範囲ごとにビット・パターンが割り当てられているが,ビット・パターン上は,より多くのバイト数を使っても同じコー

    第7回■文字エンコーディングが生み出すぜい弱性を知る
    cocoatomo
    cocoatomo 2009/03/04
    文字コードのセキュリティ問題