 
|
はてなキーワード: ソートとは
最近2chで彼女等が若くして突然亡くなる話しが流行っていますよね。
http://ganjoho.jp/professional/statistics/statistics.html
エクセルがダウンロードできるので、シートのnumberを見ると、部位でソートできます。
例えば、膵臓がんで、2010年や2009年に死亡した20歳から24歳の女性はゼロ人です。
もっと若い人や、数名いる年もありますが、やはり少ないですね。
でも全部位で見ると、年間24歳以下（4歳ごと集計）でも、50人ぐらいいます。
男女合わせると100人ぐらいですね。
Webシステムとは縁遠い事務職のリーマンが、ある日思い立って、ニッチな用途の検索エンジンサービスを作ってみたので、ちょっと書いてみようと思います。
ちなみに、検索エンジンといっても、googleカスタム検索とかのお茶濁し系じゃなくて、apache Solrというオープンソース検索エンジンを、VPS上で動かしているという、それなりに本
気度の高いものです。
なんで素人がそんな物騒なものを動かす羽目になったかは、後述。
やりたい構想みたいなことを思いついたのは、もう6、7年前ほど前のこと。初めて独り暮らしを始めたときに、ひどく不便を感じたことがあり、こんなサービスがあったら便利だなあ、
ちなみにその妄想をふと高校の同期に話したとき、そのサービスはどこにあるのか？！と、えらくがっつかれたのを、覚えてます。まあ、俺と同じく偏執狂の奴だったからだと思います
が。
ただ、しがない事務職リーマンということもあり、当然、技術も無く、そのときは、やるならこんな名前のサービス名だろうなあ、とか、そんな妄想レベルで、話は終わっていました。
そんな感じで、5年ほど月日は経ち、なんとなくリーマン人生の流れも見えてきたところで、以前、妄想していたことを、ふと思い出しました。
5年も経ったら、さすがに自分が考えたようなこと、誰かがやっているだろうと調べてみたところ、意外なことに、競合になるようなサービスは存在せず。ちょうど異動があって、少し時
間が出来たこともあり、じゃあ、着手してみようかと思い立ちました。
やりたいことは、大手サイトの情報検索。ただ、商品ページ内の特定情報、それも、商品ごとに正規化されていない表記を、正規化して抽出する必要があったので、大手サイトの既設API
だけではとても実現不可能でした。
まあ、だからこそ、5年間、誰もやろうとしなかったんでしょうが。
ということで、とても一発では解決できなさそうな内容だったので、自分でなんとか実現できそうな機能に細分化して、各個撃破していくことにしました。
随分と考えた結果、
以上に区分できると考えて、これらを各個撃破していくこととしました。
また、技術もなく、プログラミングも出来ず、ましてやlinuxサーバのお守りをしたことなんて当然ないので、インターネット上に置くサーバですべての処理を完結させるのではなく、イ
ンターネット上に置くリソースは最小限に留め、できる限り、勝手がわかる自宅のwindowsパソコンで処理を行うことにしました。
ちなみにさらっと結論だけ書いてますが、ここまで至るまでに、いろいろと調べ続たり、考え込んだりしていたので、思い立ってから3ヵ月は掛かってます。。。
さて、やる方針を決めたあと、はじめに着手したのは、要の検索エンジンサーバです。
いろいろとググって調べて、mySQLというやつか、apache Solrというやつかに絞りましたが、結局、Solrを使うことにしました。
MySQLのほうが実績は多そうだったのですが、Solrのほうが検索専門で、滅茶苦茶動作が速いらしいということ、MySQLでも出来るが特に速度が遅いらしい全文検索機能も使いたかったこ
と、あとファセット機能がジャンル絞りこみに便利に使えそうだったので、というのが理由です。
ちょうどSolr本が発売されていたこともあり、それを参考に、自分が使うように設定ファイルを変更していきました。
しかし、初めは設定ファイルの内容も意味不明な上に、私の書き方も雑なのか、少しいじっただけでまったく動かなくなる。結局、設定ファイルを一文字ずつ変更しては動作検証、とい
った始末で、進捗は地を這うよう。ある程度思い通りにSolrを扱えるようになるまで、3ヵ月以上掛かったでしょうか。。。
さらに、検索エンジンのフロントエンド（Solrの検索結果を、htmlに変換するプログラム）も書かなければならない。プログラミングが出来ない人間には、これが本当に辛かった。
Solr本に、いろんなプログラミング言語でサンプルがあったのですが、迷った末に、わずか数行なら書いた（≒コピペした）経験があるという理由で、javascriptを苦渋の選択。
しかし、選択はしてみたが、基礎が本当に無いから内容がサッパリ頭に入ってこない。こちらも、わかるところから本当に1文字ずつ変えていくといった手探り状態。
プログラミングについては、今回のためだけだから、といった理由で、一切基礎をやらずに着手したのが裏目に出たのか、サンプルのソースをモノにして、書き上げるのに、ゆうに半年
以上。本当に時間が掛かりました。
さらに、Solr周りで計9ヶ月間ハマっていた頃、忘れもしない、kanzen21のおっさんが彗星のように現れて、衝撃を受けることになります。
大手サイトのページをクロールして検索エンジンを作る手法は、私と考えていた構想の枠組みとまさに「完全に一致」な訳で。。。
図書館事件に注目していたのも同じで、あまりの一致具合に衝撃を受けっぱなしでした。
その後の成り行き等も含めて、興味深く観察させて頂き、本当に参考になりました。
そんな感じで紆余曲折もありましたが、ようやく難題だった、プログラミング関連に目処が立ってきたので、あとはクローラと肝心のデータ処理です。ここからは、勝手知ったるwindows
まず、クローラですが、専用のクローラをwindows用に探してきたり、それを設定するのも大変なので、今回はテレホーダイ時代に使っていたような、フリーのweb巡回ソフトを利用する
こととしました。指定のhtmlをダウンロードしてくるだけなので、別に変に新しいものに手を出す必要もないので。
また、ダウンロードしてきたhtmlファイルについては、これまたフリーの日本語処理ツールでcsv方式に加工することにして、処理ルール部分を相当に作り込みました。
このあたりは、全体を通して見てもキモの部分なんですが、ある意味、ちょっとしたパズル感覚だったので、プログラミング言語の部分と違って、かなり楽しかったです。
あとは、msdosのバッチファイル（これは前から知っていた）で、これらの処理を繋ぎ、cygwinのcurlとかいうツールで、連続して検索エンジンサーバにcsvファイルをアップロードする
仕組みを作りました。
検索エンジンサーバには、容量は少ないが、安くて高性能という、今回の用途にピッタリだった、さくらのVPSを借りて設定。CentOSのサーバ構築ホームページを見ながら、サーバとか
Solr管理URLとかにセキュリティを掛けて、こちらも素人ながら、意外とすんなり設定。
ホームページは、vpsサーバに相乗りさせるのではなく、別にさくらのレンタルサーバを借りました。apacheの設定方法等を習得する必要がありませんし、vpsのリソースをapacheと分け
合う必要が無くなるので。ホームページのhtmlファイル、cssファイル等も調べながら設定し、画像も準備しました。
あと、構想を思いついたときに妄想していたサービス名の.comドメインは、すでに他者に取得されていたのですが、どうも使っている風にも見えなかったので、whoisで出てきたメールア
ドレスに連絡して交渉し、幾ばくか払って買い取りました。
結局、足かけ18か月。ようやく完成。
楽天市場の家具を、幅x奥行x高さ(家具サイズ)で検索できる、楽天市場・家具カテゴリ専門の検索エンジン
この商品数規模（データ収録約30万アイテム）で、1センチ単位で家具のサイズ指定検索が可能な手段は、商用サービスも含めて、ほかには存在しないと思います。
kanzen21と違って、エロじゃないから華はないけどね。。。
ちなみに冒頭で少し書いたきっかけですが、就職して独り暮らしを開始したときに、新しい家にピッタリサイズの家具が欲しかったのですが、これが楽天で探すのは至難の技でして。
楽天で家具を探してみようと思った人には判っていただけると思うのですが、楽天では、価格では範囲指定やソートができても、サイズでは検索出来ないんです。
これは、楽天では、商品のサイズ情報は商品の自由記述欄に記載することになっているためで、商品ごとにサイズの記載方法がバラバラのため、検索が事実上、不能となっています。
家電製品とかに関しては、種類が少ないこともあり、メーカーのホームページとかでサイズを確認した上で、商品型番で検索すればいいので、それほど問題にはならないのですが、家具
って、種類が非常に多く、型番もあったり無かったりで、家電のようにサイズを調べることができません。
・・・ということで、カグサイズでは、楽天の商品ページにいろいろな書式で書かれているサイズ情報を拾って解析して正規化し、範囲指定やソートして検索ができるようにしています
。
また、単に寸法サイズを拾うだけでは、梱包サイズとか引き出し内寸とかも引っ掛かってしまうので、それらは出来るだけ排除して、商品の外寸が優先して引っ掛かるよう、アルゴリズ
ムを調整しています。
単位（センチとミリ）に関しても、商品ごとにバラバラ（単に単位だけでなく、商品説明のどこに"センチ"とか"ミリ"と記載しているかについてもバラバラです。）なので、サイズ表記
の前後の状況をみて、正しいと思われる単位で拾うようにしています。
あと、変わった使い方としては、欲しい家具の価格比較みたいなこともできます。
家具は、同じ商品でも、店ごとに型番が違ったりすることがよくあり、簡単には価格の比較が行いづらいジャンルの商品です。
しかし、型番は違っても、同じ商品なら原則、サイズは同じですから、欲しい商品とまったく同じサイズで検索をかけると、同等商品があるのかどうか比較しやすい・・・といった使い
方もできます。
と、そんな感じで、しがない事務職リーマンが作ってみた、ニッチな用途の検索webサービスを、サービスインさせて頂きました。
一般に公開されていて、誰でもアクセスできる情報でも、ニーズが有りそうな切り口の条件で検索性を高めれば、新しい価値を創造できるんじゃないかという実験です。
もしよろしければ、ぜひ、使ってみてくださいー。それでは！
----------
第1章 並行プログラミングとGHC (上田和紀) 1.1 はじめに 1.2 ターゲットを明確にしよう 1.3 はじめが大切 1.4 GHCが与える並行計算の枠組み 1.4.1 GHCにおける計算とは，外界との情報のやりとり(通信)である 1.4.2 計算を行う主体は，互いに，および外界と通信し合うプロセスの集まりである 1.4.3 プロセスは，停止するとは限らない 1.4.4 プロセスは，開いた系(open system)をモデル化する 1.4.5 情報とは変数と値との結付き(結合)のことである 1.4.6 プロセスは，結合の観測と生成を行う 1.4.7 プロセスは，書換え規則を用いて定義する 1.4.8 通信は，プロセス間の共有変数を用いて行う 1.4.9 外貨も，プロセスとしてモデル化される 1.4.10 通信は，非同期的である 1.4.11 プロセスのふるまいは，非決定的でありうる 1.5 もう少し具体的なパラダイム 1.5.1 ストリームと双方向通信 1.5.2 履歴のあるオブジェクトの表現 1.5.3 データ駆動計算と要求駆動計算 1.5.4 モジュラリティと差分プログラミング 1.5.5 プロセスによるデータ表現 1.6 歴史的背景と文献案内 1.7 並行プログラミングと効率 1.8 まとめ 第2章 様相論理とテンポラル・プログラミング (桜川貴司) 2.1 はじめに 2.2 様相論理 2.3 時制論理 2.4 多世界モデル 2.5 到達可能性と局所性 2.6 純論理プログラミングへ向けて 2.7 Temporal Prolog 2.8 RACCO 2.9 実現 2.10 まとめと参考文献案内 第3章 レコード・プログラミング (横田一正) 3.1 はじめに 3.2 レコードと述語の表現 3.3 レコード構造とφ-項 3.3.1 φ-項の定義 3.3.2 型の半順序と束 3.3.3 KBLとLOGIN 3.4 応用――データベースの視点から 3.4.1 演繹データベース 3.4.2 レコード・プログラミングとデータベース 3.4.3 いくつかの例 3.5 まとめ 3.6 文献案内 第4章 抽象データ型とOBJ2 (二木厚吉・中川 中) 4.1 はじめに 4.2 抽象データ型と代数型言語 4.2.1 抽象データ型 4.2.2 代数型言語 4.2.3 始代数 4.2.4 項代数 4.2.5 項書換えシステム 4.3 OBJ2 4.3.1 OBJ2の基本構造 4.3.2 モジュールの参照方法 4.3.3 混置関数記号 4.3.4 モジュールのパラメータ化 4.3.5 パラメータ化機構による高階関数の記述 4.3.6 順序ソート 4.3.7 属性つきパターンマッチング 4.3.8 評価戦略の指定 4.3.9 モジュール表現 4.4 おわりに 第5章 プログラム代数とFP (富樫 敦) 5.1 はじめに 5.2 プログラミング・システム FP 5.2.1 オブジェクト 5.2.2 基本関数 5.2.3 プログラム構成子 5.2.4 関数定義 5.2.5 FPのプログラミング・スタイル 5.3 プログラム代数 5.3.1 プログラム代数則 5.3.2 代数則の証明 5.3.3 代数則とプログラム 5.4 ラムダ計算の拡張 5.4.1 ラムダ式の拡張 5.4.2 拡張されたラムダ計算の簡約規則 5.4.3 そのほかのリスト操作用演算子 5.4.4 相互再帰的定義式 5.4.5 ストリーム(無限リスト)処理 5.5 FPプログラムの翻訳 5.5.1 オブジェクトの翻訳 5.5.2 基本関数の翻訳 5.5.3 プログラム構成子の翻訳 5.5.4 簡約規則を用いた代数則の検証 5.6 おわりに 第6章 カテゴリカル・プログラミング (横内寛文) 6.1 はじめに 6.2 値からモルフィズムへ 6.3 カテゴリカル・コンビネータ 6.3.1 ラムダ計算の意味論 6.3.2 モルフィズムによる意味論 6.3.3 カテゴリカル・コンビネータ理論CCL 6.4 関数型プログラミングへの応用 6.4.1 関数型プログラミング言語ML/O 6.4.2 CCLの拡張 6.4.3 CCLに基づいた処理系 6.4.4 公理系に基づいた最適化 6.5 まとめ 第7章 最大公約数――普遍代数，多項式イデアル，自動証明におけるユークリッドの互除法 (外山芳人) 7.1 はじめに 7.2 完備化アルゴリズム 7.2.1 グラス置換えパズル 7.2.2 リダクションシステム 7.2.3 完備なシステム 7.2.4 完備化 7.2.5 パズルの答 7.3 普遍代数における完備化アルゴリズム 7.3.1 群論の語の問題 7.3.2 群の公理の完備化 7.3.3 Knuth-Bendix完備化アルゴリズム 7.4 多項式イデアル理論における完備化アルゴリズム 7.4.1 ユークリッドの互除法 7.4.2 多項式イデアル 7.4.3 Buchbergerアルゴリズム 7.5 一階述語論理における完備化アルゴリズム 7.5.1 レゾリューション法 7.5.2 Hsiangのアイデア 7.6 おわりに 第8章 構成的プログラミング (林 晋) 8.1 構成的プログラミング？ 8.2 型付きラムダ計算 8.3 論理としての型付きラムダ計算 8.4 構成的プログラミングとは 8.5 構成的プログラミングにおける再帰呼び出し 8.6 おわりに：構成的プログラミングに未来はあるか？ 第9章 メタプログラミングとリフレクション (田中二郎) 9.1 はじめに 9.2 計算システム 9.2.1 因果結合システム 9.2.2 メタシステム 9.2.3 リフレクティブシステム 9.3 3-Lisp 9.4 リフレクティブタワー 9.5 GHCにおけるリフレクション 9.5.1 並列論理型言語GHC 9.5.2 GHCの言語仕様 9.5.3 GHCのメタインタプリタ 9.5.4 リフレクティブ述語のインプリメント 9.6 まとめ
第1章 有限オートマトン D.Perrin：橋口攻三郎 1. 序論 2. 有限オートマトンと認識可能集合 3. 有理表現 4. Kleeneの定理 5. 星の高さ 6. 星自由集合 7. 特殊なオートマトン 8. 数の認識可能集合 第2章 文脈自由言語 J.Berstel and L.Boasson：富田 悦次 1. 序論 2. 言語 2.1 記法と例 2.2 Hotz 群 2.3 曖昧性と超越性 3. 反復 3.1 反復補題 3.2 交換補題 3.3 退化 4. 非生成元の探求 4.1 準備 4.2 生成元 4.3 非生成元と代入 4.4 非生成元と決定性 4.5 主錐の共通部分 5. 文脈自由群 5.1 文脈自由群 5.2 Cayleyグラフ 5.3 終端 第3章 形式言語とべき級数 A.Salomaa：河原 康雄 1. 序論 2. 準備 3. 書換え系と文法 4. Post正準系 5. Markov系 6. 並列書換え系 7. 射と言語 8. 有理べき級数 9. 代数的べき級数 10. べき級数の応用 第4章 無限の対象上のオートマトン W.Thomas：山崎 秀記 序論 Ⅰ部 無限語上のオートマトン 記法 1. Buchiオートマトン 2. 合同関係と補集合演算 3. 列計算 4. 決定性とMcNaughtonの定理 5. 受理条件とBorelクラス 6. スター自由ω言語と時制論理 7. 文脈自由ω言語 Ⅱ部 無限木上のオートマトン 記法 8. 木オートマトン 9. 空問題と正則木 10. 補集合演算とゲームの決定性 11. 木の単項理論と決定問題 12. Rabin認識可能な集合の分類 12.1 制限された単項2階論理 12.2 Rabin木オートマトンにおける制限 12.3 不動点計算 第5章 グラフ書換え：代数的・論理的アプローチ B.Courcelle：會澤 邦夫 1. 序論 2. 論理言語とグラフの性質 2.1 単純有向グラフの類S 2.2 グラフの類D(A) 2.3 グラフの性質 2.4 1階のグラフの性質 2.5 単項2階のグラフの性質 2.6 2階のグラフの性質 2.7 定理 3. グラフ演算とグラフの表現 3.1 源点付きグラフ 3.2 源点付き超グラフ 3.3 超グラフ上の演算 3.4 超グラフの幅 3.5 導来演算 3.6 超辺置換 3.7 圏における書換え規則 3.8 超グラフ書換え規則 4. 超グラフの文脈自由集合 4.1 超辺置換文法 4.2 HR文法に伴う正規木文法 4.3 超グラフの等式集合 4.4 超グラフの文脈自由集合の性質 5. 超グラフの文脈自由集合の論理的性質 5.1 述語の帰納的集合 5.2 論理構造としての超グラフ 5.3 有限超グラフの可認識集合 6. 禁止小グラフで定義される有限グラフの集合 6.1 小グラフ包含 6.2 木幅と木分解 6.3 比較図 7. 計算量の問題 8. 無限超グラフ 8.1 無限超グラフ表現 8.2 無限超グラフの単項性質 8.3 超グラフにおける等式系 8.4 関手の初期不動点 8.5 超グラフにおける等式系の初期解 8.6 等式的超グラフの単項性質 第6章 書換え系 N.Dershowitz and J.-P.Jouannaud：稲垣 康善，直井 徹 1. 序論 2. 構文論 2.1 項 2.2 等式 2.3 書換え規則 2.4 決定手続き 2.5 書換え系の拡張 3. 意味論 3.1 代数 3.2 始代数 3.3 計算可能代数 4. Church-Rosser性 4.1 合流性 4.2 調和性 5. 停止性 5.1 簡約順序 5.2 単純化順序 5.3 経路順序 5.4 書換え系の組合せ 6. 充足可能性 6.1 構文論的単一化 6.2 意味論的単一化 6.3 ナローイング 7. 危険対 7.1 項書換え 7.2 直交書換え系 7.3 類書換え 7.4 順序付き書換え 7.5 既約な書換え系 8. 完備化 8.1 抽象完備化 8.2 公平性 8.3 完備化の拡張 8.4 順序付き書換え 8.5 機能的定理証明 8.6 1階述語論理の定理証明 9. 書換え概念の拡張 9.1 順序ソート書換え 9.2 条件付き書換え 9.3 優先度付き書換え 9.4 グラフ書換え 第7章 関数型プログラミングとラムダ計算 H.P.Barendregt：横内 寛文 1. 関数型計算モデル 2. ラムダ計算 2.1 変換 2.2 計算可能関数の表現 3. 意味論 3.1 操作的意味論：簡約と戦略 3.2 表示的意味論：ラムダモデル 4. 言語の拡張 4.1 デルタ規則 4.2 型 5. 組合せ子論理と実装手法 5.1 組合せ子論理 5.2 実装の問題 第8章 プログラミング言語における型理論 J.C.Mitchell：林 晋 1. 序論 1.1 概論 1.2 純粋および応用ラムダ計算 2. 関数の型をもつ型付きラムダ計算 2.1 型 2.2 項 2.3 証明系 2.4 意味論と健全性 2.5 再帰的関数論的モデル 2.6 領域理論的モデル 2.7 カルテシアン閉圏 2.8 Kripkeラムダモデル 3. 論理的関係 3.1 はじめに 3.2 作用的構造上の論理的関係 3.3 論理的部分関数と論理的同値関係 3.4 証明論的応用 3.5 表現独立性 3.6 論理的関係の変種 4. 多相型入門 4.1 引数としての型 4.2 可述的な多相的計算系 4.3 非可述的な多相型 4.4 データ抽象と存在型 4.5 型推論入門 4.6 型変数をもつλ→の型推論 4.7 多相的宣言の型推論 4.8 他の型概念 第9章 帰納的な関数型プログラム図式 B.Courcelle：深澤 良彰 1. 序論 2. 準備としての例 3. 基本的な定義 3.1 多ソート代数 3.2 帰納的な関数型プログラム図式 3.3 同値な図式 4. 離散的解釈における操作的意味論 4.1 部分関数と平板な半順序 4.2 離散的解釈 4.3 書換えによる評価 4.4 意味写像 4.5 計算規則 5. 連続的解釈における操作的意味論 5.1 連続代数としての解釈 5.2 有限の極大要素と停止した計算 6. 解釈のクラス 6.1 汎用の解釈 6.2 代表解釈 6.3 解釈の方程式的クラス 6.4 解釈の代数的クラス 7. 最小不動点意味論 7.1 最小で唯一の解を得る不動点理論 7.2 Scottの帰納原理 7.3 Kleeneの列と打切り帰納法 8. プログラム図式の変換 8.1 プログラム図式における同値性の推論 8.2 畳込み，展開，書換え 8.3 制限された畳込み展開 9. 研究の歴史，他の形式のプログラム図式，文献ガイド 9.1 流れ図 9.2 固定された条件をもつ一様な帰納的関数型プログラム図式 9.3 多様な帰納的関数型プログラム図式 9.4 代数的理論 9.5 プログラムの生成と検証に対する応用 第10章 論理プログラミング K.R.Apt：筧 捷彦 1. 序論 1.1 背景 1.2 論文の構成 2. 構文と証明論 2.1 1階言語 2.2 論理プログラム 2.3 代入 2.4 単一化子 2.5 計算過程―SLD溶融 2.6 例 2.7 SLD導出の特性 2.8 反駁手続き―SLD木 3. 意味論 3.1 1階論理の意味論 3.2 SLD溶融の安全性 3.3 Herbrand模型 3.4 直接帰結演算子 3.5 演算子とその不動点 3.6 最小Herbrand模型 3.7 SLD溶融の完全性 3.8 正解代入 3.9 SLD溶融の強安全性 3.10 手続き的解釈と宣言的解釈 4. 計算力 4.1 計算力と定義力 4.2 ULの枚挙可能性 4.3 帰納的関数 4.4 帰納的関数の計算力 4.5 TFの閉包順序数 5. 否定情報 5.1 非単調推論 5.2 閉世界仮説 5.3 失敗即否定規則 5.4 有限的失敗の特徴付け 5.5 プログラムの完備化 5.6 完備化の模型 5.7 失敗即否定規則の安全性 5.8 失敗即否定規則の完全性 5.9 等号公理と恒等 5.10 まとめ 6. 一般目標 6.1 SLDNF-溶融 6.2 SLDNF-導出の安全性 6.3 はまり 6.4 SLDNF-溶融の限定的な完全性 6.5 許容性 7. 層状プログラム 7.1 準備 7.2 層別 7.3 非単調演算子とその不動点 7.4 層状プログラムの意味論 7.5 完全模型意味論 8. 関連事項 8.1 一般プログラム 8.2 他の方法 8.3 演繹的データベース 8.4 PROLOG 8.5 論理プログラミングと関数プログラミングの統合 8.6 人工知能への応用 第11章 表示的意味論 P.D.Mosses：山田 眞市 1. 序論 2. 構文論 2.1 具象構文論 2.2 抽象構文 2.3 文脈依存構文 3. 意味論 3.1 表示的意味論 3.2 意味関数 3.3 記法の慣例 4. 領域 4.1 領域の構造 4.2 領域の記法 4.3 記法上の約束事 5. 意味の記述法 5.1 リテラル 5.2 式 5.3 定数宣言 5.4 関数の抽象 5.5 変数宣言 5.6 文 5.7 手続き抽象 5.8 プログラム 5.9 非決定性 5.10 並行性 6. 文献ノート 6.1 発展 6.2 解説 6.3 変形 第12章 意味領域 C.A.Gunter and D.S.Scott：山田 眞市 1. 序論 2. 関数の帰納的定義 2.1 cpoと不動点定理 2.2 不動点定理の応用 2.3 一様性 3. エフェクティブに表現した領域 3.1 正規部分posetと射影 3.2 エフェクティブに表現した領域 4. 作用素と関数 4.1 積 4.2 Churchのラムダ記法 4.3 破砕積 4.4 和と引上げ 4.5 同形と閉包性 5. べき領域 5.1 直観的説明 5.2 形式的定義 5.3 普遍性と閉包性 6. 双有限領域 6.1 Poltkin順序 6.2 閉包性 7. 領域の帰納的定義 7.1 閉包を使う領域方程式の解法 7.2 無型ラムダ記法のモデル 7.3 射影を使う領域方程式の解法 7.4 双有限領域上の作用素の表現 第13章 代数的仕様 M.Wirsing：稲垣 康善，坂部 俊樹 1. 序論 2. 抽象データ型 2.1 シグニチャと項 2.2 代数と計算構造 2.3 抽象データ型 2.4 抽象データ型の計算可能性 3. 代数的仕様 3.1 論理式と理論 3.2 代数的仕様とその意味論 3.3 他の意味論的理解 4. 単純仕様 4.1 束と存在定理 4.2 単純仕様の表現能力 5. 隠蔽関数と構成子をもつ仕様 5.1 構文と意味論 5.2 束と存在定理 5.3 隠蔽記号と構成子をもつ仕様の表現能力 5.4 階層的仕様 6. 構造化仕様 6.1 構造化仕様の意味論 6.2 隠蔽関数のない構造化仕様 6.3 構成演算 6.4 拡張 6.5 観測的抽象化 6.6 構造化仕様の代数 7. パラメータ化仕様 7.1 型付きラムダ計算によるアプローチ 7.2 プッシュアウトアプローチ 8. 実現 8.1 詳細化による実現 8.2 他の実現概念 8.3 パラメータ化された構成子実現と抽象化子実現 8.4 実行可能仕様 9. 仕様記述言語 9.1 CLEAR 9.2 OBJ2 9.3 ASL 9.4 Larch 9.5 その他の仕様記述言語 第14章 プログラムの論理 D.Kozen and J.Tiuryn：西村 泰一，近藤 通朗 1. 序論 1.1 状態，入出力関係，軌跡 1.2 外的論理，内的論理 1.3 歴史ノート 2. 命題動的論理 2.1 基本的定義 2.2 PDLに対する演繹体系 2.3 基本的性質 2.4 有限モデル特性 2.5 演繹的完全性 2.6 PDLの充足可能性問題の計算量 2.7 PDLの変形種 3. 1階の動的論理 3.1 構文論 3.2 意味論 3.3 計算量 3.4 演繹体系 3.5 表現力 3.6 操作的vs.公理的意味論 3.7 他のプログラミング言語 4. 他のアプローチ 4.1 超準動的論理 4.2 アルゴリズム的論理 4.3 有効的定義の論理 4.4 時制論理 第15章 プログラム証明のための手法と論理 P.Cousot：細野 千春，富田 康治 1. 序論 1.1 Hoareの萌芽的な論文の解説 1.2 C.A.R.HoareによるHoare論理のその後の研究 1.3 プログラムに関する推論を行うための手法に関するC.A.R.Hoareによるその後の研究 1.4 Hoare論理の概観 1.5 要約 1.6 この概観を読むためのヒント 2. 論理的，集合論的，順序論的記法 3. プログラミング言語の構文論と意味論 3.1 構文論 3.2 操作的意味論 3.3 関係的意味論 4. 命令の部分正当性 5. Floyd-Naurの部分正当性証明手法とその同値な変形 5.1 Floyd-Naurの手法による部分正当性の証明の例 5.2 段階的なFloyd-Naurの部分正当性証明手法 5.3 合成的なFloyd-Naurの部分正当性証明手法 5.4 Floyd-Naurの部分正当性の段階的な証明と合成的な証明の同値性 5.5 Floyd-Naurの部分正当性証明手法の変形 6. ライブネスの証明手法 6.1 実行トレース 6.2 全正当性 6.3 整礎関係，整列集合，順序数 6.4 Floydの整礎集合法による停止性の証明 6.5 ライブネス 6.6 Floydの全正当性の証明手法からライブネスへの一般化 6.7 Burstallの全正当性証明手法とその一般化 7. Hoare論理 7.1 意味論的な観点から見たHoare論理 7.2 構文論的な観点から見たHoare論理 7.3 Hoare論理の意味論 7.4 構文論と意味論の間の関係：Hoare論理の健全性と完全性の問題 8. Hoare論理の補足 8.1 データ構造 8.2 手続き 8.3 未定義 8.4 別名と副作用 8.5 ブロック構造の局所変数 8.6 goto文 8.7 （副作用のある）関数と式 8.8 コルーチン 8.9 並行プログラム 8.10 全正当性 8.11 プログラム検証の例 8.12 プログラムに対して1階論理を拡張した他の論理 第16章 様相論理と時間論理 E.A.Emerson：志村 立矢 1. 序論 2. 時間論理の分類 2.1 命題論理 対 1階述語論理 2.2 大域的と合成的 2.3 分岐的 対 線形 2.4 時点と時区間 2.5 離散 対 連続 2.6 過去時制 対 未来時制 3. 線形時間論理の技術的基礎 3.1 タイムライン 3.2 命題線形時間論理 3.3 1階の線形時間論理 4. 分岐的時間論理の技術的基礎 4.1 樹状構造 4.2 命題分岐的時間論理 4.3 1階の分岐的時間論理 5. 並行計算：その基礎 5.1 非決定性と公平性による並列性のモデル化 5.2 並列計算の抽象モデル 5.3 並列計算の具体的なモデル 5.4 並列計算の枠組みと時間論理の結び付き 6. 理論的見地からの時間論理 6.1 表現可能性 6.2 命題時間論理の決定手続き 6.3 演繹体系 6.4 モデル性の判定 6.5 無限の対象の上のオートマトン 7. 時間論理のプログラムの検証への応用 7.1 並行プログラムの正当性に関する性質 7.2 並行プログラムの検証：証明論的方法 7.3 時間論理による仕様からの並行プログラムの機械合成 7.4 有限状態並行システムの自動検証 8. 計算機科学における他の様相論理と時間論理 8.1 古典様相論理 8.2 命題動的論理 8.3 確率論理 8.4 不動点論理 8.5 知識 第17章 関係データベース理論の構成要素 P.C.Kanellakis：鈴木 晋 1. 序論 1.1 動機と歴史 1.2 内容についての案内 2. 関係データモデル 2.1 関係代数と関係従属性 2.2 なぜ関係代数か 2.3 なぜ関係従属性か 2.4 超グラフとデータベーススキーマの構文について 2.5 論理とデータベースの意味について 3. 従属性とデータベーススキーマ設計 3.1 従属性の分類 3.2 データベーススキーマ設計 4. 問合わせデータベース論理プログラム 4.1 問合わせの分類 4.2 データベース論理プログラム 4.3 問合わせ言語と複合オブジェクトデータモデル 5. 議論：関係データベース理論のその他の話題 5.1 不完全情報の問題 5.2 データベース更新の問題 6. 結論 第18章 分散計算：モデルと手法 L.Lamport and N.Lynch：山下 雅史 1. 分散計算とは何か 2. 分散システムのモデル 2.1 メッセージ伝達モデル 2.2 それ以外のモデル 2.3 基礎的概念 3. 分散アルゴリズムの理解 3.1 挙動の集合としてのシステム 3.2 安全性と活性 3.3 システムの記述 3.4 主張に基づく理解 3.5 アルゴリズムの導出 3.6 仕様記述 4. 典型的な分散アルゴリズム 4.1 共有変数アルゴリズム 4.2 分散合意 4.3 ネットワークアルゴリズム 4.4 データベースにおける並行性制御 第19章 並行プロセスの操作的および代数的意味論 R.Milner：稲垣 康善，結縁 祥治 1. 序論 2. 基本言語 2.1 構文および記法 2.2 操作的意味論 2.3 導出木と遷移グラフ 2.4 ソート 2.5 フローグラフ 2.6 拡張言語 2.7 その他の動作式の構成 3. プロセスの強合同関係 3.1 議論 3.2 強双模倣関係 3.3 等式による強合同関係の性質 3.4 強合同関係における置換え可能性 3.5 強等価関係上での不動点の唯一性 4. プロセスの観測合同関係 4.1 観測等価性 4.2 双模倣関係 4.3 観測合同関係 4.4 プロセス等価性上での不動点の唯一性 4.5 等式規則の完全性 4.6 プロセスの等価性に対するその他の概念 5. 双模倣等価関係の解析 5.1 等価性の階層構造 5.2 階層構造の論理的特性化 6. 合流性をもつプロセス 6.1 決定性 6.2 合流性 6.3 合流性を保存する構成子 7. 関連する重要な文献
ってExcelでA3で作ったら画面からはみ出て見えへんやないの！！！！
誰かが編集してる間はどうしたらええの？
情報をデータベースに入れて色んな観点で検索したり抽出したりソートしたりリアルタイムに更新したり履歴を保存しておいて比較したりするのって情報処理の基本中の基本じゃないですか。なんでみんなそんなExcel好きなんやろ。
＜Excelのいいところ＞
・シートごとにページを作れば目次代わりで見やすい。
・表がすぐ作れる。
・テキストボックスでありとあらゆるところに文字が書けて見栄えの良いレポートができる。
・セルの幅を全部小さくして方眼紙みたいにするとインデントの整った文章が書ける。
・シートごとに縦向き、横向き印刷が選べる。
・オプションで読み取り専用にできるので間違って更新されることもない。
・みんな知ってる。
・メールで送れる。
・印刷して配れる。
・共有フォルダにおける。共有ストレージにおいておけばバックアップもばっちり。
・その上ファイル名も変更できるのでリビジョン番号をつけて管理できる。
・ファイルが増えても_oldとつければいける。
・もっと増えたらoldフォルダを作ってそこに入れれば何とかなる。
・ファイル名に_最新ってつけておけば誰もが最新版だとすぐわかる。
・解決した行はグレーアウトで。
・ついでに計算もできる。
TwitterのtweetのURLにはステータスIDなるものがついているじゃないですか．
例えばこのtweetのURLの「42061885675143168」部分．
（例で挙げただけなので，このtweetおよびユーザには特に意味はないです）
http://twitter.com/#!/fshin2000/status/42061885675143168
聞くところによるとこれ，こんな仕組みでIDがついているらしいですが，
Twitterのstatus IDの仕組みが変わる (2010年08月27日)
http://www.msng.info/archives/2010/08/twitter_status_ids_are_changing_on_21st_september.php
・今後も status ID の数値は増加していく。同じ日の朝に投稿されたツイートより、遅い時間のツイートの方が大きい数字の ID を持つ。
・今後も status ID を使ってツイートをソートすることはできる。ただしその精度はおおよそ1秒で、1秒以内に投稿されたツイート同士は順序を持たない。
任意のステータスIDを投げると，そのtweetのおおよその時刻（時間単位でok）を判別する手段ってないですかね．
上の例に挙げたtweetだと2/28しかわからないけど，投稿のおおよその時刻を知りたい．
APIを叩くとかtwitterのサイトのソースを見れば時刻は載っているんですが，
そんなにポコスカ叩けないのでURLからさくっと判定したいんです．
俺の住む世界はアイティーとやらに支えられているらしい。
アイティーに関われば、俺の住む世界をさらに素敵なものにしていけるに違いない。していきたい。
そう願って、何も知らなかった文系新卒の俺が金融系のシステム会社に入って、もう一年以上が経つのだ。
昔、お遊びでゲームを作ったことはあった。RPGツクールなんかが好きだった。
パズルみたいで楽しかった。コンピュータの中身が理解できて、わくわくした。
楽々と基本情報技術者の資格を手にし、半年後にはほとんど勉強もせずにソフ開も取得した。
研修の課題では同期の誰よりも速く、短く効率のいいソースを仕上げた。
現場に出て、本番機に触った。
３０年間親会社を支え続ける偉大なシステムの中身を、わくわくしながら覗いた。
そこには、俺の求めていた世界とはまったく違うものが広がっていた。
俺が産まれる前から、入れ替わり立ち替わり何人もの手によって継ぎ足されたロジック。
何千行にもわたって、似たような処理が何回もひたすら繰り返される似たようなモジュール何十本。
1993年に行う臨時処理のロジックが、今もコメントもなしに埋め込まれている。
仕様がわからなくなれば、キャビネへと走って、黄ばんだ方眼紙に鉛筆で書かれた仕様書を探し、
そして修正履歴のみが書かれているのを確認して肩を落とす。
半年後に臨時で行われる業務に対応するため、いくつかのモジュールについて、処理可能なユーザーコードをひとつ、条件に加える。
与えられた期間は２週間だった。ずいぶん長いなと思った。
何枚もの設計書を書いた。つまり、方眼紙状のExcelテンプレートに同じ文章をコピペした。
追っていったモジュールはどれも、ヒープもソートもメモリ管理も論理演算も出番がなかった。
あるのはただ、IF文とMOVE文とばかりだった。ソースの難易度は使われている命令の数とは関係ないことを学んだ。
テストデータを作るため、階層型DBを何回も辿ってデータをアウトプットさせるモジュールを書いた。資格試験で学んだSQLは、無用の知識だった。
協力会社への仕事割り振りやユーザー対応に毎日忙しそうだった上司が、夜遅くまでの残業続きでくまのできた目を皿のようにして設計書をレビューした。
ロジックを丸々コピペしてソースを修正し、コンパイルし、実行した。
２週間はあっという間だった。
俺のせいで、半年後以降は使われないロジックがソースにまたひとつ増えた。
今回の対応については、Excel方眼紙にレポートをまとめて共有ドライブに入れておいた。
だが共有ドライブの検索には時間がかかるし、Excelシートの中身となれば検索から漏れることも多い。
きっと誰にも読まれないだろう。
２バイト文字が使えない関係上、原則、ソースにはコメントはあまり入れられない。
数年後の新人はきっと、俺の書いたモジュールを見て「このロジックは何だ」と首を捻るんだろう。
数年後の俺はきっと、今回のレポートを共有ドライブから探し回って新人にパスを教えてから、
協力会社の管理に追われる作業に戻って目の下にくまを作るのだろう。
俺がやりたかったシステム開発って、こんなものだったのか。
俺は部署の中で、俺の望む仕事を探し続けた。
先輩たちは忙しくて誰も興味を持ってないけど、自動化できる作業はいくらでもある。
よく使われるExcelシートを改造し、定例作業をクリックだけでできるようにした。
ExcelVBAとはいえ、書いていて心地よかった。引数が明確な関数と変数のスコープと全角文字があったからだ。
COBOLで打つプログラムより、控えめに見て100倍くらいの生産性を発揮できていたと思う。
先輩たちは喜んでくれたが、ただし俺の仕事を、あまり仕事とは見なさなかった。
それでもよかった。業務時間外は俺は相変わらずスクリプトを書いていた。とても楽しかった。
VBAから入って、WSHなんてものを知り、やがてJavaScriptを学び、ネットで資料を探し、はてなを知り、はてブでWeb技術についての記事を読みふけった。
知れば知るほどに、どんどんCOBOLが、メインフレームが嫌いになっていく。
先輩は誇らしげに言う。システムはたいしたことをやっていない。業務知識こそが大事なのだ。
ユーザーより詳しく業務を理解し、適切に提案し、設計する能力。
協力会社を率いて、わかりやすい文書で指示を行い、スケジュールを調整する能力。
人を動かすぶん、責任も大きくやりがいもある。優秀な人材こそが我が社の強みだ。
そんな人材が育つよう、我が社は安定して働ける環境と福利厚生を整えている。
ああ、そうだよ。先輩、あなたは正しい。
俺だってメインフレームの信頼性のすごさはわかってる。
密なユーザーとの関係から生まれるシステム子会社としての強みも認識してる。
それだけじゃない。社内環境も悪くない。給料もいいし休みも取れるし先輩は優しい。
ここは、いい会社だ。
けど駄目なんだ。
３０年前のシステムを枯れた言語でツギハギする仕事じゃ、俺の心はやっぱり満たされない。
ユーザーの業務知識ばかり身につけたって、俺自身の人生には、いいことなんてない。
俺が求めていたのは、この仕事じゃないんだ。
社内の誰も、TumblrもTwitterもやっていない。ライフハックなんて聞いたこともない。
Joostやモバゲーや２ちゃんねるが社会に与える影響について誰も語れない。
休日はゴルフや酒に興じている。自宅にPCを持ってない人までいる。
おかしいことじゃない。普通の人たちだ。
それどころか彼らは、仕事とプライベートを切り分けている、立派な人たちだ。
でも、やっぱり俺の生きていきたい世界は、ここじゃないんだ。
たぶん俺がいるのは極北なんだろう。
ここが、人月計算とExcelとスーツの世界というやつなんだろう。
俺は80文字×32行の緑文字を見つめながら、遠い夢を見続ける。
何でもそうだが、常に改良を積み重ねていかないといけない。人間も企業も。そしてネットサービスも。
mixiはなんたることか、常に改悪し続けているネットサービスである。
mixiメッセージやコミュニティのUIの酷さは言うまでもない。無駄にページ遷移を要求するサイト構造。
HTML構造の大幅変更やクラス名の変更もしょっちゅうですぐにツールが動かなくなる。
二年前のデザイン大幅変更の時もユーザスタイルで元に戻そうとする輩まで現れる始末。
そして、今回のmyリスト。「お気に入り機能はそのままに」？ハハッ…。
url変更もお手の物♪後方互換性なんて気にしない♪モバイルからの操作性気にしない♪
「myリストを設定する」という名のマイミクお勧め機能♪ソート機能はどこいった♪
細かいことをあげつらえばもっとある。
サービスの規模とmixiアプリについては評価している。良い点もある。
良い点があるだけに、なぜわざわざ改悪するのか理解に苦しむ。
一部のクオリティの低い人が担当者・責任者になっているのだろうか。
http://anond.hatelabo.jp/20090831025349 を接戦順にソートしてみる。
青森3区：大島理森（自民）90176 対 田名部匡代（民主）89809 差367票
神奈川2区：菅義偉（自民）132270 対 三村和也（民主）131722 差548票
鳥取2区：赤沢亮正（自民）84659 対 湯原俊二（民主）84033 差626票
北海道7区：伊東良孝（自民）100150 対 仲野博子（民主）99236 差814票
－－－－－－－－１０００票差未満（与党４勝）－－－－－－－－－－－－
山形1区：鹿野道彦（民主）106202 対 遠藤利明（自民）104911 差1189票
徳島3区：後藤田正純（自民）81581 対 仁木博文（民主）80359 差1222票
秋田2区：川口博（無所属）93951 対 金田勝年（自民）92600 差1351票
福井2区：山本拓（自民）80033 対 糸川正晃（民主）78496 差1537票
大阪6区：村上史好（民主）109143 対 福島豊（公明）107336 差1807票
奈良4区：田之瀬良太郎（自民）95638 対 大西孝典（民主）93803 差1835票
神奈川13区：橘秀徳（民主）138104 対 甘利明（自民）136164 差1840票
長崎3区：山田正彦（民主）79223 対 谷川弥一（自民）77316 差1913票
－－－－－－－－２０００票差未満（与党３勝野党系５勝）－－－－－－－
石川3区：近藤和也（民主）100832 対 北村茂男（自民）98599 差2233票
兵庫8区：田中康夫（日本）106225 対 冬柴鉄三（公明）103918 差2307票
愛媛1区：塩崎恭久（自民）133030 対 永江孝子（民主）127562 差2468票
鹿児島4区：小里泰弘（自民）97054 対 皆吉稲生（民主）94343 差2711票
茨城2区：石津政雄（民主）114455 対 額賀福志郎（自民）111674 差2781票
三重5区：三ツ矢憲生（自民）105188 対 藤田大助（民主）102377 差2811票
－－－－－－－－３０００票差未満（与党３勝野党３勝）－－－－－－－－－－
東京13区：平山泰朗（民主）114653 対 鴨下一郎（自民）111590 差3063票
三重4区：森本哲生（民主）87824 対 田村憲久（自民）84583 差3241票
奈良2区：滝実（民主）98728 対 高市早苗（自民）94879 差3849票
－－－－－－－－４０００票差未満（野党３勝）－－－－－－－－－－－－－
岡山1区：逢沢一郎（自民）113045 対 高井崇志（民主）106269 差4076票
千葉11区：森英介（自民）116937 対 金子健一（民主）112707 差4230票
高知1区：福井照（自民）44068 対 橋本大二郎（無所属）39326 差4742票
石川2区：森喜朗（自民）123490 対 田中美絵子（民主）119021 差4469票
東京11区：下村博文（自民）117472 対 有田芳生（日本）113998 差4474票
長崎4区：宮島大典（民主）97912 対 北村誠吾（自民）93423 差4484票
熊本2区：福島健一郎（民主）104876 対 林田彪（自民）99933 差4943票
大分2区：重野安正（社民）112090 対 衛藤征士郎（自民）107124 差4966票
－－－－－－－－５０００票差未満（与党５勝野党系３勝）－－－－－－－－－
個別に見ていくと、暴風が吹いて自民の牙城に迫った民主だとか、
暴風に耐え忍んでなんとか逆転、あるいは肉薄して比例復活を勝ち取った自民とかいるし、
トータルで見た接戦区の勝敗数も一応合理的かな。
でも、1000票差以内の4選挙区の選挙民で、投票に行かなかった人で、自民党に不満を持っていた人には、
どうして投票に行かなかったのと聞いてみたい気はする。
（追記）
ブクマに指摘があったので、ちょっと追加してみる。
北海道5区：小林千代美（民主）182952 対 町村信孝（自民）151448 差31504票
広島4区：空本誠喜（民主）102435 対 中川秀直（自民）97296 差5139票
これだけの票の差がついて負けた自民党（つか清和会）の大物の政治生命を救ったのは、北海道7区と鳥取2区で自民候補に投じられた
814票と626票なんだ、ということを理解できれば、「一票の重み」が実感できると思うんだけどね。
（追記2）
この接戦29選挙区は世論調査・出口調査では全部野党系に出ていたんだろうね。
これに加えて、民主が自民と公明にプレゼントした2、みんなの党が自民と民主にプレゼントした2を考慮すると
ボカロオリジナルを歌ってくれない（http://anond.hatelabo.jp/20090608225441）を書いた増田です。
ブコメでid:sky-graph、id:alshine5、id:kadotanimitsuruから「歌い手に人気がある動画を調べるなら歌ってみたの投稿数を見なきゃだめなんじゃないの？」と指摘があって、まったくその通りだと思った。前回調査をした時はなぜかそれを思いつかなかった（難しそうな気がしていた？）けど、やってみたら、思ったより簡単だったので、調べ直してみた。
| 再生数順位 | 曲名 | 作者 | 本体 | 歌ってみた | 歌われ指数 | 本体投稿日 |
|---|---|---|---|---|---|---|
| 12 | ロミオとシンデレラ | doriko | 862,385 | 677 | 0.7850 | 2009/4/6 |
| 14 | 初めての恋が終わる時 | supercell | 825,981 | 631 | 0.7639 | 2008/12/12 |
| 30 | Dear | 19's Sound Factory | 390,855 | 286 | 0.7317 | 2008/3/15 |
| 4 | ブラック★ロックシューター | supercell | 2,013,457 | 1261 | 0.6263 | 2008/6/13 |
| 2 | メルト | supercell | 4,475,848 | 2794 | 0.6242 | 2007/12/7 |
| 17 | コンビニ | cokeshi | 711,368 | 411 | 0.5778 | 2007/12/30 |
| 22 | magnet | 流星P | 515,147 | 281 | 0.5455 | 2009/5/1 |
| 29 | サンドリヨン | ゆのみP | 407,386 | 208 | 0.5106 | 2008/8/25 |
| 3 | ワールドイズマイン | supercell | 2,673,191 | 1316 | 0.4923 | 2008/5/31 |
| 28 | 夕日坂 | doriko | 412,927 | 192 | 0.4650 | 2008/3/22 |
| 11 | 歌に形はないけれど | doriko | 893,237 | 403 | 0.4512 | 2008/1/20 |
| 9 | サイハテ | 小林オニキス | 1,155,966 | 514 | 0.4446 | 2008/1/16 |
| 27 | celluloid | baker | 425,774 | 172 | 0.4040 | 2007/10/5 |
| 31 | Soar | 流星P | 373,889 | 136 | 0.3637 | 2008/3/19 |
| 6 | 恋は戦争 | supercell | 1,518,029 | 410 | 0.2701 | 2008/2/22 |
| 15 | 初音ミクの暴走 | cosMo | 752,162 | 199 | 0.2646 | 2007/10/22 |
| 23 | 夢みることり | はややP | 507,903 | 105 | 0.2067 | 2008/2/5 |
| 33 | ぶちぬけ！２００８！ | doriko | 348,274 | 55 | 0.1579 | 2007/12/24 |
| 24 | 永久に続く五線譜 | デッドボールP | 466,195 | 63 | 0.1351 | 2007/11/29 |
| 21 | ハト | 秦野P | 552,116 | 69 | 0.1250 | 2007/12/20 |
| 20 | 桜の季節 | ゆうゆP | 587,547 | 69 | 0.1174 | 2007/11/2 |
| 7 | ハジメテノオト | malo | 1,398,334 | 158 | 0.1130 | 2007/10/14 |
| 5 | 初音ミクの消失 | cosMo | 1,682,390 | 189 | 0.1123 | 2008/4/8 |
| 26 | 白の季節 | ゆうゆP | 443,349 | 43 | 0.0970 | 2007/11/29 |
| 13 | ミラクルペイント | OSTER project | 834,541 | 70 | 0.0839 | 2007/11/22 |
| 19 | えれくとりっく・えんじぇぅ | ヤスオP | 617,862 | 48 | 0.0777 | 2007/10/10 |
| 1 | みくみくにしてあげる♪ | ika | 6,397,403 | 469 | 0.0733 | 2007/9/20 |
| 18 | あなたの歌姫 | ボクP | 665,444 | 43 | 0.0646 | 2007/9/18 |
| 32 | Melody… | mikuru396 | 349,250 | 15 | 0.0429 | 2007/10/27 |
| 8 | 恋スルVOC@LOID | OSTER project | 1,200,621 | 41 | 0.0341 | 2007/9/13 |
| 10 | Packaged | kz | 1,046,254 | 25 | 0.0239 | 2007/9/25 |
| 25 | ファインダー | kz | 457,683 | 9 | 0.0197 | 2008/1/5 |
| 16 | 私の時間 | くちばしP | 728,054 | 6 | 0.0082 | 2007/10/22 |
予想通りだけど、投稿数のみでいえば「メルト」圧勝。「WIM」と「B★RS」が1000超えで、あとそれ以外、という感じ。
正直、これじゃあなんにも面白くないので、「歌われ指数」というのを導入してみた。算出手順は「調査方法」の通り。
「歌われ指数」でいうと、これはあまり意味のある数字ではないのでどれが多い少ないを言ってもしょうがないと思うけれど、0.3以上（つまり「Soar」以上）を上位と見なせば、やはりdoriko、supercell、流星Pが強いなという印象は受ける。
さて、この結果を友人に見せてみた。友人は、「ゆうゆP、歌われてないなあ……」とぼやいていた（ゆうゆP歌ってみた動画を熱望しているらしい）。
そういう意味では、元増田もOSTER project歌ってみた動画を熱望している。しかし、表中では下位である。
二人とも、表中の曲が、まだ歌ってみたが流行ってない時期（そんな時期があるのか分からないが）のものだから不利なのだろうか、最近は歌ってみたも結構増えてたりするのだろうか。
そんなことを思ったので、ついでにゆうゆP、OSTER projectの一連のオリジナル曲についても取ってみた。
そうすると、興味深いことが分かった。
| 投稿日順 | 曲名 | 作者 | 本体 | 歌ってみた | 歌われ指数 | 本体投稿日 |
|---|---|---|---|---|---|---|
| 1 | 桜の季節 | ゆうゆP | 589,653 | 69 | 0.1170 | 2007/11/2 |
| 2 | 白の季節 | ゆうゆP | 444,803 | 42 | 0.0944 | 2007/11/29 |
| 3 | クローバークラブ | ゆうゆP | 222,634 | 11 | 0.0494 | 2008/1/3 |
| 4 | experimental-001 | ゆうゆP | 37,299 | 0 | 0.0000 | 2008/1/18 |
| 5 | experimental-002 | ゆうゆP | 33,727 | 0 | 0.0000 | 2008/1/21 |
| 6 | 夕音 | ゆうゆP | 96,402 | 5 | 0.0519 | 2008/6/22 |
| 7 | 渦と階段 | ゆうゆP | 33,962 | 1 | 0.0294 | 2008/7/13 |
| 8 | エレクトロエレジー | ゆうゆP | 54,330 | 0 | 0.0000 | 2008/8/30 |
| 9 | 極楽鳥 -bird of paradise- | ゆうゆP | 144,756 | 211 | 1.4576 | 2008/10/6 |
| 10 | UltraHardAttacks of OddMusiK | ゆうゆP | 68,313 | 3 | 0.0439 | 2008/10/20 |
| 11 | ハイウェイノート | ゆうゆP | 56,533 | 10 | 0.1769 | 2009/3/11 |
| 12 | カタパルトネーション | ゆうゆP | 53,865 | 9 | 0.1671 | 2009/4/21 |
| 投稿日順 | 曲名 | 作者 | 本体 | 歌ってみた | 歌われ指数 | 本体投稿日 |
|---|---|---|---|---|---|---|
| 1 | 恋スルVOC@LOID | OSTER project | 1,207,038 | 41 | 0.0340 | 2007/9/13 |
| 2 | Dreaming Leaf -ユメミルコトノハ- | OSTER project | 192,627 | 29 | 0.1506 | 2007/10/8 |
| 3 | おやすみのうた | OSTER project | 97,414 | 15 | 0.1540 | 2007/11/1 |
| 4 | ミラクルペイント | OSTER project | 841,479 | 70 | 0.0832 | 2007/11/22 |
| 5 | ちょこまじ☆ろんぐ | OSTER project | 184,857 | 17 | 0.0920 | 2008/2/13 |
| 6 | RING×RING×RING | OSTER project | 181,411 | 8 | 0.0441 | 2008/3/9 |
| 7 | フキゲンワルツ | OSTER project | 134,407 | 13 | 0.0967 | 2008/4/29 |
| 8 | つきうさぎ | OSTER project | 154,708 | 78 | 0.5042 | 2008/6/20 |
| 9 | 8月の花嫁 | OSTER project | 146,680 | 4 | 0.0273 | 2008/8/30 |
| 10 | trick and treat | OSTER project | 346,775 | 69 | 0.1990 | 2008/10/30 |
| 11 | プリンセス・カウガール・ショー | OSTER project | 50,360 | 5 | 0.0993 | 2008/12/1 |
| 12 | マージナル | OSTER project | 84,794 | 13 | 0.1533 | 2008/12/15 |
| 13 | ピアノ×フォルテ×スキャンダル | OSTER project | 73,201 | 150 | 2.0492 | 2008/12/20 |
| 14 | Around the World | OSTER project | 181,486 | 2 | 0.0110 | 2009/1/31 |
| 15 | one more kiss | OSTER project | 77,437 | 28 | 0.3616 | 2009/5/29 |
| 16 | ゆきうさぎ | OSTER project | 23,138 | 5 | 0.2161 | 2009/6/11 |
| 17 | 恋色病棟 | OSTER project | 90,300 | 13 | 0.1440 | 2009/6/16 |
ゆうゆPに関しては、予想通りだけど、「experimental」シリーズは1曲も歌われてないよね……その代わりというわけではないけれど、「極楽鳥 -bird of paradise- 」が突出して歌われている。
一方、OSTER projectはというと、「ピアノ×フォルテ×スキャンダル」が再生数の比して突出して歌われている。あとは「つきうさぎ」と「one more kiss」が多いか。
再生数上位群でいくと、やはりdoriko、supercell、流星Pが強い。ただ、これは作者依存というより、これらの作者が歌い手に好かれる楽曲をより多く作っているからに過ぎない。
というのも、再生数上位群の中ではあまり歌われていないゆうゆPとOSTER projectだが、彼らの楽曲の中にもすごくよく歌われている歌も存在するからだ。
作者という要素はまったく無視できないにせよ（人気作者の曲はやはり歌い手もその存在を認知しやすいだろう）、歌い手に好かれる要素の大部分は個別の楽曲の中に現れているといえる。