「translation」の検索結果

First-order logic with quantifiers, predicates, functions, and identity. Covers syntax, interpretation over a domain, the universal and existential quantifiers, quantifier scope and binding, translation from natural language with multi-variable predicates, natural deduction for quantifiers, undecidability at first order, and the soundness/completeness theorems. Use when propositional logic is insufficient -- whenever "for all" or "there exists" matters to the argument.

日本語の概要は準備中です。原文の説明を表示しています。

The logic of sentential connectives -- and, or, not, if-then, if-and-only-if -- as a formal system. Covers syntax (well-formed formulas), semantics (truth tables), satisfiability, validity, logical equivalence, normal forms (CNF, DNF), natural-deduction rules, and common translation pitfalls. Use when formalizing arguments with propositional structure, checking validity mechanically, or teaching the foundations of formal reasoning.

日本語の概要は準備中です。原文の説明を表示しています。

Household-scale nutrition planning that treats meals as a weekly system, not a series of independent decisions. Covers macronutrient balance, the plate method, weekly rotation, leftover architecture, pantry-to-plate translation, and the food-safety floor that every meal plan must meet. Use when building a weekly menu, adapting a diet to a new household member, planning for a week of predictable meals on a budget, or teaching a learner how a kitchen feeds people over time.

日本語の概要は準備中です。原文の説明を表示しています。

用户要起草一条 X 短内容(推文/帖子)、不知道用什么结构或类型时;或问"怎么发一条教人用 XX 的帖""怎么排版推文能让更多人收藏""what structure should I use for a tweet / how to write a tutorial post"时。先按目标指标选四类型之一(故事→涨粉 / 列表→收藏 / 观点→互动 / 教程→忠诚),再用 Hook-Body-CTA 三段骨架起草;资源/工具类可套爆款公式(工具+场景+三步)。不适用于:已有草稿想检查五件套完备性(→x-five-piece-checklist)、想把公告腔改写成帮助式语言(→x-three-translations)、想按读者功能分类预测传播上限(→x-content-archetypes)、纯信息查询(如推文字数上限)。

日本語の概要は準備中です。原文の説明を表示しています。

发帖前自检"这条内容帮读者省了几步路"时使用;用户问"值不值得发/有没有价值/该不该发这条"时激活。不适用于:已决定要发只需检查结构完备性(用 x-five-piece-checklist)、需要分类内容原型(用 x-content-archetypes)、需要改写表达方式(用 x-three-translations)。Trigger 词:"值不值得发""省了几步""内容价值""worth posting""content value""should I post this""save steps"。

日本語の概要は準備中です。原文の説明を表示しています。

Formal verification of Rust programs via translation to Coq/Rocq.

日本語の概要は準備中です。原文の説明を表示しています。

See, Understand, Act on video and audio. See- ingest from local files, URLs, RTSP/live feeds, or live record desktop; return realtime context and playable stream links. Understand- extract frames, build visual/semantic/temporal indexes, and search moments with timestamps and auto-clips. Act- transcode and normalize (codec, fps, resolution, aspect ratio), perform timeline edits (subtitles, text/image overlays, branding, audio overlays, dubbing, translation), generate media assets (image, audio, video), and create real time alerts for events from live streams or desktop capture.

日本語の概要は準備中です。原文の説明を表示しています。

Translate visa application documents (images) to English and create a bilingual PDF with original and translation

日本語の概要は準備中です。原文の説明を表示しています。

Designs multi-country survey experiments, covering case selection with a stated comparative logic, instrument localization and TRAPD translation, stimulus calibration, per-country power, and pooled versus per-country analysis with measurement-equivalence checks. Use when the user fields the same experiment in several countries, asks which countries to include, how to adapt an instrument without breaking comparability, whether to pool, or how large each country sample must be. Question wording goes to survey-design, reporting to methods-reporting, the study plan to pre-registration-writing.

日本語の概要は準備中です。原文の説明を表示しています。

Designs multi-country survey experiments: case selection, localization and TRAPD translation, stimulus calibration, per-country power, and pooled versus per-country analysis with measurement-equivalence checks. Use when fielding the same experiment in several countries.

日本語の概要は準備中です。原文の説明を表示しています。

Plan or implement migrations to MotherDuck with SQL translation, source-to-target validation, cutover, and rollback.

日本語の概要は準備中です。原文の説明を表示しています。

Generate an interactive, self-contained HTML course on any Claude documentation topic. Use this skill when the user wants to create an interactive course, tutorial, or deep-dive walkthrough about a Claude feature, API concept, SDK pattern, or prompt engineering technique. Triggers on: "create a course about", "interactive tutorial for", "teach me about X interactively", "make a course on", "I'd like a course", "/docs --course", "/docs course", or when the user accepts the post-docs course prompt. Produces a stunning single-page HTML file with scroll-based navigation, animated visualizations, quizzes, and code translations drawn from official Claude documentation.

日本語の概要は準備中です。原文の説明を表示しています。

Odoo 20 development knowledge base covering actions, controllers, data files, API decorators, SQL constraints, indexes, modules, fields, manifests, mixins, ORM methods, migrations, OWL components, performance, QWeb reports, security, testing, transactions, translations, and XML views. Use when writing, reviewing, or debugging Odoo 20 Python, XML, or JavaScript code, creating or modifying modules, fixing performance issues, or looking up Odoo 20 API patterns and best practices.

日本語の概要は準備中です。原文の説明を表示しています。

Odoo 19 development knowledge base covering actions, controllers, data files, API decorators, SQL constraints, indexes, modules, fields, manifests, mixins, ORM methods, migrations, OWL components, performance, QWeb reports, security, testing, transactions, translations, and XML views. Use when writing, reviewing, or debugging Odoo 19 Python, XML, or JavaScript code, creating or modifying modules, fixing performance issues, or looking up Odoo 19 API patterns and best practices.

日本語の概要は準備中です。原文の説明を表示しています。

Orchestrates translation of motion designer video specifications into working Remotion code by coordinating specialized agents. Acts as pipeline coordinator that delegates to remotion-scaffold, remotion-animation, remotion-composition, and remotion-component-gen. Use when you have a complete VIDEO_SPEC.md and need full Remotion implementation.

日本語の概要は準備中です。原文の説明を表示しています。

How to add a page to the tdmcp VitePress docs site so it builds, gets a clean URL, and lands in the right nav — including the repo's partial-translation convention (only the artist guide is EN+PT; reference/legal pages are English). Use when authoring the privacy policy or any new docs page for tdmcp.

日本語の概要は準備中です。原文の説明を表示しています。

Structures FX hedging strategies for international portfolios with natural hedge identification, instrument selection, and cost analysis. Use when managing currency risk, designing FX hedges, or analyzing translation exposure.

日本語の概要は準備中です。原文の説明を表示しています。

Details Paraglide.js i18n implementations.

日本語の概要は準備中です。原文の説明を表示しています。

Customer feedback analysis — sentiment detection, NPS/CSAT frameworks, feature request clustering, support ticket triage, churn signal detection, and feedback-to-roadmap translation

日本語の概要は準備中です。原文の説明を表示しています。

Transforms vague UI/feature requests into structured, optimized prompts with design system awareness. Use when generating prompts for UI implementation, feature specification, or design-to-code translation. Triggers on tasks requiring prompt refinement, UI specification, or design system integration.

日本語の概要は準備中です。原文の説明を表示しています。

Review public site content for editorial quality, source support, prompt residue, duplicate blocks, translation drift, hidden filler, and human usefulness before SEO or LLM-friendly publication. Use this skill when the user asks to quality-gate news briefs, longform explainers, blog posts, topic pages, project pages, translated content, or generated article drafts without changing the live publishing pipeline.

日本語の概要は準備中です。原文の説明を表示しています。

Summarize videos, audio files, and podcasts into key takeaways. Give it a YouTube/podcast URL or a local audio/video file — it transcribes locally (cached; repeat requests reuse the transcript) and distills the transcript into key points, summaries, or translations. Use when the user asks to summarize, get key points from, translate, or TL;DR any audio or video content.

日本語の概要は準備中です。原文の説明を表示しています。

Turn in vitro potency and animal pharmacokinetics into a defensible human dose projection — the arithmetic that decides whether a compound can reach its target concentration safely. Use this skill for non-compartmental analysis of a concentration-time profile (AUC, Cmax, terminal half-life, clearance, volume of distribution), one- and two-compartment simulation of a dosing regimen, interspecies allometric scaling, human-equivalent dose conversion by body surface area, and the exposure margin between a projected therapeutic concentration and a toxicology no-effect level. Also trigger on non-compartmental analysis, AUC, clearance, volume of distribution, allometric scaling, human equivalent dose, first-in-human, NOAEL, therapeutic index, or exposure margin.

日本語の概要は準備中です。原文の説明を表示しています。

Assess one bounded Proto UI Adapter question without changing repository or external state. Use for new-Adapter research, target compatibility, catalog readiness, reviewed Module support or omission evidence, Host Capability fidelity, lifecycle translation, dependency risk, or implementation readiness. Do not catalog, implement, repair, or approve the Adapter slice.

日本語の概要は準備中です。原文の説明を表示しています。