コンテンツへスキップ

/series
- /print
- /scheduled
- /recorded
- /dev
/app
/root

declare

【Common Lisp】log x² と 2 log x は同じ関数か？（定義域とデバッグ）

2026-04-042026-04-04 by chiilabo

#Common Lisp（82） #マクロ（17） #defun（15） #型宣言（12） #declare（11）

カテゴリー記事タグ assert、check-type、Common Lisp、declare、defun、log、my-defun、コンパイラ、セーフティレベル、バグ、マクロ、写像、処理系、型宣言、型指定子、定義域、定義域外、実数、対応規則、対数関数、式変形、引数、数学、暗黙の前提、未定義動作、終域、複素数、設計、関数、高校数学

【Common Lisp】型指定子の基本の使い方（type, ftype）

2026-04-192026-04-03 by chiilabo

#Common Lisp（82） #SBCL（31） #REPL（22） #競技プログラミング（21） #パフォーマンス最適化（15）

カテゴリー記事タグ and型、Common Lisp、Common Lisp 基本の使い方、declaim、declare、defclass、defstruct、deftype、fixnum、ftype、not型、or型、REPL、SBCL、simple-array、subtypep、type-of、typep、アトム型、コンスセル、パフォーマンス最適化、リスト型、型エイリアス、型の組み合わせ、型宣言、型指定子、基本の使い方、多値、競技プログラミング、複合型、配列型、高階関数

【Common Lisp】型宣言でコードを速くする（declareとdeclaim）

2026-04-122026-04-02 by chiilabo

#Common Lisp（82） #SBCL（31） #競技プログラミング（21） #パフォーマンス最適化（15） #型宣言（12）

カテゴリー記事タグ aref、bignum、Common Lisp、debug、declaim、declare、disassemble、double-float、fixnum、inline、optimize、safety、SBCL、simple-array、speed、インライン展開、コンパイラ最適化、スコープ、トップレベル宣言、パフォーマンス最適化、ベンチマーク、ループ最適化、動的型付け、型ヒント、型宣言、実行時チェック、実行速度、未定義動作、競技プログラミング、配列アクセス

【Common Lisp】いろんなマクロを読む・書く

2026-04-022026-04-01 by chiilabo

#Common Lisp（82） #SBCL（31） #loop（17） #slime（17） #マクロ（17）

カテゴリー記事タグ alexandria、Common Lisp、declare、defmacro、defstruct、DSL、eval-when、gensym、Let Over Lambda、let-over-lambda、let*、loop、On Lisp、PAIP、SBCL、setf、slime、unwind-protect、with-gensyms、with-open-file、アナフォリックマクロ、クロージャ、コード生成、パターンマッチング、マクロ、マクロパターン、リーダーマクロ、リソース管理、型宣言、最適化

【Common Lisp】SBCLのREPLは単なるインタープリタではない

2026-04-01 by chiilabo

#Common Lisp（82） #SBCL（31） #REPL（22） #S式（15） #型宣言（12）

カテゴリー記事タグ AOTコンパイル、Clojure、CMUCL、Common Lisp、compile、declare、eval、funcall、GHCi、homoiconicity、JIT、Meta Eval、Meta Read、Racket、REPL、SBCL、S式、インタープリタ、コンパイラ、ネイティブコード、バイトコード、プリプロセッサ、ホットスポット、マクロ展開、仮想マシン、動的型付け、型宣言、型推論、対話環境、抽象構文木

【Common Lisp】デフォルトのリストなのにO(n)になる（抽象構文木）

2026-04-012026-03-30 by chiilabo

#Common Lisp（82） #SBCL（31） #loop（17） #マクロ（17） #S式（15）

カテゴリー記事タグ AST、car、cdr、collect、Common Lisp、declare、GC、LISPマシン、loop、make-array、O(n)、SBCL、S式、ガベージコレクション、キャッシュ効率、コンスセル、ジョン・マッカーシー、フラットなシーケンス、ベクタ、ポインタ、マクロ、メモリレイアウト、ランダムアクセス、リスト、型宣言、増井俊之、富豪的プログラミング、抽象構文木、木構造、記号処理

【Common Lisp】svrefの役割とarefで十分な理由（歴史と効率性）

2026-03-282026-03-27 by chiilabo

#Common Lisp（82） #SBCL（31） #最適化（16） #型宣言（12） #declare（11）

カテゴリー記事タグ adjustable vector、aref、CLHS、CLHSアクセサ、Common Lisp、declare、element-type、fill pointer、fixnum、optimize宣言、row-major-aref、safety、SBCL、sbit、schar、simple-array、simple-bit-vector、simple-string、simple-vector、speed、svref、the、X3J13、コンパイラ最適化、ボクシング、型チェック、型宣言、後方互換性、最適化、配列アクセス

Common Lispを書きながら、Cで考えているとき

2026-03-262026-03-26 by chiilabo

#Common Lisp（82） #アルゴリズム（23） #競技プログラミング（21） #C言語（15） #パフォーマンス最適化（15）

カテゴリー記事タグ aref、Common Lisp、C言語、declare、fixnum、Haskell、mapcar、O(n)、Ruby、Scheme、アルゴリズム、コンパイラ最適化、パフォーマンス最適化、マルチパラダイム、メモリレイアウト、リスト走査、具体化、副作用、参照透過性、型ヒント、引き出し、思考モード、手続き型プログラミング、抽象化、知識転移、競技プログラミング、言語パラダイム、計算量、配列、関数型プログラミング

【AtCoder ABC449E】1googol回のプッシュしたフリ（Common Lisp）

2026-04-142026-03-21 by chiilabo

#Common Lisp（82） #アルゴリズム（23） #競技プログラミング（21） #AtCoder（18） #最適化（16）

カテゴリー記事タグ ABC449、AtCoder、Common Lisp、declaim、declare、Fenwick Tree、fill-pointer、fixnum、frequency-vector、make-array、MLE、phase2、phase3、simple-array、TLE、vector-push-extend、アルゴリズム、クエリ、クエリ処理、バケット、ハッシュテーブル、プロトタイプ、ベクタ、メモリ制限、メモリ効率、リスト、二分探索、位相3、出現回数、出現数、出現頻度、剰余、剰余演算、動的配列、安定ソート、実行時間、実行時間超過、循環パターン、数列、昇順ソート、時間計算量、最適化、競技プログラミング、累積和、計算量、試行錯誤、部分列、閾値、順位問い合わせ、頻度ベクタ

Common Lispの定数宣言とヒープ最適化（defconstant）

2026-03-222026-03-18 by chiilabo

#Common Lisp（82） #SBCL（31） #REPL（22） #最適化（16） #型宣言（12）

カテゴリー記事タグ Common Lisp、constexpr、declaim、declare、defconstant、define、double-float、fasl、fixnum、inline宣言、REPL、SBCL、the フォーム、インライン展開、コンパイラ、ヒープ最適化、ボックス化、不変オブジェクト、処理系依存、即値、可変オブジェクト、型宣言、型情報、定数宣言、定数畳み込み、対話的再定義、整数演算、最適化、最適化宣言、速度最適化

【Section 6】典型アルゴリズムと実装最適化（Common Lispの計算効率）

2026-04-112026-03-16 by chiilabo

#Common Lisp（82） #SBCL（31） #AtCoder（18） #最適化（16） #計算量（14）

カテゴリー記事タグ 2次元累積和、AtCoder、BFS、Common Lisp、declaim、declare、DFS、disassemble、fixnum、Kahnのアルゴリズム、SBCL、simple-array、インライン宣言、グラフアルゴリズム、サイクル検出、トポロジカルソート、ハッシュテーブル、到達可能性、前処理、包除原理、型宣言、定数倍高速化、数値演算、最適化、疎行列、矩形クエリ、累積和、行列積、計算量、隣接リスト

© 2026 Chiilabo Note • Built with GeneratePress

検索: