タグ

stripe121のブックマーク (447)

  • おとうさん、ぼくにもYコンビネータがわかりましたよ! - 2009-04-09 - きしだのはてな

    やっと、Yコンビネータが何を意味するものなのか、どういう意義があるのかがわかりました。 名前を使わず再帰ができますよ!というだけのものじゃなかったのですね。 まずλありき 関数の話をしたいのです。 そのとき、いちいち hoge(x) = x * 2 としてhogeを・・・、とか名前をつけて話を進めるのがめんどうなので、関数を値としてあらわすと便利ということで、λという値を定義するのです。 そうすると、上のhoge関数なんかはλ(x)(x*2)などとあらわせますが、引数をあらわすのに()を使うといろいろまぎらわしいので、 λx.x*2 のように表記します。 というのがλ。 このとき、λになにかわたされたら、引数としてあらわされる部分を単純におきかえます。 (λx.x*2)y とあったら、xの部分をyでおきかえて (λx.x*2)y → y * 2 となります。λの引数部分を与えられた引数で置

    おとうさん、ぼくにもYコンビネータがわかりましたよ! - 2009-04-09 - きしだのはてな
  • 型レベルプログラミング in Scala(Type-Level Programming in Scala) — Japanese translation of Apocalisp v1.0 documentation

    型レベルプログラミング in Scala(Type-Level Programming in Scala)¶ この連載はScalaにおける型レベルプログラミングの紹介です。解説は、コードと例とすこしばかりの説明で成り立ちます。また、読者はScalaの一般的な型システムについての知識があることを前提にしています。これは著者の傲慢ではないので(もちろん読者のでもなく)、質問は歓迎します。 連載は10のパートから成ります。有るパートは他の記事の内容を含んで構成されることもあります。過去の記事はこの目次にリンクされますので、簡易なリファレンスとしてこのページをブックマークするとよいでしょう。

  • マルチコア危機:ScalaとErlangの対立

    ブロゴスフィアでは最近Scala対Erlangの議論がややヒートし続けている。マルチコアの世界(参考記事)が訪れようとしている今、いかにマルチコア危機を解決するかが問題になっている。ScalaとErlangはその解決法たらんとしている言語だが、少し違いがある。それぞれのアプローチの長所短所はなんだろうか? 問題 ムーアの法則はもう通用しない。かつてのようなクロック周波数の向上(リンク)は見込めず、かわりにコアの数を増やそうとしている。今の時代、あなたのノートPCでさえも2つコアを搭載していることだろう。 2つ以上のコアを有効に使うには、アプリケーションが並列処理を意識してないといけない。もしあなたの顧客が8コアのマシンを買ったとしたら、たとえそれをあるアプリケーションの専用マシンにしたとしても、そのアプリケーションがCPU性能の12%しか使えなくてもおかしくない、とあなたは顧客にどうにかし

    マルチコア危機:ScalaとErlangの対立
  • 一歩先行くJavaプログラマが読むべきオープンソースソフトウェア10選 - 設計と実装の狭間で。

    10万行コード読んだらJava分かるよってTwitterに書いたらすげぇ勢いでRTされたので、調子に乗って捕捉エントリ書くよ。 Java Core API JDKインストールしたディレクトリに入ってるsrc.zipを展開すると入ってるから読むと良いよ。 すぐ近くにあるのから読むってのはメンタル的に楽でいい。 厳密にはOSSじゃなくて単に公開されてるってだけなんだけども、JavaプログラマなのにコアAPIのコード読んでないとか無いよね? どれから読めば良いか分からんかったら、 java.lang java.util java.io java.text 辺りをまずはキチンと理解すること。当然コードを読み終わったら、それを使ってコードを書く事。 OpenJDK http://hg.openjdk.java.net/jdk7/jdk7 OpenJDKを読むことで、プログラム言語してのJavaではな

    一歩先行くJavaプログラマが読むべきオープンソースソフトウェア10選 - 設計と実装の狭間で。
  • フリーフォントのダウンロードサイト「フォントAC」

    フォントACのフォントは、すべてフリーダウンロードできます。 メールアドレスとパスワードを登録するだけで、すぐにフォントのダウンロードができます。日フォント英語フォント、手書きフォントイラストフォント、顔文字フォント、毛筆フォントなど、様々なフォントがすべてフリーでダウンロード可能です。商用利用もOKなので、チラシやポスター、WEBサイトなどの広告、ポストカードや年賀状などにもご利用いただけます。クレジット表記や許可も必要ありません。※再配布はご遠慮下さい。

  • Dropboxにファイルをアップする前に簡単に暗号化できる無料のアプリ『SecretSync』 | ライフハッカー・ジャパン

    Windows:Dropboxのデータを暗号化するには、第2のレイヤーを追加するのも手ですが、もっと簡単に同期ファイルのセキュリティを確保する方法があります。『SecretSync』は、Dropboxのファイルをクラウドに送る前に暗号化してくれる無料のアプリです。 Dropboxは、サーバのデータを同期する時に暗号化していますが、例えば政府関係者からファイルを見たいと言われれば、Dropboxの社員は暗号化していないファイルを開示します。そのような最悪の事態を避けるべく、パソコンからDropboxのサーバにデータを送る前に、自分で暗号化しておかなければなりません。そこで、SecretSyncの登場です。 SecretSyncの使い方は簡単。パソコンのハードディスクの中にフォルダを一つ追加し、Dropboxにデータを送る前に、暗号化しておきたい大事な情報をそこに入れます。鍵を使って入るように

    Dropboxにファイルをアップする前に簡単に暗号化できる無料のアプリ『SecretSync』 | ライフハッカー・ジャパン
  • 触れる価値あり。Google Chromeをプログラミングエディタ化する·SourceKit MOONGIFT

    SourceKitGoogle Chrome内で動作するテキストエディタ。Dropbox APIを使っている。 SourceKitGoogle Chrome向けのフリーウェア(ソースコードは公開されている)。なかなかWebアプリケーション化しないものの筆頭として考えられてきたのがテキストエディタだ。特にプログラマ向けのエディタになると手になじんでいるかどうかの問題が大きく、なかなか格化しなかった。 まさにエディタ 確かにWebベースで開発するということに大きなメリットは感じられなかったのは確かだ。だがSourceKitを見たら、その考えが変わってしまいそうだ。 SourceKitGoogle Chromeの機能拡張として提供される。左側にファイルツリー、右側に編集画面が表示される。開発者向きに各言語向けのハイライトに対応している。さらにテーマも幾つも用意されており自分好みの配色を選

  • ブラウザにドラッグ&ドロップでアップロード可能な無料9GBストレージ「Fyels」*二十歳街道まっしぐら

    ※2011.09.29追記※ 現在「Fyels.com」のドメインがオークションによって売買されております。 これからどのようなWebサービスとして運営されるか不明です。 以上のことから、記事から「Fyels」へのハイパーリンクを削除致しました。 「Fyels」は無料で最大9GBまで利用できるファイルストレージです。 Twitterアカウントでログインできますよ。 Twitterアカウントでログインすれば、http://(TwitterユーザID).fyels.com/のドメインがGetできます。 そこにアクセスすれば、アップしたファイルを友人などと共有できますよ。 ブラウザにドラッグドロップするだけでアップロードできる所も良いですね。 複数ファイルのアップロードにも対応。 APIもあったりしてなかなか機能が充実してますね。 以下に使ってみた様子を載せておきます。 まず「Fyels」へア

    ブラウザにドラッグ&ドロップでアップロード可能な無料9GBストレージ「Fyels」*二十歳街道まっしぐら
  • プログラミング言語Scala 日本語情報サイト

    Created by mhanada on 2011-12-25. Updated: 2012-02-11, 23:29 日Scalaユーザーズグループ発足に伴い、今後は日Scalaユーザーズグループのサイトにニュースを掲載することにいたしましたのでそちらをご覧いただくようお願いします。

  • おさえておきたいメールで使う敬語 - もっこもこっ

    がちがちに堅い敬語は使わなくても、目上の人やお客様宛のメールはやはりある程度敬語を使って書くものだと思います。 よく お待ちしています。 とメールの文章にありますが、 これは お待ちしております。 と書くほうが丁寧できちんとした印象で伝わります。*1 × お待ちしています。 ○ お待ちしております。 × よろしくお願いします。 ○ よろしくお願いいたします。 × うかがわせていただきます。 ○ うかがいます。 × いかがいたしますか? ○ いかがなさいますか? × ご覧になられましたか? ○ ご覧になりましたか? × お目にかかりますか? ○ お会いになりますか? 細かいことですが、メールを受け取ったあと気にする方は気にされます。一通りおさえておくとよいかと思います。 また上から目線にならないように気をつけたいというのもあります。 例えば「特に問題ありません。」「別に構いません。」というの

    おさえておきたいメールで使う敬語 - もっこもこっ
  • Node.jsとは何か、開発者ライアン・ダール氏が語る(後編)~ 複数コネクションの並列処理とデバッグ

    Node.jsとは何か、開発者ライアン・ダール氏が語る(後編)~ 複数コネクションの並列処理とデバッグ いま注目されているサーバサイドJavaScriptの火付け役となったNode.js。その開発者であるライアン・ダール(Ryan Dahl)氏自身がNode.jsを紹介した講演「Introduction to Node.js with Ryan Dahl 」のビデオが公開されています。 この講演は、サンフランシスコのPHP開発者の集まりであるThe SF PHP Meetup Groupが2月にダール氏を招待して行われたもの。 そのため、Node.jsを知らないデベロッパーに向けて、Node.jsがどのような特徴を持つプログラミング言語なのか、分かりやすく解説しています。内容を紹介しましょう。 (記事は「Node.jsとは何か、開発者ライアン・ダール氏が語る(前編)~ノンブロッキングとは

    Node.jsとは何か、開発者ライアン・ダール氏が語る(後編)~ 複数コネクションの並列処理とデバッグ
  • Node.jsとは何か、開発者ライアン・ダール氏が語る(前編)~ノンブロッキングとはどういうことか?

    いま注目されているサーバサイドJavaScriptの火付け役となったNode.js。その開発者であるライアン・ダール(Ryan Dahl)氏自身がNode.jsを紹介した講演「Introduction to Node.js with Ryan Dahl 」のビデオが公開されています。 この講演は、サンフランシスコのPHP開発者の集まりであるThe SF PHP Meetup Groupが2月にダール氏を招待して行われたもの。 そのため、Node.jsを知らないデベロッパーに向けて、Node.jsがどのような特徴を持つプログラミング言語なのか、分かりやすく解説しています。内容を紹介しましょう。 Node.jsとPHPとの質的な違いとは何か Node.jsを触ってみよう。今日は特にスライドは用意してなくて、タイプしてどんなものかを動かしながら紹介していくつもりだ(注:ダール氏はここで最初に「

    Node.jsとは何か、開発者ライアン・ダール氏が語る(前編)~ノンブロッキングとはどういうことか?
  • ソーシャルグラフの進化と新興サービスがとるべき戦略:In the looop:オルタナティブ・ブログ

    ソーシャル・ネットワークにおける人間関係の情報は「ソーシャルグラフ」と呼ばれ、その重要性ゆえ、日増しに注目が高まっている。過去に「ソーシャルグラフってなんだろう?」という記事で多面的な解説を試みたが、それ以降、新しいサービスの台頭でソーシャルグラフはさらに進化を続けている。 そこで当記事では、その続編として、ソーシャルグラフの種類、それぞれをベースとしたサービス、最後にソーシャルグラフをめぐるサービス戦略について、それぞれ考察を加えてみたい。なお、この内容は、前回の「LooopsTV」にて口頭説明した内容をブラッシュアップしたものだ。 ■ ソーシャルグラフの種類について まず、シンプルなソーシャルグラフを考えてみよう。人と人の関係性について、ベーシックな理論として引用されることの多いのは、社会学の権威であるマーク・グラノヴェッター氏による「The strength of weak ties

    ソーシャルグラフの進化と新興サービスがとるべき戦略:In the looop:オルタナティブ・ブログ
  • Effective JavaScriptをPDFにしました - renoivのブログ

    [twitter:@bleis]さんのつぶやきを見て,ここにあったのか!という驚きでした。 2003年頃の記事ですがJavaScript 1.5 (Mozilla 1) ベースなので,まだ参考になると思います。 Googleドキュメントに置きましたので必要な方はどうぞ! Effective JavaScript - Dynamic Scripting.pdf Powered by Google ドキュメント HTMLアーカイブGithubに置きましたので,こちらも必要な方はどうぞ。 https://github.com/renoiv/EffectiveJavaScript 参考 Effective JavaScript - Dynamic Scripting Wikipedia JavaScript バージョンとブラウザの対応表

    Effective JavaScriptをPDFにしました - renoivのブログ
  • 「ノンプログラマーのためのjQuery入門」のスライドが凄く分かりやすいですね - かちびと.net

    Twitterに流れてきたスライドがとっても 分かりやすかったのでブログでより多く の方に拡散。ノンプログラマー向けの jQueryの基講座。これからjQuery を使おう、という方は読んでおくと良さ そうですね。 ノンプログラマー向けにjQueryの基礎をスライド化してくれています。 @pocotan001さん作のスライドです。 このスライドを見ながらコーディングする、というより、基礎知識を頭に入れるのに適したスライドだと思いますので気軽にご覧になってみて下さい。ハードルがかなり下がると思います。 また、当ブログでもjQueryプラグイン等の情報を取りあえげていますので合わせてどうぞ。 jQueryのリファレンスサイトと入門書籍 [2011.09.21アップデート] よくアクセスいただくのでハブ的な役割くらいは果たそうと思います。 jquery / jQueryの家です。 jQuer

    「ノンプログラマーのためのjQuery入門」のスライドが凄く分かりやすいですね - かちびと.net
    stripe121
    stripe121 2011/04/27
  • NameBright - Coming Soon

    littleshotaro.com is coming soon This domain is managed at

  • 美しい日本語を使いたい、ワンランク上のビジネスメールの作法

    「お世話になっております」、「了解しました」、「取り急ぎ、お礼まで」など、ビジネスメールでよく使用する言い回しの間違った使い方、正しい使い方など、ビジネスメールのワンランク上の作法を紹介します。 [ad#ad-2] 下記は、月刊誌「日経おとなのOFF 4月号 美しい日語」で紹介されている「『美メール』の作法」から、特に気になった箇所をピックアップしてまとめたものです。 日経おとなの OFF 2011年 4月号(amazon) マナー以前のビジネスメールの常識 ワンランク上のビジネスメールの作法 シーン別のビジネスメールの作法 マナー以前のビジネスメールの常識 メールの件名は具体的に 内容が分かる具体的な件名にしましょう。 「こんにちは」「お願い」「なるはやで」は、ダメ。 返信メールの件名は変更しない 同じ議題であれば件名は変更せずに、「Re: 」を付加して返信しましょう。 議題を変更する

  • <チェック表>WEBサービスを立ち上げるまでにやらなければならないこと - プログラマー幸福論

    WEBサービスを立ち上げるまでに、やらなければならないことを自分用にまとめてみました。少人数でやっていると、いろいろやらなければならないことが多くてつい忘れてしまいがちですよね。 1) サービス名決定 サービス名とキャチフレーズだけは、最初に決定しておいた方がいいです。思いつかない場合は、TOPページのワイヤフレームを書きながら考えたりします。また、サイト名を Google などで検索してみて、ユニークな名前であるかを調べておかないと後で後悔したりします。 2) ドメイン取得/DNS反映 サービス名が決定したら、ドメインが利用可能か調べます。 最近では、.in や .me などを使った面白いドメイン名もありますよね。なるべく短く、覚えやすいドメイン名にします。 3) サーバー サービスを配置する、クラウドやレンタルサーバーなどからサーバーを選びます。 特殊なモジュールのインストールなどが必

    <チェック表>WEBサービスを立ち上げるまでにやらなければならないこと - プログラマー幸福論
  • [ レポート ] QCon Tokyo 2010 参加レポート

    2010 年 4 月 19 日(月)~ 20 日(火)の2日間にかけて、東京ミッドタウン カンファレンスにて「 QCon Tokyo 2010 」が開催されました。この記事では、カンファレンス全体の様子と、筆者が参加したセッションの内容をレポートします。1日目は浅井、2日目は齋藤がレポートしています。 QCon は、技術情報サイト InfoQ 主催のカンファレンスです。InfoQ は海外では有名な技術情報サイトで、特定の技術・方法論に偏らず、Java 、.NET 、LL 言語から、アーキテクチャ、SOA /クラウド、アジャイル、RIA まで、あらゆる最先端の技術的話題が発信され、技術者同士のコミュニケーションの場になっています。QCon は現在のソフトウェア開発の最先端を担う著名スピーカーが数多く集まることで人気を博しています。また、こうした著名人同士の交流の場にもなっているようです。 Q

  • ニコスのキャッシング一括返済は手数料を取られますか?

    ニコスのキャッシング一括返済は手数料を取られますか? 私はいつでもお金を借りられる方法として、ニコスのカードキャッシングを利用しています。キャッシングは先に手続きを済ませておけばいつでも借りる事ができますし、ニコスという信頼性が高いブランドというのも、個人的にはとってもありがたいです。 それでキャッシングを使うと一括返済か分割で払うか選べるわけで、大体の場合は分割がデフォルトになっていますよね?分割すると月々が楽ですが金利手数料などもあって、余裕さえあれば一括にて返していきたいと思っています。今回はその一括返済について、お聞きしたい事があるんです。 一括返済をするときって、別途手数料がありましたっけ?ローンとかの一括返済だと繰り上げ手数料が取られると聞いた事があり、手数料が取られてしまうようならお得にならないとも聞きました。キャッシングといえどローンみたいなものですから、やっぱり手数料はあ