「reasoning」の検索結果

Economic analysis of government intervention -- taxation (incidence, efficiency, optimal design), regulation (cost-benefit, market failure correction), externalities (Pigouvian taxation, cap-and-trade, Coasian bargaining), and public goods provision (non-rivalry, non-excludability, free-rider problem). Covers welfare analysis of policy interventions, government failure, and the institutional context of policy-making. Use when evaluating policy proposals, analyzing tax effects, assessing regulatory design, or reasoning about the appropriate scope of government action.

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

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.

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

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.

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

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.

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

Spatial dimensions of political power, state sovereignty, territorial conflict, borders, international governance, and critical geopolitics. Covers classical geopolitics (Mackinder, Ratzel, Mahan), critical geopolitics (Said, O Tuathail), state territory and sovereignty, border theory, international organizations and governance, electoral geography, and postcolonial perspectives on power and space. Use when reasoning about territorial disputes, borders, international relations, state power, colonialism and its legacies, or the politics of geographic representation.

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

Design of active analog circuits built around operational amplifiers and discrete gain stages — inverting, non-inverting, difference, and instrumentation topologies, negative feedback and loop stability (gain-bandwidth product, phase margin, compensation), active filters (Sallen-Key, multiple-feedback biquad), sinusoidal and relaxation oscillators, comparators and Schmitt triggers, voltage references (bandgap, shunt, series), and linear versus switching voltage regulators. Covers how to pick a topology, close a feedback loop that stays stable, set gain and bandwidth, and choose a power-conversion approach. Use when designing an amplifier, filter, oscillator, reference, comparator, or regulator, or when reasoning about feedback stability, loop gain, phase margin, or op-amp non-idealities.

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

A/B testing, randomization, sample size calculation, confounding control, and causal inference for data science. Covers the full experimental lifecycle from hypothesis formulation through power analysis, randomization strategies, blocking, factorial designs, sequential testing, and the potential outcomes framework for causal claims. Use when designing experiments, planning A/B tests, calculating sample sizes, or reasoning about causation from data.

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

Atomic theory, periodic table organization, electron configuration, periodic trends, and isotopes/radioactivity. Covers Dalton through quantum mechanical models, electron shell filling (Aufbau, Hund, Pauli), periodic law and block structure, trend prediction (electronegativity, ionization energy, atomic radius, electron affinity), isotope notation, nuclear stability, and radioactive decay modes. Use when teaching, problem-solving, or reasoning about atomic-level chemistry.

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

States of matter, phase transitions, kinetic molecular theory, atmospheric chemistry, green chemistry, and sustainable synthesis. Covers solid/liquid/gas/plasma properties, phase diagrams, vapor pressure, gas laws, ozone chemistry, greenhouse effect, the 12 principles of green chemistry, atom economy, solvent selection, and catalysis for sustainability. Use when reasoning about material properties, environmental chemistry, or designing greener chemical processes.

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

Distributed consensus algorithms and logical time for cloud and multi-node systems. Covers Lamport clocks, vector clocks, FLP impossibility, Paxos (basic, multi, fast), Raft, Viewstamped Replication, Byzantine fault tolerance basics, quorum reads/writes (N/R/W), leader election, and TLA+ specification style. Use when designing replicated state machines, picking a consensus protocol, reasoning about split-brain and quorum loss, or writing formal specs for distributed coordination.

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

Classical orbital mechanics from Kepler to Hohmann. Covers the six orbital elements, Kepler's three laws, vis-viva, orbit types (circular, elliptical, parabolic, hyperbolic), transfer orbits, gravity assists, the two-body problem, and practical methods for computing ephemerides. Use when reasoning about planet motion, spacecraft trajectories, comet orbits, exoplanet transits, or binary star dynamics.

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

Observational cosmology from Hubble's law to the CMB. Covers redshift, Hubble expansion, the cosmological parameters, the cosmic microwave background, large-scale structure, galaxy rotation curves and dark matter, Type Ia SNe and dark energy, and the current state of Lambda-CDM. Use when reasoning about the large-scale universe, interpreting cosmological surveys, or teaching the Big Bang evidence chain.

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

Classify the information-need of a query and dispatch it to the appropriate retrieval or reasoning strategy. Use before read-side memory access, before multi-strategy retrieval, or any time you'd otherwise default to "one retriever for everything". Returns a strategy label, a token budget, and a retrieval depth so downstream handlers can be specialised. Backed by Pre-Route (arxiv 2605.10235v2) and MemFlow (arxiv 2605.03312v1), which together show LLMs possess latent routing ability elicitable via a structured prompt — and that externalising the routing decision improves small-model performance by ~2x. Triggers: "route this", "what strategy", "before retrieving", "intent classification", or any query whose ideal handling depends on what KIND of question it is.

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

Analyze code changes for security vulnerabilities using LLM reasoning and threat model patterns. Use for PR reviews, pre-commit checks, or branch comparisons.

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

Maps the 18 OCapN/CapTP/E-rights patterns reinvented piecemeal across codex-rs to their canonical Spritely/Goblins equivalents and the hermes-* bridge skills that formalize each correspondence. Use when auditing capability architecture in codex-rs, planning a Hoot/Goblins port, or reasoning about which E-rights primitive a codex-rs module implicitly implements.

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

Bengio's causal inference for AI: Interventional reasoning, counterfactuals, and System 2 deep learning. World models with causal structure.

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

Sheaves on time categories for compositional temporal reasoning. Bumpus et al. narrative framework with adhesion filter FPT algorithms and Gay.jl color integration.

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

Autonomous biomedical AI agent framework for executing complex research tasks across genomics, drug discovery, molecular biology, and clinical analysis. Use this skill when conducting multi-step biomedical research including CRISPR screening design, single-cell RNA-seq analysis, ADMET prediction, GWAS interpretation, rare disease diagnosis, or lab protocol optimization. Leverages LLM reasoning with code execution and integrated biomedical databases.

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

Quantum-resistant, self-learning version control for AI agents with ReasoningBank intelligence and multi-agent coordination

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

Attiya-Bar-Noy-Dolev atomic register emulation over message-passing. Load when designing quorum-based distributed storage, proving linearizability, or reasoning about fault-tolerant shared memory.

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

Enforce mandatory pre-action verification checkpoints to prevent pattern-matching from overriding explicit reasoning. Use this skill when about to execute implementation actions (Bash, Write, Edit) to verify hypothesis-action alignment. Blocks execution when hypothesis unverified or action targets different system than hypothesis identified. Critical for preventing cognitive dissonance where correct diagnosis leads to wrong implementation.

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

Use when facing unknowns, debugging without a clear cause, or making architecture decisions — enforces hypothesis-driven scientific reasoning through observation, hypothesis formulation, prediction, experiment design, and evidence-based conclusion. Use when previous attempts have failed or the problem space involves uncertainty.

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

Use when analyzing failing test cases to determine whether failures indicate genuine bugs or test implementation issues. Activates on "analyze failing tests", "debug test failures", "investigate test errors", or when provided with specific failing test names or output. Applies balanced investigative reasoning — does not auto-fix tests without establishing root cause.

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

Orchestrate complex work from an active gpt-6-astra or gpt-6.1-sol Codex session. The detected lead owns decomposition, integration, and verification; Astra keeps the hardest reasoning in the lead, while Sol escalates unusually difficult units to Astra. Both route bounded work to Sol at medium effort, mechanical work to Luna, and can use a cross-vendor Claude peer. Not for routine single-context work. Use when the user explicitly asks to orchestrate, delegate, fan out, parallelize, assign subagents, obtain independent checks, or have Codex act as tech lead.

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