2026年5月31日日曜日

周辺ギアとしての「語彙力図鑑」　補完リンク

›
周辺ギアとしての「語彙力図鑑」 このシリーズは、単なる語彙学習本というより、執筆者の机まわりに置かれる「言葉の周辺ギア」として見るとわかりやすい。書く力そのものを直接売るというより、書く人が言葉を集め、分類し、眺め、取り出しやすくする環境を提供している。楽器でいえば、演奏技術では...
2026年5月30日土曜日

小説版ダーディーハリー

›
  公式的な一覧（全12冊＋ノベライズ） Dirty Harry novels（Wikipedia） 映画ノベライズ4冊と、1981–1983年のオリジナル小説12冊がまとまっています。 映画シリーズ全体 Dirty Harry film series 小説シリーズへの...

バックトラックを言語仕様にうまく組み込んだ例

›
  1. Prolog系ロジック言語 代表: Prolog, Mercury, Curry など 基本アイデア 事実とルールを書く クエリに対して、 左から右 上から下 の順に試す深さ優先探索が「仕様として」定義されている。 失敗したら自動でバックトラックして別の候補を試す。 ...

SpecCは、組込みシステム（ハードウェア＋ソフトウェア）をシステムレベルで記述するための設計言語です

›
  SpecC は、組込みシステム（ハードウェア＋ソフトウェア）を システムレベル で記述するための設計言語です。位置づけとしては ANSI C を拡張した言語 で、Verilog/VHDL のような低レベルHDLに落とす前の、上流の仕様化と段階的な具体化（リファインメント）に...

日本的霊性とその周辺

›
  ■ 鈴木大拙『日本的霊性』 戦時期に書かれた思想書。国家のための日本精神ではなく、禅や浄土に見られる個の内面の宗教的覚醒を「霊性」として捉え、日本文化の深層を静かに描き直した。 ■ 本居宣長 江戸中期の国学者。『古事記伝』などの注釈を通じ、日本には外来思想以前の「真心」「もの...

ハルシネーションは誤謬ではない

›
  ハルシネーションは「誤謬（ミス）」ではなく「生成的メカニズムの性質」である理由 ここでいう 誤謬（error） とは、 「本来あるべき唯一の正解から逸脱した結果」 を指します。しかし、LLMにおけるハルシネーションは、そもそも 正解を参照する仕組みではなく、確率的生成を通じて...

1400万605分の1ってなにか意味ありましたか？

›
  「いわゆる“天文学的数字 (astronomical odds／astronomical numbers)”」だと考えるなら、確かに 1／14,000,605（約1400万分の1）は その“天文学的”の中では比較的小さい部類 で、宇宙や生命、偶然の産物などを論ずる場で使わ...