Protocol Buffers - Wikipedia
Protocol Buffers（プロトコルバッファー）は構造データのシリアライズを目的とした技術スタックである[1]。 通信や永続化において構造データのシリアライズは重要である。Protocol Buffers はこれを実現するための仕様およびライブラリであり、定義言語（インタフェース定義言語）・シリアライズ形式・各言語向けランタイムライブラリ・プロトコンパイラ生成コードの4要素からなる[2]。 Protocol Buffersのデザインの目的はシンプルさとパフォーマンスである。とりわけ、XMLより高速になるようデザインされている。GoogleはXMLとの比較で、3〜10倍小さく、20〜100倍高速であると主張している[3]。Google自身が挙げている例では、XMLでは69バイト以上の物が Protocol Buffersでは28バイトであり、XMLのパースは5〜10マイクロ秒も必要だ
ImageMagick - Wikipedia
ImageMagick（イメージマジック）は画像を操作したり表示したりするためのソフトウェアスイートである。GIF、JPEG、JPEG 2000、PNG、PDF、Photo CD、TIFF、DPXなど100種類以上の画像ファイルフォーマットに対応している[2]。GPL互換でより制限が緩い独自ライセンスが適用されている[3]。 利用方法[編集] ImageMagick はコマンドラインから利用する方法と、他のプログラムから呼び出して使う方法がある。 コマンドラインからの利用方法[編集] ImageMagickは多数のコマンドラインツールを含んでおり、バッチ処理などでGUIを使わずに画像処理したい場合に有用である[4]。 画像を表示 - display input_file スクリーンショット - import [ options ... ] output file 画像変換 - conver
ローマ字 - Wikipedia
この項目では、日本語のラテン文字表記について説明しています。その他の用法については「ローマ字 (曖昧さ回避)」を、特に、ローマ字に用いられる文字の文字体系については「ラテン文字」をご覧ください。 日本の鉄道の駅名標では、ローマ字表記の駅名がよく記載されている。 （東京駅、JR東日本 京浜東北線） ローマ字（ローマじ）は、仮名をラテン文字に翻字する際の規則全般（ローマ字表記法）、またはラテン文字で表記された日本語（ローマ字綴りの日本語）を表す。 単に「ローマ字」（英: the Roman alphabet）と言った場合、本来はラテン文字（ラテン・アルファベット）のことを指す。「ローマ」とは、古代ローマにおいて用いられていた文字に由来することからの呼び名である。 ただし現在の日本では、ラテン文字を用いての日本語の表記法（日本語のラテン翻字）と表記そのもののことをローマ字と呼ぶことが多く、本項で
議長決裁 - Wikipedia
議長決裁（ぎちょうけっさい）は、議会などで採決を行って可否同数となった場合、議長自身がその議案の可決・否決を決めることをいう。 英語では英米で表現が異なる。イギリスでは casting vote（キャスティング・ボート、議長の投じる票）、アメリカでは tie-breaking vote（均衡を破る票）、または単に tie break（タイブレーク）ともいう。 日本国憲法は国会の議事において可否同数となった場合は、議長の決するところによるとする（日本国憲法第56条第2項）。 憲法56条第2項にいう「議長」とは、役職としての両議院の議長という意味ではなく、会議を主宰し議事進行時に現に議長席にあって議事を整理している者を指すと解されている[1][2][3]。したがって、副議長や仮議長の場合もある[2]。また、委員会の委員長も憲法56条2項の「議長」には含まれると解されている[4]。ただ、一般には
ハードウェア記述言語 - Wikipedia
ハードウェア記述言語（ハードウェアきじゅつげんご、英: hardware description language、HDL）は、デジタル回路を設計するためのコンピュータ言語ないしドメイン固有言語（DSL）である。回路の設計、構成を記述する。処理を検証するための試験（テストベンチ）記述ができ、シミュレーションできる開発環境もある。 プログラミング言語との類似性が見られる機能がある言語もあることから、プログラミング言語の一種などとする誤解が非常に多いが、間違いである。また、プログラマブルロジックコントローラの記述に用いられるラダー言語は別のものと扱われている。 概要[編集] ハードウェア記述言語は、ハードウェアの動作仕様を記述するのに使う、文字で記述するコンピュータ言語で、電子回路の経時的振舞いと空間的構造を表現する。プログラミング言語と比較すると、ハードウェア記述言語の構文（シンタックス）や
新知見が謎をますます深める!? 実は定義さえできていない「遺伝子」（中屋敷 均）
遺伝子とは何か？——そんな問いも、現代の私たちからすると"いまさら感"漂う気がしますが、実は遺伝子に関する知見が深まるほど、遺伝子に関する謎も増えていっている、ということをご存知でしょうか？ 「遺伝子を考えることは、生命の本質とは何なのかという、人類誕生以来の思索に通じる」という著者に、遺伝子研究と遺伝子の謎について語ってもらいました。 いま、なぜ「遺伝子とは何か」なのか？ 遺伝子という言葉は、いまや日常語である。「この会社には、〇〇という遺伝子が受け継がれている」とか、「最強〇〇遺伝子！」とかいったフレーズは世にあふれている。「遺伝子とは何か？」などと問うてみても、ブルーバックスの読者の皆さまには、何をいまさら感あふれる愚問のように聞こえるだろう。しかし、である。いま、改めて問う。 我々は、本当に「遺伝子とは何か」を知っているのだろうか？ たとえば、以下の遺伝子の説明のうち、常に正しいと
衆愚政治 - Wikipedia
衆愚政治（しゅうぐせいじ、英語: ochlocracy/mobocracy）とは、政治思想または政治体制の一種である。古代ギリシアにおいて、失敗した民主政を揶揄して用いられた蔑称である[1]。暴民政治（ぼうみんせいじ）とも呼ばれる。 概要[編集] プラトンやアリストテレス、ローマの歴史家ポリビオスらは前5～前4世紀のアテナイの徹底した民主政治を、教養の無い貧民が政治を支配した結果として失政を重ねたものとした[1]。仮に有権者がその社会において尊敬されるに十分とされる政治的な教養を受けていたとしても、コミュニティに適切な指導者（リーダーシップ）が欠如している状況を指す。また互譲（譲り合い）や合意形成に失敗し、政策が停滞したり愚かな政策が実行される状況を指す。この場合、各々が積極的利益を追求した結果としてのみ衆愚政治に陥るわけでなく、例えば偏見からくる信念や恐怖からの逃避、困難や不快さの回避や
システム - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "システム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年3月) システム（英: system）は、相互に影響を及ぼしあう要素から構成される、まとまりや仕組みの全体。一般性の高い概念であるため、文脈に応じて系、体系、制度、方式、機構、組織といった多種の言葉に該当する。系 (自然科学) の記事も参照。 それ自身がシステムでありながら同時に他のシステムの一部でもあるようなものをサブシステムという。
型付きラムダ計算 - Wikipedia
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ () というシンボルを用いる型付き形式手法である。型付きラムダ計算は基礎的なプログラミング言語でもあり、MLやHaskellなどの型付き関数型言語の基盤であり、さらには型付き命令型プログラミング言語の間接的な基盤とも言える。また、カリー・ハワード同型対応によって数理論理学と証明論とも密接に関連しており、圏論のクラスの内部言語と見なすこともできる。例えば単純な型付きラムダ計算はデカルト閉圏 (CCC) の言語である。 ある観点から見れば、型付きラムダ計算は型を持たないラムダ計算を改良したものと言えるが、別の観点からは、より根本的な理論と見ることもでき、型を持たないラムダ計算の方が型が1つしかない特殊ケースと見ることができる。 様々な型付きラムダ計算がこれまで研究され
)
Matrix (プロトコル) - Wikipedia
Matrixは、リアルタイム通信（英語版）のためのオープン標準で軽量な通信プロトコルである。ある通信サービスプロバイダ（英語版）のアカウントを持つユーザが、チャット、VoIP及びテレビ電話を介して、別のサービスプロバイダのユーザとコミュニケーションを行うことができるように設計されている。つまり、標準的なSMTPによる電子メールがストアアンドフォワード型の電子メールサービスで提供されているように、異なるサービスプロバイダ間でリアルタイム通信をシームレスに機能させることを目的としている。 技術的な観点から見ると、Matrixは分散型（英語版）リアルタイム通信のためのアプリケーション層の通信プロトコルである。Matrixはサーバのオープンな連合を介してのJSON形式のメッセージの安全な配布及び永続化のためのHTTP API及びオープンソースのリファレンス実装を提供している[2][3]。WebRT
論証 - Wikipedia
論証（ろんしょう、英: argument）とは、論理学の用語で、前提（premises）と呼ばれる宣言的文の集まりと結論（conclusion）と呼ばれる宣言的文から構成され、前提群から結論が真であることが導き出せることを主張したものである。そのような論証には、妥当なものと妥当でないものがある。なお、個々の宣言的文は真（true）か偽（false）かで判断されるが、論証は妥当（valid）か妥当でない（invalid）かで判断される。英語では、宣言的文をstatementや命題（proposition）と呼んでいたが、最近では哲学的な含意を避けるためsentenceと呼ぶことが多い。 妥当性[編集] 妥当な論証は、特定の形式に従ったものである。妥当でない論証は、特定の形式に従っていない。 ある論証が妥当であっても、その結論が真であるとは限らない。前提が偽であっても、論証形式自体は妥当なこと
IPマルチキャスト - Wikipedia
IPマルチキャストは、Internet Protocol （IP） のデータグラムを特定の複数受信者に対して1回で送信するための方法である。IPマルチキャストはインターネットやLANにおいて、ストリーミング・アプリケーションによって利用されることがある。IPマルチキャストは、マルチキャストネットワーキングという一般的な概念の、IPに特化したバージョンと言える。マルチキャストはIPv4（クラスD）及びIPv6で特に予約されたマルチキャストアドレスブロックを用いる。IPv6では、IPv4で実装されていたブロードキャストアドレッシングをIPマルチキャストアドレッシングが置き換える。 IPマルチキャストはIPネットワーク上で1対多数、および、多数対多数のリアルタイム通信を実現する方法である。受信者が誰であるか、また受信者の数を事前に知る必要がないため、多数の受信者に宛てた通信に適している。また多数
Jitsi - Wikipedia
Jitsi（ジッチ、ジトシ[5]）は自由かつオープンソースで、ウェブプラットフォーム（英語版）、Windows、Linux、macOS、Androidといったクロスプラットフォーム向けの音声（VoIP）、ビデオカンファレンス、インスタントメッセージアプリケーションのコレクションである[6][7][8]。JitsiプロジェクトはJitsi Desktop（旧称：SIP Communicator）の開発から始まった。WebRTCの普及に伴いプロジェクトチームはウェブペースの複数人ビデオ会話を実現するJitsi Video Bridgeの開発に集中するようになった。その後、チームは完全なビデオカンファレンスアプリケーションであるJitsi Meetを追加し、ウェブ、Android、iOSクライアントが利用可能になった。Jitsiは、Jitsi Meetをmeet.jit.siでホストしており、コ
スライディングウィンドウ - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "スライディングウィンドウ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年4月） スライディングウィンドウは、通信の高速化を図ったフロー制御の一つである。ウィンドウと呼ばれる概念を設け、そのウィンドウに空きがある限り、受信側からの応答を待たずに送信側が送信を行うというものである。 この用語がTCPにおけるフロー制御のみを指すかのような説明が行われることがあるが[1]、以下に示すように、この用語の適用範囲は必ずしもTCPにおけるフロー制御のみに限定されるものではない。 原理[編集] 到達性を保証する通信においては、受信側は正常に通
Reliable User Datagram Protocol - Wikipedia
In computer networking, the Reliable User Datagram Protocol (RUDP) is a transport layer protocol designed at Bell Labs for the Plan 9 operating system. It aims to provide a solution where UDP is too primitive because guaranteed-order packet delivery is desirable, but TCP adds too much complexity/overhead. In order for RUDP to gain higher quality of service, RUDP implements features that are simila
WOW64 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "WOW64" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年11月) WOW64（ワウ64、Windows 32-bit On Windows 64-bit）とは、64ビット (x64、ARM64、IA-64) 版のMicrosoft WindowsにおいてWin32アプリケーションを実行する、エミュレーションレイヤーサブシステムである。 64ビット版のWindowsは基本的に、完全に64ビット化されたNTカーネルで動作する。x64やIA-64対応のオペレーティングシステムでは、x86の32ビットABIに対応するかどうかの選
syslog - Wikipedia
syslog（シスログ）は、ログメッセージをIPネットワーク上で転送するための標準規格である。"syslog" という用語は、その通信プロトコルを指すだけでなく、syslog メッセージを送信するシステム（アプリケーションやライブラリ）syslog メッセージを受信し報告・分析するシステムに対しても使われる。syslogの各メッセージには、そのメッセージを生成したシステムの種類を示すファシリティコードが付与され、重大度が設定される。 システム管理やセキュリティ監査の目的だけでなく、一般的な情報提供、分析、デバッグ用にも用いられる。多くのプラットフォームで、プリンタ、ルータ、メッセージレシーバなど、様々なデバイスがsyslog規格を使用している。これにより、異なるタイプのシステムからのログデータを1つの集中リポジトリで一括して管理することができる。syslogの実装は、多くのオペレーティング
Partition type - Wikipedia
This article is about MBR partition types in IBM PC compatible systems. For GPT partition types, see GUID Partition Table § Partition type GUIDs. For Amiga RDB partition types, see Rigid Disk Block. The partition type (or partition ID) in a partition's entry in the partition table inside a master boot record (MBR) is a byte value intended to specify the file system the partition contains or to fla
File system - Wikipedia
This article is about how a computer organizes and accesses computer files. For library and office filing systems, see Library classification. In computing, a file system or filesystem (often abbreviated to FS or fs) governs file organization and access. A local file system is a capability of an operating system that services the applications running on the same computer.[1][2] A distributed file
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
List of tools for static code analysis - Wikipedia
