職業

Mathematicians

1036 スキル

検索すべての職業を見る

AIに聞く

1036 スキル

Math Symbol Consistency

Check equations, notation, and symbol definitions.

AliManjotho27

哲学・倫理

Activate theoretical foundations context for discussions about Grafema's formal underpinnings, multi-language strategy, cognitive science, and abstract architecture. Use when: (1) discussing formal languages, type theory, abstract interpretation, (2) planning multi-language support, (3) designing metrics or benchmarks, (4) reasoning about completeness and soundness of analysis, (5) positioning Grafema academically.

Disentinel25

LLM・AI

Deep Research

Multi-step autonomous research methodology for deep investigation tasks with structured synthesis

oimiragieo24

フレームワーク内部構造

Numerical Patterns

Numerical computing patterns for C++20 including matrix operations, iterative solvers, numerical stability, data pipelines, and HPC I/O with MPI-IO and HDF5.

ysyecust24

生産性・インテグレーション

Calendar Math

Designs and implements complete calendar and timekeeping calculation modules for the Library of Time project, including algorithms, date conversions, and tests. Use when working on calendar logic, adding a new calendar, or one-shotting an entire calendar implementation from a prompt. Treat `CalendarAPI/Calendars/*`, `CalendarAPI/Timekeeping/*`, and `CalendarAPI/Other/*` as a single Calendar API layer.

CodapopKSP23

ドキュメント

Write Model In Paper

Use when writing or improving a problem-def entry in the Typst paper (docs/paper/reductions.typ)

CodingThrust23

Mathematicians

Math Symbol Consistency

Theorist Mode

Deep Research

Numerical Patterns

Calendar Math

Write Model In Paper

Mathematicians

Math Symbol Consistency

Theorist Mode

Deep Research

Numerical Patterns

Calendar Math

Write Model In Paper

Write Rule In Paper

Formal Logic

Numerical Linear Algebra

Sympy Symbolic

Hm Prove

Hm Search

Prof. Euler — Matemático Ultra-Avançado

Co15 Combinatorial Design

Sympy

Research

Rezk Types

Rg Flow Acset

Repeller

Pitchfork

Phase Space Transformation

Parameter Dependent

Superelastic Quotient

Narya Hatchery

Time Parameterization

Naturality Factor

Structural Stability

Temporal Coalgebra

Lyapunov Function

Topos Generate