コンテンツへスキップ

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

抽象化

【Common Lispと数学】圏論的設計を考える（パイプ指向とラムダ計算）

2026-05-29 by chiilabo

#Common Lisp（161） #関数型プログラミング（19） #高階関数（14） #抽象化（13） #パイプライン（7）

カテゴリー記事タグ CLOS、Common Lisp、Common Lispと数学、Coq、filter-by、Functor、Haskell、IO分離、map-with、UNIX哲学、インタープリタ、オブジェクト指向、データ変換、テスト設計、パイプライン、パイプ指向、モナド、モノイド、ラムダ計算、参照透明性、合成、圏論、圏論的設計、射、手続き型、抽象化、状態管理、自然変換、自由モナド、関数型プログラミング、高階関数

【Common Lisp】set、setq、setfの違い（コンスセルとシンボルのセル）

2026-05-25 by chiilabo

#Common Lisp（161） #コンスセル（20） #マクロ（18） #シンボル（16） #setf（15）

カテゴリー記事タグ Common Lisp、decf、fdefinition、fset、get、getf、incf、MacLisp、place、plist、putprop、quote、remf、remprop、rplaca、rplacd、set、setf、setq、symbol-value、コンスセル、シンボル、プロパティリスト、マクロ、一般化された参照、値セル、後方互換性、抽象化、破壊的操作、関数セル

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

2026-05-102026-04-29 by chiilabo

#Common Lisp（161） #競技プログラミング（62） #AtCoder（57） #REPL（30） #ハッシュテーブル（28）

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

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

2026-03-262026-03-26 by chiilabo

#Common Lisp（161） #競技プログラミング（62） #アルゴリズム（31） #aref（25） #計算量（25）

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

C言語やLispでプログラムを考える（メモリ操作とコード解釈のモデル）

2026-03-15 by chiilabo

#Python（37） #LISP（25） #C言語（20） #データ構造（18） #配列（15）

カテゴリー記事タグ AI時代、C言語、eval、LISP、MIT、Python、Scheme、SICP、コードとデータ、コード解釈、コンピュータアーキテクチャ、データ構造、フレームワーク、プログラマー、プログラミング言語、プログラム構造、ポインタ、ポインタ演算、メモリアドレス、メモリ操作、ライブラリ、リスト操作、判断力、基礎科目、実行モデル、情報科学、抽象化、構文変換、計算モデル、配列

生成AIの論理らしさはどこから生まれるのか

2026-03-09 by chiilabo

#抽象化（13） #Transformer（10） #学習データ（10） #一貫性（5） #推論能力（3）

カテゴリー記事タグ nanoGPT、Transformer、デフォルト前提、パラメータ規模、フレーム問題、一貫性、創発、命題推論、学習データ、学習の安定性、学習プロセス、安全弁、完全性、局所的判断、意味的関係、抽象化、推論能力、損失関数、更新ステップ、環境適応、生存可能性、組み合わせ爆発、統語パターン、継続学習、行動効果、複合的抽象化、記号操作、論理性、過学習、選択的注意

強すぎる個人開発はエコシステムを作りにくい（「Lispの呪い」現象）

2026-02-242026-02-20 by chiilabo

#Common Lisp（161） #Emacs（65） #生成AI（64） #SBCL（43） #マクロ（18）

カテゴリー記事タグ ANSI標準、Clojure、Common Lisp、DSL、Emacs、Hunchentoot、John McCarthy、JVM、Lispの呪い、MIT、Quicklisp、Rich Hickey、SBCL、エコシステム、ガベージコレクション、コード品質、ソフトウェア開発、パッケージマネージャー、プログラミング言語、プロトタイプ、ホモイコニシティ、マクロ、並行処理、個人主義、動的型付け、技術的負債、抽象化、生成AI、車輪の再発明、高階関数

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

2026-02-202026-02-16 by chiilabo

#ChatGPT（55） #JavaScript（46） #Python（37） #アルゴリズム（31） #AI（26）

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

速さと引き換えの「理解負債」（AI開発）

2026-01-292026-01-29 by chiilabo

#リファクタリング（15） #抽象化（13） #コードレビュー（8） #保守性（7） #可読性（7）

カテゴリー記事タグ AI生成コード、CI、CWE、KPI、コードレビュー、コード理解、コメント、スプリント、セキュリティ脆弱性、テスト駆動開発、ドゥームループ、プルリクエスト、フレームワーク、リファクタリング、レガシーコード、保守性、可読性、命名規則、品質管理、技術負債、抽象化、持続可能性、根拠、理解負債、生産性、脆弱性パターン、自動生成、設計意図、開発速度、静的解析

生成AIの内部状態からチャットを逆算できる？（Transformerの単射性）

2025-12-122025-12-10 by chiilabo

#セキュリティ（113） #生成AI（64） #ChatGPT（55） #プライバシー（28） #トークン（26）

カテゴリー記事タグ Attention、ChatGPT、GPU、SIPIT、Transformer、セキュリティ、チャット、データ管理、デバッグ、テンソル、トークン、ニューラルネットワーク、プライバシー、ベクトル、モデル重み、ローカル環境、入力復元、内部状態、可逆変換、商用サービス、微調整、情報保持、抽象化、残差接続、流出リスク、生成AI、研究環境、線形性、言語モデル、逆算

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

2025-06-222025-06-22 by chiilabo

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

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

「重ね合わせの原理」の不思議を考える：スケールで変わる存在の法則

2025-06-212025-06-18 by chiilabo

#マクロ（18） #階層構造（17） #抽象化（13） #フラクタル（3） #確率分布（3）

カテゴリー記事タグスケール、スケール依存性、フラクタル、マクロ、ミクロ、二重スリット実験、個体、分節化、創発現象、古典力学、大数の法則、存在、干渉縞、抽象化、有効理論、正規分布、波動と粒子の二重性、物理法則、理論間連携、確率分布、神経活動、統一理論、統計力学、観測、認識、重ね合わせの原理、量子力学、階層構造、集合理論、電子

Apple論文にある「AIの『推論』はパターン記憶に過ぎない」という意味を考える

2025-09-152025-06-11 by chiilabo

#Claude（33） #アルゴリズム（31） #OpenAI（26） #機械学習（21） #抽象化（13）

カテゴリー記事タグ AI推論、AI限界、Apple論文、Claude、DeepSeek-R1、LRM、o3-mini、OpenAI、overthinking現象、アルゴリズム、チェッカージャンプ、データ汚染、パズル実験、パターンマッチング、ハノイの塔、ブロックワールド、人工知能、大規模推論モデル、川渡りパズル、思考トークン、思考プロセス、抽象化、推論能力、構造理解、機械学習、理解、真の推論、自己修正能力、記憶、認知能力

© 2026 Chiilabo Note • Built with GeneratePress

検索: