ayacnews2nd.com - このウェブサイトは販売用です！ - ayacnews2nd リソースおよび情報
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
20代女子チームがつかんだ「ゲーム初心者女子」のハート 300万人突破「恋してキャバ嬢」
20代女性チームが企画・運用している携帯電話向けソーシャルゲームが、300万ユーザーを獲得する大ヒットになっている。売れっ子キャバクラ嬢を目指す「恋してキャバ嬢」だ。 イケメンを接客して給料を稼いだり、デートを楽しんだり、アバターを着飾ったりして遊べるゲームで、ソーシャルゲームメーカーのKLabGames（クラブゲームズ）が、「mixi」「モバゲータウン」「GREE」で提供している。 「わたしでもできるゲームを作ろう」――企画のリーダを務めた同社の菊池亜衣プロデューサー（26）は、これまで「ゲームを全くといっていいほどプレイしたことがなかった」という。そんな自分でもプレイしたいゲームに仕上げたことが、同世代のユーザーの心をつかんだようだ。 企画・運用チームの7人は全員20代の女性。前列左から小林果奈さん、三田沙野香さん、菊池亜衣さん、後列左から田近優さん、林亜希子さん、佐々木紀子さん、原田
NoSQLを上回る性能のVoltDB、そのアーキテクチャとは
データベース研究者の大御所、マイケル・ストーンブレイカー氏が開発し、NoSQLデータベースをも上回る性能を発揮するリレーショナルデータベース「VoltDB」。前回の記事では、その特徴と、NoSQLデータベースのCassandraとのベンチマーク比較を紹介しました。 今回はVoltDBのアーキテクチャについて調べたことをご紹介しようと思います。基本的にはVoltDBのWebサイトやリンク先の内容を基にしています。また、ブログ「独り言v6」のエントリ「VoltDB登場 – RDBMSのようでRDBMSではない新システム」も参考にさせていただきました。 シェアドナッシングな分散インメモリデータベース VoltDBのアーキテクチャは、FAQのページで以下のように説明されています（英語を訳したものを引用しています。以下同じです）。 VoltDBは、シェアドナッシングなサーバ群から構成されるスケーラブ
SQLの都市伝説。マイケル・ストーンブレイカー御大が斬る！
データベース研究者の大御所、マイケル・ストーンブレイカー氏が、「SQL URBAN MYTHS」（SQL都市伝説）というWebセミナーを、自身が創設した会社VoltDBで公開しています。 一般にリレーショナルデータベースに対して言われている「SQLは遅すぎる、トランザクションのコストは高すぎる」といった評価について、SQLが遅いのではないし、トランザクション以外のコストが高すぎるのだ、と反論する内容。 これらは同氏が以前から主張してきた内容ではありますが、最近流行しているNoSQLデータベースに対する反論にもなっているため、多くのエンジニアに刺激になる内容となっています。 SQLに関する6つの都市伝説 都市伝説1：SQLは遅すぎる。NoSQLのような低レベルなインターフェイスを使うべき 都市伝説2：キーバリュー型が有望で、SQLは問題外 都市伝説3：SQLデータベースはスケーラブルではない
自動定理証明 - Wikipedia
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。 自動定理証明（じどうていりしょうめい、英: automated theorem proving, ATP）とは、自動推論 (AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。 論理学の起源はアリストテレスまで遡るが、現代的数理論理学は19世紀末から20世紀初頭に発展した。フレーゲの『概念記法』(1879) が完全な命題論理と一階述語論理の基本的なものを導入[1]。同じくフレーゲの『算術の基礎』(1884)[2]でも、形式論理の数学（の一部）を説明している。この流れを受け継いだのがラッセルとホワイトヘッドの『プリンキピア・マテマティカ』で、初版は19
オブジェクト指向の法則集
1999/07/07 更新 石井 勝 はじめに ここでは，オブジェクト指向に出てくる法則・原則をまとめました．パターンに比べてほとんど知られていないのが現状ですが，優れたオブジェクト指向開発者を目指すならデザインパターンよりまずこっちを理解し覚えてしまいましょう． これらの法則は，絶対守らなければならないというものではありません．開発中に法則が守られているか意識することが重要です．つまり 今行っている設計はその法則が守られているだろうか その法則を破っている場合，破るべき正当な理由があるだろうか と絶えず考えるようにしましょう．そうするとそれは自然に優れたオブジェクト指向設計になるのです．つまりこれらの法則は，優れたオブジェクト指向開発のための指針なのです． Robert C. Martin の Principles of OOD Robert C. Martinは，オブジェクト指向設計の
組織パターンとプロセスパターン
1999/06/11 石井 勝 はじめに 組織パターン(Organizational Pattern)，プロセスパターン(Process Pattern)はソフトウェア開発をすすめる上で開発チームや開発の進め方、開発者間のコニュニケーションをより円滑に行う方法など，ソフトウェア開発のマネージメントについて記述されたパターンです．このパターンは，James O.Coplienによって提唱され(1994年[文献A])，現在も引き続き研究が行われています[文献B]． 組織パターンは，開発チームをどう編成すればいいのかということについて，プロセスパターンは開発プロセスどう進めていくかについて言及されており，両者には密接な関係があります．しばしば両者を一まとめにして組織パターンあるいはプロセスパターンと呼ばれている場合もあるようです． 特徴としては，より建築家アレクサンダーのパターン・ランゲージに近
自動化のためのGNU Make入門講座
2003/01/05 石井 勝 はじめに ここでは，makeを使ってプログラマやSEが普段行なっている作業を自動化する方法を解説します． makeはプログラム開発だけでなく，いろいろな作業を自動化してくれます．自動化する作業のプラットフォームとしてmakeを活用することができます．ところが，最近はmakeを理解できる開発者が非常に少なくなってきました．普段統合開発環境を使っている人が多いことや，makeについて書かれた書籍やサイトが非常に少ないことが原因でしょう．makeについて少しは知っているけど，あまり使いこんだことがない人はこの記事を参考にしてみてください． 一口にmakeといってもいろいろな種類があり，それぞれ仕様が異なります．ここでは，僕が普段使っているGNU makeについて解説します．GNU makeは機能が豊富で他のmakeツールやAntに比べ優れています．開発環境は，僕が
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
NameBright - Domain Expired
はてなブログ | 無料ブログを作成しよう
JavaScriptによるオブジェクト指向プログラミング