コンテンツへスキップ

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

抽象化

【基礎講座】AIは何を見て、何を捨てるか（トランスフォーマーの注意機構と抽象）

2026-07-142026-06-19 by chiilabo

#生成AI（99） #トークン（34） #AI（31） #計算量（30） #機械学習（26）

カテゴリー記事タグ AI、AIの基礎知識、Alphabet、BPE、embedding、Flash Attention、Google、Google検索、InstructGPT、Lost-in-the-Middle、RLHF、Self-Attention、アルファ・ベータ法、クラウド、コンテキスト長、トークナイザ、トークン、トランスフォーマー、ハルシネーション、ファインチューニング、プルーニング、大規模言語モデル、将棋AI、強化学習、情報処理、抽象化、機械学習、生成AI、組み合わせ爆発、言語モデル、計算量

Claude OpusをプロンプトでCllaude Fableのようにできるか？（埋まる差と埋まらない差）

2026-06-152026-06-13 by chiilabo

#抽象化（15） #プロンプトエンジニアリング（12） #Claude Fable 5（9） #制約（7） #強化学習（7）

カテゴリー記事タグ AI記事生成、Claude Fable 5、Claude Opus、スキルプロンプト、プロンプトエンジニアリング、モデル能力差、上位モデル、下位モデル、切り口、制約、力点配分、取捨選択、含意、命題見出し、報酬設計、希少性、強化学習、技術ブログ、抽象化、検品、次単語予測、目利き、省略、編集判断、訓練目標、記事作成、診断装置、評価軸、追従性、長時間自律タスク

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

2026-06-082026-05-29 by chiilabo

#Common Lisp（171） #関数型プログラミング（19） #抽象化（15） #高階関数（14） #パイプライン（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（171） #コンスセル（20） #マクロ（20） #シンボル（17） #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（171） #競技プログラミング（65） #AtCoder（61） #REPL（30） #ハッシュテーブル（28）

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

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

2026-03-262026-03-26 by chiilabo

#Common Lisp（171） #競技プログラミング（65） #アルゴリズム（32） #計算量（30） #aref（26）

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

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

2026-03-15 by chiilabo

#Python（39） #LISP（25） #C言語（21） #データ構造（19） #配列（16）

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

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

2026-03-09 by chiilabo

#学習データ（16） #Transformer（15） #抽象化（15） #一貫性（5） #創発（4）

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

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

2026-02-242026-02-20 by chiilabo

#Common Lisp（171） #生成AI（99） #Emacs（70） #SBCL（47） #マクロ（20）

カテゴリー記事タグ 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（79） #JavaScript（49） #Python（39） #アルゴリズム（32） #AI（31）

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

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

2026-01-292026-01-29 by chiilabo

#リファクタリング（17） #抽象化（15） #コードレビュー（9） #コメント（8） #保守性（7）

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

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

2025-12-122025-12-10 by chiilabo

#セキュリティ（118） #生成AI（99） #ChatGPT（79） #トークン（34） #プライバシー（33）

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

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

2025-06-222025-06-22 by chiilabo

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

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

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

2025-06-212025-06-18 by chiilabo

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

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

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

2025-09-152025-06-11 by chiilabo

#Claude（49） #OpenAI（47） #アルゴリズム（32） #機械学習（26） #抽象化（15）

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

© 2026 Chiilabo Note • Built with GeneratePress

検索: