70 件 ・ 関連度順
概要と使いどころ
CatColab Ologs (Ontology Logs) - category-theoretic knowledge representation where objects are concepts and morphisms are functional relationships. Foundation for database schemas and conceptual modeling.
日本語の概要は準備中です。原文の説明を表示しています。
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
日本語の概要は準備中です。原文の説明を表示しています。
Interact with Aptos blockchain - check balances, transfer APT, swap tokens, stake, and execute Move view functions. Features game-theoretic decision analysis with Nash equilibrium detection. All transactions require explicit approval.
日本語の概要は準備中です。原文の説明を表示しています。
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional navigation. Category-theoretic formalism for relational databases.
日本語の概要は準備中です。原文の説明を表示しています。
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
日本語の概要は準備中です。原文の説明を表示しています。
Model ElevenLabs voice synthesis as an ACSet schema with Unison ability handlers for typed voice operations. Use when integrating ElevenLabs TTS into category-theoretic pipelines, building typed voice synthesis workflows, or managing multi-voice narration with GF(3) conservation.
日本語の概要は準備中です。原文の説明を表示しています。
Analyzes rights offering dynamics with theoretical ex-rights price, subscription premium, and nil-paid value calculation. Use when evaluating rights offerings, modeling TERP, or analyzing subscription arbitrage.
日本語の概要は準備中です。原文の説明を表示しています。
Formulate a quantum mechanics or quantum chemistry problem with proper mathematical framework including Hilbert space, operators, boundary conditions, and approximation method selection. Use when setting up a quantum mechanics problem for analytic or numerical solution, formulating a quantum chemistry calculation, translating a physical scenario into the Schrodinger or Dirac formalism, or choosing between perturbation theory, variational methods, DFT, and exact diagonalization.
日本語の概要は準備中です。原文の説明を表示しています。
Analyze prime numbers using primality tests, factorization algorithms, prime distribution analysis, and sieve methods. Covers trial division, Miller-Rabin, Sieve of Eratosthenes, and the Prime Number Theorem. Use when determining whether an integer is prime or composite, finding prime factorizations, counting or listing primes up to a bound, or investigating prime properties within a number-theoretic proof or computation.
日本語の概要は準備中です。原文の説明を表示しています。
"Apply Structural Equation Modeling (SEM) to test hypothesized causal structures by combining measurement models (CFA) and structural models (path analysis). Use this skill when the user needs to validate latent constructs, test mediation or moderation paths, assess model fit with CFI/TLI/RMSEA/SRMR, or when they ask 'do these variables form a causal chain', 'how do I test my theoretical model', or 'is my measurement model valid'.".
日本語の概要は準備中です。原文の説明を表示しています。
Use when a task needs the judgment of a Bartender — reconciling actual pour cost against theoretical liquor cost by drink category, deciding whether and how to cut off a guest, pricing a drink menu across well/call/premium tiers, closing out a till and comp log at shift end, or sequencing bar-top service against a backed-up service well.
日本語の概要は準備中です。原文の説明を表示しています。
Security audit of a codebase — web apps, APIs, services, CLI tools, libraries, daemons, and more. Use when asked to find security bugs, do a security review, audit for vulnerabilities, or pen-test the code. Focuses on exploitable issues with real impact, not theoretical concerns or industry-standard behavior.
日本語の概要は準備中です。原文の説明を表示しています。
Analyze franchise inventory management for par level optimization, waste tracking and root cause analysis, and theoretical vs. actual usage variance.
日本語の概要は準備中です。原文の説明を表示しています。
Rigorous probability theorist covering measure-theoretic probability, stochastic processes, and advanced probability
日本語の概要は準備中です。原文の説明を表示しています。
Structural and functional brain connectivity — tractography, functional networks, and graph-theoretic analysis.
日本語の概要は準備中です。原文の説明を表示しています。
Decision-theoretic framework for agents embedded within the environments they model and act upon
日本語の概要は準備中です。原文の説明を表示しています。
Expert-level probability theory knowledge. Use when working with probability spaces, random variables, distributions, expectation, variance, conditional probability, stochastic processes, Markov chains, martingales, or measure-theoretic probability. Also use when the user mentions 'sample space', 'random variable', 'expected value', 'variance', 'conditional probability', 'independence', 'Markov chain', 'Poisson process', 'moment generating function', 'law of large numbers', 'central limit theorem', or 'stochastic process'.
日本語の概要は準備中です。原文の説明を表示しています。
SOP for formal mathematical domain modeling. Trigger when: - Creating new formal models or applying mathematical lenses to analyze existing specifications. - Navigating phases: Identify, Select, Construct, Validate, Record, Connect. - Prompt contains: /form, form workflow, categorical, coalgebraic, linear logic, information-theoretic, validation.
日本語の概要は準備中です。原文の説明を表示しています。
Systematic strategic planning framework for philosophy and interdisciplinary academic papers targeting preprint platforms (PhilArchive, arXiv, PhilSci-Archive). Use when users want to: (1) plan a paper on a specific topic, (2) identify research gaps and assess originality, (3) develop optimized paper outlines, (4) prepare for preprint submission, or (5) understand platform requirements and writing standards. Triggered by phrases like 'plan a paper on,' 'help me design a paper about,' 'identify research gaps in,' 'is this idea original,' or when users need structured research planning. The skill guides through three phases: Platform Analysis (identifying target venue and studying sample papers), Theoretical Framework (AI-driven literature search and gap identification), and Outline Optimization (structured design with reviewer-perspective self-assessment). Each phase includes quality evaluation standards and validation checkpoints.
日本語の概要は準備中です。原文の説明を表示しています。
An uncompromising Academic Research Engineer. Operates with absolute scientific rigor, objective criticism, and zero flair. Focuses on theoretical correctness, formal verification, and optimal implementation across any required technology.
日本語の概要は準備中です。原文の説明を表示しています。
Abductive analysis for qualitative interview data following Timmermans & Tavory. Guides you through theory-first analysis that recognizes anomalies and generates novel theoretical insights through systematic puzzle exploration.
日本語の概要は準備中です。原文の説明を表示しています。
Decision-theoretic framework for agents embedded within the environments they model and act upon
日本語の概要は準備中です。原文の説明を表示しています。