タグ

2014年1月6日のブックマーク (13件)

  • Parallelism and concurrency need different tools

    concurrent (noun): Archaic. a rival or competitor. – dictionary.com Two lines that do not intersect are called parallel lines. – Wikipedia In this piece, I disagree with Joe Armstrong and Rob Pike, basing my argument on the differences between vending machines and gift boxes (illustrated with drawings carefully prepared in Microsoft Paint). Parallelism and concurrency are both very fashionable not

    Parallelism and concurrency need different tools
  • ロジバン - Wikipedia

    ロジバン ( lojban [ˈloʒban] ( 音声ファイル) ) は、ログランを元に、さらなる機能性を追求して LLG が開発を引率してきた人工言語である。1987年に公表され、1997年に文法が暫定的に完成、2002年から実用段階に入った。主にインターネットを中心とする国際的な研鑽が進んでいる。 特徴[編集] ログランから継承したものも含め、ロジバンは以下の性格を有する。 言語表現の論理的な構造を正確に(そしてしばしば簡潔に)記述するために開発されてきた述語論理を文法の基盤としている。そのため、自然言語では表現が困難であるような複雑な構造をごく明晰に記述できる一方で、文芸的理由から敢えて多義的な表現を織ることもでき、自然言語と同様、話者の自在に任せた表現が可能である。『In the Land of Invented Languages』の著者でありエスペラントやクリンゴン語に精通し

    ロジバン - Wikipedia
    theatrical
    theatrical 2014/01/06
    俺氏、一時期厨二病をこじらせて人工言語を作ってた模様。
  • Parsing Expression Grammar - Wikipedia

    Parsing Expression Grammar(PEG)は、分析的形式文法の一種であり、形式言語をその言語に含まれる文字列を認識するための一連の規則を使って表したものである。PEGは再帰下降構文解析を文法を示すためだけに純粋に図式的に表現したものと見ることもでき、具体的な構文解析器の実装やその用途とは独立している。 PEGにおける構文(文法)の定義は文脈自由文法のバッカス・ナウア記法によるそれに似ているが、文脈自由文法では一般に「|」(縦棒、バーティカルバー)で表される「これらのうちどれか」ではなく、「最初の解析がうまくいったらそれを、失敗なら次を順に試してゆき、成功したものを採用」(「/」であらわす)という意味を使う。 このため、文脈自由文法とは異なり、PEGには曖昧さは存在しない。文字列を構文解析する場合、正しい構文木は常に1つしかない。このためPEGはコンピュータ言語の構文解析

    theatrical
    theatrical 2014/01/06
    私もねperl6を初めて聴いたときには興奮しましたよ。正規表現のようにPEGが一気に当たり前の存在になるのかってね。でももはやPerl6のことは諦めました。
  • グーグル・グラス遂に日本上陸へ - ライブドアニュース

    by ライブドアニュース編集部 ざっくり言うと 「グーグル・グラス」が並行輸入販売される 価格は69,800円(1月10日までの予約の場合)で、4月に出荷予定 法人の開発者向けバージョンも248,000円(7台限定)で販売される 提供社の都合により、削除されました。 概要のみ掲載しております。 ランキング 総合 国内 政治 海外 経済 IT スポーツ 芸能 女子

    グーグル・グラス遂に日本上陸へ - ライブドアニュース
    theatrical
    theatrical 2014/01/06
    ダサくなかったら欲しかった
  • Sphinx-Users.jp :: ドキュメンテーションツール スフィンクス Sphinx-users.jp

    Sphinx-Users.jp¶ Sphinx-Users.jp(略称#sphinxjp)は、美しいドキュメントを簡単に生成することができるドキュメンテーションツール、 Sphinx (スフィンクス)の普及を主眼としたコミュニティです。SphinxはPythonの公式ドキュメントだけでなく、このSphinx-Users.jpのサイトも含め多くのマニュアルやサイトで使用されており、詳細を Sphinxの歴史で紹介しています。 Sphinx-Users.jp は日の Sphinx コミュニティです。 Sphinx-Users.jp では、日で散らばっているSphinx関連情報を集めて、Webサイト、イベントを通じてSphinx情報を発信します。 slack のコミュニケーションや勉強会の開催などを通じて、ドキュメントをパワーアップしたい人、ドキュメントや翻訳で苦労している人、Sphinxの

    Sphinx-Users.jp :: ドキュメンテーションツール スフィンクス Sphinx-users.jp
  • Haskell Games & Mobile Apps - Keera Studios

  • 「コンピュータを使うと馬鹿になる」という指摘は馬鹿にできない

    ITpro読者の皆様、2014年もよろしくお願いします。「年初から馬鹿とは何事か」などと思われたかもしれませんが、前向きな話を書くつもりです。次の段落から文末を通常の「である」に戻します。 2013年の末、「Java技術者を日で募集したが見つけられなかった」という話を知り合いの社長から聞き、首をひねった。ソフト開発事業を手掛ける企業の多くは、新入社員に開発言語としてJavaを教えている。Javaを使える人なら沢山いるはずだ。 条件を聞くと、あるプロジェクトのために一定期間だけ参加してもらう仕事であった。対価はかなり高く、腕に自信のあるフリーランス技術者が応募するには、恰好の案件と思われた。 ただし勤務地は上海であった。「海外勤務に二の足を踏んだのでは」とその社長に聞いたところ、「勤務地よりも仕事の内容が敬遠されたのではないか」という答えが返ってきた。 仕事の内容は、その企業が内製して

    「コンピュータを使うと馬鹿になる」という指摘は馬鹿にできない
    theatrical
    theatrical 2014/01/06
    数学とかだとコンピュータがあるから計算に注力させすぎず、もっと論理的な部分を注力すべきだという議論があるわけですよ。コンピュータで簡単に代替出来るような能力はもはや重要性は低いと思います。
  • ミラン本田圭佑 英語インタビュー全訳 : Samurai GOAL

    1月5 ミラン田圭佑 英語インタビュー全訳 カテゴリ:ネタ[短レス] 473: 名無しさん@お腹いっぱい。 2014/01/05(日) 10:35:20.95 ID:Xb9YCmfU0 田のインタビュー動画上がってたんで聞き取ったの載せるわ 途中切れてる部分もあるが勘弁 英語インタビュー全文です そのままのせました http://www.youtube.com/watch?v=tJ49eDltydc 前半 ミランへようこそ どんな気分ですか? I'm so happy to come here. ここに来れてとても嬉しい I'm so excited とても興奮しています ミランへの度はどうでしたか? I slept well in airplane 飛行機ではよく眠れました so I'm ready to play プレイする準備は出来ています ミランにはバロテッリとかカカ等がいます

    ミラン本田圭佑 英語インタビュー全訳 : Samurai GOAL
    theatrical
    theatrical 2014/01/06
    冷静に考えたらどうせイタリア語に再翻訳されるだから日本語でよくね?って思ったけど、国外のファンも多いからやっぱり英語の方がいいのかな。
  • フォームに記入するだけで退職届けが作成できる「退職届けPDFメーカー」

    人生において、いつ何が起こるかを予測するのは非常に難しいものです。すべてが順調に進んでいると思っていたことが、ちょっとしたきっかけで終わりを迎えてしまうこともあります。「そうだ、転職しよう!」そんなことをふと思った時に役に立つのが「退職届け PDF メーカー」です。 退職届け PDF メーカー http://app.awm.jp/resign/ 使い方はカンタン。画面左に表示されている入力窓に文、日付け、部署名を入力し、最後に「make」ボタンをクリックするだけ。これがテンプレートの文章です。 作成した書類は、画像右下のメニューから印刷やファイル保存することが可能です。なお、この画面はInternet Explorer 10の画面をキャプチャしたものですが、Firefox 26ではメニューが表示されないこともありました。表示されない場合は、別のブラウザにURLをコピーして表示させると解決

    フォームに記入するだけで退職届けが作成できる「退職届けPDFメーカー」
  • プロンプトで対話的に評価する

    例えば、putStrLn :: String -> IO ()に注意すると、次のようになる。 Prelude> putStrLn "hello" hello Prelude> do { putStrLn "hello"; return "yes" } hello "yes" GHCiは実際には単なる式ではなく文を受け付ける。そのため、値や関数を名前に束縛して、後で式や文の中で使うことができる。 GHCiプロンプトが受け付ける文の構文は、Haskellのdo式における文の構文と全く同じである。ただし、こちらにはモナドの多重定義はない。プロンプトに入力される文はIOモナドの中になければならない。 Prelude> x <- return 42 Prelude> print x 42 Prelude> x <- return 42という文は、「return 42をIOモナドの中で実行し、結果をx

    theatrical
    theatrical 2014/01/06
    "この問題を軽減するために、GHCiのコマンドを:{と:}で囲む(それぞれ一行使って)と、複数行に渡らせることができるようになっている。" 知らなかった
  • ゆるふわHaskell (Light & Airy Haskell) — laskell 0.0.1 documentation

    はじめに¶ 巷に溢れているHaskellはいきなりのIOを避けているものが多いですよね。こ れらのを読んでわかった気になっても、実際に日々のタスクに使おうとした 場合に結構ハマることが多いんですよね。 「習うより慣れろ」みたいなスタイルでHaskellの学習をするとどういう学習曲 線をたどることになるんだろうか? phpのように動けばいいや(偏見?)というス タンスでHaskellのコードを書くことは可能なんだろうか? と疑問に思ったので、よくあるスクリプト言語の入門書(IOから入る系)のよう な話題を取り扱ってみようかなと。 Sphinxという良い感じに文章をかけるツー ルと、書いた文章をGitHub Pagesで手軽に公開できるような環境の存在も、こ の試みを後押ししました。というか書いていて楽しいので、みなさんもSphinx つかうとハッピーになれると思います。 フィードバックな

    theatrical
    theatrical 2014/01/06
    人工無能か
  • 28歳の俺にC言語を1から教えてじゃんけんゲームを完成させるスレ : IT速報

    1: 以下、名無しにかわりましてVIPがお送りします 2014/01/04 22:00:04 ID:kC+V2XeX0 GCCの準備できてます!頭くそだけどよろしくお願いします! 7: 以下、名無しにかわりましてVIPがお送りします 2014/01/04 22:01:13 ID:vKdW/2mf0 逆かと思って開いたのに… 44: 以下、名無しにかわりましてVIPがお送りします 2014/01/04 22:25:32 ID:nzCWAN6W0 俺も逆かと思って開いたのに 8: 以下、名無しにかわりましてVIPがお送りします 2014/01/04 22:01:29 ID:2FtGig1R0 まず、Hello worldをします 17: 以下、名無しにかわりましてVIPがお送りします 2014/01/04 22:06:46 ID:kC+V2XeX0 >>8 #include <stdio.h>

    28歳の俺にC言語を1から教えてじゃんけんゲームを完成させるスレ : IT速報
    theatrical
    theatrical 2014/01/06
    なんでC言語でやるのか意味分からん。
  • Google I/O 2012 - Go Concurrency Patterns

    Rob Pike Concurrency is the key to designing high performance network services. Go's concurrency primitives (goroutines and channels) provide a simple and efficient means of expressing concurrent execution. In this talk we see how tricky concurrency problems can be solved gracefully with simple Go code. For all I/O 2012 sessions, go to https://developers.google.com/io/

    Google I/O 2012 - Go Concurrency Patterns