「skill-creator」の検索結果

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.

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

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.

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

Vygotsky's Zone of Proximal Development and scaffolding as a working framework for learning support. Covers the ZPD definition, the distinction between independent and assisted performance, the six scaffolding functions (recruitment, reduction in degrees of freedom, direction maintenance, marking critical features, frustration control, demonstration), fading, sociocultural mediation, and the relationship between ZPD and deliberate practice. Use when deciding how much help to give, designing collaborative learning, or assessing a learner's ceiling rather than just their current floor.

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

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.

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

Carbon allotropes and nanoscale materials — graphite, diamond, fullerenes (C60 and family), carbon nanotubes, graphene, and the broader class of low-dimensional materials. Covers synthesis routes (arc discharge, laser ablation, CVD, exfoliation), structural characterization, exceptional mechanical and electronic properties, and the gap between laboratory demonstrations and structural-scale applications.

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

Metallurgy of the major nonferrous structural and engineering alloys — aluminum, copper, titanium, nickel, magnesium, and their strengthening mechanisms. Covers precipitation (age) hardening in Al-Cu and Al-Zn-Mg systems, solid-solution strengthening in brass and bronze, alpha-beta titanium, nickel superalloys with gamma-prime, and the trade-offs in density, strength, corrosion resistance, and cost that decide when to leave steel for a lighter or more specialized metal.

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

Engineering ethics covering safety, professional codes of conduct, public welfare responsibility, whistleblowing, case studies (Challenger, Columbia, Hyatt Regency, Bhopal, Therac-25), and the ethical dimensions of design decisions. Includes the NSPE Code of Ethics, the iron ring tradition, risk communication, informed consent in engineering, and the duty to dissent. Use when analyzing ethical dimensions of engineering decisions, teaching professional responsibility, or reviewing designs for safety and public welfare.

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

Systematic analysis of DC and AC linear circuits using Ohm's law, Kirchhoff's laws, node and mesh methods, Thevenin and Norton equivalents, phasor analysis, and Bode plots. Covers series and parallel reduction, superposition, source transformation, impedance in the frequency domain, first and second order transient response, and the conversion between time domain and phasor representations. Use when quantitatively predicting voltages, currents, power, gain, phase, or time response of any lumped-element linear circuit.

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

Distributional analysis of environmental benefits and burdens across communities. Covers the historical origins of environmental justice in the U.S. civil rights tradition, siting and exposure disparities, indigenous rights and land stewardship, climate justice at global and intergenerational scales, procedural vs. distributional vs. recognition justice, and the environmental justice screening tools used by regulators. Use when analyzing who bears environmental harm and who receives environmental benefit, or when designing interventions whose distributional consequences matter.

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

Evaluating online information for credibility, accuracy, and context. Covers the SIFT method (Stop, Investigate, Find, Trace), lateral reading, reverse image search, primary source verification, and common misinformation tactics. Use when assessing the trustworthiness of a web page, article, video, social media post, or any digital claim before relying on it or sharing it.

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

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.

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

Theory and policy of international economic exchange. Covers comparative advantage (Ricardo, Heckscher-Ohlin), gains from trade, trade policy instruments (tariffs, quotas, subsidies), exchange rate determination, balance of payments, globalization dynamics, trade agreements, and the political economy of protectionism. Use when analyzing why countries trade, who wins and loses from trade, how exchange rates move, or the effects of trade policy interventions.

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

Analysis of aggregate economic phenomena -- GDP measurement, inflation dynamics, unemployment theory, monetary policy (central banks, interest rates, money supply), fiscal policy (government spending, taxation, debt), and the business cycle. Covers Keynesian, monetarist, and new classical perspectives. Use when analyzing national or global economic conditions, policy debates, economic growth, recessions, or the interaction between monetary and fiscal authorities.

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

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.

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

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.

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

Design and analysis of combinational and sequential digital circuits using Boolean algebra, truth tables, K-maps, CMOS gate implementation, flip-flops, registers, counters, and finite state machines. Covers De Morgan's theorems, canonical sum-of-products and product-of-sums forms, minimization techniques, propagation delay, setup and hold times, metastability, synchronous design discipline, and FSM encoding. Use when designing, minimizing, verifying, or debugging any circuit whose signals take only discrete logic values.

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

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.

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

Producing digital media -- writing, images, video, audio, presentations, and multimedia -- with an understanding of craft, audience, accessibility, and ethics. Covers composition principles, copyright-safe sourcing, accessibility features (alt text, captions, contrast), remix culture, attribution practices, and the difference between creating for yourself, for a small audience, and for the open web. Use when helping a learner move from media consumer to media producer.

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

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.

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

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.

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

Embedded firmware development for microcontrollers including memory-mapped I/O, GPIO, interrupts, timers, UART/SPI/I2C serial protocols, PWM generation, ADC sampling, interrupt-driven versus polled architectures, RTOS fundamentals, and the bring-up sequence from power-on reset through first printf. Covers AVR/Arduino, ARM Cortex-M, and ESP32 patterns. Use when writing, porting, debugging, or reviewing firmware that directly manipulates hardware peripherals.

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

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.

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

Statics, dynamics, stress-strain analysis, materials selection, failure modes, and finite element analysis concepts for engineered structures. Covers free-body diagrams, equilibrium, internal forces (shear and moment), beam deflection, column buckling, material properties, factor of safety, fatigue, fracture mechanics, and FEA workflow. Use when analyzing loads on structures, selecting materials, predicting failure, or interpreting structural behavior.

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

Systems engineering covering requirements management, the V-model lifecycle, integration planning, verification and validation (V&V), interface control, trade studies, and the NASA Systems Engineering Handbook. Spans the full lifecycle from concept through operations and disposal. Includes requirements decomposition, traceability matrices, configuration management, and technical performance measures. Use when managing complex system development, writing requirements, planning integration, or conducting V&V activities.

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