TeX — ドイツ語辞典

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

言語

TeX

発音

[tɛç]

名詞

Computerprogramm für den Textsatz von Donald E. Knuth

上位語
TextsatzDigitale Typographie

例文

TeX empfiehlt sich insbesondere zum Setzen von Texten mit vielen mathematischen Formeln.

TeX ist neben Troff ein bis heute genutztes Textsatzsystem.

その他の例文 (1)

TeX und andere Textsatzsysteme sind vom Desktop-Publishing einerseits und von den Textverarbeitungen andererseits zu unterscheiden.
Datenformat, das mit dem Programm TeX verarbeitet werden kann

上位語
Auszeichnungssprache

例文

TeX empfiehlt sich insbesondere zum Setzen von Texten mit vielen mathematischen Formeln.

語形

TeXs

コードフォーマッター

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、マインスイーパー、数独、五目並べ、タンクバトル

その他のツール