コンテンツへスキップ

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

フィボナッチ数列

【Common Lispと数学】行列とアルゴリズム

2026-05-092026-05-07 by chiilabo

#Common Lisp（142） #競技プログラミング（55） #アルゴリズム（26） #計算量（22） #再帰（20）

カテゴリー記事タグ Common Lisp、アルゴリズム、ガウス消去法、グラフ探索、ピボット選択、フィボナッチ数列、マルコフ連鎖、九章算術、二分累乗、再帰、動的計画法、単位行列、同次座標、座標変換、座標変換行列、拡大係数行列、浮動小数点、特異行列、状態遷移、競技プログラミング、経路数、線形代数、行列、行列積、行列累乗、行基本変形、計算量、逆行列、連立方程式、隣接行列

【Common Lisp】再帰関数の基本の使い方（線形・末尾・全列挙・木構造）

2026-05-032026-05-03 by chiilabo

#Common Lisp（142） #loop（37） #S式（20） #Common Lisp 基本の使い方（13） #リスト操作（13）

カテゴリー記事タグ append、Common Lisp、Common Lisp 基本の使い方、cond、CONS、labels、loop、n進数変換、S式、アキュムレータ、スタック最適化、ビットパターン、フィボナッチ数列、マージソート、ランレングス符号化、リスト操作、全列挙、再帰関数、分割統治、基底ケース、括弧の対応、文字列分割、木構造、末尾再帰、深さ優先、状態変数、相互再帰、組み合わせ、線形再帰、部分列、順列

トップダウンに見えるコードも、REPLで書くときはボトムアップ（Common Lisp）

2026-05-102026-04-29 by chiilabo

#Common Lisp（142） #競技プログラミング（55） #AtCoder（49） #REPL（28） #ハッシュテーブル（27）

カテゴリー記事タグ AtCoder、Common Lisp、REPL、インタラクティブ開発、コードの読み方、コード構造、トップダウン設計、ハッシュテーブル、フィボナッチ数列、ボトムアップ開発、メモ化再帰、モジュール化、ループ、依存関係、再帰、動作確認、可読性、命名、実行順序、手続き型プログラミング、抽象化、数列、時系列、桁反転、競技プログラミング、設計順序、部品化、開発プロセス、関数分解、関数型プログラミング

【AtCoder ADT】log2、逆フィボナッチ、ビット列（EASY 2026/04/28 16:00）

2026-05-042026-04-28 by chiilabo

#Common Lisp（142） #競技プログラミング（55） #AtCoder（49） #loop（37） #aref（23）

カテゴリー記事タグ ABC400 Party、ADT、ADT Easy、aref、AtCoder、big-endian、coerce、Common Lisp、Contest Result、expt、Fibonacci Reversed、floor、log2、loop、make-hash-table、Many Balls、mod、read-fixnums、remove-duplicates、ビット列、ビット操作、フィボナッチ数列、メモ化、二分木、再帰、整数演算、時間切れ、競技プログラミング、累乗、逆順、重複除去

【Common Lisp】動的計画法（DP）の基本の考え方（再帰で考え、表を順番に埋める）

2026-04-272026-04-26 by chiilabo

#Common Lisp（142） #loop（37） #aref（23） #計算量（22） #再帰（20）

カテゴリー記事タグ aref、Common Lisp、DP、loop、make-array、コイン両替問題、トップダウンDP、バックトラッキング、フィボナッチ数列、ベルマン、ボトムアップDP、メモ化、メモ化再帰、再帰、分割統治法、分枝限定法、初期値、動的計画法、指数時間、最小枚数、最適解、最適部分構造、状態定義、総当たり法、計算量、貪欲法、遷移、部分問題、配列、重複部分問題

【Lean】コンパイラの型チェックで、証明を検証したことになるカラクリ

2026-03-282026-03-27 by chiilabo

#関数型プログラミング（17） #コンパイラ（8） #フィボナッチ数列（7） #型推論（6） #シンボルテーブル（5）

カテゴリー記事タグ Curry-Howard同型、elan、Fin型、GCD、lake、Lean、Mathlib、Prop、rfl、Vector型、エラボレーション、カーネル、コンパイラ、シンボルテーブル、タクティク、フィボナッチ数列、依存ペア型、依存型、依存関数型、全称命題、命題証明、型推論、型検査、帰納法、形式証明、暗黙の型変換、核言語、等式型、配列境界検査、関数型プログラミング

Common Lispの計算結果をGNUplotで図示する

2026-03-202026-03-20 by chiilabo

#Common Lisp（142） #Homebrew（20） #GNUplot（7） #フィボナッチ数列（7） #テキストファイル（5）

カテゴリー記事タグ clgplot、Common Lisp、eazy-gnuplot、GNUplot、Homebrew、linespoints、plot コマンド、set terminal、SVG出力、using 句、with boxes、with lines、グラフ描画、スクリプトファイル、データファイル、データ書き出し、テキストファイル、ファイル出力、フィボナッチ数列、リスト処理、再帰計算、対話モード、座標データ、描画バックエンド、棒グラフ、点列、矢印付き軸、縦横比固定、複数グラフ、軸設定

© 2026 Chiilabo Note • Built with GeneratePress

検索: