「state」の検索結果

Think and work like an expert Logician. Use when a task calls for Logician judgment. Reasons from syntax-versus-semantics and object-versus-metalanguage discipline, the ⊢/⊨ distinction, and matching each logic to its intended semantics through natural deduction and sequent calculus (cut-elimination, subformula property), compactness and Löwenheim–Skolem, forcing and diagonalization, and proof assistants (Lean 4/mathlib, Coq, Isabelle/HOL, Agda) with Z3/CVC5/Vampire/Mace4 automation while treating use–mention conflation, second-order misuse of compactness, mis-stated incompleteness hypotheses (ω-consistency vs consistency), and Gödel philosophical overreach as first-class failure modes.

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

Think and work like an expert HVAC Engineer. Use when a task calls for HVAC Engineer judgment. Reasons from psychrometric state, parallel heating and cooling load paths, and vapor-compression thermodynamics through TRACE/HAP and EnergyPlus load models, ASHRAE 62.1/55/90.1 and Guideline 36 sequences, and TAB/commissioning per ASHRAE 15/34, while treating low ΔT syndrome, simultaneous reheat fight, coil-leaving condensation, and A2L refrigerant safety as first-class failure modes.

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

Think and work like an expert Geomorphologist. Use when a task calls for Geomorphologist judgment. Reasons from coupled form, process, and time and from rates, thresholds, and lag times through field mapping, lidar/SfM DEM morphometry (chi profiles, Ksn in LSDTopoTools/Landlab), cosmogenic nuclide dating (CRONUS-Earth, OSL, U-Th), and landscape-evolution models, while treating equifinality, inheritance, DEM artifacts, and steady-state assumed over transient response as first-class failure modes.

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

Think and work like an expert Geotechnical Engineer. Use when a task calls for Geotechnical Engineer judgment. Reasons from effective stress and LRFD/EC7 limit states through GDR/GBR/FDR deliverables, shallow and deep foundations (GEC 6/10/12), excavation support (DeepEX, LPILE), ground improvement, ASCE 7 liquefaction, observational-method triggers, and FHWA pile acceptance while treating DSC claims, setup vs. blow count, and GBR-vs-design conflation as first-class failure modes.

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

Think and work like an expert Inorganic Chemist. Use when a task calls for Inorganic Chemist judgment. Reasons from electron counting, ligand field theory, and HSAB matching through Schlenk/glovebox air-sensitive synthesis, SCXRD/checkCIF validation, Evans/EPR/XANES oxidation-state assignment, and hot-filtration leaching tests while treating paramagnetic NMR overinterpretation, mystery-oil misidentification, and DFT-without-multiplicity claims as first-class failure modes.

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

Think and work like an expert Fisheries Scientist. Use when a task calls for Fisheries Scientist judgment. Reasons from recruitment, growth, and natural and fishing mortality through state-space assessment models (SS3, SAM, JABBA), CPUE/GLM standardization, and reference points like F_MSY and B_lim under ICES and Magnuson-Stevens frameworks, while treating hyperstability, retrospective bias (Mohn's rho), unaccounted discard mortality, and misspecified M or selectivity as first-class failure modes.

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

Think and work like an expert Foundation Engineer. Use when a task calls for Foundation Engineer judgment. Reasons from effective stress, ULS versus SLS limit states, and construction-altered soil behavior through CPT/SPT logging, triaxial and oedometer testing, LRFD φ-factor checks, and LPILE/PLAXIS analysis while treating liquefaction-driven lateral spread, negative skin friction downdrag, differential settlement, and scour as first-class failure modes.

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

Think and work like an expert Epigeneticist. Use when a task calls for Epigeneticist judgment. Reasons from chromatin state, DNA methylation, histone marks, accessibility, and 3D genome topology through ChIP/CUT&RUN, ATAC-seq, WGBS/EM-seq, Hi-C, and dCas9-DNMT3A/KRAB perturbation while treating cell-composition shifts, batch confounding, antibody nonspecificity, Tn5 bias, and incomplete bisulfite conversion as first-class failure modes.

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

Think and work like an expert Dairy Scientist. Use when a task calls for Dairy Scientist judgment. Reasons from the lactation curve, dry matter intake, and rumen health through NASEM Dairy 2021/CNCPS ration formulation, Penn State particle separation, DHIA records, and pen-level mixed models while treating subacute ruminal acidosis, milk fat depression, transition-cow hypocalcemia, and unadjusted DIM/parity confounding as first-class failure modes.

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

Think and work like an expert Dynamical Systems Theorist. Use when a task calls for Dynamical Systems Theorist judgment. Reasons from state spaces, invariant sets, bifurcations, and multiple time scales through normal-form classification, center-manifold reduction, Floquet/Poincaré maps, and continuation tools like AUTO, MatCont, and DynamicalSystems.jl while treating spurious chaos from finite-time Lyapunov bias, false limit cycles mistaken for tori, numerical blow-up versus true singularity, and Takens embedding artifacts as first-class failure modes.

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

Think and work like an expert Cytogeneticist. Use when a task calls for Cytogeneticist judgment. Reasons from chromosome architecture, copy-number state, banding resolution, and cell-line/clonal context through karyotype, FISH, chromosomal microarray, optical genome mapping, ISCN, and ACMG/ClinGen dosage standards while treating confined placental mosaicism, maternal cell contamination, pseudomosaicism, and culture/banding artifacts as first-class failure modes.

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

Think and work like an expert Biophysical Chemist. Use when a task calls for Biophysical Chemist judgment. Reasons from free energy landscapes, binding equilibria (K_d, ΔG = ΔH − TΔS), and probe–system coupling through ITC, SPR/BLI, smFRET, AUC, and global fitting (KinTek, SEDFIT) while treating probe perturbation, mass-transport-limited kon, aggregation-driven avidity, and two-state melting violations as first-class failure modes.

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

Think and work like an expert Civil Engineer. Use when a task calls for Civil Engineer judgment. Reasons from load paths, factored load combinations, soil-structure interaction, and governing limit states through ASCE 7, ACI 318, AISC 360, and tools like SAP2000/ETABS, PLAXIS, and HEC-RAS while treating missing load paths, connection and foundation failures, differential settlement, and unvalidated FEA as first-class failure modes.

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

Think and work like an expert Bridge Engineer. Use when a task calls for Bridge Engineer judgment. Reasons from load paths, limit states, redundancy, and durability through AASHTO LRFD rating (LRFR/inventory vs. operating), FEM grillage and OpenSees models, HEC-18 scour analysis, and NDE such as half-cell potential and phased-array UT while treating fracture-critical fatigue details, lost composite action, scour, and bearing seizure as first-class failure modes.

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

Think and work like an expert Comparative Medicine Researcher. Use when a task calls for Comparative Medicine Researcher judgment. Reasons from species biology, translational validity, and the 3Rs through model-validity frameworks, IACUC protocols, ARRIVE 2.0 reporting, and FELASA/AALAS health surveillance while treating substrain drift, subclinical colony infection (murine norovirus, pinworm, Mycoplasma), analgesia-pathway confounds, and unstated husbandry variables as first-class failure modes.

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

Think and work like an expert Behavioral Neuroscientist. Use when a task calls for Behavioral Neuroscientist judgment. Reasons from contingency structure, deprivation state, and latent arousal/motivation variables through Morris water maze, contextual/cued fear conditioning, operant schedules on Med Associates rigs, and DeepLabCut/SLEAP/SimBA tracking validated against ethograms, while treating thigmotaxis-as-anxiety, locomotor confounds of memory deficits, peripheral CNO sedation, and trials-as-n pseudoreplication as first-class failure modes.

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

Append-only gap closure and the cadence engine for research theses. Evaluates artifact CURRENT state (never git history, never task checkboxes) against current pins and wrong_if falsifiers, then appends a Convergence section to tasks.md re-proposing the gaps. A clean run leaves tasks.md byte-identical. Deterministic gaps (stale, invalidated) are uncapped; judgment-class gaps are capped per spec 046 Q40.

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

Quantitative stock screening, forward-looking valuation outlier detection, backward-looking financial statement validation, PEG ratio analysis, earnings growth profile assessment, turnaround vs value trap discrimination, data mining bias prevention

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

CDER-track catalyst analysis for medicines: PDUFA target dates, AdCom votes, sNDA/sBLA label expansions, biosimilar interchangeability and 180-day exclusivity, Orange Book state, and CRL remediation timelines — enumerated, verified, and sized per event for any biotech/pharma ticker or watchlist.

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

Architectural thinking partner for an existing repository — scans the codebase, conducts a structured interview, agrees on current architectural state and recommended direction, and produces a shareable insights document. Scoped to one repository, module, or folder. Does not execute transformation — it orients. Use when the user says 'assess my codebase architecture', 'what direction should my codebase go', 'architecture compass', 'understand my architecture', 'audit architecture drift', 'architectural assessment', or 'help me understand what is wrong with my codebase'.

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

Generate, reference, and conversationally edit short videos with Google's Gemini Omni Flash through the Gemini Developer API or Gemini Enterprise Agent Platform. Use when a task specifically needs Gemini Omni video, multimodal reference roles, time-directed prompting, audio-aware generation, Interactions API state, or a precise comparison with Veo, Nano Banana, consumer Gemini, or gateway routes.

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

Provider-independent workflow for producing terminal, IDE, documentation, browser, desktop, and application demonstration videos. Use when choosing authentic capture, browser automation, synthetic UI, or hybrid treatment; scripting actions and narration; resetting demo state; protecting secrets and personal data; directing cursor/callouts; creating crop variants; and reviewing workflow truth, readability, accessibility, and provenance.

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

Writes and executes SQL queries from simple SELECTs to complex multi-table JOINs, aggregations, and subqueries. Use when the user asks to query a database, write SQL, run a SELECT statement, retrieve data, filter records, or generate reports from database tables.

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

Reconcile accounts by comparing GL balances to subledgers, bank statements, or third-party data. Use when performing bank reconciliations, GL-to-subledger recs, intercompany reconciliations, or identifying and categorizing reconciling items.

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