コンテンツへスキップ

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

declaim

【Common Lisp】型宣言が多いコードは静的型言語っぽい（型推論を活かす）

2026-04-072026-04-06 by chiilabo

#Common Lisp（75） #SBCL（29） #loop（14） #パフォーマンス最適化（14） #型宣言（12）

カテゴリー記事タグ aref、Common Lisp、declaim、fixnum、ftype、incf、let*、loop、SBCL、setf、simple-array、コンパイル単位、コンパイル最適化、パフォーマンス最適化、ボクシング、ホットスポット、二分探索、入口関数、型伝播、型宣言、型推論、型連鎖、変換関数、整数演算、束縛変数、汎用ライブラリ、警告メッセージ、返り値の型、関数型スタイル、静的型付け

【Common Lisp】型指定子の書き方（type, ftype）

2026-04-102026-04-03 by chiilabo

#Common Lisp（75） #SBCL（29） #REPL（19） #競技プログラミング（19） #パフォーマンス最適化（14）

カテゴリー記事タグ and型、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（75） #SBCL（29） #競技プログラミング（19） #パフォーマンス最適化（14） #型宣言（12）

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

Common Lispで関数の「静的変数」を作るレキシカルクロージャ（メモリ割り当ての省略）

2026-04-032026-03-25 by chiilabo

#Common Lisp（75） #パフォーマンス最適化（14） #関数型プログラミング（14） #defun（13） #fixnum（11）

カテゴリー記事タグ aref、Common Lisp、C言語 static、declaim、defparameter、defun、fill、fill-pointer、fixnum、ftype、GC負荷、Lambda、let、make-array、optimize、インスタンス、ガベージコレクション、クロージャ、グローバル変数、スコープ、パフォーマンス最適化、メモリ割り当て、メモリ効率、ループ最適化、レキシカルクロージャ、レキシカルスコープ、状態管理、複数インスタンス、配列、関数型プログラミング、静的ローカル変数、静的変数

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

2026-04-142026-03-21 by chiilabo

#Common Lisp（75） #アルゴリズム（23） #競技プログラミング（19） #AtCoder（16） #最適化（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（75） #SBCL（29） #REPL（19） #最適化（16） #型宣言（12）

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

【Section 7】SBCLの処理系の特性を活かす視点（Common Lispと計算効率）

2026-04-112026-03-16 by chiilabo

#Common Lisp（75） #SBCL（29） #競技プログラミング（19） #AtCoder（16） #再帰（15）

カテゴリー記事タグ ansi-stream、AtCoder、base-char、bignum、Common Lisp、control-stack-exhausted、declaim、double-float、fixnum、gensym、I/O最適化、macrolet、make-string-output-stream、most-positive-fixnum、read-byte、read-fixnum、run-program、SBCL、single-float、with-buffered-stdout、スタックサイズ、再帰、出力バッファリング、型宣言、多倍長整数、子プロセス、整数入力高速化、有理数、浮動小数点数、競技プログラミング

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

2026-04-112026-03-16 by chiilabo

#Common Lisp（75） #SBCL（29） #AtCoder（16） #最適化（16） #計算量（14）

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

© 2026 Chiilabo Note • Built with GeneratePress

検索: