「数学記号」はこの項目へ転送されています。ウィキペディアにおける数式の書き方については「ヘルプ:数式の書き方」をご覧ください。 数学的概念を記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。 数学記号が示す対象やその定義は、基本的にそれを用いる人に委ねられるため、同じ記号に見えても内容が異なっているということがあれば、逆に、異なって見える記号が同じ対象を示しているということもある[注 1]。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。

ビタビアルゴリズム（英: Viterbi algorithm）は、観測された事象系列を結果として生じる隠された状態の最も尤もらしい並び（ビタビ経路と呼ぶ）を探す動的計画法アルゴリズムの一種であり、特に隠れマルコフモデルに基づいている。観測された事象系列の確率計算のアルゴリズムである 前向きアルゴリズム（英: forward algorithm）も密接に関連している。これらのアルゴリズムは情報理論の一部である。 このアルゴリズムには、いくつかの前提条件がある。まず、観測された事象と隠されている事象は1つの系列上に並んでいる。この系列は多くの場合時系列である。次に、これら2つの並びには一対一の対応があり、1つの観測された事象は正確に1つの隠されている事象に対応している。第三に、時点 での最も尤もらしい隠されている事象の計算は、 での観測された事象と での最も尤もらしい隠された事象の系列のみに依

直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 ( ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容され

SAP HANA（エスエイピー ハナ）は、ドイツのソフトウェア企業SAP SEが提供するカラムストア指向リレーショナルインメモリデータ処理プラットフォームである[1]。狭義には中核コンポーネントであるインメモリデータベース機能のみを指すが、広義にはHANA用アプリケーションの実行環境や開発環境などの周辺機能を指すプラットフォーム全体を指す。 概要[編集] SAP HANAは、全てのデータをメモリ上に保有し、高速に処理するための企業向けインメモリデータベース製品であり、企業の基幹システムや情報系システムのほか、研究データ解析、スポーツ分析などの用途に幅広く利用されている。提供形態としては、パブリッククラウドエディション、プライベートクラウドであるマネージドサービスエディション、オンプレミスエディションがある。 SAPの創業者の一人であるハッソ・プラットナー（英語版）が設立した研究・教育機関「

Bluetooth Low Energy (Bluetooth LE, BLE) とは、無線PAN技術である Bluetooth の一部で、バージョン 4.0 から追加になった低消費電力の通信モード。Bluetooth は Bluetooth Basic Rate/Enhanced Data Rate (BR/EDR) と Bluetooth Low Energy (LE) から構成される[1]。 従来からの BR/EDR と比較して、省電力かつ省コストで通信や実装を行うことを意図して設計されている。BR/EDR とは独立しており、互換性は持たないが、BR/EDR と LE の同居は可能である。もとの仕様はWibreeという名称で2006年にNokiaによって開発されたものであり[2]、これが2009年12月に Bluetooth Low Energy として Bluetooth 4.0

sed（セド）は、入力ストリーム（ファイルまたはパイプラインからの入力）に対してテキスト変換などのデータ処理をおこなうために使用されるプログラムである。名称「sed」は「ストリームエディタ」を意味する英語「stream editor」に由来する[1]。 sedは、入力を行単位で読み取り、sedスクリプトと呼ばれるシンプルな命令文に従ってテキスト変換などの編集をおこない、また行単位で出力する[1]。基本的には照合ルールに従い場合分けをおこなうフィルタと捉えることができる。オリジナル版のsedはベル研究所のマクマホンによって1973年前後に開発されたUNIXユーティリティ[2][1][3]で、現在ではコマンドラインをサポートするさまざまなオペレーティングシステムに搭載されている[1]。 大量のテキストファイルに対して一括で定形の処理をおこなう場合に大きな威力を発揮する。正規表現に対応しており、

GVfsは、GNOMEデスクトップの仮想ファイルシステムで、SFTP、FTP、WebDAV、SMB、OBEXなどを経由したリモートデータとudevを経由したローカルデータへのアクセスを容易にする[1]。 アタッチされたリソースはURIで参照できるようになり、例えば smb://server01/gamedata とか ftp://username:password@ftp.example.net/public_html となる。また、従来と同様のマウントを ~/.gvfs/ 配下に行うこともでき、POSIX標準のコマンドやI/Oを使った古いアプリケーションからも利用できる。 GVfsはFUSEを使い[2]、従来の GnomeVFS の代替を意図したものである[3]。アプリケーションがロードするGIO（英語版）をサポートした共有ライブラリと、相互の通信やD-Bus上のGIOモジュールとの通信

procfsは、Process Filesystem の略で、Unix系システムにある擬似ファイルシステム。主にプロセスに関するカーネル情報にアクセスする手段を提供する。procfs は実際のファイルシステムではないので、ディスクスペースを消費しないし、メモリもごくわずかしか消費しない。 通常、procfs は立ち上げ時に /proc ディレクトリにマウントされる。Solaris、BSD、Linux、AIX、QNXなどでサポートされ、特にLinuxではプロセス関連以外のデータにも拡張されている（AIXのprocfsはLinuxベース）。procfs は機能をカーネルモードからユーザーモードに移すことに重要な役割を果たしている。例えば GNUプロジェクト版の psコマンドは全てのデータを procfs から得ており、特別なシステムコールを使用しない。 歴史[編集] Tom J. Killia

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Vyatta" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年2月) Debian GNU/Linuxをベースに開発されており、標準的なLinuxコマンドの他、他のハードウェアルーターなどからの移行を容易にすることを意図したネットワーク管理やルータの機能を管理するための独自コマンドが用意されている。 XenやVMwareなどの仮想環境上のゲストOSとしても動作させることが可能。また、それらのためのイメージも配布されていた[1]。 有償ライセンスの Vyatta Subscription EditionとVyatta Plus

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。（2014年6月） フェジョアーダ（ポルトガル語: feijoada, ブラジルポルトガル語発音: [fɐjʒuˈaðɐ], ヨーロッパ・ポルトガル語発音: [fejʒuˈadɐ] フェイジョアーダやフェジョアダとも表記される）は、豆と豚肉、牛肉を煮込んだ料理。 ポルトガル、ブラジル、アンゴラ、サントメ・プリンシペ、東ティモールなどポルトガルおよびその旧植民地で食べられているが、各国で独自の発展をとげてきたため、使われる素材は国によって異なる。多くのフェジョアーダは調理時間が長く材料の種類が多いことが特徴であり、名称は「フェイジャオン（豆）を使った料理」という意味であるが、フェジョアーダよりも少ない材料で作られる豆料理は、フェジョアーダとは呼ばれず単にフェイジャ

『チャッピー』（原題: CHAPPiE）は、2015年に公開されたアメリカ合衆国のSF・アクション映画。監督と脚本はニール・ブロムカンプ、主人公である意志を持つロボット・チャッピーの声とモーションキャプチャはシャールト・コプリーが務める。なお、このふたりのコラボレーションは本作で3度目となる。 アメリカでは2015年3月6日、日本では同年5月23日に公開[3]。 ストーリー[編集] 近未来。ヨハネスブルグの高い犯罪発生率を減らすため、南アフリカ政府は、大手兵器メーカーTetravaal（テトラバール）社から、高性能の人工知能を半分取り入れた最先端の攻撃ロボットを購入した。 同社のヨハネスブルグ工場では、ロボットの設計者、ディオン·ウィルソンが、オーストラリアのエンジニア、ヴィンセント·ムーアからの激しい妬みに悩まされていた。ムーアは自分の開発した、人間の脳波コントロールで動く攻撃ロボット「