タグ

2010年1月20日のブックマーク (37件)

  • ウリポ - Wikipedia

    出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。(2021年9月) ウリポ (Oulipo) は、1960年11月24日に数学者のフランソワ・ル・リヨネー(フランス語版)を発起人として設立された文学グループ。正式名称は「Ouvroir de littérature potentielle」(潜在的文学工房)。アルフレッド・ジャリ、レーモン・クノー、レーモン・ルーセルらの文学を理想とし、言語遊戯的な技法の開発を通して新しい文学の可能性を追求した。引用したテクストを機械的・数学的な手法で変形・改竄してテクストの自己増殖を促すところに特徴があり、シュルレアリスムの「優美な屍骸」から大きな影響を受けている。 リポグラム(英語版) 特定の文字を使わないという制約のもとに文章を書く、もしくはすでに書かれた文章から特定の

  • ISBN978-4-89489-764-9

    小林康正編 毎年100万人以上生まれる赤ん坊。近年、珍しい名、難読名が急増している現象を、民俗学の手法で分析。個性とは、家族とは、そして現代社会とは、を問い直す。(文化人類学ブックレット4) A5判・並製・72頁・体700円 2009年9月30日発行 ISBN978-4-89489-764-9 目次 はじめにより 著者紹介 はじめに──「読めない名前」はなぜ増えるのか 1 「珍しい名前が珍しくない時代」 2 日常を捉えかえす方法としての「世相史」 3 「珍しい名前」を理解するために 1 「世界に一つだけの花」としての子どもたち 1 「読めない名前」の問題化 2 個性の象徴としての名前 3 名前の脱・世俗化 2 読めない名前と失われた「公共空間」 1 名前と「公共空間」 2 名前と「親密空間」 3 「公共空間」の喪失 3 「個性的な名前」ブームの起源 1 進

    massunnk
    massunnk 2010/01/20
  • Amazon.co.jp: 名づけの世相史 「個性的な名前」をフィールドワーク (文化人類学ブックレット4) (京都文教大学文化人類学ブックレット No. 4): 小林康正: 本

    Amazon.co.jp: 名づけの世相史 「個性的な名前」をフィールドワーク (文化人類学ブックレット4) (京都文教大学文化人類学ブックレット No. 4): 小林康正: 本
    massunnk
    massunnk 2010/01/20
  • Page not found | 立教大学現代心理学部 / 大学院現代心理学研究科公式サイト

    お手数をおかけしますが、メニューからもう一度目的のページをお探し下さい。 あるいは、ページ上部の検索フォームからキーワードで検索することができます。

    Page not found | 立教大学現代心理学部 / 大学院現代心理学研究科公式サイト
    massunnk
    massunnk 2010/01/20
  • BIOSTUDIES - 京都大学大学院・生命科学研究科

    生命探究の第一線で 未来を拓く Shaping the future by exploring the nature of life

    BIOSTUDIES - 京都大学大学院・生命科学研究科
    massunnk
    massunnk 2010/01/20
  • TwitterやらTumblrやらにはまってる学生の皆さんにひとこと - H-Yamaguchi@Tumblr

    TwitterやらTublrやらにはまって、時間を忘れていろいろ書いたりRTしたりたんぶったりしまくってる学生さんていると思うんだけど、就職しても同じようにできるとか思ってたら大間違いだからね。 仕事中にそういうことしてたら、ふつうの会社なら怒られて当然だし、下手したら処分の対象にだってなっちゃうかもしれない。日だとあんまり聞かないけど、アメリカとかでは解雇されたっていう話もけっこう聞く。 だってTLとか見てたら大人の人たちがいっぱいいるじゃん、とか思うかもしれないけど、こういう人たちのかなりの部分は文句を言われない職場だったり、文句をいわせない立場だったり、そもそも時間の自由が利く職種だったりするはず。そうでない人たちは、電車での移動中とか休憩時間中とか、自由にしていい時間を選んでやってるんだからね。 世の中にはいろいろな考え方の人がいる。TwitterやらTumblrだって、そんなも

    TwitterやらTumblrやらにはまってる学生の皆さんにひとこと - H-Yamaguchi@Tumblr
    massunnk
    massunnk 2010/01/20
    はい
  • NZ Book Council - Going West

    Film for NZ Book Council Produced by Colenso BBDO Animated by Andersen M Studio

    NZ Book Council - Going West
  • 絵描き白藤さえ子のつれづれブログ

    絵描き白藤さえ子のつれづれブログホームピグアメブロ芸能人ブログ人気ブログ新規登録ログイン絵描き白藤さえ子のつれづれブログ絵や普段の生活について綴ります(*・ω・*)ブログ画像一覧を見る このブログをフォローする ブログ画像一覧を見る このブログをフォローする

  • VIPPERな俺 : 高見盛の彼女wwwwwwwwww

    massunnk
    massunnk 2010/01/20
  • 結婚・恋愛ニュースぷらす:32歳女性。裕福な男と結婚してリッチな専業主婦として女性誌に特集されるという夢を捨てられない

    32歳女性。裕福な男と結婚してリッチな専業主婦として女性誌に特集されるという夢を捨てられない 1 名前: ライトボックス(東京都)[sage] 投稿日:2010/01/18(月) 23:10:54.14 ID:0lEXxmjc ?PLT(12000) ポイント特典 sssp://img.2ch.net/ico/makotan_face.gif 理想と現実をさまよって…… 私、田舎じゃ立派な行き遅れなんだよなあ──。 実家は香川県の、そのまた地方にある。32歳になった今年は、帰省したとたん、母と姉が総攻撃。かなりきつかった。うんざりだ。 「お見合いする? けっこう格好いい人、いるのよ」 冗談じゃない。姉みたいに、地元の農家の息子と結婚して農作業に追われるなんて、お断り。あんな田舎で、私と釣り合う年齢で結婚してない男自体が、怖い。耳をふさぐようにこたつにもぐりこみ、顔だけ出した状態

    massunnk
    massunnk 2010/01/20
  • Tiger Woods Isn’t Allowed to Masturbate

    massunnk
    massunnk 2010/01/20
    なんだって…
  • 私が選んだこの一冊:桂扇生さん 『見えない音、聴こえない絵』 - 毎日jp(毎日新聞)

    massunnk
    massunnk 2010/01/20
    これ単行本化してたんだ。読みたい。
  • 中国発のサイバー攻撃、グーグルが内部関係者関与の疑いを調査中か

    UPDATE Googleが、知的財産の窃盗につながる同社ネットワークへのサイバー攻撃に、中国オフィスの従業員が関与していたかどうかを調査中であることが、CNET Newsによる取材で明らかになった。 調査に詳しい複数の情報筋は先週取材に応え、Googleの内部関係者が攻撃に関与したかどうかを同社で調査中だと語ったが、それ以上の詳細はこの時点では明らかになっていなかった。 この情報筋によれば、Googleへの多面的な攻撃に内部関係者が関与した可能性があったという。 Reutersは現地時間1月18日、地元メディアの報道と匿名情報筋の話として、Google中国オフィスの従業員で休暇を取らされたり移籍させられたりした者がいると報じている。ネットワークセキュリティの確認を目的としてテストとスキャンを実行するために、中国オフィスの従業員は一時的にネットワークから遮断されていると、調査に詳しい複数

    中国発のサイバー攻撃、グーグルが内部関係者関与の疑いを調査中か
  • Perfumeが3作連続でDVD総合首位~女性グループではモーニング娘。以来8年半ぶり史上2組目

    ■その他の写真ニュースはこちら 昨年2度目の紅白出場を果たした3人組のテクノポップユニットPerfumeの最新ライブDVD『Perfume Second Tour 2009『直角二等辺三角形TOUR』』が、発売初週で5.4万枚を売上げ通算3作目となるDVD総合首位を獲得した。これでPerfumeは『Perfume First Tour『GAME』』(08年10月)、『Perfume『BUDOUKaaaaaaaaaaN!!!!!』』(09年4月)に続きミュージックDVD3作連続で総合首位を記録。女性グループによるミュージックDVD作品の3作連続総合首位は、モーニング娘。が記録した2001年7/9付の『ライブレボリューション21春~大阪城ホール最終日~』以来8年6ヶ月ぶり、史上2組目となった。 2008年から2010年まで直近の3年連続で首位を獲得したのは女性アーティストでは初となり、近年の人

    Perfumeが3作連続でDVD総合首位~女性グループではモーニング娘。以来8年半ぶり史上2組目
    massunnk
    massunnk 2010/01/20
    おめでとう!
  • [iPhone]指1本で演奏を。ユードー,音楽ゲーム「CheapMan」発売

    iPhone]指1で演奏を。ユードー,音楽ゲーム「CheapMan」発売 CheapMan(チープマン) 配信元 ユードー 配信日 2010/01/18 <以下,メーカー発表文の内容をそのまま掲載しています> 株式会社ユードー、iPhoneでテクノ曲を手軽に楽しむ iPhone/iPodTouch向け音楽アプリケーション 「誰でも弾けるキーボード“CheapMan(チープマン)”」を販売開始 株式会社ユードー(社:神奈川県横浜市、代表取締役:南雲玲生、以下「ユードー」)は、 iPhone/iPodTouch向け音楽アプリケーション「誰でも弾けるキーボード“CheapMan(チープマン)”」を販売することを発表致します。 ユードーはアップル社のiTunesStoreサービス内、appstore総合ランキング1位を獲得した 「8bitone」「Matrix Music Pad」「Pian

    [iPhone]指1本で演奏を。ユードー,音楽ゲーム「CheapMan」発売
  • 姓名分布&姓名ランキング 写録宝夢巣/名前・苗字・名字

    姓: 名: 地域: 入力した姓または姓名が、指定した地域にどのくらい分布しているか表示します。 地域内の順位や件数が分かります。 順位の表示は全国では10,000位まで、都道府県では姓のみ200位まで、市区町村では姓のみ100位まで順位を表示します。 地域: 姓 姓名 指定した地域で、どの苗字が多いかランキング表示します。 全国では10,000位まで、都道府県では200位、市区町村では100位まで苗字のランキングを表示します。 ※全国で検索すると、姓名のランキングも表示します。

    massunnk
    massunnk 2010/01/20
    面白いな。全国のどこに何人いるかとか分かる。
  • 米映画「アバター」大ヒット 「3Dうつ」本当にいるのか

    上映中の米SF映画アバター」が、迫力ある3D映像を売りに大ヒットしている。米CNNが、映画から離れる不安に「うつ状態」になるファンが出ていると報じているほどだ。話題の3D映画、日での反応は――。 「革命です。映画歴史に残る'モンスター'です 3Dだと まるで8次元です!」 「雪のシーンなんかはほんとに触れそうなぐらい映画館全体にふりそそいでました。このすごさだけは体感してみないと分からない…」 美しい世界から離れることで「うつ」に? 2000人近くが参加するミクシィのコミュニティ「アバター"AVATAR"(映画)」には、こんな感想が続々と書き込まれている。 アバターとは、ジェームズ・キャメロン監督があの「タイタニック」から12年ぶりに世に問う話題作だ。2009年12月18日に全米公開されて大ヒットし、興行収入がタイタニックに次ぐ歴代2位に躍り出ている。日でも12月23日に公開され、2

    米映画「アバター」大ヒット 「3Dうつ」本当にいるのか
    massunnk
    massunnk 2010/01/20
  • IDEA * IDEA

    ドットインストール代表のライフハックブログ

    IDEA * IDEA
    massunnk
    massunnk 2010/01/20
  • 生活の中の武道

    少林寺拳法の有段者である @poplacia さんと、剣道・合気道の有段者である @tricken のお二人がかねてから考えていた話題、「武道は私たちの日々の生活の中でどのように生きると言えるのか?」について、徹底的に追求していただきました。お互いがそれぞれの関心から素直な心情をことばにした結果、なかなか情熱に溢れた武道対談になったのではないかと思われます。また話の前提には、「武道十年に何の価値があるか?」(http://togetter.com/li/1791)、「@tricken,0.1秒の悪について考える」(http://togetter.com/li/3523)の二つの記録がお二人の思考にありました。こちらも併せてお読みください。

    生活の中の武道
    massunnk
    massunnk 2010/01/20
    「文武一道」ていい言葉だな。
  • 「理数系学生が減少、国家安全保障上の危機」:米軍 | WIRED VISION

    前の記事 日生まれのロボットキット4種、比較レビュー 地球環境の激変につながりうる7つの転換点 次の記事 「理数系学生が減少、国家安全保障上の危機」:米軍 2010年1月20日 Katie Drummond われわれは四六時中ネットに接続しているように見えるが、コンピューターおたくに育つ子供の数は減って来ているようだ。コンピューター研究協会によると、コンピューター科学を学ぶ登録者は、2003年から2006年までの間に43%も減少したという。 この事態は深刻な国家安全保障上の危機だ、と米国防総省は主張している。国防総省の研究部門であるDARPAによれば、「ますます専門化していく領域にふさわしい才能を持った適切な人物を探すことはより困難になっており、ソフトウェア開発が必要な幅広い国防総省システムについてのリスクとなり続けている」という。 DARPAは、十代の青少年を「科学、技術、工学、数学

  • 原口大臣がクロスオーナーシップ規制見直しに意欲、現行制度の有効性を検証へ

    総務大臣の原口一博氏は2010年1月19日の会見で、一つの事業者が多くのメディアを傘下に置く「クロスオーナーシップ」に関する規制の見直しに意欲を示した。 クロスオーナーシップとは、資参加によって一つの事業者がテレビやラジオ、新聞などの多くのメディアを傘下に置くこと。このクロスオーナーシップについて、原口大臣は「基準の明確化や有効性について、国会の総務委員会でずっと提起され続けてきた。新聞と放送というメディアを同一の資が支配することは、言論の多様性の面で大変問題である」と語った。この問題の解決に向けて、「言論の多様性の確保という観点から、現行のルールが機能しているか否かを検証して、見直す必要がないかどうかについて結論を得ていきたい」と述べた。 クロスオーナーシップ問題について議論を行う場については、「例えば『今後のICT分野における国民の権利保障等の在り方を考えるフォーラム』の中で、分科

    原口大臣がクロスオーナーシップ規制見直しに意欲、現行制度の有効性を検証へ
  • 女子大生がオムツを着用するブログが凄い件 カナ速

    1 :吸引ビン(三重県):2010/01/18(月) 20:22:04.19 ID:v90aZxEk 女子大生がオムツを着用し、自分がオムツを着用している写真を掲載しているブログ 『みきのおもちゃばこ』が密かに注目を集めている。 このブログの管理人のみきさんは、女子高生時代の17歳の時にブログを開始。2005年に書かれた最初のブログ記事では「はじめまして。みきです。17歳の女の子。オムツのブログを始めました。興味のない方ひやかしなどはご遠慮ください。オムツについてどんどんアップしちゃいます。よろしくお願いします?☆ミ」と自己紹介をしている。その後、コンスタントに自分のオムツ姿をブログに掲載し、オムツ仲間やファンの人たちと交流を深めているようだ。 大人なのにオムツをするなんておかしい? そう思う人は多いと思われるが、オムツの世界は奥が深いようで、みきさんのブログを読んでいると、どんどん新作が

    massunnk
    massunnk 2010/01/20
    リアル変ゼミ。
  • 女子生徒とすれ違いざまに「おっぱい」と言い、再度反転してきて「おっぱい」と言う:アルファルファモザイク

    ■編集元:痛いニュース+板より「女子生徒とすれ違いざまに「おっぱい」と言い、再度反転してきて「おっぱい」と言う」 1 変態仮面アマゾン(二代目 山城新伍)φ ★ :2010/01/19(火) 03:14:28 0 1月18日(月)午後5時20分ころ、姫路市網干区津市場4番地付近路上で、声かけ事案が発生(警察認知~同日午後6時55分)。 声をかけたのは、男1名、年齢30~40歳、肩までの茶髪、赤色ジャンパー着用、赤色自転車使用。 徒歩にて通行中の女子生徒3名に対して、前方から来た男が「おっぱい」と言ってすれ違い、再度反転してきて、「おっぱい」と言ってきたもの。 女子生徒3名が逃げたところ、男は、いずれかに立ち去り。 http://hyogo-bouhan.net/file/1/topics_1_9505.php?uni=4b54937848836 オレオレ!オレだよ、名無しだよ

    massunnk
    massunnk 2010/01/20
    29「( ゚∀゚)o彡゚ おっぱい! おっぱい!°ミo(°∀゜)」
  • 【捜索願】恋人を探しています。まとめ

    1/20 11:20 shi_naさんより 【速報】恋人が発見されました!富士樹海で保護され、銃刀法違反で現行犯逮捕されたとの事。警察から連絡を受けたお母さんからの連絡ですので、確実な情報です。 1/18夕方から恋人の行方が知れません。自殺するかもしれません。情報求む。 (※当まとめサイトの管理人は、件の依頼主のshi_naさんとは別人です。) (※編集ユーザ名がshi_naとなっていますが、管理人のユーザIDです。サイトのアドレスを ~/shi_na/ にしたところ、それがユーザIDになってしまいました。) (※wiki用twitterアカウント https://twitter.com/shi_na_wiki 要望はこちらへ shi.na.wiki@gmail.com ) (※shi_naさん自身も記事の誤りに気づかれたら、時間が許せば編集してしまって構いません) 【依頼主:shi_n

    【捜索願】恋人を探しています。まとめ
    massunnk
    massunnk 2010/01/20
  • 誰か、誰でも構いません。一緒に彼を探してください。 - findhimの日記

    わたし的棚ぼた一万円選書 急に千葉さんに手渡された封筒、開けてみたら1万円札が1枚。何ごとかと思えば、同期の出張を代わったお礼をもらったらしい。 「葵はワンオペで育児してくれたから」と半分わけてくれました。 泡銭の1万円 これはもう、わたし的1万円選書をしろという思し召しなのでは……

    誰か、誰でも構いません。一緒に彼を探してください。 - findhimの日記
    massunnk
    massunnk 2010/01/20
  • HOME | 京都大学生存圏研究所

    〔Visiting Professor Report〕Visiting Assoc. Prof. Daotong Li (Chongqing University, Chongqing, China)2024-08-20

    massunnk
    massunnk 2010/01/20
  • 新春ケイイチ鼎談 渋谷慶一郎×鈴木慶一×曽我部恵一

    新しい10年の幕開けに、これ以上ない4人が集まった。”ケイイチ鼎談”と銘打って行われた座談会は、高橋健太郎の司会をもとに2時間を越える盛り上がりをみせた。始めの15分間はustreamでライヴで放映され、その勢いは中継終了後さらに加速していく。年齢こそ違えど、インディペンデントにレーベルを運営し自身の活動も積極的に行っている3人の話は、2010年以降の音楽業界をいち早く予見している。キーワードは<だだ漏れ文化>!? 音楽だけでなく、それを取り巻く環境に関しても深く切り込んだ4人の話をじっくりご覧ください! 司会 : 高橋健太郎 / 文 : 西澤裕郎 / 写真 : sasaki wataru 変化したタイムラインの速度 ——今日なんで3人に声をかけたかというと、全員レーベルを運営していたり、twitterを活用しているなど共通点があるんですね。2010年代に突入して、レコード会社やミュージシ

    新春ケイイチ鼎談 渋谷慶一郎×鈴木慶一×曽我部恵一
    massunnk
    massunnk 2010/01/20
  • .review編集BLOG: 「出すぎた杭は誰からも打たれない」を目指して

    massunnk
    massunnk 2010/01/20
  • All Masked Rider Battle「全仮面ライダー集結せよ!」‐ニコニコ動画(9)

    massunnk
    massunnk 2010/01/20
  • Waterfall model - Wikipedia

    This article needs to be updated. Please help update this article to reflect recent events or newly available information. (October 2021) The waterfall model is a breakdown of development activities into linear sequential phases, meaning they are passed down onto each other, where each phase depends on the deliverables of the previous one and corresponds to a specialization of tasks.[1] The approa

    Waterfall model - Wikipedia
    massunnk
    massunnk 2010/01/20
  • ギリシア神話の天地生成と主神ゼウスの誕生

    古代ギリシアの二大叙事詩人:ホメロスとヘシオドス 古代ギリシア世界の諸民族に広く普及していたギリシア神話のエッセンスは、吟遊詩人などが口ずさむ口承の叙事詩や伝説・物語として民衆に伝えられていました。ギリシア神話は、古代ギリシアの都市国家(ポリス)に伝承されていた神話や伝説だけでなく、ヨーロッパの地中海世界に語り継がれていた伝承や説話が集積されて作り上げられたものであり、当時のヨーロッパ世界の一般教養としての側面を持っていました。 ギリシア神話の伝説や物語のアイデアの起源は紀元前15世紀以前にまで遡ると言われますが、ある程度系統的にまとめられた口承文学の叙事詩を作成したのは紀元前9世紀の詩人と言われるホメロス(ホーマー)です。客観的な証拠によって実在が確認できない伝説上の叙事詩人であるホメロス(B.C.9~8世紀)は、一説には盲目の吟遊詩人であったとも言われ、『イリアス』『オデュッセイア』と

  • Kaikai Kiki Co., Ltd. | Corporate Site

    Kaikai Kiki Co., Ltd. was founded by Takashi Murakami in 2001, and evolved from its predecessor, the Hiropon Factory, which was founded in 1996.

    Kaikai Kiki Co., Ltd. | Corporate Site
    massunnk
    massunnk 2010/01/20
  • 押井守監督、『アバター』の完成度に衝撃!「10年かけても追いつけない」と完敗宣言でみんなで乾杯!?|シネマトゥデイ

    「すがすがしいくらいに完敗だった」と素直に負けを認める押井守監督 25日、池袋テアトルダイヤで映画『アサルトガールズ』公開記念トークショーが開催され、押井守監督、徳間書店の雑誌「COMICリュウ」編集長の大野修一が登場した。 映画『アサルトガールズ』写真ギャラリー この日は、気心の知れた大野編集長がトークの相手とあって、リラックスムードの押井監督。客席に向かって「クリスマスなので、誰も来てないかなと思ったけど、みんなけっこう寂しいんですね」とジョークをとばすなど、口先もなめらかだった。 ADVERTISEMENT そんな監督は、先日、映画アバター』を観てきたばかりだと切り出すと、「あれは事件だよ。全員に観て欲しい映画だね。こちらがやりたかったことを全部やられちゃった。ハリウッドの物量だけの映画なら悔しくないけど、(監督の)キャメロンは頭がいいよね。あれには10年かけても追いつけない。映画

    押井守監督、『アバター』の完成度に衝撃!「10年かけても追いつけない」と完敗宣言でみんなで乾杯!?|シネマトゥデイ
  • 梅沢和木「エターナルフォース画像コア」1080

    http://www.youtube.com/watch?v=ZBVQOVyWe_c のHD1080 verです

    梅沢和木「エターナルフォース画像コア」1080
  • ●数理科学美術館(日本高速通信内)

    でっかいなぁ。 これってなぁに? おんぼろカーテン? いやいや違います。 これは時空を越えた所に存在する、 宇宙よりも広い世界の一部なのだよ。 ※図中の女の子はPOSER7+TY2でレンダリングしました 数理科学美術館はおかげさまで多くの方に意義をご理解いただき、その筋の方々の間では そこそこ知られるようになって参りました。これもひとえに今ここを見てくださっている あなたのおかげです。勢いに乗って数理科学美術館が 書籍(amazon) にもなりました。構成は当サイトとほぼ同じテーマですが文や絵がかなり異なります。 屋でみかけたらぜひ口絵だけでもご覧ください(口絵の例 (1) (2) (3) )。 また、これらの絵を作画するアプリケーション(Windows)とそのソースも納められています。 (アプリケーション単体はこちら) ※  カッコ内は作成時期・内容度・サイズ 測地線( 95年秋頃 

    massunnk
    massunnk 2010/01/20
    素敵だ。
  • フレームワークと中身 - ホワット・ア・ワンダフル・ワールド

    現代数学はZFC公理的集合論の中で展開可能と言われている。 そのためZFCは数学の基礎と言われていた時代もあった。 (現代集合論は、もはやそれ自体が研究対象である。) ZFCの上での議論を厳密に展開するためには、1階述語論理 というフレームワークが使用されることが多い。自然言語による 推論よりも深い議論を行うためにはZFCの公理を形式的な言葉 に翻訳する必要があるためである。 ここで、ならば数学の真の基礎は1階述語論理なのではないか? ZFCも1 階述語論理の理論の一つにすぎないのだから、という 疑問が生まれるかもしれない。これはある意味では真だが ある意味ではナンセンスである。なぜならば我々が真に興味がある のは、ZFC そのものの抽象的な性質であり、1階の論理は あくまでも便利な議論の場を提供するだけなのである。 プログラミングの言葉で言えば、1階述語論理は確かに重要だが あくまでも実

  • プログラムにバグは存在しない - ホワット・ア・ワンダフル・ワールド

    言葉遊びに思われるかもしれないが、 言語処理系にバグが無い限り、プログラムは 書かれているとおりに動くだけなのである。 それ自体にバグは存在しない。 プログラムのバグをバグと認識するのは、 プログラムの外側の人間である。 つまり、バグは人間の心の中にしか存在しない。 プログラムがコンパイラのチェックや型理論との 整合性を通過したとしても、それはとりあえずプログラムに 論理的な不整合は無い、ということを意味するに過ぎない。 人間の心の中にある仕様と異なる動きをプログラム がした場合にのみ、それをバグと認識できるからである。 人間の心の中の仕様が無矛盾であるとは限らないので、 そもそも論理的に無理なことを仕様として望んでいる場合もある。 質的に仕様のデバッグは難しいもので、時間とともに要求も 変化する。心の中の仕様は曖昧なものなので、人間自身も 正確に把握しているとは限らない。 そこでなんと