タグ

2014年10月12日のブックマーク (14件)

  • Paxosアルゴリズム - Wikipedia

    Paxosとは信頼性が低いプロセッサのネットワークにおいて合意の問題を解決するためのプロトコルの集合である。 合意とは参加者のグループにおいて単一の結果について合意を得るプロセスである。参加者や通信手法に障害が起きる可能性がある場合、この問題は困難なものとなる[1]。 合意プロトコルは分散コンピューティングにおける状態機械アプローチの基礎であり、これはレスリー・ランポート[2]により提案され、Fred Schneiderによってサーベイがなされている[3]。 Paxosプロトコルは1990年に登場し命名されたが、論文として出版されたのは1998年であった[4]。 これ以前に、ナンシー・リンチ、Cynthia Dwork、Larry Stockmeyerは"部分同期"システムの広い範囲における合意形成方法を例証している。Paxosは分散トランザクションの文脈において、1988年にOkiとBa

  • 株式会社マクニカ エルセナ カンパニー

    masterq
    masterq 2014/10/12
    あんま使うもんじゃないですが。だいたい2ドル/個
  • hertaville.com - このウェブサイトは販売用です! - hertaville リソースおよび情報

  • Arc

  • 【後藤弘茂のWeekly海外ニュース】 Intel CPU設計の主要技術だったiHDLハードウェア記述言語

    masterq
    masterq 2014/10/12
    ARMがGHCを使った高位合成を駆使しているんではないか疑惑について
  • LM386スモーキーアンプ自作 空き缶ギターアンプの製作サイト!|THE386アンプ

    俺がこのサイトの管理人の「自作アームストロング」だ。 三度の飯より386ギターアンプが好きなんだぜw お前はギターアンプを自分で作ってみたいのか? 世界に一つだけのお前だけのギターアンプを・・・ 俺についてくれば絶対にアンプが作れるからな。 このサイトに来たからには、もう大丈夫だぜw ゆっくり見て行ってくれよな! と、前ふりはこれくらいにしまして・・・。 世界に自分だけのかっこいいギターアンプを作ってみたいと思いませんか? 友達とかに自慢したり、さりげなく彼女に自作のアンプでギターを弾いてきかせたりしたいと思いませんか? 僕も実はそう思っていました。 ネットとかで空き缶アンプをみたり、スモーキーアンプが作れたら格好良いだろうなと思っていましたけど、まさか自分で作れるようになるとは思ってなかったです。 やってみるものですね! このサイトでは僕のそんなアンプ自作のノウハウを惜しみなく提供してい

  • LM386N自作アンプ | パワーアップ! ギター入門

    LM386Nというオペアンプを使って自作ミニギターアンプを作ってみたよ。 色々試しながらやってみたから、最もシンプルで音が出る回路からバリバリディストーションが効いてるところまでを順番に書いていくよ。 自作ギターアンプなんて所詮ポコポコいうだけだろうって思ってる人はまずこれを聴いて欲しい。 LM386Nサンプルサウンド(wma) まぁ弾いてる内容はあれだけど、結構歪んでカッコイイ音でしょ。 これは結構歪ませた例で、ゆるい歪みからここまでの間で好きなところで作れるから参考にしてみて。 ギターアンプじゃなくて歪み系エフェクターを作りたい!って人はこのページで回路作ってから、 オーバードライブ・ディストーションのページでツマミつけたりしてるからそちらを参考に。 今回は使えるギターアンプを作るところまでいきたいから、部品は一通り買ってきたんだけど、最低でも必要なパーツは200円くらいだからダメ元で

    LM386N自作アンプ | パワーアップ! ギター入門
  • GNOME3ってかなりいいUIなのではないかという話 » catatsuyのBlog

    デスクトップとThinkPad X1をUbuntu11.10にしました 一般的にLinuxディストリビューションのアップグレードは十中八九バグがあるので,いつも通りクリーンインストールしました それで最近はUnityやGNOME3などの新しいデスクトップ環境が普及しつつあり,以前のGNOME2系列を愛する人たちがLinux Mintなどの以前のUIを固辞したディストリビューションに移りつつあるそうですが,私はUbuntu11.10を選択しました 結局UbuntuデフォルトのUnityは気に入らず,GNOME3に変更しましたが,これがなかなか良好です 一部挙動がおかしいところがありますが(ibusのIMEの切り替えをC-jにしたのに最初の一回はなぜか効かないなど) ただGNOME3の日語での情報はまだまだ少ないように感じました ということで使い方や,自分がどういう設定をしているのか軽く

  • Overview

    Overview The Overture community supports the modelling method The Vienna Development Method (VDM) which is a set of modelling techniques that have a long and successful history in both research and industrial application in the development of computer-based systems. The Overture Tool is an open-source integrated development environment (IDE) for developing and analysing VDM models. The tool suite

  • Main Page - Wiki.overturetool.org

  • http://www.extellisys.com/articles/20141011-tlug-intro-to-functional-programming

    masterq
    masterq 2014/10/12
    詳しいスクリーンショット入り
  • 安く買えるドットコム | 安く買えるドットコム

    会社概要 プライバシーポリシー 古物営業法許可について サイトマップ お問い合わせ (運営:株式会社マーケットエンタープライズ) 東京都公安委員会許可 第307730608365号|神奈川県公安委員会許可 第451450015098号|埼玉県公安委員会許可 第431040031585号|宮城県公安委員会許可 第221030002515号 愛知県公安委員会許可 第541161210200号| 大阪府公安委員会許可 第622030123963号|兵庫県公安委員会許可 第631141500030号|福岡県公安委員会許可 第901071410024号

  • 歌ってみたの作り方講座

    歌ってみたの作り方講座へようこそ! 動画サイトでよく見る「歌ってみた」をやってみたいけど、やり方がわからない! マイクやらオーディオインターフェイスやら録音ソフトやら、どんな機材を揃えればいいのかわからない! …という歌ってみた初心者向けに、歌ってみたのやり方を解説するサイトです。 歌ってみたに必要な機材やソフト、マイクの選び方、カラオケ音源の用意、歌の録音の仕方、音声の加工やミックス、エンコードまで…。 ゼロからニコニコ動画やYoutube等の動画サイトに投稿するまでをひととおりを解説します! 最低限のパソコンの知識は必要ですが、初心者の人でも大丈夫なように出来るだけ簡単に、わかりやすくを心がけます。 必要なのはやる気だけ! …と言いたいところですけれど、マイクやオーディオインターフェイスなどの機材の費用は少し掛かります。 それとパソコンはほぼ必須です。 最低限の環境だとパソコン体は除

  • ZO-3 Tips

    トップ/ZO-3 Tips ZO-3に関わるTipsやカスタマイズを紹介しています。 #「ZO-3のリペア&メンテナンス」と合併しました。 #Tipsを募集しています。こちらまでお寄せ下さい。 ZO-3流 弦の張り方 こんな巻き方もあります。 ZO-3配線図(Vol部) dieさんからの頂き物です。 ACアダプタ自作 ZO-3に使用できるACアダプタを自作する方法です。 電源スイッチをプッシュ式に トグル式の電源スイッチをプッシュ式にする改造です。 座って弾く時のズリ落ちを解消 ZO-3を座って弾いているとネック側がゴンッと落ちてくることはありませんか?それを解消するTipsです。 PU交換 エレクトリック・ギター改造の定番ですね。僕のPU交換レポです。 ノブ交換 300円程度のカスタマイズです。意外と楽しいのです。 こんなちょっとしたパーツでも ちょっとした部品を取り替えるだけで、より良