「eas」の検索結果

Rebuild a live web page 1:1 from measurement into Figma, Penpot or code, then verify it. Use when reproducing a page or checking a rebuild against the original.

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

Avoid inner scroll containers; when unavoidable, one axis at a time. Use when a layout, table or panel might scroll inside the page.

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

GitHub CLI - manage repositories, issues, pull requests, actions, releases, and more from the command line.

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

Audit and safely clean Xcode-related developer storage on macOS. Use whenever a developer mentions low disk space, Xcode storage, DerivedData, simulator devices or runtimes, stale beta platforms in Xcode Settings, DeviceSupport, archives, dSYMs, CocoaPods caches, simulator dyld caches, project .build folders, downloaded Xcode DMGs/XIPs, duplicate Xcode installers, or old Xcode applications. Also use this skill proactively when you hit low storage during other work, such as a build, download, or install failing with an out-of-disk-space error. Always measure first, report recoverable GiB with evidence, and obtain explicit itemized approval before any mutation.

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

Provides Site Reliability Engineering best practices for SLOs, SLIs, SLAs, error budgets, toil reduction, reliability reviews, and capacity planning. Use when defining service objectives, measuring reliability, reducing toil, planning capacity, or when user mentions 'SRE', 'SLO', 'SLI', 'SLA', 'error budget', 'toil', 'reliability', 'on-call', 'capacity planning'.

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

A survey of the best-known active scientific controversies in nutrition — saturated fat and cardiovascular disease, dietary cholesterol, low-carb vs low-fat, ultra-processed foods, red meat and cancer, salt and blood pressure, and the replication status of popular single-nutrient claims. Use when a question asks whether a widely reported nutritional claim is settled, or when the department needs to distinguish "contested but plausible" from "settled" from "disproven."

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

Naming and classifying organisms through binomial nomenclature, the Linnaean hierarchy, type specimens, and the rules governing taxonomic authority and revision. Covers the structure of a scientific name, the ranks from domain to subspecies, the codes (ICZN, ICN, ICNP), and the modern phylogenetic refinements that reshape the classical system. Use when the task is to place a known organism in its formal hierarchy or to reason about how names change over time.

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

Catalog of informal fallacies with definitions, canonical examples, and detection heuristics. Covers relevance fallacies (ad hominem, straw man, red herring, appeal to authority, appeal to emotion), presumption fallacies (false dichotomy, complex question, begging the question), ambiguity fallacies (equivocation, amphiboly, accent), causal fallacies (post hoc, slippery slope, correlation-causation), and statistical fallacies (hasty generalization, cherry-picking). Use when evaluating arguments for rhetorical or informal reasoning errors.

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

Comparative framing across contemplative and mind-body traditions — Sōtō Zen and Rinzai Zen, Theravada vipassana, Tibetan Vajrayana, classical yoga and its eight limbs, Daoist internal cultivation, secular MBSR and MBCT, engaged mindfulness as Thich Nhat Hanh teaches it, Christian contemplative prayer, Sufi dhikr, the Hesychast tradition of the Eastern Orthodox church — for the routing agent who has to understand where a user is already standing before recommending a practice. Covers the pedagogical voice of each tradition, the places they overlap, the places they genuinely disagree, and the non-sectarian framing the college department uses. Use when a user arrives with a prior tradition, when a query spans more than one tradition, or when the agent needs a vocabulary for what is shared and what is lineage-specific.

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

Harmonic analysis, voice leading, chord function, and modulation techniques for tonal music. Covers triads, seventh chords, Roman numeral analysis, figured bass, voice leading rules, cadence types, secondary dominants, modulation techniques, chromatic harmony (Neapolitan, augmented sixth chords), jazz lead sheet notation, and functional vs. linear harmonic thinking. Use when analyzing chord progressions, writing voice leading, identifying key areas, or interpreting harmonic function in any tonal style.

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

Use when working with the non-metallic engineering materials — polymers, ceramics, or composites — and you need to reason about structure, processing, or properties. Covers thermoplastics versus thermosets, chain structure, glass transition, and viscoelasticity in polymers; ionic and covalent bonding, sintering, brittleness, and Weibull statistics in ceramics; and fiber-reinforced laminates, matrix and reinforcement roles, the rule of mixtures, and anisotropy in composites. Reach for it to choose a plastic, understand why a ceramic fails, or predict the stiffness of a laminate.

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

Measurement techniques for identifying composition, microstructure, and properties of engineering materials — optical and electron microscopy, x-ray diffraction, EDS and WDS spectroscopy, thermal analysis, mechanical testing, and fractography. Covers when to use which technique, sample-preparation pitfalls, and how to build a characterization plan that answers a specific engineering question rather than accumulating data for its own sake.

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

Systematic materials selection for engineering design using performance indices, Ashby charts, multi-constraint optimization, and case-based reasoning. Covers the five-step Ashby method — function, objective, constraint, free variable, index — with worked examples for stiffness-limited beams, strength-limited ties, thermally shocked vessels, and minimum-cost components. Use when choosing among metals, polymers, ceramics, and composites under competing objectives.

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

Proof writing and verification techniques for mathematical reasoning. Covers 13 proof strategies with canonical worked examples — direct, contrapositive, contradiction, cases, WLOG, vacuous/trivial, biconditional, counterexample, existence (constructive and non-constructive), uniqueness, induction (weak, strong, structural), pigeonhole/double-counting, and diagonal argument/invariants. Use when writing, verifying, or selecting proof strategies for any mathematical claim.

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

The logical structure of mathematical proof -- how first-order logic, natural deduction, and semantic reasoning combine to produce rigorous mathematical arguments. Covers the logical skeleton of direct proof, contraposition, contradiction, cases, and induction; the role of definitions, lemmas, and theorems; how informal mathematical prose maps to formal deductive structure; and the difference between proof-as-object and proof-as-activity. Use when the question is "why is this a valid proof?" rather than "what proof technique applies?"

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

Meta-cognitive and practical strategies for learning any language -- learner autonomy, goal setting, strategy taxonomy (Oxford's SILL framework), memory strategies, cognitive strategies (note-taking, summarizing, analyzing, reasoning), compensation strategies, metacognitive strategies (planning, monitoring, evaluating), affective strategies (managing anxiety, self-encouragement), social strategies (collaboration, questioning, empathy), immersion design, study habit optimization, plateau diagnosis, and motivation maintenance. Use when designing a language learning plan, diagnosing a learner's stuck points, selecting study methods, or building self-directed learning skills.

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

Extending propositional and predicate logic with modal operators -- necessity and possibility, and their relatives (obligation, knowledge, belief, time). Covers Kripke possible-worlds semantics, accessibility relations, the main modal systems (K, T, S4, S5), translation from natural language, and applications in epistemic, deontic, and temporal reasoning. Use when ordinary logic is insufficient to capture distinctions like "must" vs "might," "knows" vs "believes," "always" vs "sometimes."

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

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.

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

Martial arts as body discipline — the shared pedagogical structure across striking, grappling, and weapon arts (stance, distance, timing, ukemi, live partner work, graded ranking, and the ethical container the best schools enforce). Covers karate, judo, jiu-jitsu (Brazilian and traditional Japanese), aikido, kendo/kenjutsu, boxing, muay Thai, and wrestling at enough depth that an agent can place a user into a reasonable first-month practice and recognize the safety failures that matter most. Leans on Moshé Feldenkrais's judo background and Yang Jwing-Ming's martial scholarship for the internal-to-external bridge. Use for any query about beginning a martial art, training injury patterns, graded progression, or the ethics of combat training.

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

Physical principles underlying diodes, bipolar junction transistors, and MOSFETs — carrier concentrations, drift and diffusion, the pn junction, forward and reverse bias, the Shockley diode equation, BJT operating regions, MOSFET threshold and saturation, small-signal models, and temperature effects. Use when reasoning about device-level behavior, designing bias networks, selecting transistor operating points, interpreting datasheets, or diagnosing nonlinear device failures.

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

Human modification of Earth's systems and the geographic dimensions of environmental change. Covers climate change science (greenhouse effect, feedback loops, projections), deforestation and land use change, desertification and soil degradation, water resource management, biodiversity loss and conservation geography, pollution and environmental justice, and sustainability frameworks. Use when reasoning about human impacts on the environment, environmental policy, conservation planning, climate adaptation, or the spatial distribution of environmental risks.

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

Foundations of digital signal processing — sampling, aliasing, the Nyquist criterion, quantization, convolution, the discrete Fourier transform, FFT, FIR and IIR filter design, windowing, spectral leakage, and practical issues in fixed-point versus floating-point implementation. Use when designing filters, analyzing spectra, choosing sample rates, reasoning about aliasing, or implementing DSP algorithms on a microcontroller, DSP chip, or host CPU.

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

Climate physics, forcing, feedback, and attribution. Covers the greenhouse effect and radiative forcing, climate sensitivity, fast and slow feedbacks, the paleoclimate record, detection and attribution science, regional climate impacts, and the distinction between weather, climate variability, and forced climate change. Use when reasoning about global warming mechanisms, interpreting temperature or CO2 records, evaluating attribution claims for extreme events, or distinguishing signal from natural variability.

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

Study of human activities, spatial patterns, and social processes on Earth's surface. Covers population and migration, cultural diffusion and landscapes, urbanization and city systems, economic geography and development, political geography and borders, and social/identity geographies. Use when reasoning about why people live where they do, how cultures spread, how cities grow, how economies are spatially organized, or how power operates through space.

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