「logic」の検索結果

Systematic departures from rational choice theory and their implications for economic analysis and policy. Covers cognitive heuristics (anchoring, availability, representativeness), biases (loss aversion, status quo, overconfidence), prospect theory (reference dependence, probability weighting, diminishing sensitivity), nudge theory and choice architecture, and the integration of psychological findings into economic models. Use when analyzing decision-making under uncertainty, evaluating policy interventions that exploit behavioral patterns, or assessing where standard rational-agent models break down.

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

Carbon, nitrogen, phosphorus, sulfur, and water cycles — pools, fluxes, residence times, and anthropogenic perturbations. Covers the fast and slow carbon cycles, the Haber-Bosch disruption of the nitrogen cycle, the phosphorus bottleneck, the hydrological cycle, ocean acidification, and the planetary boundaries framework. Use when tracking chemical elements through atmosphere, hydrosphere, biosphere, and lithosphere; computing pool sizes and fluxes; or evaluating anthropogenic perturbations to global cycles.

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

Engineering design cycle covering requirements elicitation, specifications writing, constraint identification, iterative prototyping, and design communication. Spans the full loop from problem definition through ideation, analysis, prototyping, testing, and redesign. Includes morphological charts, TRIZ, Pugh matrices, design reviews, and the distinction between functional and non-functional requirements. Use when framing engineering problems, generating design alternatives, writing specifications, or running design reviews.

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

Assessing anthropogenic environmental impacts — pollution pathways, habitat destruction and fragmentation, land-use change, invasive species, overharvest, and extinction debt. Covers environmental impact assessment (EIA) methodology, exposure-effect relationships, population viability analysis, IPAT and ecological footprint frameworks, and strategic environmental assessment. Use when quantifying or forecasting human impacts on ecosystems, designing monitoring programs, or evaluating a proposed intervention against a baseline.

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

Ecological organization, energy flow, food webs, biodiversity, succession, and species interactions. Covers trophic structure, primary productivity, nutrient transfer efficiency, keystone and foundation species, ecosystem services, carrying capacity, disturbance regimes, primary and secondary succession, and resilience metrics. Use when analyzing how living communities are organized, how energy and matter move through ecosystems, how disturbance and recovery shape landscapes, or why biodiversity matters for ecosystem function.

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

Grammar and syntactic structures across human languages -- word order typology (SVO, SOV, VSO, VOS, OVS, OSV), morphological systems (isolating, agglutinative, fusional, polysynthetic), agreement patterns (gender, number, case, person), phrase structure, clause embedding, and cross-linguistic universals. Covers constituent analysis, dependency vs. constituency grammars, grammatical relations (subject, object, oblique), ergativity vs. accusativity, tense-aspect-mood systems, and how grammar encodes meaning differently across language families. Use when analyzing sentence structure, comparing grammar systems, teaching grammatical concepts, or understanding why a learner makes transfer errors from their L1.

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

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.

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

Techniques for generating novel ideas, reframing problems, and escaping fixed mental models. Covers lateral thinking (de Bono), Six Thinking Hats, random stimulation, provocation operators (PO), analogical transfer, assumption challenging, and divergent-then-convergent thinking cycles. Use when the goal is to produce new options or perspectives rather than evaluate existing ones.

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

Persuasion and rhetorical analysis grounded in classical and modern frameworks. Covers Aristotle's three appeals (ethos, pathos, logos), rhetorical situation (audience, purpose, context), argument structure (Toulmin model), logical fallacies, persuasive writing, propaganda analysis, and ethical persuasion. Use when constructing arguments, analyzing rhetoric, evaluating persuasive messages, detecting fallacies, or studying the relationship between language and power.

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

Meta-mathematical connections, cross-domain synthesis, and the Complex Plane as a navigational tool. Classifies problems by quadrant (Abstract/Embodied x Logic/Creativity), routes them to relevant domains, and traces dependency chains. Use when classifying mathematical problems across domains, navigating the Complex Plane of Experience, finding cross-domain connections, or building multi-domain solution strategies.

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

Host-based simulation using the Zephyr native_sim board. Covers building for Linux/macOS/Windows, automated testing, host-side debugging (GDB, Valgrind), and host-target integration. Trigger when developing application logic without hardware or setting up CI/CD tests.

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

Foundational skills for Zephyr RTOS development. Covers essential Embedded C patterns (BIT, CONTAINER_OF), real-time concurrency primitives (mutexes, semaphores, spinlocks), hardware literacy (datasheet-to-DTS mapping), and defensive programming. Trigger when writing core application logic, drivers, or troubleshooting foundational behavior.

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

Advanced Zephyr RTOS kernel services. Covers inter-thread communication using Zbus (pub/sub), behavioral management with the State Machine Framework (SMF), background processing via work queues, and persistent configuration with the Settings subsystem. Trigger when building modular application architectures, complex state-driven logic, or requiring persistent data storage.

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

The **Coherence Composer** is an epistemological skill that validates structural consistency and explores counterfactual worlds while respecting constraints from both **Commitment Tracker** (ontology) and **Opacity Detector** (epistemology).

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

```yaml name: cognitive-surrogate description: Layer 6 Barton Cognitive Surrogate System - build, train, and validate psychological models that predict and generate authentic responses matching a subject's cognitive patterns version: 1.0.0 trit: 0 # Ergodic/coordinator role in GF(3) triadic system ```

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

The **Commitment Tracker** skill extracts and makes explicit the **ontological commitments** that agents make implicitly through their code and behavior. It enables detection and resolution of silent incompatibilities between systems that use different underlying assumptions about what exists and ho

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

Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence

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

This skill should be used when working with annotated data matrices in Python, particularly for single-cell genomics analysis, managing experimental measurements with metadata, or handling large-scale biological datasets. Use when tasks involve AnnData objects, h5ad files, single-cell RNA-seq data, or integration with scanpy/scverse tools.

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

When calling LLM APIs from Python code. When connecting to llamafile or local LLM servers. When switching between OpenAI/Anthropic/local providers. When implementing retry/fallback logic for LLM calls. When code imports litellm or uses completion() patterns.

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

Use when orchestration or planning agents are producing task plans, task prompts, or TASK.md instructions that must be unambiguous, verifiable, and resistant to hallucination. Applies CLEAR (Concise, Logical, Explicit, Adaptive, Reflective) to structure and write agent task prompts, then adds CoVe (Chain of Verification) checks where accuracy risk is meaningful. Activates on draft task prompts, swarm plans, migration tasks, and multi-step plans requiring independently executable steps.

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

Use when a repository has a valuable agentic workflow, prompt chain, playbook, command, or runbook that should become a portable ChatGPT/Codex Skill without losing its real decision logic.

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

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.

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

When the user wants to apply psychological principles, mental models, or behavioral science to marketing. Also use when the user mentions 'psychology,' 'mental models,' 'cognitive bias,' 'persuasion,' 'behavioral science,' 'why people buy,' 'decision-making,' or 'consumer behavior.' This skill provides 70+ mental models organized for marketing application.

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

Suggests manual context compaction at logical intervals to preserve context through task phases rather than arbitrary auto-compaction.

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