タグ

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

  • PDFソフトウェアの一覧 - Wikipedia

    Adobe Acrobat(アドビ) Adobe Photoshop(アドビ) Adobe Illustrator(アドビ) Adobe InDesign(アドビ) Adobe LiveCycle PDF Generator(アドビ) Antenna House PDF Driver(アンテナハウス) ApowerPDF - PDFの編集、変換、署名、パスワード設定、圧縮、結合機能を搭載 CorelDRAW(コーレル) DocuCom PDF Driver(クオリティソフト株式会社)。 EIOffice PDF出力対応 Enfocus PitStop Extreme(エンフォーカス) Enfocus PitStop Professional(エンフォーカス) FastPDFGen (株式会社PM9) Foxit PDF Editor JUST PDF[データ変換][作成][作成・編集][作

  • 論理演算 - Wikipedia

    論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し[1])、変数(変項)さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合(真理値集合)と演算(演算子)はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。 演算の種類[編集] ここでは1出

    論理演算 - Wikipedia
    lizy
    lizy 2009/05/21
  • トヨタ生産方式 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "トヨタ生産方式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2013年8月) トヨタ生産方式(トヨタせいさんほうしき、Toyota Production System、略称TPS)は、トヨタ自動車の生み出した、工場における生産活動の運用方式の一つ。多くの企業がこれにならった方式を取り入れており、工場等の製造現場やそれに付随するスタッフ部門だけでなく、間接部門でも取り入れている企業も見られる。 河合満によると、TPSが普及する以前も「必要の時に必要なだけ作る」という考えが現場に浸透していたという[1]。 トヨタ生産方式は第二次世界大

  • Erlang - Wikipedia

    Erlang(アーラン)は、コンピュータにおいて汎用的な用途に使うことができる並行処理指向のオープンソースソフトウェア(英:Open Source Software、略:OSS)プログラミング言語および実行環境。 概要[編集] Erlangの直列処理のサブセットの言語は、関数型言語であり、先行評価を行い、変数への代入は1回限りであり、動的型付けである。 Erlangはエリクソンにより次の条件のシステムを構築できるよう設計された。 分散化された環境 障害に耐性をもつ(IT用語における「フォルトトレラント」(英:Fault tolerant))。 ある程度のリアルタイム性を備える 無停止で稼働する ホットスワップが可能であり、稼働中のシステムを停止すること無くErlangのプログラムを変更することができる。Erlangは、当初はエリクソン社内部だけで使われる非公開の技術であったが、1998年に

    Erlang - Wikipedia
  • 1