コンテンツへスキップ

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

型宣言

【Common Lisp】Booleanと論理演算の基本の使い方（t / nil / and / or / not）

2026-04-242026-04-23 by chiilabo

#Common Lisp（115） #declare（15） #型宣言（15） #条件分岐（13） #Common Lisp 基本の使い方（11）

カテゴリー記事タグ AND、BIT、bit-vector、boolean、Common Lisp、Common Lisp 基本の使い方、cond、consp、declare、eql、equal、equalp、generalized boolean、HyperSpec、if、listp、NIL、not、NULL、or、predicate、symbolp、unless、when、型システム、型宣言、条件分岐、真偽値、短絡評価、空リスト、論理演算

【AtCoder ADT】文字列・浮動小数点・二次元配列（EASY 2026/04/21 16:00）（Common Lisp）

2026-04-282026-04-21 by chiilabo

#Common Lisp（115） #AtCoder（38） #競技プログラミング（36） #loop（30） #aref（18）

カテゴリー記事タグ #+swank、ADT Easy、aref、array-dimension、AtCoder、AtCoder Daily Training、Common Lisp、concatenate、declare、double-float、element-type、format、incf、loop、make-array、princ、read-line、reduce、sqrt、ブール値、二次元配列、型宣言、指数表記、文字列操作、最大値、水平線、浮動小数点、競技プログラミング、精度、連続日数

Common Lisp のリスト分配束縛（loop と destructuring-bind）

2026-04-212026-04-20 by chiilabo

#Common Lisp（115） #型宣言（15） #loop マクロ（12） #コンスセル（12） #リスト操作（12）

カテゴリー記事タグ &key、&rest、&whole、by #'cddr、Common Lisp、destructuring-bind、floor、gethash、loop マクロ、multiple-value-bind、nil スキップ、of-type、on 句、optional、parse-integer、plist、values、with 句、ウィンドウ走査、コンスセル、ネストパターン、パターンマッチ、ハッシュテーブル変換、ラムダリスト、リスト操作、分配束縛、型宣言、多値、局所極値検出、木構造

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

2026-04-072026-04-06 by chiilabo

#Common Lisp（115） #SBCL（34） #loop（30） #aref（18） #fixnum（16）

カテゴリー記事タグ 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（115） #defun（20） #マクロ（17） #declare（15） #型宣言（15）

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

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

2026-04-192026-04-03 by chiilabo

#Common Lisp（115） #競技プログラミング（36） #SBCL（34） #REPL（26） #fixnum（16）

カテゴリー記事タグ 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（115） #競技プログラミング（36） #SBCL（34） #aref（18） #fixnum（16）

カテゴリー記事タグ 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（115） #SBCL（34） #loop（30） #slime（18） #マクロ（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（115） #SBCL（34） #REPL（26） #S式（18） #declare（15）

カテゴリー記事タグ 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（115） #SBCL（34） #loop（30） #S式（18） #マクロ（17）

カテゴリー記事タグ 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（115） #SBCL（34） #aref（18） #fixnum（16） #最適化（16）

カテゴリー記事タグ 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（115） #SBCL（34） #REPL（26） #fixnum（16） #最適化（16）

カテゴリー記事タグ 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（115） #AtCoder（38） #競技プログラミング（36） #SBCL（34） #再帰（17）

カテゴリー記事タグ 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（115） #AtCoder（38） #SBCL（34） #ハッシュテーブル（20） #計算量（17）

カテゴリー記事タグ 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（115） #SBCL（34） #アルゴリズム（23） #ハッシュテーブル（20） #計算量（17）

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

© 2026 Chiilabo Note • Built with GeneratePress

検索: