Quartz 5
Search
Search
Dark mode
Light mode
Explorer
Home
❯
concepts
concepts
158 items under this folder.
Jun 28, 2026
代数幾何とスキーム
math
algebraic-geometry
scheme
cohomology
Jun 28, 2026
アニソンDJとつなぎ・dig
dj
music
mixing
digging
hobby
Jun 28, 2026
アーキテクチャスタイルの比較
software-architecture
monolith
distributed-systems
Jun 28, 2026
Attention(注意機構)
ml
nn
nlp
Jun 28, 2026
オートマトンと形式言語
automata
formal-language
computation-theory
turing-machine
halting-problem
Jun 28, 2026
公理的集合論と基礎論
math
foundations
set-theory
Jun 28, 2026
平衡探索木 (Balanced Search Tree)
algorithm
data-structure
Jun 28, 2026
フリースタンディング/ベアメタル Rust の構築
rust
os
baremetal
no_std
embedded
toolchain
Jun 28, 2026
ベイズ統計と確率分布
math
statistics
probability
machine-learning
Jun 28, 2026
BEAM/Erlang 分散クラスタリング
erlang
elixir
beam
otp
distributed-systems
clustering
Jun 28, 2026
BGV / BFV スキーム
crypto
fhe
bgv
bfv
rlwe
Jun 28, 2026
バイラテラル制御(双方向力伝達)
robotics
control
teleoperation
force-control
imitation-learning
Jun 28, 2026
二分決定図 (BDD / ZDD)
algorithm
graph
logic
Jun 28, 2026
バイナリ解析とスタックエクスプロイト
security
binary-analysis
ctf
buffer-overflow
gdb
Jun 28, 2026
Blackadder Chord
music
chord
theory
Jun 28, 2026
ブロックチェーン
crypto
blockchain
consensus
pow
pos
Jun 28, 2026
充足可能性問題 (SAT) とエンコーディング
algorithm
logic
complexity
Jun 28, 2026
圏論
math
category-theory
functional-programming
Jun 28, 2026
中国剰余定理
math
algebra
number-theory
ring-isomorphism
Jun 28, 2026
コード進行
music
chord
progression
theory
Jun 28, 2026
コード(和音)
music
chord
dtm
theory
Jun 28, 2026
CKKS スキーム (HEAAN)
crypto
fhe
ckks
approximate-arithmetic
Jun 28, 2026
古典群・行列群(線形・直交・シンプレクティック・ユニタリ・二面体群)
math
group-theory
matrix-group
lie-group
classical-group
Jun 28, 2026
クリーン/レイヤードアーキテクチャ
software-architecture
clean-architecture
layered
unit-of-work
design
Jun 28, 2026
認知バイアスと論理の誤謬
term
psychology
logic
Jun 28, 2026
リレー小説・協働創作サービス
idea
product
creative-writing
Jun 28, 2026
競技プログラミングとヒューリスティック最適化
algorithm
competitive-programming
Jun 28, 2026
競技プログラミングの典型テクニック
algorithm
competitive-programming
atcoder
dp
graph
Jun 28, 2026
コンパイラ最適化(ループ変換・ベクトル化・レジスタ割り付け)
compiler
optimization
polyhedral
vectorization
register-allocation
ssa
loop
Jun 28, 2026
計算可能性とチューリングマシン
math
computation
complexity
logic
Jun 28, 2026
CRDT (Conflict-free Replicated Data Type)
algorithm
distributed
Jun 28, 2026
制御理論とラプラス変換
math
control-theory
networking
Jun 28, 2026
CPUアーキテクチャとISA
cpu
cpu/arch
os
isa
Jun 28, 2026
サイドチャネル攻撃とCPU脆弱性
software/security
cpu
Jun 28, 2026
CQRS と Event Sourcing
cqrs
event-sourcing
software-architecture
ddd
Jun 28, 2026
刑法上の因果関係論
juris
law
causation
Jun 28, 2026
暗号の安全性と攻撃モデル
crypto
security
ind-cpa
ind-cca
provable-security
Jun 28, 2026
データベースとトランザクション理論
database
transaction
acid
cap
concurrency
distributed-systems
Jun 28, 2026
継続と代数的効果
continuation
delimited-continuation
algebraic-effects
effect-system
monad
Jun 28, 2026
弁証法と止揚(アウフヘーベン)
philosophy
term
dialectic
Jun 28, 2026
Diffusion Model / Score-based 生成モデル
ml
generative-model
nn
Jun 28, 2026
次元削減(UMAP / t-SNE / SOM)
ml
visualization
embedding
Jun 28, 2026
分散合意アルゴリズム(Raft)
algorithm
distributed
Jun 28, 2026
ドメイン駆動設計 (DDD)
ddd
software-architecture
domain-model
design
Jun 28, 2026
ドミナントモーションとリハーモナイズ
music
chord
theory
reharmonization
Jun 28, 2026
Drag-and-Drop LLMs (Prompt-to-Weights)
llm
lora
peft
hypernetwork
model-adaptation
paper
Jun 28, 2026
DTM・作曲
dtm
composition
vocaloid
tool
Jun 28, 2026
ELFフォーマット
linux
binary
lang/proc
Jun 28, 2026
ElGamal 暗号と準同型性(暗号化バイラテラル制御)
crypto
homomorphic-encryption
elgamal
control-theory
secure-computation
Jun 28, 2026
等式飽和とe-graph
equality-saturation
egraph
term-rewriting
compiler
optimization
theorem-proving
Jun 28, 2026
存在型とそのエンコーディング
type-theory
existential-types
typescript
polymorphism
pattern-match
Jun 28, 2026
高速フーリエ変換 (FFT) と多項式乗算
algorithm
math
Jun 28, 2026
Faster-than-Demonstration 実行(VLA の高速・滑らか・正確な実行)
vla
robotics
imitation-learning
trajectory-optimization
mpc
Jun 28, 2026
Feedback Arc Set と巡回除去
algorithm
graph
Jun 28, 2026
FHE Bootstrapping
crypto
fhe
bootstrapping
noise
Jun 28, 2026
FHE コンパイラ
crypto
fhe
compiler
mlir
simd
Jun 28, 2026
Flow Matching(フローマッチング)
ml
generative-model
vla
robotics
Jun 28, 2026
Full Streaming Inference(VLA の多階層制御ループ)
vla
robotics
real-time-control
streaming
force-control
Jun 28, 2026
準同型暗号 (Fully Homomorphic Encryption)
crypto
fhe
homomorphic-encryption
lattice
Jun 28, 2026
Functor / Applicative / Monad 階層
functional-programming
typeclass
category-theory
haskell
scala
Jun 28, 2026
ガロア理論と有限体
math
algebra
galois-theory
finite-field
Jun 28, 2026
ゲームメカニクスとデザイン
gamedev
game-design
game-mechanics
economy
level-design
Jun 28, 2026
ゲーム理論
math
game-theory
Jun 28, 2026
ゲーム木探索 (Minimax・CFR)
algorithm
game
Jun 28, 2026
GAN(敵対的生成ネットワーク)
ml
generative-model
nn
Jun 28, 2026
正規部分群・剰余群・群の直積
math
group-theory
normal-subgroup
quotient-group
Jun 28, 2026
ハイデガー『存在と時間』と存在論
philosophy
heidegger
ontology
existentialism
phenomenology
Jun 28, 2026
Hindley-Milner型推論
type-inference
hindley-milner
algorithm-w
let-polymorphism
unification
Jun 28, 2026
おうち Kubernetes (ホームラボ)
kubernetes
homelab
self-hosting
proxmox
infrastructure
Jun 28, 2026
フッサール現象学(ノエシス・ノエマ)
philosophy
phenomenology
Jun 28, 2026
発想法・振り返りフレームワーク
methodology
brainstorming
retrospective
term
Jun 28, 2026
情報理論と通信路
math
information-theory
communication
Jun 28, 2026
命令選択とレジスタ割り付け (コンパイラバックエンド)
compiler
backend
llvm
instruction-selection
register-allocation
codegen
Jun 28, 2026
素因数分解アルゴリズム
algorithm
number-theory
Jun 28, 2026
プロセス間通信(IPC)
computation/concurrent
os/linux
Jun 28, 2026
JWT とトークン認証
jwt
authentication
security
token
refresh-token
Jun 28, 2026
Kawaii Future Bass
music
genre
dtm
future-bass
Jun 28, 2026
キーボード駆動の操作環境
shortcut
productivity
workflow
Jun 28, 2026
きらら系日常アニメ
anime
slice-of-life
genre
kirara
Jun 28, 2026
知識の構造化とノート管理
knowledge-management
idea
term
Jun 28, 2026
KZG 多項式コミットメント
crypto
zkp
polynomial-commitment
zk-snark
Jun 28, 2026
ラムダ計算と簡約
lambda-calculus
beta-reduction
de-bruijn
binding
computation
functional
Jun 28, 2026
学び方・熟達の理論
learning
lifehack
term
Jun 28, 2026
Linux のシグナルとプロセス制御 (fork/exec/wait/signal)
linux
process
signal
syscall
unix
Jun 28, 2026
文学批評理論の歴史
literature
literary-criticism
structuralism
semiotics
Jun 28, 2026
LLM Agent の長期記憶 (Entity Memory)
llm
agent
memory
langgraph
embedding
knowledge-graph
Jun 28, 2026
LLM Agent パターン (Tool 呼び出しループ)
llm
agent
tool-calling
prompt-engineering
workflow
Jun 28, 2026
LLM Observability / LLMOps
llm
observability
opentelemetry
llmops
tracing
Jun 28, 2026
ループもの
sf
narrative
genre
Jun 28, 2026
数理論理学
math
logic
Jun 28, 2026
MCP の OpenTelemetry トレース計装
mcp
opentelemetry
tracing
observability
a2a
semantic-conventions
Jun 28, 2026
マイクロサービスアーキテクチャ
microservices
saga
message-queue
distributed-systems
software-architecture
Jun 28, 2026
最小全域木 (Minimum Spanning Tree)
algorithm
graph
Jun 28, 2026
旋法とスケール
music
scale
mode
theory
Jun 28, 2026
モダン CLI ツールチェーン
tool
cli
productivity
developer-experience
moc
Jun 28, 2026
乗法的深さと回路最適化
crypto
fhe
circuit
multiplicative-depth
simd
Jun 28, 2026
小説家になろう / なろう系異世界
web-novel
isekai
platform
genre
Jun 28, 2026
NoSQL / KVS データベース
database
nosql
kvs
redis
dynamodb
cassandra
mongodb
Jun 28, 2026
数論変換とFFT
math
computation
dft
cryptography
Jun 28, 2026
OAuth / OpenID Connect と SSO
oauth
openid-connect
sso
authentication
authorization
security
Jun 28, 2026
OpenTelemetry とオブザーバビリティ
opentelemetry
observability
tracing
metrics
distributed-tracing
Jun 28, 2026
OSカーネルの基礎
os
kernel
os/xv6
Jun 28, 2026
演算子優先順位文法によるパース
compiler
parsing
grammar
parser-combinator
precedence
Jun 28, 2026
光ファイバ通信
physics
optics
network
Jun 28, 2026
光変調と多重化(WDM)
physics
optics
network
modulation
Jun 28, 2026
Optics と Lens
optics
lens
functional
haskell
immutable
getter-setter
Jun 28, 2026
最適簡約と相互作用ネット
optimal-reduction
interaction-nets
beta-optimal
graph-reduction
sharing
Jun 28, 2026
並列計算とベクトル化
computation/concurrent
simd
hpc
mpi
openmp
Jun 28, 2026
パーサコンビネータ
compiler
parsing
parser-combinator
rust
nom
functional
Jun 28, 2026
物理・宇宙論メモ
physics
cosmology
Jun 28, 2026
位相空間論
math
topology
Jun 28, 2026
ポーカー GTO戦略
game
poker
game-theory
Jun 28, 2026
Privacy-Preserving Machine Learning (PPML)
crypto
fhe
ppml
machine-learning
mpc
Jun 28, 2026
確率的プログラミング(PPL)
ml
statistics
bayesian
Jun 28, 2026
副有限群と逆極限
math
algebra
topology
galois-theory
Jun 28, 2026
証明可能安全性と帰着
cryptography
provable-security
ind-cpa
game-hopping
reduction
Jun 28, 2026
公開鍵暗号と離散対数系
crypto
public-key
diffie-hellman
discrete-log
rsa
Jun 28, 2026
RAT・C2 アーキテクチャと攻撃面探索
security
offensive-security
malware
c2
osint
red-team
Jun 28, 2026
Real-time Chunking (RTC)
vla
robotics
action-chunking
flow-matching
real-time-control
Jun 28, 2026
RNN / LSTM(再帰型ニューラルネット)
ml
nn
nlp
Jun 28, 2026
強化学習
ml
reinforcement-learning
Jun 28, 2026
RAG / Agentic RAG
llm
rag
agent
retrieval
embedding
Jun 28, 2026
環論と加群
math
algebra
ring
module
Jun 28, 2026
ロボットアームの順運動学・逆運動学
robotics
kinematics
fk
ik
jacobian
so101
Jun 28, 2026
ローグライク (ベルリン解釈)
gamedev
roguelike
game-genre
Jun 28, 2026
Roofline モデル(性能上限解析)
performance
gpu
hpc
gemm
vla
optimization
Jun 28, 2026
Rustの所有権モデル
rust/lang
memory-safety
Jun 28, 2026
Rust によるシェルコード開発 (no_std)
rust
security
shellcode
exploit
low-level
assembly
Jun 28, 2026
スクラム / アジャイル開発
scrum
agile
development-process
team
project-management
Jun 28, 2026
秘密計算 / マルチパーティ計算 (MPC)
crypto
mpc
secret-sharing
secure-computation
Jun 28, 2026
セグメント木 (Segment Tree)
algorithm
data-structure
Jun 28, 2026
声優ラジオ
radio
seiyuu
format
Jun 28, 2026
選択多項式
math
cryptography
homomorphic-encryption
optimization
Jun 28, 2026
サービス・アプリのアイデア集
idea
product
Jun 28, 2026
エンドツーエンド暗号化と Signal プロトコル
cryptography
e2ee
signal
security
protocol
Jun 28, 2026
Slab / Buddy アロケーション (ベアメタルのヒープ管理)
allocator
memory
slab
buddy
os
baremetal
rust
Jun 28, 2026
小さなゲーム開発
gamedev
philosophy
indie
Jun 28, 2026
アーキテクチャ特性とトレードオフ
software-architecture
non-functional-requirements
trade-off
Jun 28, 2026
ソフトウェアテスト (E2E / TDD)
testing
e2e
tdd
cypress
ci
software-quality
Jun 28, 2026
スタックマシン向けコード生成とラベルバックパッチ
compiler
code-generation
stack-machine
lex-yacc
vm
Jun 28, 2026
強連結成分分解とトポロジカルソート
algorithm
graph
Jun 28, 2026
部分型と変性
subtyping
variance
structural-typing
records
type-theory
Jun 28, 2026
テーブルゲームのメカニクスと自作
boardgame
game-design
card-game
Jun 28, 2026
操作のための力・触覚センシング(関節トルク / 触覚画像 / F-Tセンサ)
robotics
tactile
force-sensing
vtla
manipulation
Jun 28, 2026
項書換えと抽象書き換え
term-rewriting
rewriting
dag
normal-form
computation
Jun 28, 2026
TFHE / CGGI スキーム
crypto
fhe
tfhe
torus
programmable-bootstrapping
Jun 28, 2026
Trie と文字列探索 (Aho-Corasick)
algorithm
string
Jun 28, 2026
型理論とλキューブ
type-theory
lambda-cube
system-f
dependent-types
adt
hkt
Jun 28, 2026
Unity ゲーム開発アーキテクチャと同期
unity
gamedev
architecture
di
networking
photon
csharp
Jun 28, 2026
VAE / Autoencoder(変分オートエンコーダ)
ml
generative-model
nn
Jun 28, 2026
仮想メモリのマッピング戦略 (恒等/固定オフセット/全物理/再帰)
os
paging
virtual-memory
mmu
x86-64
Jun 28, 2026
仮想化とハイパーバイザ
virtualization
hypervisor
cpu
os
Jun 28, 2026
VLA への力情報の注入方法(FVLMoE / DePost / DePre)
vla
vtla
force-control
moe
imitation-learning
robotics
Jun 28, 2026
VLA 推論の計算グラフ最適化(CUDA Graph・カーネル融合)
vla
inference-optimization
cuda
triton
gpu
kernel-fusion
Jun 28, 2026
Web/ブラウザセキュリティ
security
cors
csrf
xss
same-origin
cookie
web
Jun 28, 2026
分散表現 / 単語埋め込み
ml
nlp
embedding
Jun 28, 2026
x86-64 割り込み・例外処理 (IDT / GDT / TSS / double fault)
os
x86-64
interrupts
exceptions
low-level
blog-os
Jun 28, 2026
Zettelkasten
pkm
methodology
note-taking
term