「calc」の検索結果

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 Histologist. Use when a task calls for Histologist judgment. Reasons from fixation-through-stain pre-analytical chain (NBF, grossing, processing, embedding orientation, microtomy); validates H&E pH/QC, CAP IHC (90% concordance, predictive scoring systems), RNAscope controls, WSI (60-case validation), and treats floaters, autolysis, crush, ice-crystal, and decalcification artifacts 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 Cellular Neuroscientist. Use when a task calls for Cellular Neuroscientist judgment. Treat the neuron as a cable with active channels, not a point integrator unless you have shown it is one for your question. Separate voltage, calcium, and fluorescence observables. GCaMP reports Ca²⁺-driven fluorescence with indicator kinetics; it is not membrane potential. FRET sensors (ArcLight, ASAP) trade speed and dynamic range differently.

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

Think and work like an expert Causal Inference Scientist. Use when a task calls for Causal Inference Scientist judgment. Reasons from structural causal models, potential outcomes, and identification logic through DAGs and do-calculus, doubly-robust estimators (AIPW/TMLE, IPTW, g-formula), and design-based methods (IV, RD, Callaway-Sant'Anna DiD, synthetic control) while treating colliders and M-bias, positivity/overlap failure, and unmeasured confounding (Rosenbaum bounds, E-values) as first-class failure modes.

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

Calculate TAM/SAM/SOM for market opportunities using top-down, bottom-up, and value theory methodologies. Use this skill when sizing markets, estimating addressable revenue, validating market opportunity for a new venture, or building investor-ready market analysis for a startup pitch or business plan.

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

Alpha and beta diversity analysis for microbiome data. Calculate within-sample richness, evenness, and between-sample dissimilarity with phyloseq and vegan. Use when comparing community composition across samples or testing for group differences in microbiome structure.

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

Calculate read depth and coverage across genomic intervals using bedtools genomecov and coverage. Generate bedGraph files, compute per-base depth, and summarize coverage statistics. Use when assessing sequencing depth, creating coverage tracks, or evaluating target capture efficiency.

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

Compute evolutionary distances and build phylogenetic trees using Biopython Bio.Phylo.TreeConstruction. Use when creating distance matrices from alignments, building NJ/UPGMA trees, generating bootstrap consensus, or needing quick exploratory phylogenies before running full ML analysis.

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

Per-CpG differential methylation testing from bisulfite sequencing count data or beta-value matrices. Covers beta and M-value computation, coverage filtering, statistical tests (Welch t-test, Mann-Whitney, limma, DSS beta-binomial), multiple testing correction, and effect size calculation. Use when comparing methylation at individual CpG sites between experimental groups from WGBS, RRBS, or targeted bisulfite sequencing.

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

Analyze codon usage, calculate CAI (Codon Adaptation Index), and examine synonymous codon bias using Biopython. Use when analyzing coding sequences for expression optimization or evolutionary analysis.

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

Spillover compensation and data transformation for flow cytometry. Covers compensation matrix calculation, application, and biexponential/arcsinh transforms. Use when correcting spectral overlap between fluorophores or transforming data for analysis.

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

Generate alignment statistics using samtools flagstat, stats, depth, coverage, and mosdepth. Use when assessing alignment quality, calculating coverage, or generating QC reports.

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

Calculates species richness, diversity, and turnover using the Hill number framework with iNEXT coverage-based rarefaction/extrapolation, asymptotic diversity estimation, and beta diversity partitioning (betapart turnover vs nestedness). Compares assemblages using coverage-standardized rather than size-standardized rarefaction. Use when quantifying biodiversity from species abundance or incidence data, comparing diversity across sites, or constructing rarefaction curves. Not for clinical 16S microbiome alpha/beta diversity (see microbiome/diversity-analysis).

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

Validate protein designs using AlphaFold2 structure prediction. Use this skill when: (1) Validating designed sequences fold correctly, (2) Predicting binder-target complex structures, (3) Calculating confidence metrics (pLDDT, pTM, ipTM), (4) Self-consistency validation of designs, (5) Multi-chain complex prediction with AlphaFold-Multimer. For faster single-chain prediction, use esm. For QC thresholds, use protein-qc.

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

AlphaFold2 / AlphaFold-Multimer structure prediction for validation and confidence scoring. Use this skill when: (1) Validating designed sequences fold correctly, (2) Predicting binder-target complex structures, (3) Calculating confidence metrics (pLDDT, pTM, ipTM), (4) Self-consistency validation of designs, (5) Multi-chain complex prediction with AlphaFold-Multimer. For faster single-chain prediction, use esm2-sequence-scoring. For QC thresholds, use protein-design-qc.

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

Guide for using the weather plugin — data queries, radar imagery, model maps, and meteorological calculations

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

Mortgage Calculator & Affordability Analysis — monthly payments, amortization, loan comparison, affordability limits, rent vs buy, and refinance break-even with rate comparison tables

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

Estimates rental income from comparable rentals, builds a full expense model, calculates cash flow and key investment metrics across conservative, moderate, and optimistic scenarios

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

Finds and analyzes 5-10 comparable recent sales to estimate fair market value, calculate price adjustments, and score the property's value proposition

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

Calculates the WCAG 2.x contrast ratio between two colors, grades it against the AA and AAA thresholds for body text, large text and non-text UI parts, and finds the closest shade that passes. Use when someone asks to "check the contrast", "is this text readable on this background", "does our palette meet WCAG AA", "fix the low-contrast text", "audit the design tokens for accessibility", or brings a failed contrast finding from an audit. Handles hex and rgb() values, alpha, whole palettes, light and dark themes and a CI gate.

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

Use when pricing options, calculating Greeks, implementing exotic derivatives, or building pricing engines - covers Black-Scholes, binomial trees, Monte Carlo, and QuantLib integrationUse when ", " mentioned.

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

Patterns for designing and analyzing clinical trials, including survival analysis, endpoint selection, sample size calculation, interim analyses, and regulatory considerations. Covers FDA/EMA guidelines and modern adaptive designs. Use when ", " mentioned.

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

Don't die. Runway calculation, default alive vs. default dead, when to raise vs. cut, zero-based budgeting for startups. The math that keeps companies alive long enough to win. Burn rate is not just accounting - it's strategic leverage. Companies with runway have options. Companies without runway have desperation. Use when "burn rate, runway, default alive, default dead, how much money, when to raise, cutting costs, layoffs, cash management, should we hire, running out of money, bridge round, extend runway, ramen profitable, finance, runway, cash, burn, survival, fundraising, startup" mentioned.

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