「nct」の検索結果

Google Cloud Platform CLI - manage GCP resources. Use when working with Compute Engine, Cloud Run, GKE, Cloud Functions, Storage, BigQuery, or other GCP services.

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

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.

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

Somatic movement and whole-body retraining as Joseph Pilates designed it in the Contrology method and as Moshé Feldenkrais designed it in Awareness Through Movement and Functional Integration, with enough cross-reference to the broader somatics landscape (Alexander Technique, Hanna Somatics, Body-Mind Centering) that an agent can place a user into the right method. Covers the Pilates reformer and mat system, the six Pilates principles, the Feldenkrais ATM lesson structure, the nervous-system learning frame that distinguishes somatics from exercise, and the safety posture that matters for rehab populations. Use for queries about core training, rehab-adjacent movement, chronic pain patterns, and learning-based movement re-education.

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

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.

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

Diagnosis of why structural materials fail — ductile overload, brittle cleavage, fatigue, creep, stress-corrosion cracking, hydrogen embrittlement, and corrosion. Covers Griffith fracture mechanics, the ductile-to-brittle transition, the S-N and Paris fatigue frameworks, fractographic interpretation, and the J.E. Gordon view that strength, stiffness, and toughness are distinct properties that must be understood together to prevent collapse.

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

Deliberate practice as a rigorous training method distinct from ordinary repetition. Covers Ericsson's four conditions (specific goals, full attention, immediate feedback, repetition at the edge of current ability), the role of mental representations, coach-directed vs. self-directed practice, the plateau escape pattern, and practical drill design for procedural skills. Use when designing practice sets, diagnosing why practice is no longer producing gains, or distinguishing productive effort from busywork.

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

Practical argument analysis and construction -- how to identify, evaluate, reconstruct, and build real arguments in natural language. Covers argument identification (premises, conclusions, intermediate steps), charity and steel-manning, argument mapping, the distinction between deductive validity and inductive strength, burden of proof, and the rhetorical context in which arguments operate. Use when the goal is to engage with real-world argument rather than to formalize it.

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

Piaget's constructivism, schema theory, and cognitive development as practical tools for curriculum design. Covers assimilation, accommodation, equilibration, the four stages (sensorimotor, preoperational, concrete operational, formal operational), conservation tasks, schema-based reading and problem-solving, and the distinction between developmental readiness and domain-specific expertise. Use when designing age-appropriate material, diagnosing why a learner is not assimilating new content, or building on prior knowledge.

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

Conjecture generation, sequence analysis, and experimental mathematics for mathematical discovery. Covers sequence analysis (OEIS lookups, recurrence relations, generating functions), pattern detection methods (finite differences, ratio analysis, modular patterns), conjecture generation workflow, classical integer sequences (Fibonacci, Catalan, partition numbers, Bernoulli numbers), combinatorial identities, the probabilistic method (Erdos, expected value arguments, Lovasz Local Lemma), AI-assisted discovery (FunSearch, Ramanujan Machine), and confidence calibration with cautionary tales (Mertens conjecture, Polya conjecture). Use when discovering patterns, analyzing sequences, generating conjectures, or working with combinatorial identities.

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

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."

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

Designing the household as an operating system. Covers room-function mapping, work-triangle analysis, storage topology, utility flow, and the Richards/Beecher lineage that treats the home as an engineered environment rather than a stage set. Use when planning a new kitchen, reorganizing a room, diagnosing friction in a daily routine, or teaching a learner to see the house as a system with inputs, flows, and outputs.

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

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.

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

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.

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

The household as an economic unit with income, expenses, savings, and debt. Covers the envelope method, fixed vs variable expenses, the 50-30-20 baseline, emergency reserves, the true cost of ownership, opportunity cost in household decisions, and the distinction between a budget and a spending plan. Use when building a household budget, diagnosing why a household is always over, planning a major purchase, or teaching financial literacy at the household level.

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

Bench instruments and measurement techniques for electronics — digital multimeter, oscilloscope, logic analyzer, spectrum analyzer, function generator, power supply, and their proper use. Covers probing technique, ground loops, loading effects, trigger modes, FFT mode pitfalls, signal integrity, noise budget analysis, and debugging workflows from "it doesn't work" to "here is the failure mechanism." Use when measuring, debugging, or characterizing any electronic circuit or firmware-hardware interaction.

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

Classical control and system dynamics for engineered systems — feedback and closed-loop control, transfer functions and block diagrams, poles/zeros and stability, time-domain response (rise time, overshoot, settling time), PID controllers and tuning, and frequency response (Bode plots, gain and phase margin). Traces feedback control from the flyball governor to modern controllers. Use when analyzing feedback loops, designing or tuning a PID controller, assessing stability from poles or margins, or characterizing transient response of a dynamic system.

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

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.

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

Structured approaches to decisions under uncertainty and complexity. Covers expected value, decision trees, multi-criteria decision analysis, System 1 vs System 2 allocation, pre-mortems, reversible vs irreversible decisions, and the distinction between good decisions and good outcomes. Use when choosing among alternatives with uncertain or multi-dimensional consequences, especially when the stakes justify a deliberate rather than intuitive process.

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

Operations management and lean production techniques for turning inputs into outputs under variability. Covers the Toyota Production System, seven wastes, just-in-time, kanban, jidoka, single-minute die exchange, 5 Whys, value stream mapping, bottleneck theory, and the distinction between mass production and flexible production. Use when diagnosing operational waste, designing production flows, setting up quality systems, or comparing batch-and-queue to one-piece flow.

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

Systematic evaluation of arguments for structure, validity, soundness, and charitable interpretation. Covers premise identification, conclusion extraction, argument mapping, steel-manning, and the distinction between validity (form) and soundness (form plus true premises). Use when assessing an argument, reconstructing an opponent's position fairly, or preparing a rebuttal.

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

Organizational strategy and management theory for business decision-making. Covers objectives-based management, the knowledge-worker firm, decentralization, the five management tasks, strategy-as-practice, managerial roles, and the distinction between efficiency and effectiveness. Use when structuring an organization, setting objectives, allocating decision rights, or critiquing a strategy document.

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

Business ethics, corporate governance, and stakeholder responsibility for firms operating in complex social and regulatory environments. Covers ethical frameworks applied to business, stakeholder vs shareholder theory, board structure and fiduciary duty, conflicts of interest, whistleblowing, CSR and ESG, and the distinction between legal compliance and ethical conduct. Use when evaluating a decision with ethical stakes, designing a governance structure, or diagnosing a corporate scandal.

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

Use the moment a request is underspecified and you are about to act on an ASSUMED goal. Enumerate the candidate goals the request could mean, project the action or artifact each one implies, and check whether they diverge: if two or more plausible goals lead to materially different actions or artifacts, ask exactly ONE targeted clarifying question; otherwise proceed on the most-likely goal and state the assumption in one line. Clarification is an evidence-producing action, not a delay — but one question, never an interrogation. Distinct from gsd-spec-phase (GSD-phase-bound, emits a heavy SPEC.md) and intent-router (fetch strategy, not goal disambiguation). Backed by agent goal-state inference (arxiv 2606.16813v1). Triggers on acting under an assumed goal when the request admits more than one materially different reading.

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

Generates test cases for functions and components. Use when writing tests or creating test suites.

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