過ぎるだけの時間じゃ悔しい
Search
Search
Dark mode
Light mode
Explorer
Home
❯
concepts
concepts
88 items under this folder.
Jun 28, 2026
抽象代数(群・環・体)
math
group-theory
normal-subgroup
quotient-group
algebra
topology
galois-theory
matrix-group
lie-group
classical-group
finite-field
ring
module
Jun 28, 2026
アニソンDJとつなぎ・dig
dj
music
mixing
digging
hobby
Jun 28, 2026
フリースタンディング/ベアメタル Rust の構築
rust
os
baremetal
no_std
embedded
toolchain
security
shellcode
exploit
low-level
assembly
Jun 28, 2026
ベイズ統計と確率分布
math
statistics
probability
machine-learning
ml
bayesian
Jun 28, 2026
BEAM/Erlang 分散クラスタリング
erlang
elixir
beam
otp
distributed-systems
clustering
Jun 28, 2026
バイラテラル制御(双方向力伝達)
robotics
control
teleoperation
force-control
imitation-learning
vla
vtla
moe
Jun 28, 2026
バイナリ解析とスタックエクスプロイト
security
binary-analysis
ctf
buffer-overflow
gdb
Jun 28, 2026
ブロックチェーン
crypto
blockchain
consensus
pow
pos
Jun 28, 2026
充足可能性問題 (SAT) とエンコーディング
algorithm
logic
complexity
graph
Jun 28, 2026
圏論
math
category-theory
functional-programming
Jun 28, 2026
中国剰余定理
math
algebra
number-theory
ring-isomorphism
Jun 28, 2026
コード(和音)
music
chord
dtm
theory
progression
reharmonization
scale
mode
Jun 28, 2026
認知バイアスと論理の誤謬
term
psychology
logic
Jun 28, 2026
リレー小説・協働創作サービス
idea
product
creative-writing
Jun 28, 2026
競技プログラミング
algorithm
competitive-programming
atcoder
dp
graph
Jun 28, 2026
コンパイラ最適化(ループ変換・ベクトル化・レジスタ割り付け)
compiler
optimization
polyhedral
vectorization
register-allocation
ssa
loop
backend
llvm
instruction-selection
codegen
code-generation
stack-machine
lex-yacc
vm
Jun 28, 2026
計算可能性とチューリングマシン
math
computation
complexity
logic
automata
formal-language
computation-theory
turing-machine
halting-problem
Jun 28, 2026
現象学・存在論・弁証法
philosophy
phenomenology
heidegger
ontology
existentialism
term
dialectic
Jun 28, 2026
制御理論とラプラス変換
math
control-theory
networking
Jun 28, 2026
CPUアーキテクチャとISA
cpu
cpu/arch
os
isa
software/security
Jun 28, 2026
刑法上の因果関係論
juris
law
causation
Jun 28, 2026
暗号の安全性と攻撃モデル
crypto
security
ind-cpa
ind-cca
provable-security
cryptography
game-hopping
reduction
Jun 28, 2026
データ構造(探索木・区間・文字列)
algorithm
data-structure
string
Jun 28, 2026
データベースとトランザクション理論
database
transaction
acid
cap
concurrency
distributed-systems
nosql
kvs
redis
dynamodb
cassandra
mongodb
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
cqrs
event-sourcing
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
music
genre
future-bass
Jun 28, 2026
ELFフォーマット
linux
binary
lang/proc
Jun 28, 2026
等式飽和とe-graph
equality-saturation
egraph
term-rewriting
compiler
optimization
theorem-proving
rewriting
dag
normal-form
computation
Jun 28, 2026
高速フーリエ変換 (FFT) と多項式乗算
algorithm
math
Jun 28, 2026
FHE コンパイラ
crypto
fhe
compiler
mlir
simd
circuit
multiplicative-depth
math
cryptography
homomorphic-encryption
optimization
Jun 28, 2026
準同型暗号 (Fully Homomorphic Encryption)
crypto
fhe
homomorphic-encryption
lattice
bgv
bfv
rlwe
ckks
approximate-arithmetic
tfhe
torus
programmable-bootstrapping
bootstrapping
noise
elgamal
control-theory
secure-computation
Jun 28, 2026
Functor / Applicative / Monad 階層
functional-programming
typeclass
category-theory
haskell
scala
optics
lens
functional
immutable
getter-setter
continuation
delimited-continuation
algebraic-effects
effect-system
monad
Jun 28, 2026
ゲームメカニクスとデザイン
gamedev
game-design
game-mechanics
economy
level-design
boardgame
card-game
Jun 28, 2026
ゲーム理論
math
game-theory
game
poker
Jun 28, 2026
ゲーム木探索 (Minimax・CFR)
algorithm
game
Jun 28, 2026
生成モデル(VAE / GAN / 拡散 / flow matching)
ml
generative-model
nn
vla
robotics
Jun 28, 2026
グラフアルゴリズム
algorithm
graph
Jun 28, 2026
おうち Kubernetes (ホームラボ)
kubernetes
homelab
self-hosting
proxmox
infrastructure
Jun 28, 2026
発想法・振り返りフレームワーク
methodology
brainstorming
retrospective
term
Jun 28, 2026
情報理論と通信路
math
information-theory
communication
Jun 28, 2026
素因数分解アルゴリズム
algorithm
number-theory
Jun 28, 2026
キーボード駆動の操作環境
shortcut
productivity
workflow
Jun 28, 2026
きらら系日常アニメ
anime
slice-of-life
genre
kirara
Jun 28, 2026
知識の構造化とノート管理
knowledge-management
idea
term
pkm
methodology
note-taking
Jun 28, 2026
KZG 多項式コミットメント
crypto
zkp
polynomial-commitment
zk-snark
Jun 28, 2026
ラムダ計算と簡約
lambda-calculus
beta-reduction
de-bruijn
binding
computation
functional
optimal-reduction
interaction-nets
beta-optimal
graph-reduction
sharing
Jun 28, 2026
学び方・熟達の理論
learning
lifehack
term
Jun 28, 2026
文学批評理論の歴史
literature
literary-criticism
structuralism
semiotics
Jun 28, 2026
LLM Agent パターン (Tool 呼び出しループ)
llm
agent
tool-calling
prompt-engineering
workflow
memory
langgraph
embedding
knowledge-graph
rag
retrieval
Jun 28, 2026
LLM Observability / LLMOps
llm
observability
opentelemetry
llmops
tracing
mcp
a2a
semantic-conventions
Jun 28, 2026
ループもの
sf
narrative
genre
Jun 28, 2026
数理論理学
math
logic
foundations
set-theory
Jun 28, 2026
モダン CLI ツールチェーン
tool
cli
productivity
developer-experience
moc
Jun 28, 2026
小説家になろう / なろう系異世界
web-novel
isekai
platform
genre
Jun 28, 2026
数論変換とFFT
math
computation
dft
cryptography
Jun 28, 2026
OpenTelemetry とオブザーバビリティ
opentelemetry
observability
tracing
metrics
distributed-tracing
Jun 28, 2026
OSカーネルの基礎
os
kernel
os/xv6
paging
virtual-memory
mmu
x86-64
allocator
memory
slab
buddy
baremetal
rust
linux
process
signal
syscall
unix
computation/concurrent
os/linux
interrupts
exceptions
low-level
blog-os
Jun 28, 2026
光ファイバ通信
physics
optics
network
modulation
Jun 28, 2026
並列計算とベクトル化
computation/concurrent
simd
hpc
mpi
openmp
performance
gpu
gemm
vla
optimization
Jun 28, 2026
パーサコンビネータ
compiler
parsing
parser-combinator
rust
nom
functional
grammar
precedence
Jun 28, 2026
物理・宇宙論メモ
physics
cosmology
Jun 28, 2026
位相空間論
math
topology
Jun 28, 2026
Privacy-Preserving Machine Learning (PPML)
crypto
fhe
ppml
machine-learning
mpc
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
強化学習
ml
reinforcement-learning
Jun 28, 2026
ロボットアームの順運動学・逆運動学
robotics
kinematics
fk
ik
jacobian
so101
Jun 28, 2026
ローグライク (ベルリン解釈)
gamedev
roguelike
game-genre
Jun 28, 2026
Rustの所有権モデル
rust/lang
memory-safety
Jun 28, 2026
スクラム / アジャイル開発
scrum
agile
development-process
team
project-management
Jun 28, 2026
秘密計算 / マルチパーティ計算 (MPC)
crypto
mpc
secret-sharing
secure-computation
Jun 28, 2026
声優ラジオ
radio
seiyuu
format
Jun 28, 2026
系列モデル(RNN / 注意機構 / 分散表現)
ml
nn
nlp
embedding
Jun 28, 2026
サービス・アプリのアイデア集
idea
product
Jun 28, 2026
エンドツーエンド暗号化と Signal プロトコル
cryptography
e2ee
signal
security
protocol
Jun 28, 2026
小さなゲーム開発
gamedev
philosophy
indie
Jun 28, 2026
アーキテクチャ特性とトレードオフ
software-architecture
non-functional-requirements
trade-off
monolith
distributed-systems
clean-architecture
layered
unit-of-work
design
microservices
saga
message-queue
Jun 28, 2026
ソフトウェアテスト (E2E / TDD)
testing
e2e
tdd
cypress
ci
software-quality
Jun 28, 2026
操作のための力・触覚センシング(関節トルク / 触覚画像 / F-Tセンサ)
robotics
tactile
force-sensing
vtla
manipulation
Jun 28, 2026
型理論とλキューブ
type-theory
lambda-cube
system-f
dependent-types
adt
hkt
existential-types
typescript
polymorphism
pattern-match
subtyping
variance
structural-typing
records
type-inference
hindley-milner
algorithm-w
let-polymorphism
unification
Jun 28, 2026
Unity ゲーム開発アーキテクチャと同期
unity
gamedev
architecture
di
networking
photon
csharp
Jun 28, 2026
仮想化とハイパーバイザ
virtualization
hypervisor
cpu
os
Jun 28, 2026
VLA 推論の高速化
vla
robotics
action-chunking
flow-matching
real-time-control
streaming
force-control
imitation-learning
trajectory-optimization
mpc
inference-optimization
cuda
triton
gpu
kernel-fusion
Jun 28, 2026
Web 認証・認可(JWT / OAuth / OIDC)
jwt
authentication
security
token
refresh-token
oauth
openid-connect
sso
authorization
Jun 28, 2026
Web/ブラウザセキュリティ
security
cors
csrf
xss
same-origin
cookie
web