subset — 英語辞典

subset
発音 (2)
  • /ˈsʌbˌsɛt/
    発音の補足
    • UK
  • ˈsʌbˌsɛt
    発音の補足
    • GB

名詞

  1. A set A such that every element of A is also an element of S.

    用法
    • of a set S
    例文

    The set of integers is a subset of the set of real numbers.

    その他の例文 (2)

    The set #92;lbracea,b#92;rbrace is a both a subset and a proper subset of #92;lbracea,b,c#92;rbrace while the set #92;lbracea,b,c#92;rbrace is a subset of #92;lbracea,b,c#92;rbrace but not a proper subset of #92;lbracea,b,c#92;rbrace.

    1963, David B. MacNeil, Modern Mathematics for the Practical Man, David Van Nostrand, Republished as 2013, David B. MacNeil, Fundamentals of Modern Mathematics: A Practical Review, Dover, page 3, In the foregoing example, the set D of the first four letters of the alphabet, was a subset of the set A of all the letters of the alphabet, because A includes all the members of D.

    Let A be a subset of the topological space X and take x#92;inX.

    その他の例文 (1)

    We say that a set S has a finite partition into subsets S#95;1,#92;dots,S#95;n, if S#61;S#95;i#92;cup#92;dots#92;cupS#95;n, where the subsets are pairwise disjoint, that is, S#95;i#92;capS#95;j#61;#92;empty, if i#92;nej. (We do not require that the subsets be nonempty.)

  2. A group of things or people, all of which are in a specified larger group.

    例文

    We asked a subset of the population of the town for their opinion.

    その他の例文 (1)

    Interestingly, this [the core lexicon] is not all of the words of the language: It turns out that most of the words in a language from an industrialized culture come from narrow semantic domains, such that only a subset of speakers know them.

動詞

  1. To take a subset of.

    用法
    • 他動詞
  2. To extract only the portions of (a font) that are needed to display a particular document.

    用法
    • 他動詞

名詞

  1. a set whose members are members of another set; a set contained within another set

    上位語
語形
subsetssubsetssubsettingsubsettedsubsetted

コードフォーマッター

Java・Python・JavaScript・JSON・HTMLなどのコードを整形・美化し、インデント、空白、改行をそろえます。

その他のツール

音声編集・エフェクト

録音のトリミング・結合・分割、無音やノイズの除去、音量・速度・音程・チャンネルの調整ができます。

その他のツール

表計算ツール

CSVやExcelの表を開いて編集し、表形式テキストを整形。CSVからExcelやSQLへの変換もできます。

その他のツール

Markdownツール

Markdownの編集・プレビュー、Mermaid図の描画、Markdown・HTML・表の形式変換ができます。

その他のツール

テキストツール

文章の比較、単語数や頻出語の集計、行の並べ替え・置換、DOCX本文の表示ができます。

その他のツール

辞書

中国語の単語の意味、類義語、対義語や、さまざまな言語の IPA 発音記号を調べられます。

音声変換・再生

MP3・WAV・FLACなどを相互変換し、通常の音声や生PCMを再生。音声メタデータの確認・編集もできます。

JSON・データツール

JSONの表示・比較・検証、JSONPathのテスト、CSV・YAML・XMLへのデータ変換ができます。

その他のツール

音声ツール

音声を文字起こしし、テキストから音声を生成。ブラウザーで自分の声を録音することもできます。

動画ツール

動画の変換・圧縮、クリップのトリミング・結合、画面サイズの変更、音声抽出に対応します。

その他のツール

動画の再生・録画

ローカル動画やストリーミング動画の再生、画面・カメラの録画、カメラを使ったオンラインミラーを利用できます。

PDFツール

PDFの圧縮・結合、ページの分割・並べ替え、画像への変換、文書の表示・比較ができます。

その他のツール

画像ツール

画像形式の変換、写真のサイズ変更・切り抜き、圧縮、画像比較、OCRによる文字抽出ができます。

その他のツール

画像作成

スクリーンショットの撮影・装飾、文字から画像やGIFの作成、ホワイトボード描画、ワードクラウドやファビコンの生成ができます。

その他のツール

字幕ツール

動画をプレビューしながらSRT・VTT字幕を編集。時間調整、形式変換、字幕トラックの管理ができます。

その他のツール

アーカイブツール

ZIP・7Z・RAR・TARを開いて必要なファイルを展開。新しいアーカイブの作成やZIP・7Zのパスワード設定もできます。

エンコード・デコード

Base64・Base32のエンコードとデコード、URL・HTML・Unicodeのエスケープ、JWTの内容確認ができます。

その他のツール

数値ツール

2進・10進・16進の数値を変換し、数値を英語で表記。テキストから2進数への変換もできます。

計算ツール

パーセントや分数を計算し、統計データを集計。成績、割引率、縦横比も計算できます。

その他のツール

時間ツール

オンライン時計、カウントダウン、ストップウォッチを使い、日付・年齢・タイムゾーンの差を計算できます。

その他のツール

ネットワークツール

IPアドレスやIPv6接続の確認、HTTPリクエストやHARファイルの調査、CIDRアドレス範囲の計算ができます。

単位変換

長さ・重さ・温度・データ容量などの単位を換算できます。

カラーツール

HEX・RGB・HSLを変換し、画像から色を抽出。コントラストの確認や単色画面によるディスプレイ確認もできます。

QRコード・バーコード

リンクやWi-Fi接続用のQRコード、各種バーコードを生成・読み取りできます。

開発・セキュリティツール

ハッシュ・UUID・パスワードの生成、正規表現のテスト、URLスラッグの作成、ファイル権限の確認ができます。

その他のツール

各種ツール

画面解像度やリフレッシュレートの確認、画面定規での測定、キーボードのテスト、プロンプターの利用ができます。

その他のツール

ゲーム

2048、マインスイーパー、数独、五目並べ、タンクバトル

その他のツール