「float」の検索結果

A floating particle cloud — soft round sprites drifting in 3D with a slow scene wobble. A marketing-grade hero backdrop. One per view; scrim behind text. Renders a static frame under prefers-reduced-motion.

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

A floating action button that morphs open — Lottie JSON. A Lottie (JSON) animation — portable motion that plays identically on web and app via lottie-web. Honors prefers-reduced-motion (don't autoplay). Reserve Lottie for motion that earns its ~160KB runtime.

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

An end-to-end method for drafting and finalising a complex, multi-pillar regulated fintech agreement — from intake to signature. Authored from a senior fintech lawyer's manual: a licensed payment-services provider engaging a counterparty across agent cash-in/cash-out, QR payments, wallet e-payments, and a marketplace, each with its own regulatory profile. Runs five phases and fourteen steps: regulatory mapping (activity-to-licence matrix, grey-zone classification gates), architecture (framework-plus-sub-agreement structure, ring-fenced marketplace), the regulatory–commercial balance (what flexes vs what cannot), core drafting (authority, float mechanics, hard-coded regulator caps, liability — all tracking control), execution-blocker triage, and a pre-signature check closing open blockers as conditions precedent. It refuses to invent licence-specific values or draft a representation as true without executed evidence. Use it to structure, draft, negotiate, or review any regulated payments contract.

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

Decomposed, multi-criteria metric design for LLM pipelines. The metric IS the model — change the metric and the optimizer changes behavior. Decompose by default; bool during compile, float during eval; calibrate against human; mitigate judge bias. Search keywords: LLM-as-judge, llm as judge, eval metric, evaluation score, scoring function, rubric, RAGAS, G-Eval, judge bias, verbosity bias, how to evaluate LLM output.

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

Convert PyTorch AT_DISPATCH macros to AT_DISPATCH_V2 format in ATen C++ code. Use when porting AT_DISPATCH_ALL_TYPES_AND*, AT_DISPATCH_FLOATING_TYPES*, or other dispatch macros to the new v2 API. For ATen kernel files, CUDA kernels, and native operator implementations.

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

Provides edge case, corner case, boundary condition, and limit testing patterns for Java unit tests. Validates minimum/maximum values, null cases, empty collections, numeric overflow/underflow, floating-point precision, and off-by-one scenarios using JUnit 5 and AssertJ. Use when writing .java test files to ensure code handles limits, corner cases, and special inputs correctly.

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

Analyze construction schedule critical path. Identify critical activities, calculate float, simulate schedule impacts, and optimize project duration.

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

Analyze project critical path from schedule data. Identify critical activities, calculate float, and assess schedule risk.

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

Biome and setting art direction for Blender covering underwater, desert, arctic, jungle, underground, and floating-island environments.

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

Fix ClickHouse query errors in Rust when using clickhouse-rs crate. Use when: (1) "string is not valid utf8" errors - typically FixedString columns need CAST to String, (2) "tag for enum is not valid" errors - typically Option<T> fields receiving non-NULL values, (3) Sum/count aggregations returning Float64 but Rust expects u64, (4) LEFT JOIN results with empty strings where Rust expects Option::None, (5) "not enough data, probably a row type mismatches a database schema" - query SELECT returns fewer columns than the Rust Row struct expects (common when multiple query functions share the same struct but one function is missing columns added later), (6) Garbled/corrupted data when INSERTing to FixedString(N) columns using String Rust type - silently corrupts data (no error!) because String adds a length prefix but FixedString expects exactly N raw bytes. Fix: use [u8; N] with #[serde(with = "BigArray")] from serde-big-array, (7) "the trait bound `[u8; 64]: serde::Serialize` is not satisfied" when using [u8; N] arrays in Row structs - need #[serde(with = "BigArray")] annotation from serde-big-array crate.

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

MUI Base UI unstyled React components with Floating UI. Use for accessible components, Radix UI migration, render props API, or encountering positioning, popup, v1.0 rc / pre-GA issues.

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

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 Geologist. Use when a task calls for Geologist judgment. Reasons from Steno's principles and Walther's Law through Brunton strike/dip, measured sections, hand-lens rock ID (QAPF/Folk/Dunham), thin-section petrography (PPL/XPL, Michel-Lévy, point counting), FGDC/GeMS geologic maps, NGMDB/Geolex/Macrostrat, and stereonet structural analysis while treating weathering, float, and map-as-hypothesis as first-class failure modes.

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

Think and work like an expert Geographic Information Scientist (GIS). Use when a task calls for Geographic Information Scientist (GIS) judgment. Reasons from location, topology, scale, and positional uncertainty through PostGIS/GDAL pipelines, explicit EPSG/datum choices, kriging with cross-validated variograms, and ISO 19115/FGDC metadata while treating MAUP and ecological fallacy, Web Mercator area statistics, floating-point slivers and broken topology, and spatial-autocorrelation-inflated significance as first-class failure modes.

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

Think and work like an expert Edge / Embedded AI Engineer. Use when a task calls for Edge / Embedded AI Engineer judgment. Reasons from tensor-arena budgets, full-int8 PTQ with representative calibration, and TFLM/CMSIS-NN or Vela/Ethos-U compile paths through ONNX Runtime QNN HTP and mobile delegates—treating train–serve preprocessing skew, float thresholds on quantized outputs, and NPU operator fallback as first-class failure modes.

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

Checkable-ish surface presentation signals a reviewer notices first — duplicate/near-identical tables, leftover pipeline/template strings, too-few or LLM-looking figures, and page-padding. AUXILIARY ONLY and weak by design: a deterministic pass (tools/check_presentation.py — dup-table + pipeline-artifact) plus a fresh cross-model GROSS-cases-only semantic pass (thin-float, LLM-figure, page-padding), every above-info finding span-anchored to the evidence ledger (claims.json). The adjudicator CAPS everything at minor (SURFACE_ONLY_SKILLS + SURFACE_PATTERNS) — these contribute at most SOFT_FLAGS, never a HARD verdict — default false_positive_risk:high. NOTE: the pure AI writing-STYLE impressions (AI-flavor prose, defensive 'not-X-but-Y' hedging, narrative-arc, jargon-stuffing, invented codenames) MOVED to the zero-verdict-weight AIS track — for those use skills/ai-style-impressions, NOT this. Emits presentation-signals.findings.json; NEVER computes the verdict. Triggers: "presentation signals", "surface check", "duplicate tables", "排版信号".

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

Synthesize the single strongest EVIDENCE-BOUND reviewer case to reject a paper, built ONLY from the evidence ledger (claims.json) + the other auditors' confirmed findings — never free-floating LLM critique. Two fresh cross-model codex threads: an attack writes the ~200-word rejection paragraph (every accusation tagged to an existing claim_id/finding_id), a defense decomposes it and rules each point against the anchored evidence. MEMO-ONLY: emits adversarial-case-builder.memo.md (fed to the adjudicator via --memo) and carries NO verdict weight — tools/adjudicate_findings.py lists it in ZERO_WEIGHT_SKILLS and caps it at info. Honest-null allowed (the paper may survive). Run LAST. Detect-only. Adapted from ARIS kill-argument. Triggers: "adversarial case", "strongest objection", "rejection memo", "kill argument", "最强拒稿点".

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

企业财务与 CFO 视角 (企业财务与 CFO 视角 (Corporate Finance & the CFO Lens) — 面向创业公司与中小企业主/创始人/业务负责人的『看懂钱、管住钱、用好钱』的财务判断,不是考注会/中级职称的准则背诵,也不是投行卖方并购执行或 VC 投资人的看项目视角。覆盖: (a) 第一性张力 — 这行的核心世界观分歧: **利润是观点,现金是事实(权责发生制下的利润由收入确认时点、折旧摊销年限、存货计价、资本化与费用化的选择拼出来,是一组可辩论的判断;银行户头的钱是唯一不能辩论的事实——所以 CFO 看三张表的顺序是现金流量表→资产负债表→利润表,与外行相反) ⇄ 增长本身要烧钱(账面盈利的公司照样会因营运资金被增长吸干而倒闭:先付供应商、后收客户钱,规模越大缺口越大,这是『增长性破产』;所以现金转换周期比毛利率更早预警) ⇄ 记账合规派 vs 管理决策派(一套账是给税局与审计看的准则语言,另一套视图是给经营者看的贡献边际与单位经济;同一笔成本在两种语言里归属不同,把合规科目直接拿来做定价决策是中小企业最常见的错) ⇄ 全成本分摊 vs 贡献边际(把固定成本按产量分摊进单件成本,会在淡季得出『卖一件亏一件所以停产』的错误结论;边际思维只问增量收入是否覆盖增量成本,但长期只看边际会让公司永远收不回固定成本) ⇄ 预算是承诺 vs 预算是地图(传统年度预算把数字变成考核契约,导致部门年底突击花钱与藏预算;滚动预测与超越预算派主张预算只是当前最好的猜测,该月月刷新) ⇄ 融资是里程碑 vs 融资是负债(融资新闻稿把估值当成绩,但优先股、优先清算权、对赌与回购条款让创始人在低价退出时可能一分不拿;自筹派认为最便宜的钱是客户的预付款) ⇄ 估值方法之争(DCF 的数学严谨但对增长率与折现率假设极敏感,业内讥为『垃圾进垃圾出』;可比公司倍数简单但把市场情绪打包进来;早期公司两者都不成立,实际靠谈判与稀释目标倒推) ⇄ EBITDA 是不是有用(PE 与并购圈把它当经营现金流代理,巴菲特与芒格公开斥其忽略了折旧背后真实的资本开支;调整后 EBITDA 的『加回』项在业内被视为高危信号) ⇄ 财务是记分员 vs 财务是业务伙伴(传统财务事后出报表,财务 BP/FP&A 主张财务应在决策前进场做定价、投产、招人的经济性测算) ⇄ 中国中小企业的两套账现实 vs 合规红线(金税四期与社保入税之后,业内公认的做法是尽早并账,但这条张力必须如实呈现而不是装作不存在,也绝不给出规避税收的操作建议)); (b) 工具栈(记账层与决策层是两套东西) — 记账与 ERP(用友、金蝶、Odoo、QuickBooks、Xero、NetSuite、SAP Business One)、中国财税合规(电子税务局、金税四期发票与进销项比对、百望/航天信息电子发票、慧算账等代账 SaaS、个税与社保申报)、FP&A 与预算(Excel 与 Google Sheets 仍是绝对主力,之上是 Cube、Causal、Jirav、Mosaic、Runway、Abacum、Pigment、Anaplan、Planful)、现金流预测(Float、Fathom、13 周滚动现金流模板)、股权与 cap table(Carta、Pulley、AngelList、Excel 稀释模型,中国的股权代持与持股平台)、订阅计费与收入确认(Stripe Billing、Chargebee、Maxio)、费控报销(Ramp、Brex、Expensify、汇联易、分贝通)、BI 与看板(Power BI、Tableau、Metabase、帆软)、以及最被低估的纸笔工具(一页纸的驱动因素模型、贡献边际表、13 周现金日历)—— 选型的真正分岔是『公司在哪个阶段、由谁来维护这个模型』,不是厂商功能清单; (c) 心智模型层 — 三张表的勾稽关系(利润表的净利经现金流量表调整后落到资产负债表的未分配利润)、权责发生制与收付实现制的差、现金转换周期 CCC 与 DSO/DIO/DPO、营运资金与增长的耦合、贡献边际与盈亏平衡点、经营杠杆与固定成本结构、单位经济与 LTV/CAC 及回本周期、烧钱率与现金跑道 runway、自由现金流与业主收益 owner earnings、资本成本与机会成本、净现值与内部收益率、投入资本回报率 ROIC 与增长的价值条件(只有 ROIC 高于资本成本时增长才创造价值)、股权稀释与优先清算权的退出瀑布、递延收入是负债不是收入; (d) 工作流/SOP — 月度关账与管理报表包(关账日历、计提、对账、出具一页纸经营分析)、13 周滚动现金流预测的搭建与每周刷新、年度预算与滚动预测(自上而下目标与自下而上驱动因素模型的对撞)、定价与成本核算(标准成本、作业成本法、贡献边际定价与报价审批)、应收账款与账期管理(信用政策、账龄表、催收节奏、保理与供应链金融)、融资轮次建模(投前投后估值、期权池扩容对创始人的额外稀释、SAFE 与可转债转股、优先清算权下的退出分配)、投资决策与产能/招人测算(增量现金流、回收期、敏感性分析)、税务合规日历与汇算清缴、董事会与投资人财务包、尽调与数据室准备、以及财务模型的三表联动搭建; (e) 知识正典(en 一手极厚,中文一手集中在高校教授与准则原文) — 《Financial Intelligence》Berman & Knight(给非财务经理的入门标准)、《Financial Statements》Thomas Ittelson、Brealey·Myers·Allen《Principles of Corporate Finance》(公司金融教科书)、Damodaran 的估值三部曲与《Narrative and Numbers》及其 NYU 公开课与免费数据集、《Simple Numbers, Straight Talk, Big Profits!》Greg Crabtree(中小企业实操)、《Venture Deals》Feld & Mendelson(条款与稀释)、《Financial Shenanigans》Howard Schilit(识别财务粉饰)、《The Outsiders》Thorndike(资本配置)、《Accounting for Value》Penman、伯克希尔股东信中的业主收益与商誉摊销讨论、《The Essays of Warren Buffett》、《Profit First》Michalowicz(流行但有争议)、IFRS 15/16 与 ASC 606 收入与租赁准则原文、中国企业会计准则 CAS 与小企业会计准则、肖星《一本书读懂财报》与清华的财务分析公开课、张新民的财务报表分析体系; (f) 行业大佬/figures — Aswath Damodaran(NYU,估值教父,博客与公开课与数据集全免费开放,一手素材极厚)、Michael Mauboussin(ROIC 与资本配置的实证写作)、Howard Schilit(财务舞弊识别)、Karen Berman 与 Joe Knight(财务素养普及)、Greg Crabtree(中小企业现金与利润实操)、Brad Feld 与 Jason Mendelson(创业融资条款)、David Skok 与 Jason Lemkin 与 David Sacks(SaaS 单位经济与烧钱效率指标)、Warren Buffett 与 Charlie Munger(对 EBITDA 与股权激励费用化的著名批评)、CJ Gustafson 等现役 CFO 的时事通讯作者、以及中文圈的肖星与张新民等高校学者; (g) 争议/批判(必须保留不洗白) — 调整后 EBITDA 与非公认会计准则指标的滥用(把股权激励与一次性费用年年加回)、DCF 对假设的极端敏感与被用来事后合理化结论、独角兽估值与优先清算权造成的『纸面身价』幻觉、对赌与回购条款把股权融资变成隐性债务、Profit First 现金分桶法被专业会计批评为回避真实成本结构、作业成本法的实施失败率高、预算游戏与年底突击花钱、财务 BP 沦为报表美化、中国中小企业两套账的历史现实与金税四期后的合规收敛(如实呈现风险,不提供规避操作)、以及『融资额等于成功』的媒体叙事对创始人的误导; (h) 流派/思想谱系 — **准则与合规派(IASB/FASB/财政部,信可比性与审计留痕,语言是准则条文)** vs **管理会计/决策派(IMA 与贡献边际、作业成本法、有效产出会计,信决策相关性高于合规一致性)** vs **公司金融/估值派(Brealey-Myers-Allen 与 Damodaran,信现金流折现与资本成本)** vs **价值投资/资本配置派(巴菲特-芒格-Thorndike-Mauboussin,信业主收益与 ROIC,公开鄙视 EBITDA)** vs **创业与 SaaS 指标派(Skok-Lemkin-Sacks-Bessemer,信单位经济、回本周期与烧钱倍数)** vs **中小企业现金实操派(Crabtree、Profit First 一脉,信老板看得懂的少数几个数)**。不含: 投行卖方并购执行与尽调建模(已由 investment-banking-mna 覆盖)、VC 投资人的看项目与投后视角(已由 vc-investor 覆盖)、个人理财与二级市场投资(已由 personal-investing 覆盖)、注册会计师考证与准则条文背诵、以及任何税收规避操作建议。) Master O

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

Use when the user wants to add an in-site feedback loop to a website repo — a floating "提个建议" button where allowlisted visitors submit suggestions that become a GitHub Issue, which GitHub Actions turns into an automatic code change via Claude Code, auto-merges and deploys, and records on a /_feedback dashboard with one-click revert. Triggers — "给网站加个反馈对话框", "提一句话就自动改网站", "装上反馈闭环", "feedback loop", "/wjs-looping-feedback".

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

This skill should be used when the user asks to "make this animation feel natural", "fix motion that feels stiff/floaty/cheap", "my animation looks robotic", "choose an easing curve", "how do I use the Graph Editor", "add overshoot or bounce", "Easy Ease isn't enough", "make snappy motion", "pick a duration for this transition", "stagger a list animation", "sync animation to a beat", or "review motion for good timing". It is the tech-agnostic foundation for deciding how something should move.

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

Add a calculated, formula-based column to a dataframe via the datagrok_exec tool. Use whenever the user asks to compute, derive, add, or create a new column from existing columns — LipE, ratios, log/round, heavy atom count, any expression in the Datagrok formula DSL. Replaces hand-written addNewFloat/addNewInt + for-loop with a single formula-attached column that recomputes when source columns change.

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

Calculus, series, numerical methods, and optimization for computational mathematics. Covers limits (epsilon-delta, L'Hopital, squeeze theorem), derivatives (rules, optimization, related rates), integrals (Riemann sums, Fundamental Theorem of Calculus, integration techniques), series (convergence tests, Taylor and Maclaurin expansions), differential equations (separable, linear, exact), numerical methods (Newton-Raphson, Euler method, Simpson's rule), and computational pitfalls (floating-point arithmetic, catastrophic cancellation, numerical stability). Use when computing derivatives, integrals, limits, series, solving differential equations, or analyzing numerical accuracy.

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

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.

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

Core programming concepts from variables through recursion. Covers data types (integers, floats, strings, booleans, arrays, objects), variables and scope (lexical, dynamic, block, function, global), control flow (conditionals, loops, pattern matching), functions (parameters, return values, closures, higher-order functions), recursion (base cases, call stack, tail recursion, mutual recursion), type systems (static vs dynamic, strong vs weak, type inference, generics), and error handling (exceptions, Result types, defensive programming). Use when teaching, reviewing, or diagnosing issues with fundamental programming constructs.

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