コンテンツへスキップ

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

型宣言

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

2026-04-072026-04-06 by chiilabo

#Common Lisp（81） #SBCL（31） #loop（17） #パフォーマンス最適化（15） #型宣言（12）

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

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

2026-04-042026-04-04 by chiilabo

#Common Lisp（81） #マクロ（17） #defun（14） #型宣言（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（81） #SBCL（31） #REPL（21） #競技プログラミング（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（81） #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（81） #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（81） #SBCL（31） #REPL（21） #S式（14） #型宣言（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（81） #SBCL（31） #loop（17） #マクロ（17） #S式（14）

カテゴリー記事タグ 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（81） #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の定数宣言とヒープ最適化（defconstant）

2026-03-222026-03-18 by chiilabo

#Common Lisp（81） #SBCL（31） #REPL（21） #最適化（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（81） #SBCL（31） #競技プログラミング（21） #AtCoder（18） #再帰（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（81） #SBCL（31） #AtCoder（18） #最適化（16） #計算量（14）

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

【Section 0】パフォーマンスの基礎（Common Lispと計算効率）

2026-03-202026-03-16 by chiilabo

#Common Lisp（81） #SBCL（31） #アルゴリズム（23） #パフォーマンス最適化（15） #計算量（14）

カテゴリー記事タグ BFS、Big-O記法、Common Lisp、cons セル、DFS、KMP、nreverse、push nreverse、SBCL、Union-Find、アルゴリズム、スライディングウィンドウ、データ構造、ハッシュテーブル、パフォーマンス最適化、ベクタ、メモ化、リスト操作、ループ最適化、二乗時間、分割統治、前処理、動的計画法、型宣言、対数時間、時間計算量、末尾再帰、累積和、線形時間、計算量

© 2026 Chiilabo Note • Built with GeneratePress

検索: