Allquantor — ドイツ語辞典

.site-navbar .language-control {display:none}

言語

Allquantor

発音

[ˈalˌkvantoːɐ̯]

名詞

Operator, der ausdrückt, dass eine bestimmte Bedingung für alle Objekte zutrifft
用法
- Prädikatenlogik
同義語
Universalquantor
反義語
Existenzquantor
上位語
QuantifikatorQuantor

例文

„Die Ausdrücke ‚für alle…‘ und ‚es gibt…‘ heißen Quantoren. Dabei heißt ‚für alle…‘ Allquantor und ‚es gibt…‘ Existenzquantor.“

„Gleichzeitig zeigt dieses Beispiel, dass der Allquantor und der Aspekt nicht ein und demselben Operator ohne Skopusunterschiede zugeschrieben werden können.“

その他の例文 (1)

„Hier zeigt sich wiederum ein deutlicher Unterschied zwischen der Analyse des Wortes ‚omnis‘ in der Logik des Mittelalters und dem Allquantor in der modernen Logik.“

語形

AllquantorenAllquantorsAllquantorenAllquantorenAllquantoren

コードフォーマッター

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

その他のツール

音声編集・エフェクト

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

その他のツール

表計算ツール

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

その他のツール

Markdownツール

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

その他のツール

EPUB テキスト変換

テキストツール

文章の比較、単語数や頻出語の集計、行の並べ替え・置換、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、マインスイーパー、数独、五目並べ、タンクバトル

その他のツール