コンテンツへスキップ

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

関数型プログラミング

試行錯誤のための道具（Common LispのREPL駆動開発）

2026-04-16 by chiilabo

#Common Lisp（75） #Emacs（53） #REPL（19） #デバッグ（19） #slime（16）

カテゴリー記事タグ Common Lisp、Emacs、REPL、REPL駆動開発、slime、Smalltalk、アジャイル開発、インクリメンタル開発、インターフェース、ウォーターフォール、エクストリームプログラミング、ケント・ベック、コードで考える、コールスタック、コンパイル、チーム開発、テスト駆動開発、デバッグ、ブレークループ、プロトタイプ、ポール・グレアム、個人開発、対話的環境、探索的開発、状態管理、要件定義、設計、試行錯誤、関数、関数型プログラミング

Common Lispでのカリー化（クロージャとマクロ）

2026-04-152026-04-14 by chiilabo

#Common Lisp（75） #マクロ（16） #関数型プログラミング（14） #mapcar（11） #高階関数（11）

カテゴリー記事タグ apply、Common Lisp、curry1、curry関数、defmacro、defvar、DSL、flet、funcall、Lambda、Lisp-1、Lisp-2、mapcar、partial、pipeline、reduce、Scheme、with-partial、インライン展開、カリー化、クロージャ、ネスト、マクロ、名前空間、引数、構文変換、部分適用、関数合成、関数型プログラミング、高階関数

【Common Lisp】スパゲッティコードとコンテキストの肥大化（計算効率とメモ化）

2026-03-302026-03-29 by chiilabo

#生成AI（57） #トークン（25） #LISP（17） #最適化（16） #ハルシネーション（15）

カテゴリー記事タグ LISP、コンテキスト、コンテキスト肥大化、スパゲッティコード、トークン、ハルシネーション、プログラム設計、メモ化、ループ、会話履歴、作業記憶、依存関係、再計算、副作用、効率曲線、参照透過性、可読性、局所理解、最適化、有限リソース、状態保持、状態管理、生成AI、純粋関数、継続性、脳負荷、複雑性、逆U字曲線、関数型プログラミング、閾値

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

2026-03-282026-03-27 by chiilabo

#関数型プログラミング（14） #コンパイラ（7） #型推論（6） #カーネル（4） #シンボルテーブル（3）

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

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

2026-03-262026-03-26 by chiilabo

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

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

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、インスタンス、ガベージコレクション、クロージャ、グローバル変数、スコープ、パフォーマンス最適化、メモリ割り当て、メモリ効率、ループ最適化、レキシカルクロージャ、レキシカルスコープ、状態管理、複数インスタンス、配列、関数型プログラミング、静的ローカル変数、静的変数

Lispでパイプライン的に考える（即時評価と遅延評価）

2026-03-14 by chiilabo

#Common Lisp（75） #LISP（17） #再帰（15） #関数型プログラミング（14） #高階関数（11）

カテゴリー記事タグ Common Lisp、DFS、fringeb、Haskell、Lambda、LISP、mapcan、point-freeスタイル、Series、some、tree-find、Unixパイプ、アキュムレータパターン、クロージャ、ジェネレータ、ストリーム、パイプライン、メモリ効率、中間リスト、再帰、即時評価、式指向、早期終了、木構造探索、評価戦略、遅延評価、関数合成、関数型プログラミング、骨格関数、高階関数

ちいラボの Lisp 講座

2026-03-302026-03-13 by chiilabo

#Common Lisp（75） #Emacs（53） #SBCL（29） #REPL（19） #LISP（17）

カテゴリー講座一覧タグ AtCoder、Clojure、Common Lisp、defconstant、defun、Emacs、Emacs Lisp、GNUplot、labels、LISP、loop、Parachute、Racket、REPL、SBCL、Scheme、slime、SmartParens、テスト、プログラミング言語、プロファイリング、マクロ、リーダーマクロ、リファクタリング、ループ、再帰、方言、末尾再帰、遅延評価、関数型プログラミング

Common Lisp での多重リスト生成（loopとmapcan）

2026-03-132026-03-11 by chiilabo

#Common Lisp（75） #再帰（15） #S式（14） #関数型プログラミング（14） #mapcar（11）

カテゴリー記事タグ ANSI規格、append、collect、Common Lisp、CONS、dotimes、DSL、flatmap、labels、loop マクロ、macroexpand-1、mapcan、mapcar、nconc、nreverse、push、range関数、Scheme、S式、アキュムレータ、コード変換、マクロ展開、リスト操作、リスト生成、再帰、手続き的プログラミング、末尾再帰、直積、関数型プログラミング、高階関数

Lispで考えると変数という雑音が少ない

2026-03-112026-03-10 by chiilabo

#Common Lisp（75） #競技プログラミング（19） #LISP（17） #AtCoder（16） #C言語（15）

カテゴリー記事タグ apply、AtCoder、Common Lisp、C言語、format、let*、LISP、map、parse-integer、printf、Read、read-line、scanf、split-sequence、S式、コードの簡潔さ、コード比較、ネスト、一時変数、値の流れ、処理の流れ、名前管理、変数、式、式と文、引数、構文、競技プログラミング、返り値、関数型プログラミング

AtCoder Beginners Selectionで学ぶ、Common Lisp 入門

2026-03-222026-03-10 by chiilabo

#Common Lisp（75） #SBCL（29） #競技プログラミング（19） #AtCoder（16） #関数型プログラミング（14）

カテゴリー記事、講座一覧タグ AtCoder、AtCoder Beginners Selection、Common Lisp、defun、every、format、Lambda、let*、loop マクロ、mapcar、Read、read-line、remove-duplicates、SBCL、Sort、ビットシフト、マンハッタン距離、リスト操作、ループキーワード、入出力処理、数値判定、文字列比較、条件分岐、桁和、標準入力、競技プログラミング、算術演算、述語関数、重複除去、関数型プログラミング

プログラミング言語は思考の道具だった（形式言語）

2026-02-202026-02-16 by chiilabo

#ChatGPT（50） #JavaScript（43） #Python（36） #AI（26） #アルゴリズム（23）

カテゴリー記事タグ AI、ChatGPT、C言語、GitHub Copilot、JavaScript、Python、Ruby、Rust、TypeScript、アルゴリズム、カリー化、コード、データ構造、ファーストクラスオブジェクト、プログラミング言語、ポインタ、メモリ管理、ラムダ式、二分探索木、再帰、動的計画法、形式言語、思考の道具、抽象化、自然言語、要件定義、試行錯誤、部分適用、関数型プログラミング、高階関数

Rubyで「10を作れるか」を総当りで調べるスクリプトを作った

2026-02-022026-02-01 by chiilabo

#プログラミング（24） #アルゴリズム（23） #関数型プログラミング（14） #括弧（6） #Ruby（4）

カテゴリー記事タグ Make 10、Ruby、Shunting-yard、アルゴリズム、キャッシュ最適化、スタック、パターン生成、プログラミング、中置記法、優先順位、再帰処理、四則演算、式変換、後置記法、括弧、数値パズル、数学パズル、数式評価、演算子、演算子優先順位、組み合わせ、総当たり、計算プログラム、計算時間、逆ポーランド記法、配列操作、重複除去、重複順列、関数型プログラミング、順列

チャット送信の待機処理のコードを統一した（ChatSpooler開発記）

2025-06-222025-06-22 by chiilabo

#リファクタリング（15） #関数型プログラミング（14） #エラーハンドリング（13） #AppleScript（10） #抽象化（10）

カテゴリー記事タグ AppleScript、DRY原則、GUI開発、macOSアプリ開発、Python tkinter、UIコンポーネント、WaitManager、イベント処理、エラーハンドリング、キュー管理、コード保守性、コード統一、コールバック関数、システム統合、ソフトウェア設計、デザインパターン、テスト送信、モジュール設計、リファクタリング、一貫性、保守性向上、待機処理統一化、抽象化、拡張性、状態復元、自動化ツール、送信処理、重複排除、開発効率、関数型プログラミング

© 2026 Chiilabo Note • Built with GeneratePress

検索: