Skip to content
Journals Garden
Search
Ctrl
K
Cancel
GitHub
Select theme
Dark
Light
Auto
Logseq
Overview
Logseq
journals
2026-04-20 メモ
2026-06-30 学習ログ
2026-07-02 学習ログ
2026-07-03 学習ログ
2026-07-04 学習ログ
2026-07-05 学習ログ
2026-07-06 学習ログ
2026-07-07 学習ログ
2026-07-08 学習ログ
2026-07-09 学習ログ
2026-07-10 作業ログ
2026-07-11 作業ログ
2026-07-12 作業ログ
pages
00_System
Track S: 学習ループ — SRS 0→1 と人間側の回路
10_Fleeting
Concept Gap Miner
jp-ui-contracts
授業設計プロンプト:学習科学の4条件モデル
GitHub Pages メモ
Self-Prompt Transformation Skill
AI要件コンパイラ:昇格判定の基準定義
10 Fleeting
調査・検証ハーネス設計書 (Self-Correcting Edition)
SQLite vs DuckDB (Oracleスキーマ管理用)
第1部:YAMLプロンプトエンジニアリングの根理と基本構造
20_Literature
calc モードの使い分け
選択公理と逆写像
Lean 4 で論理パズルを解くための 5 つのステップ
背理法と排中律
関数合成の証明スタイル
Lean 相談と支援タクティク
Mathlib 定理探索のフローチャート
linear_algebra_done_right
Linear Algebra Done Right (4e) Chapter 1
Linear Algebra Done Right (4e) Chapter 2
exercises
Linear Algebra Done Right (4e) Chapter 1 Exercises
Linear Algebra Done Right (4e) Chapter 2 Exercises
Linear Algebra Done Right (4e) Progress
Lean 論理セマンティクス
20 Literature
rfl パターンによる自動書き換え
royal_road_to_topology
Royal Road to Topology Chapter I
Royal Road to Topology Chapter X
Royal Road to Topology Chapter XII
Royal Road to Topology Chapter XV
Royal Road to Topology Chapter XVI
Royal Road to Topology Chapter XVII
Royal Road to Topology Chapter XVIII
Royal Road to Topology Chapter II
Royal Road to Topology Chapter XX
Royal Road to Topology Chapter XXII
Royal Road to Topology Chapter XXIII
Royal Road to Topology Chapter XXIV
Royal Road to Topology Chapter III
Royal Road to Topology Chapter IV
Royal Road to Topology Chapter V
Royal Road to Topology Chapter VI
Royal Road to Topology Chapter VII
Royal Road to Topology Chapter VIII
Royal Road to Topology Chapter IX
exercises
Royal Road to Topology Chapter I Exercises
Royal Road to Topology Chapter X Exercises
Royal Road to Topology Chapter II Exercises
Royal Road to Topology Chapter III Exercises
Royal Road to Topology Chapter IV Exercises
Royal Road to Topology Chapter VII Exercises
Royal Road to Topology Chapter VIII Exercises
Royal Road to Topology Chapter IX Exercises
Royal Road to Topology Chapter II Seminar (セルフゼミ想定問答)
Royal Road to Topology Progress
Royal Road to Topology Reader Guide
Royal Road to Topology Symbol Index
Track K: PDF 由来の数学的意味
Track L: 学習者能動化
集合
命題論理のタクティク・モード対応表
一階述語論理のタクティク・モード対応表
一階述語論理のタクティク・モード技法
タクティク・モード構築テクニック
命題論理の項モード対応表
一階述語論理の項モード対応表
一階述語論理の項モード技法
項モード構築テクニック
30_Concepts
Compactness
Completeness
Continuity
Convergence
Countability
Filter
Metric
Product
30 Concepts
Separation
Topology Terminology Map (Royal Road ↔ 標準 ↔ Mathlib)
Uniform Structure
Flashcards
Linear Algebra Done Right Flashcards
Notes Index
Royal Road to Topology Flashcards
GitHub
Select theme
Dark
Light
Auto
2026-04-20 メモ
着手メモを置くためのノート。運用ループは
10_Fleeting/prompt
と
10_Fleeting/task
を参照して更新する。