タグ

ブックマーク / ja.wikipedia.org (6)

  • 特異なバグ - Wikipedia

    特異なバグ (英: unusual software bugs) とは、ソフトウェアバグの中でも特に修正が難しいものを言う。いくつかの種類があるが、直感的に理解しがたいような理論を発表した科学者に由来して名前が付いているものが多い。 ハイゼンバグは、それを調査しようとすると変貌したり消えたりするバグである。 ハイゼンバグの例: リリース版では発生するがデバッグ版(-DDEBUGコンパイルオプション等)では発生しない。 普通に実行すれば発生するがデバッガなどの環境では発生しない。 ユーザーの環境では発生するが開発者の環境では発生しない。 結合テストでは発生するが同じチェックをしているはずの単体テストでは発生しない。 何が起きているのか調べようと出力命令を入れると(いわゆる「printfデバッグ」)発生しなくなる。 競合状態によって発生している。 この名前は不確定性原理を提唱したハイゼンベルク

  • Computer Generated Imagery - Wikipedia

    この項目「Computer Generated Imagery」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文:10:57, 13 May 2015(UTC)) 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。(2015年6月) Computer generated imagery(コンピューター ジェネレイテッド イメジェリー、略:CGI)とは、コンピュータグラフィックスによって生成された画像または映像である。また、CG技術自体を指すこともある。応用先としては芸術・印刷メディア・コンピュータゲーム映画テレビ番組・コマーシャル・ビデオ・シミュレータなどがある。多くの場合「CGI」といえば映画テレビ映像向けに3次元コンピュータグラフィックス

    Computer Generated Imagery - Wikipedia
    m_hatayama
    m_hatayama 2010/09/23
    "素人の間では、CG(Computer Graphics)という言葉があまりにも広まり過ぎており、本来はCGIと表現すべきシチュエーションでもCGと表現されることが圧倒的に多い。"
  • WebDAV - Wikipedia

    WebDAV(Web-based Distributed Authoring and Versioning、ウェブダブ)はHypertext Transfer Protocolを拡張したもので、Webサーバ上のファイル管理を目的とした分散ファイルシステムを実現するプロトコルである。 WebDAVは、Webサーバに対して直接ファイルのコピーや削除を行ったり、ファイル所有者や更新日時などのファイル情報を取得・設定するといった機能を持つ分散ファイルシステムで、HTTP 1.1を拡張したプロトコルで実現される。元々はファイルのバージョン管理機能も内包していたが、後に RFC 3253 で定義されたDelta-Vに分離された。 マイクロソフトによって最初に開発され、1999年2月に RFC 2518 が発表された。2007年6月に発表された RFC 4918 が2008年1月現在最新の定義である。

  • Maxima - Wikipedia

    Maxima(マキシマ)は、LISP で記述された数式処理システムである。GNU GPL に基づくフリーソフトウェアであり、現在も[いつ?]活発に開発が続けられている。Maple や Mathematica などの商用の数式処理システムと比べても遜色のない機能を持っている。 略史[編集] Maxima の起源は、マサチューセッツ工科大学の MACプロジェクトによって開発され、米国エネルギー省(DOE)によって配布されていたDOE Macsyma の1982年のバージョンを GNU Common Lisp に移植したものである。 1982年から Macsyma の独自のバージョンを管理・維持していたビル・シェルター (en) が、1998年にエネルギー省から GPLライセンスを適用することを条件に公開の許可を得た。 こうして公開されたプログラムは 「Maxima」(マキシマ)と呼ばれるように

    Maxima - Wikipedia
    m_hatayama
    m_hatayama 2008/08/29
    フリーな数式処理システム Mathematica
  • 小池さん - Wikipedia

    この項目では、藤子不二雄の漫画のキャラクターについて説明しています。その他の小池姓の人物については「小池」をご覧ください。 小池さん(こいけさん)は、藤子不二雄(のちの藤子不二雄Ⓐ、藤子・F・不二雄)の漫画に登場する架空の人物。 概要[編集] ラーメン屋台モニュメント(豊島区南長崎公園)。 トキワ荘住人がよく利用した中華料理店「松葉」。 ラーメンが大好きで、いつもラーメンべている中年男性。天然パーマ(非常に癖が強くアフロヘアに近い)、眼鏡、焦点の定まらない目、締まりのない口でいつも不機嫌そうなしかめ面が特徴。 モデルはアニメーターの鈴木伸一で、ラーメン好きの設定も鈴木人に由来する[1]。ただし鈴木自身はラーメンに限らずうどんや蕎麦、スパゲッティといった麺類全般が好きと語っており、むしろトキワ荘時代に近所の中華料理店「松葉」からラーメンの出前を取るほどだった、藤子両人のラーメン好きが設

    m_hatayama
    m_hatayama 2008/05/08
    元々は、彼は「小池さん」ではなく、「小池さん家に下宿している鈴木さん」である。
  • ソフトウェアテスト - Wikipedia

    ソフトウェアテスト (英: software testing) は、コンピュータのプログラムから仕様にない振舞または欠陥(バグ)を見つけ出す作業のことである。ソフトウェアテストで見つかったプログラム中の欠陥を修正する作業をデバッグという。ソフトウェアテストに成功するとは、テストで欠陥が発見されるか、規定した試験項目にすべて合格するか、規定した品質目標に到達することである。目標とした品質には、規定した試験項目にすべて合格することもある。例えば、OS, プログラミング言語では、仕様を満たしているかどうかの適合試験を規定している。ソフトウェアテストでは、欠陥が存在することを示すことはできるが、欠陥が存在しないことは証明できない。ソフトウェアに仕様にない振舞がないことを保証する作業を証明といい、証明用のシステム、証明しやすい言語も多数存在している。項では動的なソフトウェアテストを中心に扱う。 ソ

  • 1